Difference between revisions of "Connected (topology)/Equivalent conditions"
From Maths
(Moved out of connected (topology) added local reference tags, preparing to transclude and update) |
m (Fixed ref, prepared to move badly named theorem) |
||
| Line 4: | Line 4: | ||
</noinclude>To a [[topological space]] {{Top.|X|J}} being connected: | </noinclude>To a [[topological space]] {{Top.|X|J}} being connected: | ||
* [[A topological space is connected if and only if the only sets that are both open and closed in the space are the entire space itself and the emptyset]] | * [[A topological space is connected if and only if the only sets that are both open and closed in the space are the entire space itself and the emptyset]] | ||
| − | ** Some authors give this as the definition of a connected space, eg{{ | + | ** Some authors give this as the definition of a connected space, eg{{rITTBM}} |
* [[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]] | * [[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]] | ||
* [[A topological space is disconnected if and only if it is homeomorphic to a disjoint union of two or more non-empty topological spaces]] | * [[A topological space is disconnected if and only if it is homeomorphic to a disjoint union of two or more non-empty topological spaces]] | ||
To an arbitrary subset, {{M|A\in\mathcal{P}(X)}}, being connected: | To an arbitrary subset, {{M|A\in\mathcal{P}(X)}}, being connected: | ||
* Obviously, the only sets being both [[relatively open]] and [[relatively closed]] in {{M|A}} are [[emptyset|{{M|\emptyset}}]] and {{M|A}} itself. (This comes directly from the subspace definition above) | * Obviously, the only sets being both [[relatively open]] and [[relatively closed]] in {{M|A}} are [[emptyset|{{M|\emptyset}}]] and {{M|A}} itself. (This comes directly from the subspace definition above) | ||
| − | * [[A subset of a topological space is disconnected if and only if it can be covered by two non-empty disjoint | + | * [[A subset of a topological space is disconnected if and only if it can be covered by two non-empty-in-the-subset and disjoint-in-the-subset sets that are open in the space itself]] |
** Then apply the definition above, a subset is considered connected if it is ''not'' disconnected | ** Then apply the definition above, a subset is considered connected if it is ''not'' disconnected | ||
* [[A subset of a topological space is connected if and only if and only if the only two subsets that are both relatively open and relatively closed with respect to the subset are the empty-set and the subset itself]]<noinclude> | * [[A subset of a topological space is connected if and only if and only if the only two subsets that are both relatively open and relatively closed with respect to the subset are the empty-set and the subset itself]]<noinclude> | ||
Latest revision as of 00:21, 2 October 2016
- This page is supposed to be transcluded, if you are arriving here from a search page see connected or disconnected
Equivalent conditions to being connected/disconnected
To a topological space [ilmath](X,\mathcal{ J })[/ilmath] being connected:
- A topological space is connected if and only if the only sets that are both open and closed in the space are the entire space itself and the emptyset
- Some authors give this as the definition of a connected space, eg[1]
- 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
- A topological space is disconnected if and only if it is homeomorphic to a disjoint union of two or more non-empty topological spaces
To an arbitrary subset, [ilmath]A\in\mathcal{P}(X)[/ilmath], being connected:
- Obviously, the only sets being both relatively open and relatively closed in [ilmath]A[/ilmath] are [ilmath]\emptyset[/ilmath] and [ilmath]A[/ilmath] itself. (This comes directly from the subspace definition above)
- A subset of a topological space is disconnected if and only if it can be covered by two non-empty-in-the-subset and disjoint-in-the-subset sets that are open in the space itself
- Then apply the definition above, a subset is considered connected if it is not disconnected
- A subset of a topological space is connected if and only if and only if the only two subsets that are both relatively open and relatively closed with respect to the subset are the empty-set and the subset itself
TODO: Bottom of page 114 in Mendelson, something about closed sets and connectedness
