relative topology

In topology and related areas of mathematics, a subspace of a topological space ''X'' is a subset ''S'' of ''X'' which is equipped with a topology induced from that of ''X'' called the subspace topology (or the relative topology, or the induced topology, or the trace topology).

Definition

Given a topological space $(X, \tau)$ and a subset $S$ of $X$, the subspace topology on $S$ is defined by
:$\tau_S = \lbrace S \cap U \mid U \in \tau \rbrace.$
That is, a subset of $S$ is open in the subspace topology if and only if it is the intersection of $S$ with an open set in $(X, \tau)$. If $S$ is equipped with the subspace topology then it is a topological space in its own right, and is called a subspace of $(X, \tau)$. Subsets of topological spaces are usually assumed to be equipped with the subspace topology unless otherwise stated.

Alternatively we can define the subspace topology for a subset $S$ of $X$ as the coarsest topology for which the inclusion map
:$\iota: S \hookrightarrow X$
is continuous.

More generally, suppose $\iota$ is an injection from a set $S$ to a topological space $X$. Then the subspace topology on $S$ is defined as the coarsest topology for which $\iota$ is continuous. The open sets in this topology are precisely the ones of the form $\iota^(U)$ for $U$ open in $X$. $S$ is then homeomorphic to its image in $X$ (also with the subspace topology) and $\iota$ is called a topological embedding.

A subspace $S$ is called an open subspace if the injection $\iota$ is an open map, i.e., if the forward image of an open set of $S$ is open in $X$. Likewise it is called a closed subspace if the injection $\iota$ is a closed map.

Terminology

The distinction between a set and a topological space is often blurred notationally, for convenience, which can be a source of confusion when one first encounters these definitions. Thus, whenever $S$ is a subset of $X$, and $(X, \tau)$ is a topological space, then the unadorned symbols "$S$" and "$X$" can often be used to refer both to $S$ and $X$ considered as two subsets of $X$, and also to $(S,\tau_S)$ and $(X,\tau)$ as the topological spaces, related as discussed above. So phrases such as "$S$ an open subspace of $X$" are used to mean that $(S,\tau_S)$ is an open subspace of $(X,\tau)$, in the sense used above; that is: (i) $S \in \tau$; and (ii) $S$ is considered to be endowed with the subspace topology.

Examples

In the following, $\mathbb$ represents the real numbers with their usual topology.
* The subspace topology of the natural numbers, as a subspace of $\mathbb$, is the discrete topology.
* The rational numbers $\mathbb$ considered as a subspace of $\mathbb$ do not have the discrete topology ( for example is not an open set in $\mathbb$). If ''a'' and ''b'' are rational, then the intervals (''a'', ''b'') and 'a'', ''b''are respectively open and closed, but if ''a'' and ''b'' are irrational, then the set of all rational ''x'' with ''a'' < ''x'' < ''b'' is both open and closed.
* The set ,1as a subspace of $\mathbb$ is both open and closed, whereas as a subset of $\mathbb$ it is only closed.
* As a subspace of $\mathbb$, , 1∪ , 3is composed of two disjoint ''open'' subsets (which happen also to be closed), and is therefore a disconnected space.
* Let ''S'' = if_and_only_if_

In_logic_and_related_fields_such_as_mathematics_and_philosophy,_"if_and_only_if"_(shortened_as_"iff")_is_a_biconditional_logical_connective_between_statements,_where_either_both_statements_are_true_or_both_are_false.

The_connective_is_bicondi_...
_the_composite_map_$i\circ_f$_is_continuous._

This_property_is_characteristic_in_the_sense_that_it_can_be_used_to_define_the_subspace_topology_on_$Y$.

We_list_some_further_properties_of_the_subspace_topology._In_the_following_let_$S$_be_a_subspace_of_$X$.

*_If_$f:X\to_Y$_is_continuous_then_the_restriction_to_$S$_is_continuous.
*_If_$f:X\to_Y$_is_continuous_then_$f:X\to_f(X)$_is_continuous.
*_The_closed_sets_in_$S$_are_precisely_the_intersections_of_$S$_with_closed_sets_in_$X$.
*_If_$A$_is_a_subspace_of_$S$_then_$A$_is_also_a_subspace_of_$X$_with_the_same_topology._In_other_words_the_subspace_topology_that_$A$_inherits_from_$S$_is_the_same_as_the_one_it_inherits_from_$X$.
*_Suppose_$S$_is_an_open_subspace_of_$X$_(so_$S\in\tau$)._Then_a_subset_of_$S$_is_open_in_$S$_if_and_only_if_it_is_open_in_$X$.
*_Suppose_$S$_is_a_closed_subspace_of_$X$_(so_$X\setminus_S\in\tau$)._Then_a_subset_of_$S$_is_closed_in_$S$_if_and_only_if_it_is_closed_in_$X$.
*_If_$B$_is_a_basis_(topology).html" "title=", 1) be a subspace of the real line $\mathbb$. Then [0, ) is open in ''S'' but not in $\mathbb$. Likewise [, 1) is closed in ''S'' but not in $\mathbb$. ''S'' is both open and closed as a subset of itself but not as a subset of $\mathbb$.

Properties

The subspace topology has the following characteristic property. Let $Y$ be a subspace of $X$ and let $i : Y \to X$ be the inclusion map. Then for any topological space $Z$ a map $f : Z\to Y$ is continuous if and only if the composite map $i\circ f$ is continuous.

This property is characteristic in the sense that it can be used to define the subspace topology on $Y$.

We list some further properties of the subspace topology. In the following let $S$ be a subspace of $X$.

* If $f:X\to Y$ is continuous then the restriction to $S$ is continuous.
* If $f:X\to Y$ is continuous then $f:X\to f(X)$ is continuous.
* The closed sets in $S$ are precisely the intersections of $S$ with closed sets in $X$.
* If $A$ is a subspace of $S$ then $A$ is also a subspace of $X$ with the same topology. In other words the subspace topology that $A$ inherits from $S$ is the same as the one it inherits from $X$.
* Suppose $S$ is an open subspace of $X$ (so $S\in\tau$). Then a subset of $S$ is open in $S$ if and only if it is open in $X$.
* Suppose $S$ is a closed subspace of $X$ (so $X\setminus S\in\tau$). Then a subset of $S$ is closed in $S$ if and only if it is closed in $X$.
* If $B$ is a basis (topology)">basis