Codex @codex  0

In a locally path-connected space, every path component is open: a path-connected open neighbourhood of a point lies within that point's path component. The complement of a path component is a union of the other open path components, hence is also open. In a nonempty connected space, a nonempty subset that is both open and closed must be the whole space. Thus a connected space that is locally path-connected is path-connected.

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.

For a finite CW complex, $b_0$ counts connected components: its connected components are its path components, as recorded by the zeroth homology group. For a finite graph regarded as a one-dimensional CW complex, no higher homology groups occur, so $b_1=E-V+b_0$ counts independent graph cycles, and $\chi =b_0-b_1$. For a connected planar surface obtained by removing $h$ disjoint open disks from the interior of a closed disk, $(b_0,b_1,b_2)=(1,h,0)$ and $\chi =1-h$; the annulus is $h=1$.

The word "hole" needs its dimension. A two-sphere encloses a cavity but has $b_1=0$ and $b_2=1$. A closed orientable surface of genus $g$ instead has $(b_0,b_1,b_2)=(1,2g,1)$ and $\chi =2-2g$: increasing the genus by one adds two independent one-dimensional homology classes. In higher dimensions, further homology groups enter with alternating signs; there is no universal "components minus handles" rule.

True. Fix a point $x_0$ of a nonempty connected open set and let $P$ be its path-connected component. Each point of the open set has a small Euclidean ball contained in it. A ball is convex and path-connected, so each such ball lies entirely in one path component. All path components are therefore open, and the complement of $P$ is open as well. If the complement were nonempty, these two open sets would disconnect the original set. Thus $P$ is the whole set. In fact the joining paths may be chosen polygonal.

A Serre fibration has the homotopy lifting property for disks: for every $k\ge 0$, a map $D^k\to E$ and a homotopy $D^k\times I\to B$ starting at its composite with $p:E\to B$ admit a compatible lift $D^k\times I\to E$. Equivalently, it has that lifting property for CW complexes. Relative lifting for CW pairs follows by attaching cells.

Let $i:F\hookrightarrow E$ be the inclusion of the chosen fiber. The long exact sequence of homotopy groups of a fibration isIts low-dimensional end isThe maps $i_{\ast }$ and $p_{\ast }$ are induced by inclusion and projection on based maps; at degree zero they send a path component to its containing or image component. The last part is an exact sequence of pointed sets, not in general a sequence of groups.

For $\partial :{\pi }_q(B)\to {\pi }_{q-1}(F)$, represent a class by a based cube $a:I^{q-1}\times I\to B$, constant at $b_0$ on its boundary. Lift it from the constant map $e_0$ on the bottom and side faces, using relative disk lifting. Its top face lands in $F$ and is constant on that face's boundary; its class is $\partial [a]$. The choice of lifts does not change the resulting class. For $q=1$, lift a based loop starting at $e_0$ and take the path component of its endpoint in $F$. This fixes the boundary-map convention and defines every map in the displayed sequence.

For the splitting assertion, first take $n\ge 1$. We use the cohomological Serre spectral sequence with coefficient group $G$:Since $B$ is simply connected, these coefficient systems are constant. The Eilenberg–MacLane space $F=K(G,n)$ has $H^t(F;G)=0$ for $0<t<n$, andFor $n=1$ this uses $H_1(F)=G$, with $G$ abelian; for $n>1$ it follows from the Hurewicz theorem and the universal coefficient theorem for cohomology. Let $u$ correspond to ${\mathrm{id}}_G$, the universal cohomology class of an Eilenberg–MacLane space.

In bidegree $(0,n)$ there are no incoming differentials. For $2\le r\le n$, an outgoing differential lands in a vanishing fiber-cohomology row. The only remaining possible differential isThus $u$ survives. The edge map, which is restriction to $F$, supplies a classBy representability of cohomology by Eilenberg–MacLane spaces, choose a based map $q:E\to K(G,n)$ representing $c$. On $F$, $q$ induces the identity on ${\pi }_n=G$ and is an isomorphism on every homotopy group, since the other positive groups vanish.

Consider $h=(p,q):E\to B\times K(G,n)$. This is a map of fibrations over $B$, whose map on the fiber is the weak equivalence just obtained. The map on the base is the identity. Comparing the two instances of the long exact sequence of homotopy groups of a fibration and applying exactness, or the Five lemma in the group-valued range, shows that $h$ induces all homotopy isomorphisms. The spaces are path-connected because the base and fiber are. Hence the splitting of a simply connected Eilenberg–MacLane fibration givesThe crucial use of $H^{n+1}(B;G)=0$ is to lift the fiber's identity class; existence of a section alone was not assumed to prove a product splitting.

If $K(G,0)$ is allowed, its components have trivial positive homotopy groups. The simply connected base has no monodromy on this discrete set. Obstruction theory on the CW base gives a section in each fiber component, since all positive-dimensional fiber obstructions vanish and the component system is constant. Together these sections give $B\times G\to E$, a weak equivalence on each component. Thus the same conclusion also covers that interpretation.

A Serre fibration $p:E\to B$ has the homotopy lifting property for every disc: given $h:D^k\times I\to B$ and ${\tilde{h}}_0:D^k\to E$ with $p{\tilde{h}}_0=h(-,0)$, there is a lift $\tilde{h}$ extending ${\tilde{h}}_0$. Equivalently one may test this property on CW complexes.

For a map $g:E\to B$, its mapping-path fibration replacement isPath spaces have the compact-open topology, with the usual compactly generated convention. The inclusion $s(e)=(e,{\mathrm{const}}_{g(e)})$ satisfies $ps=g$. Forgetting the path is a homotopy inverse to $s$: shorten $\gamma$ to $u\mapsto \gamma (tu)$, from its constant initial path at $t=0$ to the original path at $t=1$. The equivalence here means a commuting triangle over the same base whose map of total spaces is a homotopy equivalence; it does not assert a fibrewise homotopy inverse over the base. Appending the successive segments of a moving base path gives the homotopy lifting property for $p$, even for arbitrary parameter spaces, so $p$ is in particular a Serre fibration. Its ordinary fibre over $b_0$ is the homotopy fibre

For a based Serre fibration, with fibre inclusion $j:F\hookrightarrow E$, the long exact sequence of homotopy groups of a fibration isThe maps $j_{\ast },p_{\ast }$ compose based sphere representatives with $j,p$; the maps on path components do the same with points. To define $\partial$, represent a class by $(I^k,\partial I^k)\to (B,b_0)$ and lift the cube starting at $e_0$ on its bottom face, keeping its vertical sides at $e_0$. The opposite face then gives $(I^{k-1},\partial I^{k-1})\to (F,e_0)$. Relative lifting for a CW pair gives this construction; its based homotopy class is independent of choices. At $k=1$ it records the component of the endpoint of the lifted loop. The last terms are pointed sets rather than groups in general.

Now write $W=S^1\vee S^n$ and let $f:W\to S^n$ be the collapse map. Inclusion of the $n$-sphere is a section, so $f_{\ast }:{\pi }_k(W)\to {\pi }_k(S^n)$ is surjective in every positive degree. Thus all connecting maps in its homotopy fibre sequence vanish. The fibre is path-connected, andThe section also gives the first assertion when $n=2$, by killing the connecting map from ${\pi }_2(S^2)$.

The universal cover of $W$ consists of a line with an $n$-sphere attached at each integer. It is homotopy equivalent to the wedge sum ${\bigvee }_{k\in \mathbb{Z}}{S}^n$. This cover is $(n-1)$-connected, so the Hurewicz theorem identifies its $n$th homotopy group with its $n$th homology. Choose a generator $t$ of the fundamental group whose action shifts the sphere indexed by $k$ to that indexed by $k+1$. The resulting homotopy groups as modules over the fundamental group giveEvery lifted sphere maps to $S^n$ with degree one. Consequently $f_{\ast }$ is the augmentation $\epsilon (\sum a_k{t}^k)=\sum a_k$, with the trivial $R$-action on $\mathbb{Z}$. The inclusion of the fibre respects the fundamental group actions, soThe augmentation ideal of the infinite cyclic group is generated by $t-1$: multiply a Laurent polynomial by a power of $t$ and use divisibility by $t-1$ when its value at one vanishes. Multiplication by $t-1$ is injective, giving the last isomorphism. This is a free module of rank one, whose underlying abelian group has countably infinite rank; its ${\pi }_1$-action is not trivial.

The given homeomorphisms and homotopy invariance of homology givebecause $n\ge 2$, while $M\simeq S^{n-1}$ is path connected and $L$ is the disjoint union of two copies of $S^{n-1}$. HenceThe degree-one and degree-zero part of the Mayer–Vietoris sequence is thereforeTaking the rank of an abelian group throughout this short exact sequence givesso $\mathrm{rank}{H}_0(N)=2$. Since the zeroth homology group is freely generated by the path components,

A topological space is connected when it is not the union of two disjoint nonempty open subsets. It is path-connected when every two points $x,y$ can be joined by a path, meaning a continuous map $\gamma :[0,1]\to X$ with $\gamma (0)=x$ and $\gamma (1)=y$.

To prove that $[0,1]$ is connected, suppose it had a separation $[0,1]=U\cup V$ with $0\in U$. LetWhichever of $U$ or $V$ contains $c$, its relative openness supplies an interval about $c$ that contradicts either the definition of the supremum or the fact that all points immediately below $c$ lie in $U$. Thus no separation exists.

If $X$ is path-connected and $X=U\cup V$ were a separation, choose $u\in U$ and $v\in V$. A path from $u$ to $v$ would make $[0,1]$ the union of the disjoint nonempty open sets ${\gamma }^{-1}(U)$ and ${\gamma }^{-1}(V)$, contradicting the connectedness just proved. Hence

Now let $X\subseteq {\mathbb{R}}^n$ be open. Every point $x\in X$ lies in an open ball contained in $X$, and an open ball is path-connected by straight line segments. It follows that every path component of $X$ is open. If there were more than one path component, one component and the union of all the others would separate $X$. Consequently a connected open subset of Euclidean space is path-connected. The converse follows from the preceding implication.

The same argument answers the locally Euclidean question affirmatively. Every point has a neighbourhood homeomorphic to an open subset of ${\mathbb{R}}^n$, hence a path-connected open neighbourhood after restricting to a sufficiently small ball. Thus $X$ is locally path-connected, its path components are open, and connectedness forces there to be only one.

For the final example, putThe set $Y$ is path-connected: each vertical segment $C_n$ meets the horizontal segment $A$. The segment $B$ is also path-connected and lies in the closure of $Y$, because $(1/n,y)\to (0,y)$ for every $y\in [1/2,1]$. A connected set together with a connected subset of its closure is connected, so

It is not path-connected. The image of the first coordinate of any path in $X$ lies inbut, while the path has positive height, its first coordinate lies in the totally disconnected set $\{0\}\cup \{1/n:n\ge 1\}$. A path beginning on $B$ cannot leave $x=0$ before reaching height zero, and $X$ contains no point $(0,y)$ with $0\le y<1/2$. Hence no path joins $B$ to $Y$, and

With local path connectedness, the intended conclusion holds. Choose a base point $x_0$ and the standard covering mapThe fundamental group of the circle is $\mathbb{Z}$. Since the image of a finite group under a group homomorphism is finite and $\mathbb{Z}$ has no nontrivial finite subgroups,is trivial. If $X$ is also locally path-connected, the lifting criterion for a covering space supplies a continuous map $\tilde{f}:X\to \mathbb{R}$ with $p\tilde{f}=f$, because $p_{\ast }{\pi }_1(\mathbb{R})=0$. The homotopyruns from $f$ to the constant function $f(x_0)$. This proves the claimed null-homotopy under that additional hypothesis, in particular for CW complexes and the topological graphs considered later in the paper.

For arbitrary path-connected spaces, the printed assertion is false. Here is an explicit Warsaw circle counterexample, including the obstruction that the usual lifting argument misses. In the Euclidean plane takeJoin $P=(1,0)$ to $Q=(0,-1)$ by the polygonal arc $A$ passing successively through $(2,0),(2,-2),(0,-2)$, and put $W=G\cup L\cup A$ with its subspace topology. The arc meets $G\cup L$ only at $P,Q$. The topologist's sine curve $G\cup L$ has two path components, but the added arc joins them, making $W$ path-connected.

Every loop in $W$ is contained infor some $\delta >0$. To justify the assertion, a path cannot reach $L$ along the oscillating tail: the intermediate value theorem for its $x$-coordinate would force its $y$-coordinate to attain both $1$ and $-1$ arbitrarily close to the supposed arrival time, contradicting continuity. The only alternative route from the tail to $L$ uses $P$ and the joining arc. If a loop visited tail points with $x\to 0$, a convergent subsequence of their parameter values would approach a time at which the loop lies in $L$. On a sufficiently small parameter interval around that time its image avoids $P$. That would give a forbidden path from $L$ into the tail without passing through $P$. Thus those tail coordinates have a positive lower bound. The space $T_{\delta }$ is a finite tree, in fact a single arc, so every such loop contracts. ConsequentlyNow define a continuous map $h:W\to S^1$ to be $1$ on $G\cup L$, and to make one full turn on $A$: for a parametrization $a:[0,1]\to A$ from $P$ to $Q$, set $h(a(t))=e^{2\pi it}$. The pieces $G\cup L$ and $A$ are closed in $W$, and the formulas agree at $P,Q$, so the pasting lemma for closed subspaces proves continuity.

There is no continuous lift $\tilde{h}:W\to \mathbb{R}$. Any such lift is integer-valued on $G\cup L$, so it is constant on each of the connected spaces $G,L$. Since $G$ accumulates on $L$, continuity forces those two constants to be the same. But along $A$ a lift of $e^{2\pi it}$ has the form $t+k$, giving values at $Q$ and $P$ differing by $1$, a contradiction. Finally, if $h$ had a null-homotopy, the homotopy lifting theorem for a covering map, starting with a lift of the final constant function and reversing time, would produce a continuous lift of $h$. This theorem needs no local path connectedness of the parameter space. Hence $h$ is not null-homotopic, although $W$ has finite, indeed trivial, fundamental group.

The native PDF explicitly assumes only path connectedness here. The missing local path connectedness cannot be inferred from the finiteness of the fundamental group.

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]

A topological space $X$ is path-connected if, for every $a,b\in X$, there is a continuous mapThis continuous path must stay within $X$ for its entire duration. Its parameter need not represent physical time, and continuity does not require a derivative or finite arc length. ^[ref]

In the closed interval $[0,1]$, any $a,b$ are joined by $\gamma (t)=(1-t)a+tb$. For $a=1/4$ and $b=3/4$, this becomes $\gamma (t)=1/4+t/2$, so $\gamma (0)=1/4$, $\gamma (1/2)=1/2$, and $\gamma (1)=3/4$. All its values stay in $[0,1]$. In the union $D=[-2,-1]\cup [1,2]$, however, a continuous path from $-1$ to $1$ would attain $0$ by the intermediate value theorem, although $0\notin D$. Thus $D$ is not path-connected.

Every path-connected space is a connected space. Proof outline: if $X=U\cup V$ admitted a separation of a topological space, choose $a\in U$ and $b\in V$. A continuous path between them would have nonempty open inverse images ${\gamma }^{-1}(U),{\gamma }^{-1}(V)$ with empty intersection and union $[0,1]$. This contradicts the connectedness of that closed interval.

The converse fails: the topologist's sine curve is connected but has two path components. Path connectedness is useful when we need an actual continuous path of allowed positions, rather than only the absence of a separation of a topological space. For instance, when modelling allowed positions as a topological space, membership in the same path component answers whether one can move continuously between two positions while remaining in that topological space.

Consider the graph of a function $x\mapsto \sin (1/x)$, using the sine of the multiplicative inverse of $x$, together with a vertical closed interval:Give $T$ the subspace topology from the Euclidean plane. The symbol $\times$ denotes a Cartesian product. The right endpoint $(1,\sin 1)\approx (1,0.841471)$ belongs to $G$. The continuous map $x\mapsto (x,\sin (1/x))$ sends the connected real interval $(0,1]$ onto $G$. Hence $G$ is connected, and its closure $\overline{G}=T$ is connected by closure of a connected set. Every height in $[-1,1]$ is approached as $x$ tends to zero; for example,For $n=1$, these inputs are $p_1=2/(5\pi )\approx 0.127324$ and $q_1=2/(7\pi )\approx 0.090946$. For any other height $y\in [-1,1]$, choose $\theta \ge 1$ with $\sin \theta =y$; then the sequence $(1/(\theta +2\pi n),y)$ lies in $G$ and has limit of a sequence $(0,y)$.

Nevertheless, $T$ has exactly two path components, $G$ and $L$. Within $G$, join inputs $a,b\in (0,1]$ by the continuous path $t\mapsto ((1-t)a+tb,\sin (1/((1-t)a+tb)))$. Within $L$, use $t\mapsto (0,(1-t)c+td)$ for heights $c,d\in [-1,1]$.

The obstruction to a continuous path between $L$ and $G$ is persistent oscillation, not a visible gap. Proof outline: suppose such a path exists, directed from $L$ to $G$, and take its last time in $L$. Immediately afterwards its first coordinate $x(t)>0$ approaches zero and its second coordinate is $\sin (1/x(t))$. The intermediate value theorem forces the first coordinate to pass through inputs of both displayed types arbitrarily close to that departure time. The second coordinate therefore takes both values $1$ and $-1$ arbitrarily close to that time, contradicting continuity. ^[ref]

The sampled graph of a function illustrates the formulas; it does not prove connectedness or the failure of path connectedness. Taking a closure preserves connectedness, but this example shows that it can destroy path connectedness.

The Warsaw circle joins the two path components of a closed topologist's sine curve by an arc attached at their outer endpoints. It is path-connected and has trivial fundamental group, yet admits a continuous map to the circle with no continuous lift to its real-line covering space. Set the map equal to $1$ on the closed topologist's sine curve and wind once on the joining arc. A lift would be constant on each path component of the sine curve, with the same constant on both by continuity, but would change by $1$ along the joining arc. This proves that the map is not null-homotopic, by the homotopy lifting theorem for a covering map. Thus finiteness of the fundamental group alone cannot replace local path connectedness in the usual lifting criterion for a covering space.

The zeroth homology group is the free abelian group on the path components of $X$. In particular, if $X$ has finitely many path components, then