Разделяемое пространство

Разделимость пространства важна в численном анализе и конструктивной математике.
Разделимые пространства имеют максимальную мощность и самое большее плотное подмножество.
Произведение не более континуума разделимых пространств является разделимым пространством.
Каждое компактное метрическое пространство и топологическое пространство, состоящее из разделяемых подпространств, являются разделимыми.
Пространства Лебега и C(K) являются отделимыми пространствами.
Неразделимые пространства, такие как ω1 и ℓ∞, имеют важные приложения в математике и других областях.
Подпространство разделимого пространства необязательно должно быть разделимым, но каждое открытое подпространство является разделимым.

Полный текст статьи:

Сепарабельное пространство — Википедия