A topological space is disconnected if and only if there exists a non-constant continuous function from the space to the discrete space on two elements
From Maths
Revision as of 23:08, 30 September 2016 by Alec (Talk | contribs) (Created page with "__TOC__ ==Statement== Let {{Top.|X|J}} be a topological space, and let {{Top.|Y|K}} be a discrete topological space with {{M|1=Y:=\{0,1\} }} and {{M|...")
Contents
Statement
Let [ilmath](X,\mathcal{ J })[/ilmath] be a topological space, and let [ilmath](Y,\mathcal{ K })[/ilmath] be a discrete topological space with [ilmath]Y:=\{0,1\}[/ilmath] and [ilmath]\mathcal{K}:=\mathcal{P}(Y)[/ilmath][Note 1] then[1]:
- [ilmath](X,\mathcal{ J })[/ilmath] is disconnected (ie, not connected) if and only if there exists a non-constant[Note 2], continuous function, [ilmath]f:X\rightarrow Y[/ilmath]
Proof
Grade: C
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:
This proof has been marked as an page requiring an easy proof
The message provided is:
Easy proof to do, exercise on page 87 in Lee's top. manifolds, but it didn't take me very long. Marked as easy
This proof has been marked as an page requiring an easy proof
See also
Notes
- ↑ Note: [ilmath]\mathcal{P}(Y)=\mathcal{P}(\{0,1\})=\{\emptyset,\{0\},\{1\},\{0,1\}\}[/ilmath]
- ↑ Recall a map is constant if:
- [ilmath]\forall p,q\in X[f(p)=f(q)][/ilmath]
References