2.03 Subspace topology

Below the video you will find accompanying notes and some pre-class questions.

Notes

Subspace topology

(0.00) Let X be a topological space (write T for the topology on X). Suppose that YX is a subset. Define the subspace topology on Y by declaring a subset UY to be open in the subspace topology if and only if there exists an open subset VX such that U=VY.

(1.37) Let X be the plane R2 equipped with the metric topology and let Y be a curve in X. Take an open ball in X and intersect it with Y: you might get something like an open interval in the curve. This is then open in the subspace topology on Y.

(2.34) Let X be the plane R2 again and let Y=[0,1]×[0,1] be the closed square in X. In the subspace topology on Y, the subset Y=[0,1]×[0,1]Y is open (even though it's closed as a subset of X). Of course, this must be true: otherwise the subspace topology would not satisfy the axioms of a topology. To see in this case why Y is open, take an open ball V=B0(2) of radius 2 centred at 0 in X: we have Y=VY, so Y is open in the subspace topology.

(4.06) The subspace topology satisfies the axioms for a topology.
Exercise.

More examples

We can now see many of our favourite mathematical objects as topological spaces.

(4.28) The circle S1={zC : |z|=1} is a subset of the complex plane so it inherits a subspace topology.

(5.20) The n-sphere is the subset {(x0,,xn)Rn+1 : nk=0x2k=1} inherits a subspace topology from Rn+1

(6.07) The torus T2 is a subset of R3 so it inherits a topology. Note that I am only talking about the surface of the torus (with longitude and latitude coordinates) so this is a 2-dimensional space. More generally, any closed orientable surface (genus 2, genus 3,...) can be embedded in R3 so inherits a topology.

(7.08) The torus can also be embedded in R4. It inherits another topology from this embedding, but this topology is homeomorphic to the topology it gets from R3 (isomorphic in the category of topological spaces). To see how the torus embeds in R4, let (θ,ϕ) be longitude/latitude coordinates on the torus and embed this point as (cosθ,sinθ,cosϕ,sinϕ)R4. Although the torus in R3 and the torus in R4 are homeomorphic (the same topological space) the geometries they inherit from their ambient spaces are very different (in R3 the torus has Gaussian curvature which varies from point to point (from positive to negative); in R4 the Gaussian curvature of the torus is zero).

Properties of the subspace topology

(9.45) Let X be a topological space with topology T and YX be a subset. Write S for the subspace topology on Y. Let i:YX be the inclusion map. Then:
(15.08) One can often define a topology on a space Y by giving a map f:YX and asking for the coarsest topology on Y making f continuous, or giving a map f:XY and asking for the finest topology on Y making f continuous.

The product topology on Y1×Y2 is the coarsest topology on Y1×Y2 making both projection maps pk:Y1×Y2Yk, pk(y1,y2)=yk, continuous.

(16.36) The maps sinθ:S1R and cosθ:S1R are continuous maps.
The inclusion map i:S1R2 is continuous. The projections pk:R2R onto the x1 and x2 axes are continuous. Since cosθ=p1i and sinθ=p2i are compositions of continuous maps, they are continuous.

Looking back at the embedding of the torus into R4, we see that we are thinking of the torus as S1×S1 (coordinates (θ,ϕ)) and the inclusion map we write is continuous with respect to this product topology. This means that the product topology contains the subspace topology (by the lemma above). In fact, when we talk more about homeomorphisms, we will see that the product topology on S1×S1 is homeomorphic to the subspace topology it inherits from R4.

Pre-class questions

  1. Show that the subspace topology satisfies the axioms for a topology.

Navigation

Comments, corrections and contributions are very welcome; please drop me an email at j.d.evans at lancaster.ac.uk if you have something to share.

CC-BY-SA 4.0 Jonny Evans.