Difference between revisions of "Characteristic property of the subspace topology"
From Maths
(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
Contents
[hide]Statement
- Given any topological space (Y,K) and any map f:Y→S we have:
- (f:Y→S is continuous)⟺(iS∘f:Y→X is continuous)
Where iS:S→X given by iS:s↦s 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:
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
- Jump up ↑ This means S∈P(X), or S⊆X of course
- Jump up ↑ This leads to two ways to prove the statement:
- If we show iS:S→X is continuous, then we can use the composition of continuous maps is continuous to show if f continuous then so is iS∘f
- We can show the property the "long way" and then show iS:S→X is continuous as a corollary
References
|