Subspace topology
From Topospaces
This article is about a basic definition in topology.
VIEW: Definitions built on this | Facts about this | Survey articles about this
View a complete list of basic definitions in topology
This article describes the induced structure on any subset (subspace) corresponding to a particular structure on a set: the structure of a topological space
View other induced structures on subspaces
Definition
Let be a topological space (viz, a set endowed with a topology ) and be a subset of . The subspace topology or induced topology or relative topology on can be defined in many equivalent ways. Note that induced with this topology is a topological space in its own right. Thus, subsets of topological spaces are often also called subspaces.
The subspace topology can be defined in many equivalent ways. The equivalent formulations are described below:
Formulation in terms of ... | Details | Comment |
---|---|---|
determining which subsets are open | A subset of is open in if and only if it is the intersection with of an open subset of . In other words, is open in if and only if there exists an open subset of such that . | The description of which subsets are open completely determines the topology, and the topology completely determines which subsets are open. Also, is not uniquely determined by , though, subject to its existence, we can take a maximal , which is the union of all the possible choices for . |
determining which subsets are closed | A subset of is closed in if and only if it is the intersection with of a closed subset of . In other words, is closed in if and only if there exists a closed subset of such that . | The description of which subsets are closed completely determines the topology, and the topology completely determines which subsets are open. Also, is not uniquely determined by , though, subject to its existence, we can take a minimal , which is the intersection of all possible choices, and is also the closure of within . |
finding a basis | Given a basis for , we can directly use it to define a basis for the subspace topology on . Namely, for each basis open set, replace it by its intersection with . In other words, if form a basis for , then a basis for the subspace topology on is given by . | Note that while a basis uniquely determines the topology, the same topology can be describd by different possibilities for basis. Thus, a priori, it is not clear that different starting choices of basis for would yield the same topology on . To show that this is true, we show equivalence with the open subset formulation. |
finding a subbasis | Given a subbasis for , we can directly use it to define a basis for the subspace topology on . Namely, for each subbasis open set, replace it by its intersection with . In other words, if form a subbasis for , then a basis for the subspace topology on is given by . | Note that while a subbasis uniquely determines the topology, the same topology can be described by different possibilities for basis. Thus, a priori, it is not clear that different starting choices of basis for would yield the same topology on . To show that this is true, we show equivalence with the open subset formulation. |
in terms of making a map continuous | The subspace topology is the coarsest topology that can be endowed on , for which the inclusion map from to is a continuous map. |
Equivalence of definitions
Further information: Equivalence of definitions of subspace topology
References
Textbook references
- Topology (2nd edition) by James R. Munkres^{More info}, Page 88-89
- Lecture Notes on Elementary Topology and Geometry (Undergraduate Texts in Mathematics) by I. M. Singer and J. A. Thorpe^{More info}, Page 10 (Theorem 6): introduced under the name relative topology