I'm studying a different proof to show that each metric space is paracompact in the book: Singh, Tej Bahadur-Introduction to Topology. It is a very elegant construction unlike the inductive method that seems more cumbersome to me. However there are three things that I could not understand:
(1) Why can some $E_{n, \alpha}$ be empty?
(2) How can I intuitively or geometrically see the sets $F_{n,\alpha}$ and $V_{n,\alpha}$?
(3) Why is it obtained that $F_{n,\alpha} \subset X – U_\beta $ or $F_{n,\beta} \subset X – U_\alpha$ in the last part of the proof?
I'm very interested in knowing a good argument for these questions since I have not been able to figure it out on my own after many attempts and I'm eager to know the answers. Any help is appreciated.
Here are some definitions:
Definition.
Let $X$ be a topological space. A collection of sets $\{U_{\alpha}\} \subset X$ (not necessarily open or closed) is said to be locally finite if to each ${x \in X}$, there is a neighborhood ${U}$ of ${x}$ that intersects only finitely many of the ${U_{\alpha}}$
Definition. Let ${\left\{U_{\alpha}\right\} }$ be a cover of a space ${X}$. Then a cover ${\left\{V_{\beta}\right\}}$ is called a refinement if each ${V_{\beta}}$ sits inside some ${U_{\alpha}}$
Definition. A Hausdorff space is paracompact if every open covering has a locally finite refinement.
Best Answer