FIND ME ON

GitHub

LinkedIn

Precompact

🌱

Definition

This is a notion that in Metric Spaces can refer to Totally Bounded spaces or Relatively Compact spaces.

These two notions are only equivalent if we’re working with a complete Metric Space (so in a polish space, both are equivalent), otherwise they are different. It appears that: - =Totally Bounded on Metric Spaces - =Relatively Compact on Uniform Spaces.

Linked from