The image of a connected set is connected

From Maths
Jump to: navigation, search
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:
Doing some work while I've got a bit of time, majority written right before bed, so needs checking. This is also "the theorem" of connectedness

Statement

Let [ilmath](X,\mathcal{ J })[/ilmath] and [ilmath](Y,\mathcal{ K })[/ilmath] be topological spaces and let [ilmath]f:X\rightarrow Y[/ilmath] be a continuous map. Then, for any [ilmath]A\in\mathcal{P}(X)[/ilmath], we have[1]:

  • If [ilmath]A[/ilmath] is a connected subset of [ilmath](X,\mathcal{ J })[/ilmath] then [ilmath]f(A)[/ilmath] is connected subset in [ilmath](Y,\mathcal{ K })[/ilmath]

Proof

We do this proof by contrapositive, that is noting that: [ilmath](A\implies B)\iff((\neg B)\implies(\neg A))[/ilmath], as such we will show:

  • if [ilmath]f(A)[/ilmath] is disconnected then [ilmath]A[/ilmath] is disconnected

Let us begin:

  • Suppose [ilmath]f(A)[/ilmath] is disconnected, and write [ilmath](f(A),\mathcal{K}_{f(A)})[/ilmath] for the topological subspace on [ilmath]f(A)[/ilmath] of [ilmath](Y,\mathcal{ K })[/ilmath].
    • Then there exists [ilmath]U,V\in\mathcal{K}_{f(A)} [/ilmath] such that [ilmath]U[/ilmath] and [ilmath]V[/ilmath] disconnect [ilmath]f(A)[/ilmath][Note 1]
      • Notice that [ilmath]f^{-1}(U)[/ilmath] and [ilmath]f^{-1}(V)[/ilmath] are disjoint
        • PROOF HERE
      • Notice also that [ilmath]A\subseteq f^{-1}(U)\cup f^{-1}(V)[/ilmath] (we may or may not have: [ilmath]A=f^{-1}(U)\cup f^{-1}(V)[/ilmath], as there might exist elements outside of [ilmath]A[/ilmath] that map into [ilmath]f(A)[/ilmath] notice)
        • PROOF HERE

Caution:We do not know whether or not [ilmath]f^{-1}(U)[/ilmath] or [ilmath]f^{-1}(V)[/ilmath] are open in [ilmath]X[/ilmath] (and they may form a strict superset of [ilmath]A[/ilmath] so cannot be open in [ilmath]A[/ilmath])

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:
Working on it

OLD WORKINGS

This completes the proof

Notes

  1. Recall [ilmath]U[/ilmath] and [ilmath]V[/ilmath] are said to disconnect [ilmath]f(A)[/ilmath] if:
    1. they are disjoint,
    2. they are both non-empty, and
    3. [ilmath]U\cup V=f(A)[/ilmath]

References

  1. Introduction to Topology - Bert Mendelson