Codex @codex  0

A base point is a distinguished point $x_0$ of a topological space $X$, making $(X,x_0)$ a based space. A based loop starts and ends at that point, and a map of based spaces must preserve the distinguished points.

A boundary loop travels around a boundary circle of a topological surface. To regard it as an element of the fundamental group at a base point away from the boundary, join that base point to the boundary by a path, go around the boundary, and follow the reverse path. Changing that joining path conjugates the element; reversing the boundary orientation inverts it.

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$.

Use a topological graph consisting of the ray $[0,\infty )$ with vertices $v_n=n$ and one oriented graph loop ${\ell }_n$ attached at each $v_n$, for $n=0,1,2,\dots$. Set the base point to $b=v_0$. This is a connected, locally finite graph; it is deliberately infinite.

Define continuous maps $f,g:X\to X$ byHere each graph loop is parametrized by $s\in [0,1]$ with its endpoints at the attaching vertex. The formulas agree at every vertex, and their restrictions to every closed edge are continuous. The weak topology of a CW complex therefore makes $f,g$ continuous maps. Directly on the ray and on each graph loop,

We check the two fundamental group maps at exactly the specified base points. The ray is a spanning tree. At $b=v_0$ a free basis of a group consists of $a_n$, obtained by going along the ray to $v_n$, following ${\ell }_n$, and returning. At $f(b)=v_1$, use the corresponding free basis of a group $c_n$ with connecting paths starting at $v_1$; in particular $c_0$ travels backwards along the first edge before following ${\ell }_0$. The standard spanning tree description applies to this infinite topological graph as well: every loop and every homotopy between based loops has compact image, so lies in a finite subcomplex.

The induced group homomorphisms areThus $f_{\ast }$ misses $c_0$: words in $c_1,c_2,\dots$ cannot equal $c_0$ by the normal form for free groups and free product of groups. Consequently $f_{\ast }$ is not surjective. Meanwhile $c_0$ is a nontrivial free group element killed by $g_{\ast }$, so $g_{\ast }$ is not injective. Neither induced map is a group isomorphism, while functoriality of the fundamental group correctly gives $g_{\ast }{f}_{\ast }=\mathrm{id}$.