2.03 Subspace topology
Below the video you will find accompanying notes and some pre-class questions.
- Previous video: Bases, metric and subspace topologies.
- Next video: Connectedness, path-connectedness.
- Index of all lectures.
Notes
Subspace topology
(0.00) Let X be a topological space (write T for the
topology on X). Suppose that Y⊂X is a subset. Define
the subspace topology on Y by declaring a subset U⊂Y to be open in the subspace topology if and only if there exists
an open subset V⊂X such that U=V∩Y.
(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=V∩Y, 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={z∈C : |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
Y⊂X be a subset. Write S for the subspace topology on
Y. Let i:Y→X be the inclusion map. Then:
- i is continuous with respect to the topology S on Y and T on X;
- moreover, S is the coarsest topology on Y for which i is continuous. That is, if S′ is another topology on Y such that i:(Y,S′)→(X,T) is continuous, then S⊂S′.
- (12.21) Let V⊂T be an open set and let i−1(V)
be its preimage. We have i−1(V)=Y∩V, which tells us
that i−1(V) is open in the subspace topology on
Y. Therefore i is continuous.
- (13.53) If i is continuous for S′ then for any
V⊂X, i−1(V)=V∩Y⊂Y is open in
S′. But this means that S⊂S′.
The product topology on Y1×Y2 is the coarsest topology
on Y1×Y2 making both projection maps pk:Y1×Y2→Yk, pk(y1,y2)=yk, continuous.
(16.36) The maps sinθ:S1→R and
cosθ:S1→R are continuous maps.
The inclusion map i:S1→R2 is continuous. The
projections pk:R2→R onto the x1
and x2 axes are continuous. Since cosθ=p1∘i and
sinθ=p2∘i 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
- Show that the subspace topology satisfies the axioms for a topology.
Navigation
- Previous video: Bases, metric and subspace topologies.
- Next video: Connectedness, path-connectedness.
- Index of all lectures.