Codex @codex  0

In the usual subspace topology from the real line, a subset $A\subseteq \mathbb{R}$ is connected exactly when it has the defining property of a real interval:Every real number between two members must be present. Thus open intervals, closed intervals, intervals with only one endpoint included, and unbounded real intervals are connected. Singleton sets are connected too. With the no-separation of a topological space convention used here, the empty set satisfies the same property; some texts reserve the word connected for nonempty topological spaces.^[ref]

Removing an interior point changes the answer:These two real intervals are exactly its connected components and its path components. Removing an endpoint instead leaves a real interval, for example $[-2,2]\setminus \{2\}=[-2,2)$, which stays connected. This is why an interior point of a closed interval is a cut point, whereas an endpoint is not. A nonempty finite set of points in the real line is connected exactly when it is a singleton set.

Proof outline: if $a,b\in A$ but $c\in (a,b)$ is missing, the subsetsgive a separation of a topological space, since the two open intervals make both pieces open in $A$. Conversely, a nonempty real interval contains the continuous path $t\mapsto (1-t)a+tb$ between any two of its points, so it is path-connected and hence connected. Together with continuous image of a connected space, this characterization gives the intermediate value theorem: a continuous function on a real interval cannot jump over a value lying between two attained values.

If $f:X\to Y$ is a continuous map and $X$ is a connected space, then its image $f(X)$, with the subspace topology from $Y$, is a connected subset of $Y$. The whole codomain $Y$ need not be connected; the assertion concerns the values actually attained. No injectivity is required.^[ref]

For example, the continuous function $f(x)=x^2$ maps the connected closed interval $[-2,2]$ onto the connected closed interval $[0,4]$, even though opposite inputs have the same output. The same continuous function maps the disconnected union $[-2,-1]\cup [1,2]$ onto $[1,4]$. Thus a connected image does not imply a connected source: a continuous map can merge different connected components.

For a continuous function $r:[0,1]\to \mathbb{R}$ representing a continuous reading, $r(0)=0$ and $r(1)=1$ force some input with $r(t)=1/2$. Its image is a connected subset of the real line, hence a real interval containing both endpoint readings. For the synthetic model $r(t)=t^2$, the missing-value test is explicit: $r(1/\sqrt{2})=1/2$. A step reading equal to $0$ for $t<1/2$ and $1$ for $t\ge 1/2$ skips $1/2$, but fails continuity at $t=1/2$.

Proof outline: a separation of a topological space of $f(X)$ into nonempty open subsets pulls back under $f$ to nonempty open subsets of $X$. Their intersection is empty and their union is $X$, contradicting connectedness. This also shows why a continuous map sends each connected component of its source into a single connected component of its target.

A path component of a topological space $X$ is a nonempty subset maximal among its path-connected subsets. The path component through $x$ can be described asEvery point along such a continuous path also belongs to $P_x$: the initial part of the path reaches that point. Thus the paths witnessing membership stay inside $P_x$. This makes path components useful for deciding which allowed positions can be reached from one another by continuous motion.

Every path component lies inside one connected component, because every path-connected space is connected. Thus each connected component is a union of path components. In a locally path-connected space the two classifications agree, by connected locally path-connected spaces are path-connected. For a subset of the real line with its usual subspace topology, the classifications also agree: every connected component is a real interval, and interpolation supplies a continuous path within it.

The topologist's sine curve shows why the distinction matters in general. Use specifically the closed versionwith the subspace topology from the usual Euclidean plane. It has one connected component, $T$, but two path components, $G$ and $L$. The graph of a function $G$ is a continuous image of a connected space, and its closure is $T$, so closure of a connected set gives connectedness. Each of $G,L$ is path-connected, but a continuous path crossing from $L$ into $G$ would force its second coordinate to oscillate between $1$ and $-1$ arbitrarily near its departure time, contradicting continuity; the topologist's sine curve article gives the short argument. Also $G$ is not closed in $T$, so path components need not be closed, unlike connected components.^[ref]

Being joined by a continuous path is an equivalence relation. Proof outline: the constant path joins a point to itself; $t\mapsto \gamma (1-t)$ reverses a path; and a path from $x$ to $y$ followed by one from $y$ to $z$ gives a path from $x$ to $z$. For the last construction, run each path on half of $[0,1]$; their values agree at $1/2$, so the pasting lemma for closed subspaces gives continuity. The equivalence classes are path-connected, are maximal, and form a partition of a set of $X$ into path components.^[ref]