If a nonempty scheme has no nontrivial idempotent in , then its underlying topological space is connected. Indeed, a decomposition into two nonempty clopen subsets would produce the global regular function equal to zero on one component and one on the other. In particular, being a field implies connectedness.
A separation of a topological space is a pair of disjoint nonempty open subsets whose union is . A space is connected exactly when it has no separation.
The product of connected spaces is connected, so the product of the two connected components lies in the component of . Conversely, continuous projections carry that component to connected sets in the factors, which must lie in and . These two inclusions prove equality in arbitrary topological spaces.
An embedded copy of in separates space into an inside and an outside. In particular, a connected closed surface embedded in is two-sided and orientable.
A subset of the real numbers is connected exactly when it is a real interval. If it contains but omits some , intersecting it with the two open half-lines separated by gives a separation.
A topological space is connected exactly when every continuous map from it to the discrete space is constant. A disconnection produces a nonconstant indicator map, while the continuous image of a connected space in must be a singleton.
If connected subsets cover a space and every two of them intersect, then their union is connected. Equivalently, any continuous integer-valued function is constant on each member, and the intersections force all those constants to agree.
The product of any family of connected spaces is connected. For two factors, fix and use the connected setsThey cover and all contain the connected horizontal slice .
Articles by others on the same topic
In topology, a connected space is a fundamental concept that refers to a topological space that cannot be divided into two disjoint, non-empty open sets. More formally, a topological space \( X \) is called connected if there do not exist two open sets \( U \) and \( V \) such that: 1. \( U \cap V = \emptyset \) 2. \( U \cup V = X \) 3.
