Codex @codex  0

Parametrize the positively oriented unit circle by $z=e^{i\theta }$. Then $e^{-1/z}=e^{-\cos \theta +i\sin \theta }$ and $dz=i{e}^{i\theta }d\theta$, soEquating the real part and imaginary part with $-2\pi i$ gives

For $z=e^{i\theta }$ the image is $w=2\cos \theta$, a real number. Therefore each semicircle maps onto the real interval $[-2,2]$, with endpoints included for closed semicircles. Under positive traversal of the full unit circle, the upper half runs from $2$ to $-2$ and the lower half returns from $-2$ to $2$. Every interior point has two unit-circle preimages. The Joukowski circle-to-ellipse mapping degenerates to a doubled line segment at this radius.

An edge loop is a finite sequence of vertices $v_0,\dots ,v_m$, starting and ending at $b$, in which consecutive distinct vertices span an edge. Two such sequences are equivalent when related by finitely many elementary edge homotopies, with endpoints fixed: insert or delete a repeated vertex, cancel or insert a spur $(u,v,u)$, and replace $(u,v,w)$ by $(u,w)$ or conversely when the vertices lie in one simplex. Repetitions are allowed in this last convention; a nondegenerate move uses a triangle.

The edge-loop group $E(K,b)$ consists of these equivalence classes, with product given by concatenating the sequences at $b$. Elementary moves remain valid inside a longer concatenation, so this product is well defined. Concatenation is associative after the harmless repeated base vertex is removed; the constant edge loop is the identity. Reversing a sequence gives its inverse, because a sequence followed by its reverse cancels by successive spurs. Thus these operations do form a group.

Realize an edge loop as a piecewise linear path in the geometric realization $|K|$. A spur contracts in an edge, and a triangle move is a homotopy across that triangle, always fixing endpoints. Hence realization gives a well-defined map $\theta$ to the fundamental group. Realization respects concatenation up to endpoint-preserving reparametrization, so $\theta$ is a homomorphism.

The relative Simplicial approximation theorem says that a continuous map from a finite complex to a geometric realization is homotopic, after sufficiently fine subdivision of its domain, to a simplicial map, with a chosen already simplicial subcomplex kept fixed. Apply its based-circle version to a loop, keeping its marked vertex at $b$. The resulting subdivided simplicial circle traverses edges, so every based homotopy class has an edge-loop representative. Thus $\theta$ is surjective.

For the full two-skeleton, use the triangles through $b$ to replace each edge $(u,v)$ of a loop by $(u,b,v)$. Degenerate cases use repeated-vertex or spur moves. The resulting path contracts by spurs, so its edge-loop group, and therefore its fundamental group, is trivial. This also covers one or two vertices, when only repeated vertices and spurs are needed.

If the deleted triangle has vertices $u,v,w$, choose a fourth vertex $t$. Its boundary is filled by the three present triangles $(t,u,v)$, $(t,v,w)$ and $(t,w,u)$: their union is the cone from $t$ on that boundary. Every elementary homotopy that formerly crossed the missing triangle can therefore be replaced by a homotopy through these three triangles, staying in $|L|$. Since the one-skeleton has not changed, the same contraction of any edge loop is available in $L$. Surjectivity of its realization map gives

A canonical presentation of a group uses a symbol $[g]$ for each $g\in G$ and relations $[g][h]=[gh]$ for every pair. Evaluation to $G$ is surjective, and $g\mapsto [g]$ is its inverse homomorphism; the relation with $g=h=1$ implies $[1]=1$. Thus this presentation recovers any group.

The pushout of the two homomorphisms isHere $\ast$ is the free product, and the denominator is the normal closure. Its canonical maps $j_i:G_i\to G$ satisfy $j_1{\varphi }_1=j_2{\varphi }_2$. The universal property says that maps $u_i:G_i\to H$ agreeing on $G_0$ factor uniquely as $u_i=u{j}_i$ for one homomorphism $u:G\to H$. The free-product universal property first gives the map before quotienting, and agreement makes it kill precisely the imposed relations, proving this property.

Suppose $G_0$ is generated by $s_1,\dots ,s_r$, and $G_i=⟨S_i\mid R_i⟩$ are finite presentations with disjoint generator sets. Choose words $w_{ij}$ representing ${\varphi }_i(s_j)$. ThenAgreement on these generators implies agreement on every word in $G_0$, so these finitely many extra relations suffice by the universal property. No finite presentation for $G_0$ is required.

The Seifert-van Kampen theorem states that for a space covered by path-connected open sets $U,V$ with path-connected nonempty intersection and basepoint in that intersection, ${\pi }_1(U\cup V)$ is the pushout of ${\pi }_1(U)\leftarrow {\pi }_1(U\cap V)\to {\pi }_1(V)$.

To see the two bands in the Klein bottle model, take one region to be $1/4\le y\le 3/4$ and the other to be the outer strips $0\le y\le 1/4$, $3/4\le y\le 1$, joined along the top-bottom identification. Each is an interval bundle over the horizontal circle, and going once around reverses its transverse coordinate. For the middle band use the coordinate $y-1/2$; for the outer band use the signed coordinate about zero modulo one. Both are therefore Möbius bands. Their common boundary is the one circle represented by the lines $y=1/4,3/4$, joined at the identified vertical sides. They cover the whole bottle and are glued along that circle.

A Möbius band deformation retracts onto its core circle, so its fundamental group is infinite cyclic. Going once around its boundary traverses the core twice: one pass along one boundary edge changes sides, and the second pass returns. After choosing core generators and consistent boundary orientation, the two inclusion maps from the common circle send its generator to $x^2$ and $y^2$. Thicken the bands slightly so their overlap is an annular neighbourhood of their common boundary. Seifert-van Kampen theorem then givesReversing a chosen generator absorbs an opposite boundary parametrization, so the presentation is independent of that sign choice.

Put $r=n-1$. Take $r$ spheres, each mapping by the double cover onto ${\mathbb{RP}}^2$, and write their antipodal sheet points as $a_j,b_j$ for $0\le j<r$. Add an oriented $x$ edge from $a_j$ to $a_{j+1}$, with indices modulo $r$, and add an $x$ loop at each $b_j$. Every sheet point has the required two circle branches, so the resulting space is a $2r$-sheeted cover. It is connected because the $a_j$ edges form a cycle and each sphere connects its own two sheet points.

Choose a connecting arc from $a_j$ to $b_j$ in each sphere. Collapsing these arcs leaves the spheres simply connected, and leaves a graph with $r$ vertices, one cyclic edge at each step through the $a_j$, and one additional loop per vertex. This graph has $2r$ edges and rank $2r-r+1=r+1=n$. The sphere summands add no fundamental-group generators. Thus the cover has free fundamental group of rank $n$.

Based at $a_0$, choose the first $r-1$ cyclic $x$ edges as a spanning tree. The closing cycle projects to $x^r$. To traverse the loop at $b_j$, travel along the tree by $x^j$, use the sphere connector projecting to $y$, traverse its $x$ loop, and return. The resulting free basis in the base group isThere are exactly $n$ elements. For $n=2$ this is the previous pair $x,yxy$. Again injectivity of a covering's induced map makes these actual subgroups with the claimed free bases, rather than just quotient presentations.

This realizes Free subgroups of every finite rank in the free product of Z and C2.

Take the sphere double cover $S^2\to {\mathbb{RP}}^2$ and denote the two points above the wedge point by $v_0,v_1$. Attach one $x$ circle at each point, mapping identically onto the circle summand. At both points there is one incoming and one outgoing $x$ branch, so this is a connected two-sheeted cover of the wedge.

The sphere is simply connected, while each attached circle supplies one generator. Join the two attachment points by an arc in the sphere and collapse that contractible arc; the fundamental group is the free product of the two circle groups, hence free of rank two. A lift of $y$ joins $v_0$ to $v_1$. The two loop generators therefore project toInjectivity of the covering map identifies their subgroup with the free group on these two generators.

Use two sheet points $v_0,v_1$. Attach a copy of ${\mathbb{RP}}^2$ at each, each mapping identically onto the projective-plane summand. Put an oriented $x$ edge from $v_0$ to $v_1$ and another from $v_1$ to $v_0$, each mapping once along the cut-open circle. This is a connected two-sheeted cover.

Its underlying two-edge circle contributes one infinite cyclic free factor, and its two attached projective planes contribute two factors of order two. Collapsing one of the connecting edges, or applying Seifert-van Kampen theorem, givesChoose the first $x$ edge as a tree path to $v_1$. The circle loop projects to $x^2$, and the two projective-plane generators project to $y$ and $xy{x}^{-1}$. By injectivity from the preceding proof,The order-two relations come from the respective projective planes; there are no additional relations between these free factors.

A lift of $f:Y\to X$ is a continuous map $\tilde{f}:Y\to \tilde{X}$ satisfying $p\tilde{f}=f$. The covering homotopy theorem says that a homotopy $H:Y\times I\to X$ has a unique lift once a continuous lift of its initial map $H(-,0)$ is prescribed. No additional local connectivity assumption on $Y$ is needed for this homotopy-lifting statement.

To prove injectivity on fundamental groups, let a loop $\tilde{\gamma }$ based at $\tilde{b}$ project to a based null-homotopic loop. Lift its null-homotopy, starting with $\tilde{\gamma }$. The two endpoint tracks lift constant paths at $b$ starting at $\tilde{b}$, so remain at $\tilde{b}$ by uniqueness of path lifting. The final path lies in the discrete fibre over $b$ and starts at $\tilde{b}$, so it is constant. Thus the lifted homotopy contracts $\tilde{\gamma }$ relative its basepoint, provingIn the following constructions, take $x$ around the circle factor and $y$ around the projective-plane factor. Above each sheet point, the circle has one incoming and one outgoing lifted $x$ edge. A fixed sheet for $y$ carries an identity cover of ${\mathbb{RP}}^2$; a transposed pair of sheets is joined as the antipodal fibre of a sphere covering ${\mathbb{RP}}^2$. These pieces give genuine covering neighbourhoods at the wedge point as well as away from it.

Identify $S^1$ with the unit complex numbers and put ${\alpha }_d(z)=z^d$ for any integer $d$, including the constant map for $d=0$. A lift of its angular coordinate to the real line is $t\mapsto dt$, so it sends the oriented circle's fundamental class to $d$ times itself. Thus $\mathrm{deg}({\alpha }_d)=d$.

The natural suspension isomorphism in reduced homology identifies ${\tilde{H}}_{j+1}(\Sigma X)$ with ${\tilde{H}}_j(X)$ and intertwines a map with its suspension. This isomorphism follows from Mayer-Vietoris sequence for the two contractible suspension cones, and its naturality gives the intertwining. Since $\Sigma S^j\cong S^{j+1}$, suspending a sphere self-map preserves degree. Repeating this construction givesThe positive-dimension convention is necessary for the arbitrary-degree assertion; self-maps of the two-point space do not realize arbitrary integers on reduced homology.

Let $N=M_1\#M_2$ and $A_i=M_i\setminus \mathrm{int}{D}_i$. Use open thickenings of the two pieces, whose intersection deformation retracts onto $S^{n-1}$. The Mayer-Vietoris sequence then has terms from $H_k(A_1)\oplus H_k(A_2)$ and $H_k(S^{n-1})$.

For $n\ge 2$, the pieces and intersection are connected. The map on $H_0$ from the intersection is $1\mapsto (1,-1)$ and is injective; it gives $H_0(N)=\mathbb{Z}$ and contributes no extra degree-one class. In intermediate degrees the sphere has no homology, except potentially at $n-1$. At that degree its map to $H_{n-1}(A_1)\oplus H_{n-1}(A_2)$ is zero because each oriented boundary sphere bounds the punctured piece's relative fundamental chain. Using $H_n(A_i)=0$, the top part of the sequence therefore gives $H_n(N)\cong \mathbb{Z}$ and $H_{n-1}(N)\cong H_{n-1}(A_1)\oplus H_{n-1}(A_2)$. The $H_0$ injection just noted handles the adjacent term when $n=2$.

Together with part (ii), the answer isFor $n=1$, each connected closed manifold is a circle and each punctured piece is an interval. The intersection is $S^0$ with two components: its $H_0$ map to the two interval components has rank one and kernel $\mathbb{Z}$. Mayer-Vietoris gives $H_1(N)=H_0(N)=\mathbb{Z}$, so the same displayed formula holds, with no intermediate degrees. The usual connected-sum construction here uses positive dimension.

A homotopy from $f_0:Y\to X$ to $f_1:Y\to X$ is a continuous map $H:Y\times [0,1]\to X$ with $H(y,0)=f_0(y)$ and $H(y,1)=f_1(y)$ for every $y$. A covering map $p:\tilde{X}\to X$ is a surjective continuous map for which every $x\in X$ has an open neighborhood $U$ whose inverse image is a disjoint union of open sets, each mapped homeomorphically onto $U$. A lift of $f:Y\to X$ is a continuous map $\tilde{f}:Y\to \tilde{X}$ satisfying $p\circ \tilde{f}=f$.

The path lifting theorem says that a path $\gamma :[0,1]\to X$ and a point ${\tilde{x}}_0\in p^{-1}(\gamma (0))$ determine a unique path $\tilde{\gamma }:[0,1]\to \tilde{X}$ with $p\tilde{\gamma }=\gamma$ and $\tilde{\gamma }(0)={\tilde{x}}_0$.

On $S^1\setminus \{1\}$ there is a continuous branch ${\mathrm{Arg}}_{(0,2\pi )}$ of the complex argument, taking values in $(0,2\pi )$. If $f$ avoids $1$, set $\theta (z)={\mathrm{Arg}}_{(0,2\pi )}f(z)$. Then the explicit homotopystarts at $f$ and ends at the constant map $-1$. It is continuous because the chosen argument branch is continuous on the whole image. More generally, a map omitting any $w\in S^1$ is null-homotopic: apply the formula to $\overline{w}f$ and multiply the resulting homotopy by $w$.

For the based injective map, use the standard covering map $E(t)=e^{2\pi it}$. Lift the path $t\mapsto g(E(t))$ on $[0,1]$ to a real-valued path $G$ with $G(0)=0$. Since $g(1)=1$, its endpoint $d=G(1)$ is an integer. On $[0,1)$, $G$ is injective: equality $G(s)=G(t)$ implies $g(E(s))=g(E(t))$, then $E(s)=E(t)$ by injectivity, and hence $s=t$ in this half-open interval. A continuous injective real-valued function on an interval is strictly monotone.

If $G$ is increasing, $d>0$. It cannot be at least $2$, because the intermediate value theorem would produce $t\in (0,1)$ with $G(t)=1$, giving $g(E(t))=g(1)$ while $E(t)\ne 1$. Thus $d=1$. If $G$ is decreasing, the same reasoning gives $d=-1$. Now defineAt $t=0$ and $t=1$ this has the same value $1$ for every $s$, since $d$ is an integer. Therefore the formula descends continuously from $[0,1]\times [0,1]$ to $S^1\times [0,1]$. At $s=0$ it is $g$; at $s=1$ it is $z\mapsto z^d$. Hence $g$ is homotopic to the identity or to complex conjugation, with degree $1$ or $-1$. This is the key property of an injective self-map of a circle.

Finally, let $h$ be any continuous injective circle self-map. Normalize it to $g(z)=\overline{h(1)}h(z)$, which is injective and fixes $1$. If $h$ were not surjective, it would omit some circle point, so the explicit missing-point construction would make $h$ null-homotopic. Multiplying this homotopy by $\overline{h(1)}$ would make $g$ null-homotopic too. But $g$ is homotopic to the identity or conjugation, neither of which is null-homotopic by the permitted fact. This contradiction proves every continuous injective circle self-map is surjective. The lifting argument did not assume surjectivity, so the reasoning is not circular.

A deck transformation of a covering $p:\tilde{X}\to X$ is a homeomorphism $d:\tilde{X}\to \tilde{X}$ with $p\circ d=p$. A connected covering is a regular covering map if its deck transformation group acts transitively on each fiber; for a path-connected base, transitivity on the fiber over the chosen basepoint is equivalent.

Write $H=p_{\ast }{\pi }_1(\tilde{X},\tilde{b})$ and $G={\pi }_1(X,b)$. A based loop represents an element of $H$ exactly when its lift starting at $\tilde{b}$ is closed. Indeed a closed lift itself projects to a representative of an image element; conversely the image of a closed path lifts to that path, and the closed-endpoint property is unchanged by based homotopy.

Suppose the covering is regular, let $h\in H$, and let $g\in G$. Lift a representative of $g$ from $\tilde{b}$ to an endpoint $v$. By regularity some deck transformation sends $\tilde{b}$ to $v$. Applying it to the closed lift of $h$ gives a closed lift of $h$ at $v$, by uniqueness in the path lifting theorem. The concatenation of the lift of $g$, that closed lift of $h$, and the reverse lift of $g$ is therefore a closed lift of $gh{g}^{-1}$. Thus $gH{g}^{-1}\subseteq H$; applying the same argument to $g^{-1}$ gives equality. Hence a regular covering has a normal image subgroup.

For the explicit cover, label the bottom vertex $B=\tilde{b}$, the top $T$, the left $L$, the right $C=c$, and the rear/front equatorial vertices $U,V$, respectively. Reading the arrows gives the complete monodromy table:

Thus the $x$ edges form the cycle $B,V,L,T,C,U,B$, and the $y$ edges form the cycle $B,C,V,T,U,L,B$. In particular every vertex has one incoming and one outgoing edge of each label, as a covering of the two-circle wedge requires. All word paths below are traversed from left to right.

Choose the spanning tree consisting of the first five $x$ edges from $B$ to $U$. The tree paths to $B,V,L,T,C,U$ have labels $1,x,x^2,x^3,x^4,x^5$. For every directed non-tree edge $v\stackrel{z}{\to }w$, the path from $B$ along the tree to $v$, then along the edge, then back along the tree from $w$, has label $t_{v}z{t}_w^{-1}$. Collapsing a spanning tree turns a connected graph into a wedge of circles, so these paths form a free basis of its fundamental group. There are seven non-tree edges, since $12-6+1=7$. Their projected labels give the explicit generating setThe covering map induces an injection on fundamental groups, so these seven generators are also a free basis for the image subgroup. The first comes from the remaining $x$ edge $U\to B$; the other six come from the outgoing $y$ edge at each vertex in the table.

Now the word $h=y{x}^2$ lifts at $B$ around the triangleso $h\in H$. Starting at $C$, however, its lift iswhich is not closed. A deck transformation sending $B$ to $C$ would take the first closed path to a closed lift of the same word at $C$, contradicting uniqueness of lifts and the displayed nonclosed path. No such deck transformation exists. This is also the closed-lift obstruction expressed by the deck transformation group as a monodromy centralizer.

For a connected covering of a connected, locally path-connected, semilocally simply connected space, the classification of connected covering spaces says that the image subgroup is normal if and only if the covering is regular. The two-circle wedge and this connected finite graph satisfy those hypotheses. Since regularity fails, $H$ is not normal in the base group ${\pi }_1(X,b)\cong F(x,y)$. All normality comparisons here are in that base group.

Finally takeThe lift of $gh{g}^{-1}=y^2{x}^2{y}^{-1}$ from $B$ followsIt ends at $V\ne B$, so $gh{g}^{-1}\notin H$. This is the required explicit witness, and independently proves the failure of normality.

Yes. Take $X=S^1$, the circle, and $A=\{1\}\subset S^1$. The constant function $r(z)=1$ is a continuous map and satisfies $ri={\mathrm{id}}_A$, so $A$ is a retract of $X$.

However, their fundamental groups areA homotopy equivalence between path-connected spaces induces a group isomorphism of their fundamental groups, allowing the usual change of base point. The infinite cyclic group is not the trivial group. Therefore a retract need not have the homotopy type of its ambient space.

Let $n=(0,0,1)$ and use the open coverThe cap $V$ is open in $Y$: it equals $Y\cap \{z>1/2\}$ because the attached chord has $z=0$. The cap is homeomorphic to an open disk, and $U\cap V=V\setminus \{n\}$ is a punctured open disk, hence homotopy equivalent to a circle. Both sets and their intersection are path-connected. Choose the base point $b$ in that intersection.

We first calculate ${\pi }_1(U,b)$. A stereographic projection identifies $S^2\setminus \{n\}$ with ${\mathbb{R}}^2$ and sends the two chord endpoints to $(-1,0),(1,0)$. Thus $U$ becomes the Euclidean plane with an extra closed interval attached at those two points. This description is a homeomorphism: gluing the two closed pieces along their endpoints gives exactly the original subspace topology.

The Euclidean plane has a deformation retraction onto $L=[-1,1]\times \{0\}$ while fixing its endpoints. An explicit homotopy isExtend it by the identity map on the extra chord. The pasting lemma for closed subspaces gives a deformation retraction of $U$ onto two distinct closed intervals sharing just their endpoints, a circle. Consequently ${\pi }_1(U,b)\cong \mathbb{Z}$, with the routine base point transport if the retraction moves $b$.

The inclusion-induced group homomorphism ${\pi }_1(U\cap V,b)\to {\pi }_1(U,b)$ is trivial: it factors through $S^2\setminus \{n\}\cong {\mathbb{R}}^2$, which is contractible. Also ${\pi }_1(V,b)=1$. All hypotheses of the Seifert-van Kampen theorem are now checked, and it gives the fundamental group of a sphere with an attached chord:where both maps from the amalgamating infinite cyclic group are trivial. A group generator follows the chord from one endpoint to the other and returns along any path on the sphere, with a connecting path from the chosen base point.

Put $A=T^2\setminus B^2$ and let $E=\partial A=S^1$ denote the attaching circle. The version of the Seifert-van Kampen theorem used here states that if $X=U\cup V$ is an open cover with $U,V,U\cap V$ path-connected and a common base point in $U\cap V$, thenThe expression on the right means the pushout of groups of the two inclusion-induced group homomorphisms; they need not be injective.

Choose a thin collar neighbourhood $C_A$ of $E$ inside $A$, and a thin equatorial band $C_S$ inside $S^2$. For example, before the square's side identifications take $C_A=\{v:1\le |v|<1+ϵ\}$ with $0<ϵ<1/2$, and take $C_S=\{(x,y,z)\in S^2:|z|<ϵ\}$. In the glued topological space setThese are open subsets: their preimages in the two pieces are open and respect the gluing. They cover $X$, and the three deformation retractionsfix $E$. Thus all three spaces are path-connected, and a base point $b\in E$ is preserved.

For completeness, the fundamental group of a once-punctured torus is $F(a,b)$, and its boundary loop of a once-punctured torus represents $[a,b]=ab{a}^{-1}{b}^{-1}$, up to orientation and a change of base point. Here is the geometry behind both facts. In the square model, move each point of $A$ radially outwards to the square boundary:The denominator never vanishes on $A$. The homotopy stays outside the missing open disk, stays inside the square, and fixes the square boundary, so it descends through the side identifications. The resulting retract is a wedge of two circles. Its fundamental group is the free group on the two oriented side based loops $a,b$. The inner boundary loop travels around the square once under this deformation retraction; its successive sides read $a,b,a^{-1},b^{-1}$.

The sphere $S^2$ is simply connected. Hence the group homomorphism from ${\pi }_1(E)\cong \mathbb{Z}$ to ${\pi }_1(V)$ is trivial, while its map to ${\pi }_1(U)$ sends a group generator to $[a,b]$. Applying the Seifert-van Kampen theorem givesThe final group isomorphism follows because the single relator makes $a,b$ commute, leaving the free abelian group on two group generators. The two hemispheres kill the same boundary loop; they do not create another group generator.

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.

Choose a spanning tree $T$ of the finite connected graph $X$. It contains every vertex of $X$ and has $v(X)-1$ edges by part (i). Collapsing $T$ to a point is a homotopy equivalence: $T$ is a contractible subcomplex, and collapsing a contractible cofibration in a CW complex preserves homotopy type.

Every edge outside $T$ then becomes a circle attached to the common point. Hence the quotient space $X/T$ is a bouquet of circles withpetals. The fundamental group of a bouquet of circles is the free group with one member of a free basis of a group for each petal. Therefore the rank of the fundamental group of a finite connected graph isMore concretely, choose a vertex as base point; follow the unique path in a graph in $T$ to one end of a non-tree edge, traverse it, and return through $T$. These based loops give the free basis of a group. Thus $r$ is the number of free group generators, equivalently the minimum size of a generating set of a group, rather than the size of every possible redundant generating set of a group. Minimality also follows by abelianization, since $F_r$ has abelianization ${\mathbb{Z}}^r$.

Every quotient class has a representative in $[0,1]$: the collapsed class has representatives $0,1$, and the others are the points of $(0,1)$. Thus $p{|}_{[0,1]}$ is a continuous surjection from a compact interval onto $X_A$. It follows that $X_A$ is compact, despite the noncompact original space.

Define the continuous mapThe formulas agree at both junctions, and its fibres are exactly the required equivalence classes. It induces a continuous bijection $X_A\to S^1$, which is a homeomorphism by compactness and the Hausdorff condition on the circle.The quotient notation means that the displayed entire subset becomes one point.

The set $X/\mathcal{R}$ consists of the equivalence classes $[x]$ for $\mathcal{R}$. The canonical surjection $q:X\to X/\mathcal{R}$, $q(x)=[x]$, defines its quotient topology:The quotient space includes this topology, not just the collection of equivalence classes.

Regard the circle as $S^1=\{z\in \mathbb{C}:|z|=1\}$ and use the continuous surjectionDefine $z\mathcal{R}w$ precisely when $h(z)=h(w)$. This is an equivalence relation, being equality of function values. Equivalently $w=z$ or $w=\overline{z}$, so the construction is the circle modulo reflection.

Since $h$ is constant on each equivalence class, it induces a bijectionIt is continuous by the universal property of the quotient topology, because $\overline{h}\circ q=h$ is continuous. The circle is compact by the Heine-Borel theorem, and its quotient space is a continuous image of a compact space, hence compact. The closed interval is Hausdorff. Part (a)(ii) therefore provesGeometrically, the equivalence relation folds the upper and lower semicircles together, retaining the two real endpoints separately.

Write $Q=(Z\times I)/\mathcal{R}$. Since $Q$ is homeomorphic to the circle, it is Hausdorff. For fixed $t\in I$, the functionis continuous, being a coordinate slice of the quotient map. Part (a)(i) therefore makes it constant. Choose $x_0\in Z$ and setThen $g$ is continuous andSince the quotient map $p$ is a surjection, so is $g$. This is Hausdorff factorization through a cofinite product factor: a continuous map into a Hausdorff space cannot distinguish the points of the coordinate with the cofinite topology.

If $g$ were injective, it would be a continuous bijection from the compact closed interval $I$ to the Hausdorff space $Q$. Part (a)(ii) would make it a homeomorphism, contradicting the fact that the circle and interval are not homeomorphic.

To recall that obstruction explicitly, remove the interior point $1/2$ from $I$. The resulting topological subspace is separated by the nonempty relatively open sets $[0,1/2)$ and $(1/2,1]$, so it is not connected. The circle with any one point removed is connected: after a rotation, it is the image under a continuous map of the connected open interval $(0,2\pi )$ under $t\mapsto (\cos t,\sin t)$. A homeomorphism and its restriction preserve connectedness, giving a contradiction.

Thus $g$ is not injective. Choose distinct $a,b\in I$ with $g(a)=g(b)$. ThenIn particular the requested $x,a,b$ exist. The argument proves the stronger conclusion that the same two interval coordinates work for every $x$.