Connected space: Difference between revisions

Revision as of 18:06, 26 January 2012

This article defines a homotopy-invariant property of topological spaces, i.e. a property of homotopy classes of topological spaces

View other homotopy-invariant properties of topological spaces OR view all properties of topological spaces

This article defines a property of topological space that is pivotal (viz important) among currently studied properties of topological spaces

This article is about a basic definition in topology.
VIEW: Definitions built on this | Facts about this | Survey articles about this
View a complete list of basic definitions in topology

Definition

Symbol-free definition

A topological space is said to be connected if it satisfies the following equivalent conditions:

It cannot be expressed as a disjoint union of two nonempty open subsets
It cannot be expressed as a disjoint union of two nonempty closed subsets
It has no clopen subsets other than the empty subspace and the whole space

Relation with other properties

Stronger properties

property	quick description	proof of implication	proof of strictness (reverse implication failure)	intermediate notions
Path-connected space	path joining any two points	path-connected implies connected	connected not implies path-connected	\|FULL LIST, MORE INFO
Simply connected space	path-connected, trivial fundamental group			\|FULL LIST, MORE INFO
Contractible space	homotopy-equivalent to a point			\|FULL LIST, MORE INFO

Opposite properties

Totally disconnected space

Metaproperties

Metaproperty name	Satisfied?	Proof	Statement with symbols
product-closed property of topological spaces	Yes	connectedness is product-closed	Suppose $X_{i}, i \in I$ , are all connected spaces. Then, the Cartesian product $\prod_{i \in I} X_{i}$ is also a connected space with the product topology.
box product-closed property of topological spaces	No	connectedness is not box product-closed	It is possible to have $X_{i}, i \in I$ all connected spaces such that the Cartesian product $\prod_{i \in I} X_{i}$ is not connected in the box topology.
coarsening-preserved property of topological spaces	Yes	connectedness is coarsening-preserved	If $X$ is connected under a topology $τ$ , it remains connected when we pass to a coarser topology than $τ$ .
continuous image-closed property of topological spaces	Yes	connectedness is continuous image-closed	If $X$ is a connected space and $Y$ is the image of $X$ under a continuous map, then $Y$ is also connected.
connected union-closed property of topological spaces	Yes	connectedness is connected union-closed
closure-preserved property of topological spaces	Yes	connectedness is closure-preserved	Suppose $A$ is a subset of $X$ that is connected in the subspace topology. Then, the closure $\bar{A}$ is also connected in its subspace topology.

References

Textbook references

Topology (2nd edition) by James R. Munkres^{More info}, Page 148 (formal definition)
Lecture Notes on Elementary Topology and Geometry (Undergraduate Texts in Mathematics) by I. M. Singer and J. A. Thorpe^{More info}, Page 11 (formal definition)

@@ Line 45: / Line 45: @@
 |-
 | [[satisfies metaproperty::continuous image-closed property of topological spaces]] || Yes || [[connectedness is continuous image-closed]] || If <math>X</math> is a connected space and <math>Y</math> is the image of <math>X</math> under a continuous map, then <math>Y</math> is also connected.
+|-
+| [[satisfies metaproperty::connected union-closed property of topological spaces]] || Yes || [[connectedness is connected union-closed]] ||
+|-
+| [[satisfies metaproperty::closure-preserved property of topological spaces]] || Yes || [[connectedness is closure-preserved]] || Suppose <math>A</math> is a subset of <math>X</math> that is connected in the subspace topology. Then, the closure <math>\overline{A}</math> is also connected in its subspace topology.
 |}