Subspace topology is transitive: Difference between revisions

From Topospaces
(New page: ==Statement== Suppose <math>A \subset B \subset X</math>, where <math>(X, \tau)</math> is a topological space. Then, there are two ways to obtain a topology on <math>A</math>: * Take the...)
 
(No difference)

Latest revision as of 21:59, 19 July 2008

Statement

Suppose , where is a topological space. Then, there are two ways to obtain a topology on :

  • Take the subspace topology on coming from the topology on
  • First, take the subspace topology on coming from the topology on . Then, take the subspace topology on from this topology on

Both these topologies on are the same.