If $h : Y \to X$ is a covering map and $Y$ is connected, then the cardinality of the fiber $h^{-1}(x)$ is independent of $x \in X$.

This is true more generally if the base space $X$ is connected. It suffices to notice that the relation $$x\sim x'\text{ iff the fibers over }x\text{ and }x'\text{ have the same cardinality}$$ is a equivalence relation with open equivalence classes. Since the equivalence classes of an equivalence relation partition the underlying set, and because a connected space is, by definition, one that doesn't admit any non trivial partition by open sets, the equivalence relation to be trivial, i.e. there can only be one equivalence class. This of course means that all fibers must have the same cardinality.

The fact that the equivalence classes are open is also obvious. Indeed, let $x\in X$. By definition of being a covering map, there exists an open neighborhood $V$ of $x$, a discrete nonempty set $I$ and a homeomorphism $\phi:p^{-1}(V)\to V\times I$ that commutes to the projections. Then the fibers over the $x'\in V$ all have cardinality (equal to that of $I$), which proves that for all $x'\in V$, $x\sim x'$, and the equivalence classes are open.


First, there is an underlying assumption that $X$ is connected.

Having said that, define a function on $X$ where $N(x)$ equals the cardinality of $h^{-1}(x)$. The range of this function can be thought of as a set of cardinal numbers, and you want to give that set the discrete topology. For example, if you are willing to add the assumption that $X$ has a countable basis, then the range of $N(x)$ is the set $\{1,2,3,…\} \cup \{\infty\}$. Give that set the discrete topology.

You wish to prove that $N(x)$ is a constant function. Since the domain is connected and the range is discrete, it suffices to prove that $N(x)$ is a continuous function.

To prove that $N(x)$ is continuous it suffices prove that $N(x)$ is constant on any neighborhood $U$ of $x$ such that $U$ is evenly covered by the covering map $h$, and that should be very straightforward.