Category:Continuity of Composite with Inclusion
This category contains pages concerning Continuity of Composite with Inclusion:
Let $T = \struct {A, \tau}$ and $T' = \struct {A', \tau'}$ be topological spaces.
Let $H \subseteq A$.
Let $T_H = \struct {H, \tau_H}$ be a topological subspace of $T$.
Let $i: H \to A$ be the inclusion mapping.
Let $f: A \to A'$ and $g: A' \to H$ be mappings.
Then the following apply:
Mapping on Inclusion
If $f$ is $\tuple {\tau, \tau'}$-continuous, then $f \circ i$ is $\tuple {\tau_H, \tau'}$-continuous
Inclusion on Mapping
$g$ is $\tuple {\tau', \tau_H}$-continuous if and only if $i \circ g$ is $\tuple {\tau', \tau}$-continuous.
Uniqueness of Induced Topology
The induced topology $\tau_H$ is the only topology on $H$ satisfying Continuity of Composite with Inclusion: Inclusion on Mapping for all possible $g$.
Pages in category "Continuity of Composite with Inclusion"
The following 5 pages are in this category, out of 5 total.