Let $(X,\tau)$ be a topological space.
An open cover $\{U_i \subset X\}_{i \in I}$ of $X$ is called locally finite if for each point $x \in X$, there exists a neighbourhood $U_x \supset \{x\}$ such that it intersects only finitely many elements of the cover, hence such that $U_x \cap U_i \neq \emptyset$ for only a finite number of $i \in I$.
(refinement of open covers)
Let $(X,\tau)$ be a topological space, and let $\{U_i \subset X\}_{i \in I}$ be a open cover.
Then a refinement of this open cover is a set of open subsets $\{V_j \subset X\}_{j \in J}$ which is still an open cover in itself and such that for each $j \in J$ there exists an $i \in I$ with $V_j \subset U_i$.
Every open cover of a metric space has a $\sigma$-locally discrete refinement.
Every metric space $X$ has a $\sigma$-locally discrete base.
Set $\mathcal{U}_n \coloneqq \{ \text{open ball of radius }\; 1/n \;\text{ around }\;\, x \mid x \in X \}$. For each $n$ let $\mathcal{V}_n$ be a $\sigma$-locally discrete refinement of $\mathcal{U}_n$. By a diagonal argument the family $\mathcal{V} \coloneqq \bigcup_n \mathcal{V}_n$ is also $\sigma$-locally discrete. Moreover $\mathcal{V}$ is a base since for each point $x$ the balls of radius $1/n$ form a neighborhood base.
Ryszard Engelking, General Topology, Heldermann Verlag Berlin, 1989.
K. Kuratowski, Topology, 2014, vol. 1.
Last revised on April 30, 2019 at 13:57:03. See the history of this page for a list of all contributions to it.