Составители:
Рубрика:
§5. Покрытие и разбиение множеств. Отделимость, компактность, связ-
ность.
Пусть
(
- топологическое пространство.
)
}
Τ
,X
Определение 1. Покрытием множества Х называется такое семейст-
во
{
его подмножеств, что множество Х является объединением этих
подмножеств.
λ
X
Определение 2. Покрытие
{
}
λ
X
топологического пространства
(
)
Τ
,X на-
зывается открытым, если каждое открыто.
λ
X
Определение 3. Подпокрытием покрытия
{
}
λ
X называется такое его под-
семейство, которое само является покрытием.
Определение 4. Покрытие множества Х называется разбиением этого
множества, если элементы покрытия – непустые множества, и любые два
различные элемента покрытия не пересекаются.
Самостоятельно: сформулировать определение пространства, не являюще-
гося отделимым.
Определение 5. Топологическое пространство называется хаусдорфовым
(отделимым), если любые две его различные точки обладают непересекаю-
щимися окрестностями.
Примеры:
Антидискретное пространство (
{
}
∅
=
,X
Τ
), содержащее более одного эле-
мента, неотделимо. (Почему? Показать самостоятельно)
Числовое пространство отделимо.
n
R
Аффинное пространство и проективное отделимы.
n
A
n
P
Дискретное пространство (
)(X
Ρ
Τ
=
) отделимо.
Определение 6. Пространство
(
)
Τ
,X называется компактным, если оно
удовлетворяет сл. аксиоме Бореля-Лебега: каждое открытое покрытие со-
держит конечное подпокрытие.
Из определения 6 следует: для того, чтобы пространство не было ком-
пактным, у него должно существовать открытое покрытие
{
(все
}
λ
X
Τ
∈
λ
X
), заведомо бесконечное, никакая конечная часто которого не является по-
крытием пространства.
Примеры:
Всякое пространство, в котором конечное число открытых множеств, ком-
пактно.
15
§5. Покрытие и разбиение множеств. Отделимость, компактность, связ-
ность.
Пусть ( X ,Τ ) - топологическое пространство.
Определение 1. Покрытием множества Х называется такое семейст-
во {X λ } его подмножеств, что множество Х является объединением этих
подмножеств.
Определение 2. Покрытие {X λ }топологического пространства ( X ,Τ ) на-
зывается открытым, если каждое X λ открыто.
Определение 3. Подпокрытием покрытия {X λ }называется такое его под-
семейство, которое само является покрытием.
Определение 4. Покрытие множества Х называется разбиением этого
множества, если элементы покрытия – непустые множества, и любые два
различные элемента покрытия не пересекаются.
Самостоятельно: сформулировать определение пространства, не являюще-
гося отделимым.
Определение 5. Топологическое пространство называется хаусдорфовым
(отделимым), если любые две его различные точки обладают непересекаю-
щимися окрестностями.
Примеры:
Антидискретное пространство (Τ = {X , ∅}), содержащее более одного эле-
мента, неотделимо. (Почему? Показать самостоятельно)
n
Числовое пространство R отделимо.
Аффинное пространство An и проективное Pn отделимы.
Дискретное пространство (Τ = Ρ ( X ) ) отделимо.
Определение 6. Пространство ( X ,Τ ) называется компактным, если оно
удовлетворяет сл. аксиоме Бореля-Лебега: каждое открытое покрытие со-
держит конечное подпокрытие.
Из определения 6 следует: для того, чтобы пространство не было ком-
пактным, у него должно существовать открытое покрытие {X λ }(все X λ ∈Τ
), заведомо бесконечное, никакая конечная часто которого не является по-
крытием пространства.
Примеры:
Всякое пространство, в котором конечное число открытых множеств, ком-
пактно.
15
Страницы
- « первая
- ‹ предыдущая
- …
- 13
- 14
- 15
- 16
- 17
- …
- следующая ›
- последняя »
