Preliminary exam prep
Let X,Y be topological spaces based at x0,y0, respectively, and I=[0,1] the unit interval.
coneCX=X×I/X×{0}suspensionΣX=X×I/X×{0},X×{1}reduced suspension˜ΣX=X×I/X×{0},X×{0},{x0}×IwedgeX∨Y=X⊔Y/{x0}∼{y0}smashX∧Y=X×Y/X×{y0},{x0}×YjoinX∗Y=X×Y×I/X×{y}×{0}∀ y∈Y{x}×Y×{1}∀ x∈Xconnected sumX#Y=(X∖DnX)⊔(Y∖DnY)/∂DnX∼∂DnY
In the last description, X and Y are assumed to be n-manifolds, with DnX a closed n-dimensional disk in X (similarly for Y). The quotient identification may also be made via some non-trivial map. In fact, only the interior of each n-disk is removed from X and Y, so that the quotient makes sense.
Remark: Some of the above constructions may be expressed in terms of others, for example
X∧Y=X×Y/X∨Y,X∗Y=Σ(X∧Y).
The first is clear by viewing X=X×{y0} and Y={x0}×Y as sitting inside X×Y. The second is clear by letting X×{y}×{0} be identified to {x0}×{y}×{0} for every y∈Y, and analogously with Y.
Example: Here are some of the constructions above applied to some common spaces.
CX≃ptΣSn=Sn+1Sn∧Sm=Sn+mΣX=S1∧XSn∗Sm=Sn+m+1
Remark: We may also calculate the homology of the new spaces in terms of the old ones.
˜Hk(CX)=0via homotopy˜Hk(ΣX)=˜Hk−1(X)via Mayer--Vietoris˜Hk(X∨Y)=˜Hk(X)⊕˜Hk(Y)via Mayer--Vietoris˜Hk(X∧Sℓ)=˜Hk−ℓ(X)via Kunneth˜Hk(X#Y)=˜Hk(X)⊕˜Hk(Y)via Mayer--Vietoris and relative homology
The last equality holds for k<n−1, for M and N both n-manifolds, and for k=n−1 when at least one of them is orientable.
References: Hatcher (Algebraic Topology, Chapters 0, 2)
coneCX=X×I/X×{0}suspensionΣX=X×I/X×{0},X×{1}reduced suspension˜ΣX=X×I/X×{0},X×{0},{x0}×IwedgeX∨Y=X⊔Y/{x0}∼{y0}smashX∧Y=X×Y/X×{y0},{x0}×YjoinX∗Y=X×Y×I/X×{y}×{0}∀ y∈Y{x}×Y×{1}∀ x∈Xconnected sumX#Y=(X∖DnX)⊔(Y∖DnY)/∂DnX∼∂DnY
In the last description, X and Y are assumed to be n-manifolds, with DnX a closed n-dimensional disk in X (similarly for Y). The quotient identification may also be made via some non-trivial map. In fact, only the interior of each n-disk is removed from X and Y, so that the quotient makes sense.
Remark: Some of the above constructions may be expressed in terms of others, for example
X∧Y=X×Y/X∨Y,X∗Y=Σ(X∧Y).
The first is clear by viewing X=X×{y0} and Y={x0}×Y as sitting inside X×Y. The second is clear by letting X×{y}×{0} be identified to {x0}×{y}×{0} for every y∈Y, and analogously with Y.
Example: Here are some of the constructions above applied to some common spaces.
CX≃ptΣSn=Sn+1Sn∧Sm=Sn+mΣX=S1∧XSn∗Sm=Sn+m+1
Remark: We may also calculate the homology of the new spaces in terms of the old ones.
˜Hk(CX)=0via homotopy˜Hk(ΣX)=˜Hk−1(X)via Mayer--Vietoris˜Hk(X∨Y)=˜Hk(X)⊕˜Hk(Y)via Mayer--Vietoris˜Hk(X∧Sℓ)=˜Hk−ℓ(X)via Kunneth˜Hk(X#Y)=˜Hk(X)⊕˜Hk(Y)via Mayer--Vietoris and relative homology
The last equality holds for k<n−1, for M and N both n-manifolds, and for k=n−1 when at least one of them is orientable.
References: Hatcher (Algebraic Topology, Chapters 0, 2)
No comments:
Post a Comment