Locally finite topology subset
Set
context | ⟨X,T⟩ … topological space |
definiendum | ${\mathcal C} in it |
inclusion | C⊂T |
for all | x∈X |
exists | V∈T |
postulate | x∈V |
postulate | {U∈C|U∩V≠∅} … finite |
Idea
Like many properties, this is a notion of smallness. It's not about the smallness of a subset U of X, but smallness of a collection C of subsets U of X.
You may consider a well choosen sample of neighborhoods (the sets V∈T) and C ought to be finite with respect to that sample (finite pro V).
Dicussion
- A topologal space is paracompact if it any cover has a refinement with that property.
- The sample of V's above may be very big, so C is really only small w.r.t. the sample. In a compact space, on the other hand, the cover itself is finite (and you don't need to consider that sample).
- Note that the name locally compact is already used for the situation where every point x∈X has a compact neighborhood V.
Reference
Wikipedia: Locally finite collection, Paracompact space