Lemma 5.7.7. Let $f : X \to Y$ be a continuous map of nonempty topological spaces. Assume that (a) $Y$ is connected, (b) $f$ is open and closed, and (c) there is a point $y\in Y$ such that the fiber $f^{-1}(y)$ is a finite set. Then $X$ has at most $|f^{-1}(y)|$ connected components. Hence any connected component $T$ of $X$ is open and closed, and $f(T)$ is a nonempty open and closed subset of $Y$, which is therefore equal to $Y$.
Proof. If the topological space $X$ has at least $N$ connected components for some $N \in \mathbf{N}$, we find by induction a decomposition $X = X_1 \amalg \ldots \amalg X_ N$ of $X$ as a disjoint union of $N$ nonempty open and closed subsets $X_1, \ldots , X_ N$ of $X$. As $f$ is open and closed, each $f(X_ i)$ is a nonempty open and closed subset of $Y$ and is hence equal to $Y$. In particular the intersection $X_ i \cap f^{-1}(y)$ is nonempty for each $1 \leq i \leq N$. Hence $f^{-1}(y)$ has at least $N$ elements. $\square$
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (1)
Comment #630 by Wei Xu on
There are also: