Let $o=(0,0)$ be the common point of the two circles. For sufficiently small $\epsilon >0$, the open neighbourhoodhas the following local structure: $W\setminus \{o\}$ consists of four disjoint open arcs, an upper and a lower branch from each circle. These are its four connected components, each open and closed relative to $W\setminus \{o\}$.

Suppose a coordinate chart of some dimension of a manifold $n$ existed at $o$. The case $n=0$ would make $o$ an isolated point, which it is not. For $n\ge 1$, shrink the chart inside $W$ so that its image is an open ball centred at the image of $o$. Its domain of a function $V$ is an open neighbourhood of $o$, so it meets all four arms of $W$. Intersecting those arms with $V\setminus \{o\}$ gives four disjoint nonempty clopen sets partitioning $V\setminus \{o\}$; hence there are at least four connected components.

But a punctured ball in $\mathbb{R}$ has exactly two connected components, and a punctured ball in ${\mathbb{R}}^n$ for $n\ge 2$ is path-connected. A homeomorphism preserves connected components, giving a contradiction in every dimension of a manifold. Thus $X$ is not a topological manifold. The argument uses arbitrarily small coordinate charts; the fact that the whole $X\setminus \{o\}$ has two pieces alone would not be a local obstruction.

The unit circle is Hausdorff and second countable, since both properties pass to topological subspaces of the Euclidean plane. To exhibit its local coordinate charts, consider the four open semicirclesThey cover $S^1$. On $U_{y,\pm }$, the projection map $(x,y)\mapsto x$ is a homeomorphism onto the open interval $(-1,1)$, with continuous inverse functionOn $U_{x,\pm }$, use $(x,y)\mapsto y$, with inverse function $t\mapsto (\pm \sqrt{1-t^2},t)$. These coordinate charts show that $S^1$ is a one-dimensional topological manifold with empty manifold boundary.

Let $W=(\mathbb{N}\times S^1)/A$, and choose in each circle the point opposite $o$:In the subspace topology from the Euclidean plane, the sequence $z_n$ converges to $o$, which does not belong to $B$. Thus $B$ is not closed in $X$.

On the other hand, let $D={\bar{f}}^{-1}(B)\subseteq W$. With the quotient map $q$ from part (i),This is closed in $\mathbb{N}\times S^1$: its complement is the open set $\mathbb{N}\times (S^1\setminus \{(0,1)\})$. The definition of the quotient topology, applied to complements, says that $D$ is closed in $W$. A homeomorphism would carry this closed set to the closed set $B$, a contradiction. Therefore $\bar{f}$ is not a homeomorphism.

The obstruction occurs at the common point. The open set $W\setminus D$ contains the collapsed point, but its image $X\setminus B$ contains no neighbourhood of $o$, since $z_n\to o$. The wedge sum topology allows a separate small neighbourhood on each circle; a neighbourhood of $o$ in the Hawaiian earring must contain all sufficiently small whole circles.

Use positive indices $n\ge 1$ and write $p=(0,-1)\in S^1$. SetFor fixed $n$, this function is a homeomorphism from the unit circle to $C_n$: it scales its radius to $1/n$ and translates its centre to $(0,1/n)$. Thus it takes values in the Hawaiian earring $X$ and is surjective onto $X$. It is continuous on each open slice $\{n\}\times S^1$; since these slices form an open cover of $\mathbb{N}\times S^1$, $f$ is continuous on the whole product topology.

Distinct circles $C_n,C_m$ meet only at $o=(0,0)$. To see this directly, their equations areFor $m\ne n$, subtraction gives $y=0$, then $x=0$. Each slice contains exactly one preimage of $o$, namely $(n,p)$. Therefore the only nonsingleton fibre of $f$ is $A$.

Let $q:\mathbb{N}\times S^1\to (\mathbb{N}\times S^1)/A$ be the quotient map collapsing $A$. The universal property of the quotient topology supplies a unique continuous map $\bar{f}$ with $f=\bar{f}\circ q$. The fibre calculation proves injectivity, and surjectivity follows from that of $f$. Hence $\bar{f}$ is the required continuous bijection.

False, with “disjoint union” understood as a topological disjoint union. Take the rational numbers $\mathbb{Q}$ with the usual subspace topology from the real line.

Every connected subset of $\mathbb{Q}$ has at most one point. Indeed, if it contained $r<s$, choose an irrational number $t\in (r,s)$. The two relatively open setspartition $\mathbb{Q}$ and separate any subset containing both $r$ and $s$. Hence the connected components of $\mathbb{Q}$ are singletons.

If a topological disjoint union of nonempty connected spaces were homeomorphic to $\mathbb{Q}$, the image of each summand would be connected, hence a singleton. Every summand would therefore be a one-point topological space. Their topological disjoint union is a discrete space, since each summand is open. But $\mathbb{Q}$ is not a discrete space: for each $r\in \mathbb{Q}$, the distinct rational numbers $r+1/n$ approach $r$, so $r$ is not an isolated point. This is a contradiction. The set decomposition into connected components always exists; giving those pieces the topological disjoint union topology need not recover the original topology.

The sphere $S^2$ is path-connected. For $u,v\in S^2$ which are not an antipodal pair, a continuous path isThe denominator never vanishes: a zero would make $u$ and $v$ antipodal. If $v=-u$, choose a unit vector $w$ perpendicular to $u$ and concatenate the paths from $u$ to $w$ and from $w$ to $v$ of the same form. Thus $S^2$ is connected. The quotient map $q_S$ is continuous and surjective, so the continuous image of a connected space theorem proves that ${\mathbb{RP}}^2$ is connected. In fact composing the paths above with $q_S$ also proves path connectedness.

Let $q_S:S^2\to S^2/{\sim }_S$ and $q_D:D^2\to D^2/{\sim }_D$ be the quotient maps. The continuous mapis a homeomorphism onto the upper hemisphere; its inverse function is the restriction of the projection map $(x,y,z)\mapsto (x,y)$. Every antipodal pair on $S^2$ meets that hemisphere. Moreover, two points of this hemisphere are antipodal only if both lie on the equator. ThusBy the universal property of the quotient topology, $q_S\circ h$ induces a continuous bijection

To justify continuity of the inverse function, the source is compact, being a continuous image of a compact space $D^2$; the Heine-Borel theorem gives compactness of $D^2$. The target is Hausdorff, as follows. For distinct equivalence classes $[u]\ne [v]$, putIn $S^2$, take the union $U$ of the two relative open balls of radius $\delta /3$ about $u,-u$, and similarly take $V$ about $v,-v$. Every distance between their respective centres is at least $\delta$, so the triangle inequality gives $U\cap V=\varnothing$. These open sets contain entire antipodal pairs, hence $q_S^{-1}(q_S(U))=U$ and similarly for $V$. The quotient topology therefore makes $q_S(U)$ and $q_S(V)$ disjoint open neighbourhoods of the two classes.

The compact-to-Hausdorff continuous bijection theorem now gives the required homeomorphism $H$.

For the sphere model of the real projective plane, letThen ${\mathbb{RP}}^2=S^2/{\sim }_S$ with the quotient topology: each equivalence class is an antipodal pair.

For the closed disc model, letGive $D^2/{\sim }_D$ the quotient topology. Only antipodal pairs on the boundary circle are identified in the closed disc model; interior points remain distinct.

TakeIt is continuous for the Euclidean metric, since $|g(x)-g(y)|=|x-y|$. But the basic open set $[0,1)$ of the target Sorgenfrey line has preimageThis is not open in the source Sorgenfrey line: every basic neighbourhood of $0$ contains positive points. Thus $g$ is not continuous for the lower limit topology.

Use the Heaviside step function with the value at the jump chosen as follows:For any open set in the target Sorgenfrey line, its preimage is one of $\varnothing$, $\mathbb{R}$, $(-\infty ,0)$, and $[0,\infty )$. All four are open in the source Sorgenfrey line, so $f$ is continuous. In the Euclidean topology, the preimage of $(1/2,3/2)$ is $[0,\infty )$, which is not open. Hence the same function is not continuous as a usual real-to-real map.

$X$ does not have sequential compactness. Take the sequenceEvery subsequence has usual limit of a sequence $1$. If a subsequence converged in the subspace topology of the Sorgenfrey line, it would also converge in the usual subspace topology, since part (c) makes the identity function from the former to the latter continuous. Uniqueness of a limit of a sequence in the usual Hausdorff space therefore forces that limit of a sequence to be $1$.

But $\{1\}$ is an open neighbourhood of $1$ in $X$, and no term $x_n$ belongs to it. Thus no subsequence converges to $1$ in $X$, proving the assertion.

$X$ is not compact. In the subspace topology on $X=[0,1]$, consider the open coverThe intervals are basic open sets in the ambient Sorgenfrey line, and $\{1\}=X\cap [1,2)$ is open in $X$. Every $x<1$ belongs to one of those intervals, while the singleton covers $1$.

A finite subcover would have to include $\{1\}$. Among its finitely many other members, let $N$ be the largest index. Their union is $[0,1-1/N)$, leaving $1-1/N$ uncovered. Selecting no such member also fails to cover $0$. Hence no finite subcover exists.

The only isolated point of the subset $[0,1]$ is $1$. Indeed,so $\{1\}$ is open in the subspace topology. If $0\le x<1$, every basic neighbourhood $[a,b)$ containing $x$ also contains a point strictly between $x$ and $\min (b,1)$, hence another point of $[0,1]$. Such an $x$ is not an isolated point of the subset. Here isolation refers to $[0,1]$ with its subspace topology; $1$ is not an isolated point of the ambient Sorgenfrey line.

The interval $[0,1)$ is a basic open set contained in $[0,1]$. The remaining point $1$ is not an interior point, by the preceding argument. Thus

No, $[0,1]$ is not open. Every basic neighbourhood $[a,b)$ of $1$ has $b>1$, so it contains points larger than $1$. Therefore $1$ has no open neighbourhood contained in $[0,1]$.

Yes, $[0,1]$ is closed. Its complement is $(-\infty ,0)\cup (1,\infty )$. Every $x<0$ has the basic open neighbourhood $[x,0)$ contained in this complement, and every $x>1$ has $[x,x+1)$ contained in it. Hence the complement is open in ${\mathbb{R}}_{\mathcal{T}}$.

Assume $p$ has a common finite degree of a covering map $d$. Declare the lifted vertices to be $p^{-1}(V(X))$, so there are exactly $dv(X)$ of them. Each open edge is homeomorphic to $(0,1)$, a simply connected interval. The restriction of the covering map above it is a disjoint union of $d$ copies of that open edge.

These copies acquire endpoints as follows. Lift the parametrizing path $[0,1]\to X$ of each oriented edge, starting at each of the $d$ points over its initial vertex. The path lifting theorem gives a unique lift all the way to $1$. Its endpoint lies over the terminal vertex, and the interiors of these lifted paths are exactly the $d$ open edges already described. This also handles a graph loop, whose two endpoints may coincide downstairs or upstairs. Local covering sheets above a small star at a vertex show that the lifted incidence relations have precisely the original topology. Thus the graph structure lifted through a covering map is a finite topological graph withSubtracting gives the Euler characteristic under a finite covering formulaThe formula holds even when $\tilde{X}$ is disconnected. If a disconnected base is allowed to have degrees $d_C$ that vary with its connected components $C$, the precise replacement isThe printed formula with a single $d$ uses the constant-degree convention explained in part (a)(ii).

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

A finite tree is a nonempty connected graph with no graph cycles. We show by mathematical induction on its number $v$ of vertices that it has $v-1$ edges. For $v=1$ there are no edges, so the assertion holds.

If $v>1$, take a path in a graph of maximal length among those without repeated vertices. Each endpoint is a leaf of a tree: an additional incident edge would either extend the path in a graph or create a graph cycle. Delete one such leaf of a tree and its unique incident edge. The remaining graph stays connected, since a path in a graph between remaining vertices never needs that terminal edge, and it has no graph cycles. It is therefore a tree with $v-1$ vertices and, by mathematical induction, $v-2$ edges. Restoring the deleted edge gives $e=v-1$.

Thus its Euler characteristic is

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.