Цілком обмежений простір

У топології та математичному аналізі простір називається цілком обмеженим, якщо він є скінченним об'єднанням деяких своїх підмножин довільного розміру. Поняття виникло для метричних просторів, для яких існує природне означення розміру підмножин, проте його можна узагальнити на більш широкі класи просторів, зокрема рівномірні топологічні простори.

Метричні простори

Означення

Метричний простір називається цілком обмеженим, якщо для нього виконуються рівносильні умови:

1. Для всіх , простір є об'єднанням скінченної кількості відкритих куль радіуса \epsilon. Еквівалентне формулювання: для кожного в просторі існує скінченна -сітка, тобто скінченна множина , така що кожна точка множини X знаходиться від деякої точки множини на відстані, меншій .
2. Для всіх , простір є об'єднанням скінченної кількості множин діаметра не більшого ;
3. Кожна послідовність в містить фундаментальну підпослідовність.

Доведення еквівалентності означень

• 1. ⇒ 2. : кожна відкрита куля радіуса має діаметр .
• 2. ⇒ 3. : Нехай послідовність у просторі задовольняє умову 2. є об'єднанням скінченної кількості множин діаметра . Одна з цих множин ( позначимо її ) містить нескінченну кількість членів послідовності , тобто підпослідовність . Подібним чином є об'єднанням скінченної кількості множин діаметра і одна з них, , містить нескінченну підпослідовність послідовності . Продовжуючи цей процес можна побудувати спадну послідовність множин діаметра , кожна з яких містить підпослідовність попередньої підпослідовності . Тоді діагональна підпослідовність буде фундаментальною.
• 3. ⇒ 1. : Припустимо, що для деякого , простір не є рівний об'єднанню куль радіуса . Тоді можна рекурентно отримати послідовність , для якої Для цієї послідовності і звідси очевидно, що у немає жодної фундаментальної підпослідовності.

Властивості

• Із третього означення цілком обмежених просторів випливає, що метричний простір є цілком обмеженим тоді і тільки тоді коли його поповнення є компактним. Зокрема метричний простір є компактним тоді і тільки тоді коли він є цілком обмеженим і повним.
• Метричний простір є цілком обмеженим тоді і тільки тоді коли він є підпростором метричного компактного простору.
• Як топологічні простори метричні цілком обмежені простори є регулярними просторами зі зліченною базою. Навпаки всі такі простори є метризовними цілком обмеженими.
• Підпростір евклідового простору є цілком обмеженим простором в тому і тільки в тому випадку, якщо він є обмеженим.
• Нескінченна множина, в якій відстань між будь-якими двома різними точками дорівнює 1, а також сфера і куля в нескінченновимірному гільбертовому просторі є обмеженими, але не цілком обмеженими метричними просторами.
• Образ метричного цілком обмеженого простору при рівномірно неперервному відображенні є цілком обмеженим.

Рівномірні простори

Цілком обмежений простір — рівномірний простір , такий що для будь-якого оточення існує покриття множинами такими що . Для часткового випадку коли простір є комутативною топологічною групою (зокрема топологічним векторним простором) альтернативно можна дати означення, що група є цілком обмеженою, якщо для кожного окола одиничного елемента група є рівною об'єднанню скінченної кількості перенесень цього околу. Для некомутативних груп можна дати означення лівої і правої цілком обмежених груп.

Рівномірний простір є компактним тоді і тільки тоді, коли кожна узагальнена послідовність в має фундаментальну підпослідовність. Тому для того щоб був цілком обмеженим простором, достатньо, щоб деяке поповнення простору було компактним, і необхідно, щоб кожне поповнення його було компактним.

Добуток рівномірних цілком обмежених просторів є цілком обмеженим простором.

Див. також

• Компактний простір
• Обмежена множина
• Повний метричний простір

Література

• Willard, Stephen (2004). General Topology. Dover Publications. ISBN 0-486-43479-6. 
• Sutherland, W.A. (1975). Introduction to metric and topological spaces. Oxford University Press. ISBN 0-19-853161-3. Zbl 0304.54002.