Difference between revisions of "Characteristic property of the subspace topology"

From Maths
Jump to: navigation, search
(Creating page, going to create statement now.)
 
m (→‎Proof: Adding link to existing proof)
 
Line 4: Line 4:
 
{{/Statement}}
 
{{/Statement}}
 
==Proof==
 
==Proof==
−
{{Requires proof|grade=A|msg=Already done on task page, just copy and paste!}}
+
{{Requires proof|grade=A|msg=Already done on task page, just copy and paste! '''SEE [[Task:Characteristic property of the subspace topology|HERE]] PROOF IS ALREADY DONE'''}}
 +
 
 
==See also==
 
==See also==
 
{{Todo|Put some links here}}
 
{{Todo|Put some links here}}

Latest revision as of 23:25, 25 September 2016

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][Note 1]. The characteristic property of the subspace topology[1] 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)[Note 2]

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

Notes

  1. ↑ This means [ilmath]S\in\mathcal{P}(X)[/ilmath], or [ilmath]S\subseteq X[/ilmath] of course
  2. ↑ This leads to two ways to prove the statement:
    1. If we show [ilmath]i_S:S\rightarrow X[/ilmath] is continuous, then we can use the composition of continuous maps is continuous to show if [ilmath]f[/ilmath] continuous then so is [ilmath]i_S\circ f[/ilmath]
    2. We can show the property the "long way" and then show [ilmath]i_S:S\rightarrow X[/ilmath] is continuous as a corollary

References

  1. ↑ Introduction to Topological Manifolds - John M. Lee

v • d • e
 
Topology
Overview of the structures studied in topology
Primitives
Global properties of topological spaces
Local properties of topological spaces
Constructs
Subtypes of topological spaces
inner product spaces [ilmath]\subset[/ilmath] normed spaces [ilmath]\subset[/ilmath] metric spaces [ilmath]\subset[/ilmath] topological spaces
Maps between topological spaces



Retrieved from "https://www.maths.kisogo.com/index.php?title=Characteristic_property_of_the_subspace_topology&oldid=3072"