A connected space is a topological space that cannot be represented as the union of disjoint nonempty open subsets. If a space can be so represented, it is disconnected. Connectedness is one of the principal topological properties used to distinguish topological spaces.
For example the space with the topologyis not connected, or disconnected, because we can partition it as
and
are disjoint because
but the set with topology
is connected because we cannot write
as the union of two sets in the topology. For example
consisting of the set of matrices with non - zero determinant is not connected because we can partition it into the two sets, one set consisting of matrices with positive determinant and the other consisting of matrices with negative determinant. Every space with the discrete topology is disconnected, while every space with the indiscrete topology is connected.
Examples:
is connected. We can partition
into disjoint sets, for example,
but the first of these is not an open set in any topology on
is not a partition because
A subset of a topological spaceis a connected set if it is a connected space when viewed as a subspace of
If we delete a point fromthen the resulting space is still connected. If we delete a line from
then the space with the line removed is not connected. If a line is deleted from
then the space with the line removed is connected. In higher dimensions we can find a route around the deleted line using the other dimension. In general, removing a
plane from a space
leaves behind a connected space.
A spacewith the discrete topology is totally disconnected. For every
in the space, there is an open set
in the topology, and another set
also in the topology, with
We can extend connectness to intersections of sets.
Ifis a family of connected subsets of a topological space
indexed by an arbitrary set
such that for all
then
is also connected. For example the set of lines,
is connection since
where
If is a nonempty family of connected subsets of a topological space
such that
then
is also connected. We can again talk the set of lines
as an example since