Let $Z$ a compact set and $X$ a locally compact set. Let $p:Z\to X$ a local homeomorphism. Show that there exists $n≥1$ and $U\_1,…,U\_n$ open and closed sets of $X$ such that :


* $X=\sqcup\_{i=1}^{n}U\_i$
* the map $x\in X \mapsto \text{Card}(\rho^{-1}(\{x\}))$ is constant on $U\_i$ for all $1≤i≤n$


I have already proved that the map $x\mapsto \text{Card}(\rho^{-1}(\{x\}))$ is continuous on $X$ but i don't know how to continue ... I also thought of a proof by induction on $n=\text{sup}\{\text{Card}(\rho^{-1}(\{x\})),\: x\in X\}$ which is clear for $n=1$.


Thank you for you help



Disjoint union of clopen sets such that the fibers has constant cardinality
The image of your continuous function is a compact subset of the discrete space $\mathbb{Z}$, so it is finite.
For each point, $i$, in the range the set $\{i\}$ is clopen in $\mathbb{Z}$, hence its preimage is clopen in $X$.


