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:
“The formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.”
—Simon Hoggart (b. 1946)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)