Lecture 2. x if x X B n f(x) = α(x) if x S n 1 D n

Similar documents
SMSTC Geometry & Topology 1 Assignment 1 Matt Booth

7. Homotopy and the Fundamental Group

FIRST ASSIGNMENT. (1) Let E X X be an equivalence relation on a set X. Construct the set of equivalence classes as colimit in the category Sets.

Homework 3 MTH 869 Algebraic Topology

1. Simplify the following. Solution: = {0} Hint: glossary: there is for all : such that & and

Geometry and Topology, Lecture 4 The fundamental group and covering spaces

1. Classifying Spaces. Classifying Spaces

Many of you got these steps reversed or otherwise out of order.

Applications of Homotopy

4 Countability axioms

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))

Math General Topology Fall 2012 Homework 6 Solutions

Math 637 Topology Paulo Lima-Filho. Problem List I. b. Show that a contractible space is path connected.

The Fundamental Group and Covering Spaces

Math 440 Problem Set 2

Algebraic Topology. Oscar Randal-Williams. or257/teaching/notes/at.pdf

FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM. Contents

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

Algebraic Topology exam

Introduction to Functional Analysis

BEN KNUDSEN. Conf k (f) Conf k (Y )

TOPOLOGY TAKE-HOME CLAY SHONKWILER

THE FUNDAMENTAL GROUP AND CW COMPLEXES

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

AN INTRODUCTION TO THE FUNDAMENTAL GROUP

LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES

Algebraic Topology Exam 2006: Solutions

Equivalence Relations

(FALL 2011) 225A - DIFFERENTIAL TOPOLOGY FINAL < HOPF DEGREE THEOREM >

7. Let X be a (general, abstract) metric space which is sequentially compact. Prove X must be complete.

Math General Topology Fall 2012 Homework 8 Solutions

Math 231b Lecture 16. G. Quick

Chapter 2 Metric Spaces

FREUDENTHAL SUSPENSION THEOREM

Algebraic Topology M3P solutions 1

3 Hausdorff and Connected Spaces

MTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch

Handlebody Decomposition of a Manifold

Differential Geometry qualifying exam 562 January 2019 Show all your work for full credit

Notes for Functional Analysis

SOME EXERCISES. This is not an assignment, though some exercises on this list might become part of an assignment. Class 2

Notes for Math 535 Differential Geometry Spring Francis Bonahon. Department of Mathematics, University of Southern California

Spring -07 TOPOLOGY III. Conventions

SOLUTIONS TO THE FINAL EXAM

MATH8808: ALGEBRAIC TOPOLOGY

Solutions to homework problems

Notas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018

S n 1 i D n l S n 1 is the identity map. Associated to this sequence of maps is the sequence of group homomorphisms

On z -ideals in C(X) F. A z a r p a n a h, O. A. S. K a r a m z a d e h and A. R e z a i A l i a b a d (Ahvaz)

INVERSE LIMITS AND PROFINITE GROUPS

MAT 530: Topology&Geometry, I Fall 2005

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

Bredon, Introduction to compact transformation groups, Academic Press

DIFFERENTIAL GEOMETRY 1 PROBLEM SET 1 SOLUTIONS

Exercises for Algebraic Topology

CW-complexes. Stephen A. Mitchell. November 1997

Axioms of separation

SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES

TOPOLOGICAL GROUPS MATH 519

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

Math 147, Homework 5 Solutions Due: May 15, 2012

Math 754 Chapter III: Fiber bundles. Classifying spaces. Applications

38 CHAPTER 2. COMPUTATIONAL METHODS. f n. n 1. X n 1. g n. X n

Solutions to Problem Set 1

EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY

1 Whitehead s theorem.

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

Subgroups of Lie groups. Definition 0.7. A Lie subgroup of a Lie group G is a subgroup which is also a submanifold.

1 Introduction Category Theory Topological Preliminaries Function Spaces Algebraic Preliminaries...

Some K-theory examples

Normal forms in combinatorial algebra

AN EXTENSION OF THE NOTION OF ZERO-EPI MAPS TO THE CONTEXT OF TOPOLOGICAL SPACES

Category Theory (UMV/TK/07)

Mathematics for Economists

CHAPTER 9. Embedding theorems

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

ALGEBRAIC TOPOLOGY N. P. STRICKLAND

Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions

3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X.

We have the following immediate corollary. 1

A C 0 coarse structure for families of pseudometrics and the Higson-Roe functor

3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection

FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM

10 Excision and applications

Institutionen för matematik, KTH.

ALGEBRAIC GEOMETRY (NMAG401) Contents. 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30

10. The subgroup subalgebra correspondence. Homogeneous spaces.

B. Appendix B. Topological vector spaces

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

GEOMETRY OF SYMMETRIC POWERS OF COMPLEX DOMAINS. Christopher Grow

Math General Topology Fall 2012 Homework 13 Solutions

Math 205b Homework 2 Solutions

Stone-Čech compactification of Tychonoff spaces

Introduction to Topology

GENERALIZED COVERING SPACES AND THE GALOIS FUNDAMENTAL GROUP

Austin Mohr Math 730 Homework. f(x) = y for some x λ Λ

Topology Exercise Sheet 2 Prof. Dr. Alessandro Sisto Due to March 7

CLASS NOTES MATH 527 (SPRING 2011) WEEK 6

DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17

Transcription:

Lecture 2 1.10 Cell attachments Let X be a topological space and α : S n 1 X be a map. Consider the space X D n with the disjoint union topology. Consider further the set X B n and a function f : X D n X B n given by: x if x X B n f(x) = α(x) if x S n 1 D n The topological space consisting of the set X B n together with the quotient topology given by f is denoted by X α D n. We say that X α D n is constructed out of X by attaching n-dimensional cell D n along α : S n 1 X. 1.10.1 Excercise. Let α : S n 1 X be a map. Show that the composition of the quotient map f : X D n X α D n and the inclusion X B n X D n, induced by the identity id : X X and the inclusion B n D n, is a continuous bijection. Is it an isomorphism? 1.10.2 Proposition. If X is Hausdorff, then so is X α D n, for any map α : S n 1 X. Proof. Let y 1 and y 2 be two distinct points in X α D n. There are 3 cases. First y 1 and y 2 are in X. Since X is Hausdorff, then there are two disjoint open subsets y 1 U 1 X and y 2 U 2 X. The subsets α 1 (U 1 ) and α 1 (U 2 ) are open in S n 1. Define: V i := {x D n x > 1/2 and x/ x α 1 (U i )} D n Note that V 1 and V 2 are open and disjoint subsets of D n. Finally set W i := U i (V i \ α 1 (U i ) X B n. Note that f 1 (W i )=U i V i X D n. Thus W i is open in X α D n. The subsets W 1 and W 2 are also disjoint and contain respectively y 1 and y 2. Let y 1 X and y 2 B n. Define W 1 := X {x B n x > (1 + y 2 )/2} and W 2 := {x B n x < (1 + y 2 )/2}. Note that f 1 (W 1 )=X {x D n x > (1 + y 2 )/2} and f 1 (W 2 )={x D n x < (1 + y 2 )/2}. These are open subsets. The sets W i are then also open. They are disjoint and contain respectively y 1 and y 2. Let y 1 and y 2 be two distinct points in B n. Since B n is Hausdorff, there are open disjoint subsets y 1 W 1 B n and y 2 W 2 B n. The subset W i is also open in Y. 12

1.10.3 Proposition. If X is compact, then so is X α D n, for any map α : S n 1 X. Proof. By previous proposition X α D n is Hausdorff. Since X D n is compact, according to Proposition 1.9.7.(2), the space X α D n, as the image of f : X D n X α D n, is also compact. 1.10.4 Example. Consider the one point space D 0. Let α : S n 1 D 0 be the unique map. The space D 0 α D n is isomorphic to S n. To construct the isomorphism consider a function g : D 0 B n S n defined as follows: (0,, 0, 1) if x D 0 g(x) = (2 1 x x, 1 2 x ) if x B n \{(0,, 0)} x (0,, 0, 1) if x =(0,, 0) B n We claim that g is a bijection and that the composition of the quotient function f : D 0 D n D 0 B n and g is a continuous function gf : D 0 D n S n. To see this we need to show that the restriction of gf to the components D 0 and D n are continuous. This is true for the first restriction since all functions out of D 0 are continuous. The other restriction is given by the formula: 1 x D n x (2 x x, 1 2 x ) S n if x D n \{(0,, 0)} (0,, 0, 1) S n if x =(0,, 0) D n whose continuity can be checked using 1.7.4. Thus the function g defines a continuous map, denoted by the same symbol, g : D 0 α D n S n. As both spaces D 0 α D n and S n are compact, this map g must be then an isomorphism. 1.11 Real projective spaces Consider the Euclidean space R n+1 (n 0). The symbol RP n denotes the set of 1-dimensional R-vector subspaces of R n+1. Such subspaces are also called lines in R n+1. For example since R is 1-dimensional R-vector space, it has only one 1-dimensional R-vector subspace, and hence RP 0 is just a point. Define π : S n RP n to be the function that assigns to a vector v S n R n+1 the R-linear subspace generated by v. Explicitly π(v) := {rv r R}. 13

1.11.1 Definition. The set RP n together with the quotient topology induced by π : S n RP n is called the n-dimensional real projective space. In the rest of this section we will identify the projective spaces as spaces build by attaching cells. For that we need: 1.11.2 Proposition. RP n is a compact space. Proof. Since S n is compact, according to Proposition 1.9.7.(2), to show that RP n is compact it is enough to prove that it is Hausdorff. Let L 1 and L 2 be two distinct points in RP n, i.e., two distinct 1-dimensional R-linear subspaces in R n+1. Let v 1 and v 2 be two points in S n which generate the lines L 1 and L 2 respectively. Let r = min{ v 1 v 2, v 1 + v 2 }. Define U 1 to be the subset of PR n of all the lines which are generated by vectors v such that min{ v 1 v, v 1 + v } <r/2. Define U 2 to be subset of RP n of all the lines which are generated by vectors v such that min{ v 2 v, v 2 +v } <r/2. It is clear that the subsets U 1 and U 2 are disjoint and L 1 U 1 and L 2 U 2. We claim that these sets are also open. Note that: π 1 (U i )={w S n v i w <r/2} {w S n v i + w <r/2} Since it is an open subset in S n, U i is open in RP n. We can use the map π : S n RP n to attach a cell and build a new topological space RP n π D n+1. 1.11.3 Proposition. The space RP n π D n+1 is isomorphic to RP n+1. Proof. Since both spaces RP n π D n+1 and RP n+1 are compact, to show that they are isomorphic we need to construct a continuous bijection between them. Let us denote by e : R n+1 R n+2, respectively e : S n S n+1, the functions which assigns to an element x R n+1 the element (x, 0) R n+2. Note that both of these functions are continuous. Define i : RP n RP n+1 to be a function that assigns to a line L R n+1, the line in e(l) R n+2. Note that there is a commutative diagram: S n e S n+1 π π RP n i RP n+1 Since the composition iπ = πe is continuous, then i is also continuous. The map i : RP n RP n+1 is called the standard inclusion. 14

Define a function g : RP n B n+1 RP n+1 as follows: i(x) if x RP n g(x) = the line generated by (x, 1 x 2 ) R n+2 if x B n+1 Note that the composition of the function g with the quotient map f : RP n D n+1 RP n π D n+1 is continuous. Thus g defines a continuous map g : RP n π D n+1 RP n+1. Note that this map is a bijection. Since the spaces are compact we can conclude that this map is an isomorphism. 1.11.4 Example. Let n = 0. In this case RP 0 is just a point and as a topological space it is isomorphic to D 0. Thus there is only one map π : S 0 RP 0. The space RP 1 is then isomorphic to D 0 π D 1, which by Example 1.10.4, is isomorphic to S 1. It follows then that RP 1 is isomorphic to S 1. We would like to identify the map π : S 1 RP 1 = S 1. Note that this map sands the elements x and x to the same point. If we think about S 1 as a subset of the complex numbers C of length 1, then the multiplication map S 1 z z 2 S 1 also sends x and x to the same point. One can then check directly that the map π : S 1 RP 1 = S 1 is given by this multiplication map. 1.12 Complex projective spaces Consider the complex vector space C n+1 (n 0). The symbol CP n denotes the set of 1-dimensional C-vector subspaces of C n+1. Such subspaces are also called complex lines in C n+1. For example since C is 1-dimensional C-vector space, it has only one 1-dimensional C-vector subspace, and hence CP 0 is just a point. Note that the subspace {z C n+1 z =1} is isomorphic to S 2n+1. Define π : S 2n+1 CP n to be the function that assigns to a vector z the 1-dimensional C vector subspace of C n+1 generated by z. Explicitly π(z) ={sz s C}. 1.12.1 Definition. The set CP n, together with the quotient topology induced by π : S 2n+1 CP n, is called the n-dimensional complex projective space. In the rest of this section we will identify the complex projective spaces as spaces build by attaching cells. 1.12.2 Proposition. (1) CP n is a compact space. 15

(2) The space CP n π D 2n+2 is isomorphic to CP n+1. Proof. (1): Since S 2n+1 is compact, according to Proposition 1.9.7.(2), to show that CP n is compact it is enough to prove that it is Hausdorff. Let L 1 and L 2 be two distinct points in CP n, i.e., two distinct 1-dimensional C- linear subspaces in C n+1.letzand y be two points in S 2n+1 which generate the lines L 1 and L 2 respectively. Let R = min{ sz ty s, t S 1 C}. Note that because S 1 is compact, R>0. Define V and U to be the following open subsets of S 2n+1 : V := {x S 2n+1 x z <R/2} U := {x S 2n+1 x y <R/2} Since for any s S 1 C, sv = V and su = U, we have equalities: π 1 π(v )=V π 1 π(u) =U Thus the subsets π(v ) and π(u) are open in CP n. As they do not intersect and contain respectively L 1 and L 2, we can conclude that CP n is Hausdorff. (2): Since both spaces CP n π D 2n+2 and CP n+1 are compact, to show that they are isomorphic we need to construct a continuous bijection between them. Let us denote by e : C n+1 C n+2, respectively e : S 2n+1 S 2n+3, the functions which assigns to an element z C n+1 the element (z,0) C n+2. Note that both of these functions are continuous. Define i : CP n CP n+1 to be a function that assigns to a line L C n+1, the line in e(l) C n+2. Note that there is a commutative diagram: S 2n+1 e S 2n+3 π π CP n i CP n+1 Since the composition iπ = πe is continuous, then i is also continuous. The map i : CP n CP n+1 is called the standard inclusion. Define a function g : CP n B 2n+2 CP n+1 as follows: i(z) if z CP n g(z) = the line generated by (z,1) C n+2 if z B 2n+2 C n+1 Note that the composition of the function g with the quotient map f : CP n D 2n+2 CP n π D 2n+2 is continuous. Thus g defines a continuous map g : CP n π D 2n+2 CP n+1. Note that this map is a bijection. Since the spaces are compact we can conclude that this map is an isomorphism. 16

1.12.3 Excercise. Let 1 i n + 1. Define U i CP n to be the image of {z S 2n+1 z i =0} via π. Show that U i is an open subset of CP n. Show further that the function that assigns to an element z C n, the line in C n+1 generated by (z 1,,z i 1, 1,z i, z n ), is an isomorphism between C n and U i. 1.12.4 Example. Let n = 0. In this case CP 0 is just a point and as a topological space it is isomorphic to D 0. Thus there is only one map π : S 1 CP 0. The space CP 1 is then isomorphic to D 0 π D 2, which by Example 1.10.4, is isomorphic to S 2. It follows then that CP 1 is isomorphic to S 2. 1.13 Tautological line bundles Let us choose n 0. Consider the following subspace of the product CP n C n+1 : E := {(L, z) CP n C n+1 z L} 1.13.1 Definition. The composition E CP n C n+1 pr CP n CP n is denoted by λ n and called the tautological line bundle. Note that for any point L CP n, the preimage (λ n ) 1 (L) iscanbe identified with the line L C n+1. In this way (λ n ) 1 (L) becomes a 1- dimensional C vector space. Furthermore, consider the open subset U i CP n (see 1.12.3) and the following maps: φ i (λ n ) 1 (U i ) U i C n+1 id pr i U i C E CP n C n+1 id pr i CP n C 1.13.2 Proposition. For any i, the map φ i :(λ n ) 1 (U i ) U i C is an isomorphism. 1.13.3 Excercise. Prove the above proposition. 1.14 Homotopy relation Recall that I denotes the unit interval [0, 1] R. We are going to use it to define a relation on continuous maps with the same domain and range: 17

1.14.1 Definition. A map f : X Y is homotopic to g : X Y if there is a map S : X I Y such that, for any x X, S(x, 0) = f(x) and S(x, 1) = g(x). Any such map S is called a homotopy between f and g. Homotopy is an equivalence relation on the set of continuous maps between X and Y and is preserved by compositions: 1.14.2 Proposition. (1) If f : X Y is homotopic to g : X Y then g is homotopic to f (symmetry of the homotopy relation). (2) If f : X Y is homotopic to g : X Y and g : X Y is homotopic to h : X Y, then f is homotopic to h (transitivity of the homotopy relation). (3) If f : X Y and g : X Y are homotopic, then, for any h : Y Z, so are the compositions hf : X Z and hg : X Z. (4) If f : X Y and g : X Y are homotopic, then, for any h : Z X, so are the compositions fh : Z Y and gh : Z Y. Proof. (1): Let S : X I Y be a homotopy between f and g. Define S : X I Y as S (x, t) =S(x, 1 t). Note that S is a homotopy between g and f. (2): Let S : X I Y be a homotopy between f and g and S : X I Y be a homotopy between g and h. Define S : X I Y by the formula: S S(x, 2t) if 0 t 1/2 (x, t) = S (x, 2t 1) if 1/2 t 1 Note that S (x, 0) = f(x) and S (x, 1) = h(x). Thus, if continuous, S would be a homotopy between f and h. To see that S is continuous consider the following compositions: X [0, 1/2] α X I S Y X [1/2, 1] β X I S Y where α(x, t) =(x, 2t) and β(x, t) =(x, 2t 1). These composition are clearly continuous. It follows that, if D is closed in Y, then so are (Sα) 1 (D) X [0, 1/2] X I and (S β) 1 (D) X [1/2, 1] X I. The sum (Sα) 1 (D) (S β) 1 (D) is then also closed in X I. Note however that this sum coincide with (S ) 1 (D). The function S is therefore continuous. (3): If S : X I Y is a homotopy between f and g, then hs is a homotopy between hf and hg. 18

(4): Let S : X I Y be a homotopy between f and g. Define S : Z I Y by the formula S (z,t) = S(h(x),t). This is a homotopy between fh and gh. The fundamental example of homotopic maps are the inclusions in 0 : X X I and in 1 : X X I, where in 0 (x) =(x, 0) and in 1 (x) =(x, 1). Homotopy relation can be used to define: 1.14.3 Definition. A map f : X Y is called a homotopy equivalence if there is a map g : Y X such that the compositions fg and gf are homotopic respectively to the identity maps id : Y Y and id : X X. Two spaces X and Y are said to be homotopy equivalent if there is a homotopy equivalence f : X Y. A space is called contractible if it is homotopy equivalent to the one point space D 0. The homotopy equivalence relation on spaces is an equivalence relation. It is a weaker relation than an isomorphism. Two isomorphic spaces are clearly homotopy equivalent. 1.14.4 Proposition. (1) If D R n is non-empty and convex (the interval between any two points in D is subset of D), then D is contractible. (2) The spaces R n, D n, n, and B n are contractible. Proof. (1): Let us choose a point x D. Define f : D 0 D to be given by f(0) = x and g : D D 0 to be the unique map. Clearly gf = id. We need to show that the composition fg : D D is homotopic to id : D D. Define S : D I D by the formula: S(y, t) =tx +(1 t)y. It is well define since D is convex. Note that s(y, 0) = y and s(y, 1) = fg. Thus S is a homotopy between id and fg. (2): This follows from statement (1) as all these spaces are convex. 1.14.5 Proposition. (1) Let D R n be convex and x D a point for which there is r>0 such that B(x, r) D. Then the space D \{x} is homotopy equivalent to S n 1. (2) Let n>0. The spaces R n \{0}, D n \{0}, n \{ 1/(n +1),...,1/(n + 1) }, and B n \{0} are homotopy equivalent to S n 1. Proof. Since D is convex, the space S(x, r/2) is a subspace of D. This space S(x, r/2) is isomorphic to S n 1. Thus to show the statement it is enough to show that D \{x} is homotopy equivalent to S(x, r/2). Set a map f : S(x, r/2) D \{x} to be the inclusion and g : D \{x} S(x, r/2) 19

to be defined by the formula g(y) =x + r(y x). It is straight forward to 2 y x check that gf is id : S(x, r/2) S(x, r/2). We need to show that fg is homotopic to id : D \{x} D \{x}. Define H :(D\{x}) I D \{x}: H(y, t) := ty +(1 t) x + Note that H(y, 1) = id and H(y, 0) = fg(y). 1.15 π 0 (X) r(y x) 2 y x Let X be a topological space. Note that maps f : D 0 X can be identified with elements of X. Such a map is determined by where it sends the only point of D 0. In this way we can think about elements of X as maps from the one point space D 0 to X. The homotopy relation on such maps can be then rephrased in terms of elements of X as follows: two points x 0,x 1 X are homotopic if there is a map α : I X such that α(0) = x 0 and α(1) = x 1. Such continuous maps are called paths between x 0 and x 1. To have a language to describe this particular situation we are going to use the following definition: 1.15.1 Definition. Two points x 0 X and x 1 X are said to be in the same path component if there is a path α : I X such that α(0) = x 0 and α(1) = x 1. Since homotopy relation on maps is an equivalence relation (see Proposition 1.14.2), we get that being in the same path component is also an equivalence relation on the set of elements of X. We can then consider the equivalence classes of this relation and define: 1.15.2 Definition. The set of equivalence classes of the relation being in the same path component on the set of points of X is denoted by π 0 (X). A space is called path connected if π 0 (X) consists of one point, i.e., if all pairs of points in X are in the same path component. 1.15.3 Excercise. Show that, for any n 0, n is path connected. We are going to denote elements in π 0 (X) by[x], where x X is a point in the given equivalence class. For such an element [x] π 0 (X), let us denote by X [x] the subspace of X consisting of all points in X that are in the same path component as x. These subspaces of X are called path connected components of X. Note that these subspaces are path connected, i.e., π 0 (X [x] ) is the one point set. 20

1.15.4 Excercise. Show that if Y is path connected, then for any map f : Y X, there is x X such that f(y ) X [x]. 21