Given a homeomorphism all subspaces of the domain are homeomorphic to their image under the homeomorphism itself
From Maths
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:
Come back and check this
Contents
Statement
Let [ilmath](X,\mathcal{ J })[/ilmath] and [ilmath](Y,\mathcal{ K })[/ilmath] be topological spaces and suppose that [ilmath]f:X\rightarrow Y[/ilmath] is a homeomorphism between them, so [ilmath]X\cong_f Y[/ilmath], then:
- [ilmath]\forall A\in\mathcal{P}(X)[A\cong_{f\vert_{A}^{\text{Im} } } f(A)][/ilmath]
- In words: For all subspaces of [ilmath]X[/ilmath], suppose in particular [ilmath]A[/ilmath] is a subspace, then [ilmath]f\vert_{A}^\text{Im}:A\rightarrow f(A)[/ilmath] - the restriction onto its image of [ilmath]f[/ilmath] to [ilmath]A[/ilmath] - is a homeomorphism between [ilmath]A[/ilmath] and [ilmath]f(A)\subseteq Y[/ilmath]
- So [ilmath]A\cong_{f\vert_A^\text{Im} }f(A)[/ilmath] explicitly
- In words: For all subspaces of [ilmath]X[/ilmath], suppose in particular [ilmath]A[/ilmath] is a subspace, then [ilmath]f\vert_{A}^\text{Im}:A\rightarrow f(A)[/ilmath] - the restriction onto its image of [ilmath]f[/ilmath] to [ilmath]A[/ilmath] - is a homeomorphism between [ilmath]A[/ilmath] and [ilmath]f(A)\subseteq Y[/ilmath]
Proof
Grade: E
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:
I've done the proof on paper here:
It uses [ilmath]A\subseteq B\implies f^{-1}(A)\subseteq f^{-1}(B)[/ilmath] which is somewhere under function properties, and it also expresses:
- [ilmath](f\vert_A^\text{Im})^{-1}(U)\eq f^{-1}(U)\cap A[/ilmath]
References
Grade: E
This page requires references, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.
The message provided is:
The message provided is:
I can't be the first person to have used this!