Characteristic property of the subspace topology

Stub grade: A

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:

I've already written the proof in a task page so it should be easy to put this all together

Statement

[ilmath]\xymatrix{ Y \ar[r]^f \ar[dr]_{i_S\circ f} & S \ar@{^{(}->}[d]^{i_S}\\ & X}[/ilmath]
Diagram

Let [ilmath](X,\mathcal{ J })[/ilmath] be a topological space and let [ilmath](S,\mathcal{J}_S)[/ilmath] be any subspace of [ilmath](X,\mathcal{ J })[/ilmath]. The characteristic property of the subspace topology is that:

• Given any topological space [ilmath](Y,\mathcal{ K })[/ilmath] and any map [ilmath]f:Y\rightarrow S[/ilmath] we have:
  • [ilmath](f:Y\rightarrow S [/ilmath] is continuous[ilmath])\iff(i_S\circ f:Y\rightarrow X [/ilmath] is continuous[ilmath])[/ilmath]

Where [ilmath]i_S:S\rightarrow X[/ilmath] given by [ilmath]i_S:s\mapsto s[/ilmath] is the canonical injection of the subspace topology (which is itself continuous)

Proof

Grade: A

This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.

Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:

Already done on task page, just copy and paste! SEE HERE PROOF IS ALREADY DONE

See also

---

TODO: Put some links here

---