nLab
connected space

Context

Topology

Idea
Definitions
Basic results
Exotic examples
Connected components
Locally connected spaces
Path-connectedness
- Path-components functor
Related concepts
References

Idea

A space is connected if it can't be split up into two independent parts. On this page we focus on connectedness for topological spaces.

Every topological space can be decomposed into disjoint maximal connected subspaces, called its connected components. The underlying set of a topological space is the disjoint union of the underlying sets of its connected components, but the space itself is not necessarily the coproduct of its connected components in the category of spaces.

One often studies topological ideas first for connected spaces and then generalises to general spaces. This is especially true if one is studying such nice topological spaces that every space is a coproduct of connected components (such as for example locally connected spaces; see below).

Definitions

Speaking category-theoretically a topological space $X$ is connected if the representable functor

hom (X, -) : Top \to Set

preserves coproducts. It's actually enough to require that it preserves binary coproducts (a detailed proof in a more general setting is given at connected object); in that case, notice that we always have a map

hom (X, Y) + hom (X, Z) \to hom (X, Y + Z),

so $X$ is connected if this is always a bijection. This definition generalises to the notion of connected object in an extensive category.

Here are some equivalent ways to say that $X$ is connected in more elementary terms:

Whenever $X ≅ Y + Z$ , where the right side is the coproduct of spaces $Y, Z$ (so that $Y, Z$ are identified with disjoint open subspaces of $X$ ), then exactly one of $Y, Z$ is inhabited (so the other is empty, making the inhabited one homeomorphic to $X$ ).
If $K \subseteq X$ is clopen (both closed and open), then $K = X$ if and only if $K$ is inhabited.

Many authors allow the empty space to be connected. You can get this concept from the elementary definitions above by changing ‘exactly one’ to ‘at most one’ and changing ‘if and only if’ to ‘if’. Categorially, this version of connectedness requires only that the maps

hom (X, Y) + hom (X, Z) \to hom (X, Y + Z)

be surjections. However, many results come out more cleanly by disqualifying the empty space (much as one disqualifies $1$ when one defines the notion of prime number). See also the discussion at empty space and too simple to be simple.

The elementary definitions above have been carefully phrased to be correct in constructive mathematics. One may also see classically equivalent forms that are constructively weaker.

Basic results

Result

The image of a connected space $X$ under a continuous map $f : X \to Y$ is connected.

Result

Wide pushouts of connected spaces are connected. (This would of course be false if the empty space were considered to be connected.) This follows from the hom-functor definition of connectedness, plus the fact that coproducts in $Set$ commute with wide pullbacks. More memorably: connected colimits of connected spaces are connected.

Result

An arbitrary product of connected spaces is connected. (This relies on some special features of $Top$ . Discussion of this point can be found at connected object.)

Result

The interval $[0, 1]$ , as a subspace of $ℝ$ , is connected. (This is the topological underpinning of the intermediate value theorem.)

Result

If $S \subseteq X$ is a connected subspace and $S \subseteq T \subseteq \bar{S}$ (i.e. if $T$ is between $S$ and its closure), then $T$ is connected.

Exotic examples

The basic results above give a plethora of ways to construct connected spaces. More exotic examples are sometimes useful, especially for constructing counterexamples.

Example

The following, due to Bing, is a countable connected Hausdorff space. Let $Q = {(x, y) \in ℚ \times ℚ : y \geq 0}$ , topologized by defining a basis of neighborhoods $N_{ϵ, a, b}$ for each point $(a, b) \in Q$ and $ϵ > 0$ :

N_{a, b} ≔ {(a, b)} \cup {(s, 0) \in Q : ∣ a + b / θ - s ∣ < ϵ} \cup {(s, 0) \in Q : ∣ a - b / θ - s ∣ < ϵ}

where $θ < 0$ is some chosen fixed irrational number. It is easy to see this space is Hausdorff (using the fact that $θ$ is irrational). However, the closure of $N_{ϵ, a, b}$ consists of points $(x, y)$ of $Q \times Q$ with either $(x - a) - ϵ \leq (y - b) / θ \leq (x - a) + ϵ$ or $(x - a) - ϵ \leq - (y - b) / θ \leq (x - a) + ϵ$ , in other words, the union of two infinitely long strips of width $2 ϵ$ and slopes $θ$ , $- θ$ . Clearly any two such closures intersect, and therefore the space is connected.

Example

This example is due to Golomb. Topologize the set of natural numbers $ℕ$ by taking a basis to consist of sets $A_{a, b} ≔ {a k + b ∣ k = 1, 2, \dots}$ , where $a, b \in ℕ$ are relatively prime. The space is Hausdorff, but the intersection of the closures of two non-empty open sets is never empty, so this space is connected.

Connected components

Every topological space $X$ admits an equivalence relation $\sim$ where $x \sim y$ means that $x$ and $y$ belong to some subspace which is connected. The equivalence class $Conn (x)$ of an element $x$ is thus the union of all connected subspaces containing $x$ ; it follows readily from Result 2 that $Conn (x)$ is itself connected. It is called the connected component of $x$ . It is closed, by Result 5. A space is connected if and only if it has exactly one connected component (or at most one, if you allow the empty space to be connected).

There is another equivalence relation $\sim_{q}$ where $x \sim_{q} y$ if $f (x) = f (y)$ for every continuous $f : X \to D$ mapping to a discrete space $D$ . The equivalence class of $x$ may be alternatively described as the intersection of all clopens that contain $x$ . This is called the quasi-component of $x$ , denoted here as $QConn (x)$ . It is easy to prove that

Conn (x) \subseteq QConn (x)

and that equality holds if $X$ is compact Hausdorff or is locally connected (see below), but also in other circumstances (such as the space of rational numbers as a topological subspace of the real line).

Example

For an example where $Conn (x) \neq QConn (x)$ , take $X$ to be the following subspace of $[0, 1] \times [0, 1]$ :

X = {(0, 0), (0, 1)} \cup ⋃_{n \geq 1} {1 / n} \times [0, 1]

In this example, $Conn ((0, 1)) = {(0, 1)}$ , but $QConn ((0, 1)) = {(0, 0), (0, 1)}$ .

Locally connected spaces

An entry point is given in the following remark/warning:

Warning

It is not generally true that a space is the coproduct (in $Top$ ) of its connected components, nor of its quasi-components. For example, the connected components in Cantor space $2^{ℕ}$ (with its topology as a product of 2-point discrete spaces) are just the singletons, but the coproduct of the singleton subspaces carries the discrete topology; another example with this feature is the set of rational numbers with its absolute-value topology (the one induced as a topological subspace of the real line).

Definition

A space $X$ is locally connected if every open set, as a topological space, is the coproduct (in $Top$ ) of its connected components. Equivalently, a space is locally connected if every point has a neighborhood basis of connected open sets.

In a locally connected space, every connected component $S$ is clopen; in particular, connected components and quasi-components coincide. We warn that connected spaces need not be locally connected; for example, the topologist’s sine curve of Example 4 is connected but not locally connected.

Examples of locally connected spaces include topological manifolds.

Let $i : LocConn ↪ Top$ be the full inclusion of locally connected spaces. The following result is straightforward but useful.

Theorem

$LocConn$ is a coreflective subcategory of $Top$ , i.e., the inclusion $i$ has a right adjoint $R$ . For $X$ a given space, $R (X)$ has the same underlying set as $X$ , topologized by letting connected components of open subspaces of $X$ generate a topology.

Being a coreflective category of a complete and cocomplete category, the category $LocConn$ is also complete and cocomplete. Of course, limits and particularly infinite products in $LocConn$ are not calculated as they are in $Top$ ; rather one takes the limit in $Top$ and then retopologizes it according to Theorem 1. (For finite products of locally connected spaces, we can just take the product in $Top$ – the result will be again locally connected.)

Let $Γ : LocConn \to Set$ be the underlying set functor, and let $\nabla, Δ : Set \to LocConn$ be the functors which assign to a set the same set equipped with the codiscrete and discrete topologies, respectively. Let $Π_{0} : LocConn \to Set$ be the functor which assigns to a locally connected space the set of its connected components.

Theorem

There is a string of adjoints

Π_{0} ⊣ Δ ⊣ Γ ⊣ \nabla : Set \to LocConn

and moreover, the functor $Π_{0}$ preserves finite products.

The proof is largely straightforward; we point out that the continuity of the unit $X \to Δ Π_{0} X$ is immediate from a locally connected space’s being the coproduct of its connected components. As for $Π_{0}$ preserving finite products, write locally connected spaces $X$ , $Y$ as coproducts of connected spaces

X = \sum_{i} C_{i}; Y = \sum_{j} D_{j};

then their product in $LocConn$ coincides with their product in $Top$ , and is

X \times Y ≅ \sum_{i, j} C_{i} \times D_{j}

where each summand $C_{i} \times D_{j}$ is connected by Result 3. From this it is immediate that $Π_{0}$ preserves finite products.

The category of sheaves on a locally connected space is a locally connected topos. For related discussions, see also cohesive topos.

Finally,

Definition

A space $X$ is totally disconnected if its connected components are precisely the singletons of $X$ .

In other words, a space is totally disconnected if its coreflection into $LocConn$ is discrete. Such spaces recur in the study of Stone spaces.

Path-connectedness

An important variation on the theme of connectedness is path-connectedness. If $X$ is a space, define the path component $[x]$ to be the subspace of all $y \in X$ for which there exists a continuous map $h : [0, 1] \to X$ where $h (0) = x$ , $h (1) = y$ .

The set $π_{0} (X)$ of path components (the 0th “homotopy group”) is thus the coequalizer in

hom ([0, 1], X) \overset{\overset{{ev}_{0}}{\to}}{\underset{{ev}_{1}}{\to}} hom (1, X) \to π_{0} (X) .

Observe that this is a reflexive coequalizer, as witnessed by the mutual right inverse $hom (!, X) : hom (1, X) \to hom ([0, 1], X)$ .

(We can even topologize $π_{0} (X)$ by taking the coequalizer in $Top$ of

X^{[0, 1]} \overset{\overset{{ev}_{0}}{\to}}{\underset{{ev}_{1}}{\to}} X,

taking advantage of the fact that the locally compact Hausdorff space $[0, 1]$ is exponentiable. The resulting quotient space will be discrete if $X$ is locally path-connected.)

We say $X$ is path-connected if it has exactly one path component.

It follows easily from the basic results above that each path component $[x]$ is connected. However, it need not be closed (and therefore need not be the connected component of $x$ ); see the following example. The path components and connected components do coincide if $X$ is locally path-connected.

Example

The topologist’s sine curve

{(x, y) \in ℝ^{2} : (0 < x \leq 1 \land y = \sin (1 / x)) \lor (0 = x \land - 1 \leq y \leq 1)}

provides a classic example where the path component of a point need not be closed. (Specifically, consider a point on the locus of $y = \sin (1 / x)$ .)

The basic categorical Results 1, 2, and 3 above carry over upon replacing “connected” by “path-connected”. (As of course does 4, trivially.)

As a contrast to a path-connected space, a totally path-disconnected space is a space such that its set of path components is equal to the underlying set of the space. Equivalently, that there are no non-constant paths. This by far does not mean that the space is discrete!

Path-components functor

As above, let $π_{0} : Top \to Set$ be the functor which assigns to each space $X$ its set of path components $π_{0} (X)$ .

Proposition

The functor $π_{0} : Top \to Set$ preserves arbitrary products.

Proof

Let $X_{i}$ be a family of spaces; we must show that the comparison map

π_{0} (\prod_{i} X_{i}) \to \prod_{i} π_{0} (X_{i})

is invertible. Injectivity: suppose $(x_{i}), (y_{i}) \in \prod_{i} X_{i}$ are tuples that map to the same tuple of path-components $(c_{i})$ ; we must show that $(x_{i})$ and $(y_{i})$ belong to the same path component. For each $i$ , both $x_{i}$ and $y_{i}$ belong to $c_{i}$ , so we may choose a path $α_{i} : I \to X_{i}$ connecting $x_{i}$ to $y_{i}$ . Then $⟨ α_{i} ⟩ : I \to \prod_{i} X_{i}$ connects $(x_{i})$ to $(y_{i})$ . (Note this uses the axiom of choice.) Surjectivity: for any tuple $(c_{i}) \in \prod_{i} π_{0} (X_{i})$ , the component $c_{i}$ is nonempty for each $i$ , so we may choose an element $x_{i}$ therein. Then $(x_{i})$ maps to $(c_{i})$ . Again this uses the axiom of choice.

An elegant proof of the previous proposition but for preservation of finite products is as follows: both $hom (I, -)$ and $hom (1, -)$ preserve products, and a reflexive coequalizer of product-preserving functors $C \to Set$ , being a sifted colimit, is also product-preserving.

Proposition

The functor $π_{0} : Top \to Set$ preserves arbitrary coproducts.

Proof

The functor $hom (I, -) : Top \to Set$ preserves coproducts since $I$ is connected, and similarly for $hom (1, -)$ . The coequalizer of a pair of natural transformations between coproduct-preserving functors is also a coproduct-preserving functor.

Related concepts

locally connected topos
cohesive topos
contractible topological space
almost connected topological group
A space in which the only connected subspaces are the singletons and the empty set is called totally disconnected space.

References

Examples of countable connected Hausdorff spaces were give in

R.H. Bing, A connected countable Hausdorff space, Proc. Amer. Math. Soc. 4 (1953), 474.

Solomon W. Golomb, A Connected Topology for the Integers, Amer. Math. Monthly, Vol. 66 No. 8 (Oct. 1959), 663-665.

Revised on April 7, 2013 02:57:47 by Todd Trimble (67.81.93.26)

nLab
connected space

Context

Topology

Basic concepts

Theorems

Extra stuff, structure, properties

Examples

Contents

Idea

Definitions

Basic results

Result

Result

Result

Result

Result

Exotic examples

Example

Example

Connected components

Example

Locally connected spaces

Warning

Definition

Theorem

Theorem

Definition

Path-connectedness

Example

Path-components functor

Proposition

Proof

Proposition

Proof

Related concepts

References

nLab connected space

Context

Topology

Basic concepts

Theorems

Extra stuff, structure, properties

Examples

Contents

Idea

Definitions

Basic results

Result

Result

Result

Result

Result

Exotic examples

Example

Example

Connected components

Example

Locally connected spaces

Warning

Definition

Theorem

Theorem

Definition

Path-connectedness

Example

Path-components functor

Proposition

Proof

Proposition

Proof

Related concepts

References

nLab
connected space