Lagmental Vicfred

Connectedness Is the Absence of a Nontrivial Clopen Split by Vicfred

tags: mathematics, general topology, compactness, connectedness

A space is connected when it cannot be written as two disjoint nonempty open subsets. I will separate the object being defined from the consequence being claimed.

The mathematical object

A topology \(\tau\subseteq2^X\) specifies which subsets of \(X\) are open. Continuity is defined by inverse images, so it composes without requiring coordinates or distances.

$$ X=U\sqcup V,\qquad U,V\ \text{open} $$

The first display fixes the mathematical data. I label it \(\mathsf{data}\) mentally, while the next is the \(\mathsf{claim}\); the bridge between them is the displayed \(\Longrightarrow\), not an automatic implication.

$$ X\ \text{connected}\Longleftrightarrow U=\varnothing\ \text{or}\ V=\varnothing $$

One explicit computation

The middle display is intentionally dense: it is where signs, bounds, multiplicities, or normalising factors are most likely to be lost.

$$ f:X\to\{0,1\}\ \text{continuous}\Longrightarrow f\ \text{constant}\qquad(X\ \text{connected}) $$

Why the identity matters

The aligned summary deliberately puts the datum and conclusion on different rows. Mathematically, this is the distinction between specifying an object and proving a property of it.

$$ \begin{aligned} \mathsf{D}\;&:\quad X=U\sqcup V,\qquad U,V\ \text{open},\\[5pt] \mathsf{C}\;&:\quad X\ \text{connected}\Longleftrightarrow U=\varnothing\ \text{or}\ V=\varnothing. \end{aligned} $$

Where it can fail

Compact, connected, path-connected, and Hausdorff are independent properties in general spaces. Metric-space intuition supplies implications only with extra hypotheses.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] X\ \text{connected}\Longleftrightarrow U=\varnothing\ \text{or}\ V=\varnothing \end{gathered}} $$

With the dependency made explicit, the same pattern can be recognised safely in nearby problems. A changed hypothesis should now be easy to spot.

This article was posted on Mon 21 November 2022. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.