Processing math: 100%

Locally finite topology subset

Set

context X,T … topological space
definiendum ${\mathcal C} in it
inclusion CT
for all xX
exists VT
postulate xV
postulate {UC|UV} … 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 VT) 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 xX has a compact neighborhood V.

Reference

Subset of

Context

Requirements*

Link to graph
Log In
Improvements of the human condition