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
Jump to: navigation, search

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]:

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:
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

  1. Note: [ilmath]\mathcal{P}(Y)=\mathcal{P}(\{0,1\})=\{\emptyset,\{0\},\{1\},\{0,1\}\}[/ilmath]
  2. Recall a map is constant if:
    • [ilmath]\forall p,q\in X[f(p)=f(q)][/ilmath]

References

  1. Introduction to Topological Manifolds - John M. Lee