Formal Definition
A topological space X is said to be disconnected if it is the union of two disjoint nonempty open sets. Otherwise, X is said to be connected. A subset of a topological space is said to be connected if it is connected under its subspace topology. Some authors exclude the empty set (with its unique topology) as a connected space, but this article does not follow that practice.
For a topological space X the following conditions are equivalent:
- X is connected.
- X cannot be divided into two disjoint nonempty closed sets.
- The only subsets of X which are both open and closed (clopen sets) are X and the empty set.
- The only subsets of X with empty boundary are X and the empty set.
- X cannot be written as the union of two nonempty separated sets.
- The only continuous functions from X to {0,1} are constant.
Read more about this topic: Connected Space
Famous quotes containing the words formal and/or definition:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
—Horace Walpole (1717–1797)
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)