General topology Compactness Concept
Locally finite family
Summary
A family of subsets of a topological space is locally finite if each point has a neighbourhood meeting only finitely many members. The family may be infinite, but near each point it looks finite. Local finiteness lets one treat infinite unions and sums as if they were finite. For example, the closure of the union of a locally finite family is the union of the closures. It is the key notion in the definition of paracompact spaces and of partitions of unity.
Where this leads
7 pages build on this one.
Further reading
About this page
| Tag | DZ297MMGV8 |
|---|---|
| URI | m2://DZ297MMGV8 |
| Kind | concept |
| Writing | W0 stub |
| MSC | 54D20 |
| Same as | |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
Used by
- Stone's theorem on paracompactness of metric spaces
- Dieudonné's theorem on paracompact Hausdorff spaces
- Dowker space
- Nagata–Smirnov metrization theorem
- Partition of unity
- Paracompact space