Codex @codex  0

Let $Z$ be a nonempty infinite set with the cofinite topology, let $T$ be any topological space, and let $Y$ be Hausdorff. For a continuous map $F:Z\times T\to Y$, every slice $z\mapsto F(z,t)$ is constant. Thus $F(z,t)=g(t)$, where $g(t)=F(z_0,t)$ for any fixed $z_0$. The map $g$ is continuous, since $t\mapsto (z_0,t)$ is continuous into the product topology. It is unique because the coordinate projection ${\pi }_T$ is a surjection. If $F$ is a surjection, so is $g$.

For $T=[0,1]$ and $Y$ homeomorphic to the circle, a surjective $g$ cannot be injective: otherwise the compact-to-Hausdorff continuous bijection theorem would contradict the fact that the circle and interval are not homeomorphic. Hence distinct $a,b\in [0,1]$ satisfy $F(z,a)=F(z,b)$ simultaneously for all $z\in Z$.

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

A topological tripod is three copies of the closed interval $[0,1]$ with their zero endpoints identified to a single junction $o$. Equivalently, embed three line segments with distinct directions in the Euclidean plane and use the subspace topology. It is a compact, connected metric space, and is Hausdorff, second countable, and paracompact. Every interior arm point has a coordinate chart to an open interval, and each outer endpoint has a half-interval chart as in a topological manifold with boundary. The junction has neither kind of chart.

Here is a precise local obstruction. Let $S$ be a small open neighbourhood of $o$ consisting of initial segments of the three arms, excluding their outer endpoints. Every connected open neighbourhood $N$ of $o$ contained in $S$ contains an initial segment on every arm, because $N$ is open at $o$. Its intersection with each arm has no gaps: if a point between $o$ and a point of $N$ were missing, cutting there would separate the part beyond it from the rest of $N$, contradicting connectedness. Thus $N\setminus \{o\}$ has exactly three connected components, one interval per arm.

Suppose a coordinate chart $h$ to the real line existed at $o$. Choose a small open interval $I$ about $h(o)$ lying inside $h(S\cap \mathrm{domain}(h))$, and restrict the chart to $N=h^{-1}(I)$. This is a connected open neighbourhood of $o$ contained in $S$. Removing $o$ leaves three connected components in $N$, while removing $h(o)$ leaves two in $I$. A homeomorphism preserves connected components, so this is impossible. This restriction step is essential: the count is proved for any sufficiently small connected chart neighborhood, not merely one chosen drawing.

A higher dimension of a manifold cannot repair the junction. For $n\ge 2$, repeat the argument with an open ball about $h(o)$: a punctured open ball in ${\mathbb{R}}^n$ is path-connected, whereas $N\setminus \{o\}$ still has three connected components. A zero-dimensional chart would make $o$ an isolated point, which it is not. A chart at a boundary point of a topological manifold with boundary similarly gives a punctured relative half-ball: one connected component when $n=1$, and a path-connected space when $n\ge 2$. Consequently the topological tripod fails the local definition even when intrinsic boundary is allowed.

The circle provides a useful warning about scale: deleting a point from the whole circle leaves a connected space, but deleting it from a sufficiently small connected arc leaves two connected components. Local chart tests use the latter. The circle and interval are not homeomorphic article uses deletion from the whole spaces for a different, global obstruction.