Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология
Образование Политология Производство Психология Стандартизация Технологии


Топологические пространства, сходимость к точке и направленности



Определение 7.1. Пусть X — произвольное множество, τ = { Ui: i I } — некоторое семейство его подмножеств. Множество индексов I может иметь произвольную мощность. Говорят, что семейство τ задает топологию во множестве X , если выполняются три условия:

1) все множество X и пустое множество ∅ принадлежат семейству τ;

2) объединение любого набора множеств из τ принадлежит семейству τ;

3) пересечение конечного числа множеств из τ принадлежит τ.

Множество X вместе с заданной на нем топологией τ называется топологическим пространством и обозначается X , или подробнее ( X , τ ). При этом множества из семейства τ называются открытыми множествами из X .

Пример 7. 1. Метрическая топология. Всякое метрическое пространство á Х , ρ ñ , где ρ: X × X R +— метрика пространства, является топологическим пространством с метрической топологией. Открытыми множествами метрического пространства называются множества, которые содержат наряду с любой своей точкой x 0некоторый шар радиусом r > 0 с центром в точке x 0,

Or( x 0) = {х: ρ (х, х 0) < r }.

Пример 7. 2. Тривиальная топология. Рассмотрим непустое множество X и топологию на нем τ, которая задается двумя множествами X и ∅ . Такая топология называется тривиальной.

Пример 7. 3. Дискретная топология. Рассмотрим непустое множество X и зададим на нем топологию τ, которая содержит все одноточечные подмножества. Тогда любое подмножество X будет открытым множеством, т. е. τ содержит все подмножества X . Такая топология называется дискретной.

Пример 7. 4. Решетчатая топология. Рассмотрим непустое множество X и разобьем его на непустые подмножества (части). Зададим топологию в X из подмножеств этого разбиения, всевозможных объединений этих подмножеств и пустого множества. Такая топология называется решетчатой. Частным случаем решетчатой топологии является тривиальная, когда разбиение состоит только из одной части X , и дискретная, когда разбиение состоит только из одноточечных подмножеств.

Определение 7.2. Пусть на одном и том же непустом множестве X заданы две топологии τ 1и τ 2. Если τ 1⊆ τ 2, то говорят, что топология τ 2 мажорирует топологию τ 1. При этом если τ 1≠ τ 2, то говорят, что топология τ 2сильнее топологии τ 1или τ 1слабее τ 2.

Пример 7. 5. Для любого непустого множества дискретная топология мажорирует любую другую топологию. В свою очередь любая топология мажорирует тривиальную топологию.

Определение 7.3. Подмножество О топологического пространства X называется окрестностью точки x 0∈ X и пишут O ( x 0), если оно содержит некоторое открытое подмножество X , содержащее точку x 0.

Определение 7.4. Система окрестностей точки x 0топологического пространства X называется фундаментальной системой окрестностей этой точки, если для каждой окрестности U этой точки существует окрестность V , такая, что V U .

Пример 7. 6. В евклидовом пространстве Rnсовокупность открытых шаров радиусами содержащих точку x 0, образует фундаментальную систему окрестностей этой точки. Другую фундаментальную систему окрестностей точки x 0образуют открытые шары радиусами — содержащие эту точку.

Определение 7.5. Точка x 0топологического пространства называется предельной точкой множества МX , если любая окрестность точки x 0содержит хотя бы одну точку из М, отличную от x 0.

Определение 7.6. Последовательность точек хп, п = 1, 2, ..., топологического пространства X называют сходящейся к точке x 0∈ X и пишут если любая окрестность O ( x 0) этой точки содержит все точки последовательности, за исключением некоторого конечного их числа. Иногда говорят по-другому, что любая окрестность содержит все точки последовательности, начиная с некоторого номера.

Определение 7.7. Частично упорядоченное множество S называется направленным, если для любых двух элементов s 1, s 2∈ S существует s S , такое, что s s s s 2.

Направленное множество — обобщение множества натуральных чисел, которое является частным случаем направленного множества. В свою очередь это понятие позволило американским математикам Муру и Смиту обобщить понятие последовательности, к которому переходим.

Определение 7.8. Пусть X — топологическое пространство, S — направленное множество. Тогда отображение f : S X называется обобщенной последовательностью, или направленностью. Часто пишут xs, s S . При этом множество S называется множеством индексов направленности.

Очевидно, что любая последовательность точек из X есть направленность в X .

Пример 7. 7. Рассмотрим в топологическом пространстве X точку x 0. Пусть — фундаментальная система окрестностей точки x 0, например все окрестности точки x 0. Выбирая по одной точке xsиз каждой окрестности s ( x 0) ∈ , получим направленность xs, s S , в которой множество индексов S упорядочение по обратному включению, т. е. s 1≤ s 2, если s 1( x 0) ⊇ s 2( x 0).

Теперь перейдем к обобщению понятия предела последовательности.

Определение 7.9. Направленность xs, s S , в топологическом пространстве X называется сходящейся к точке x 0∈ X , если для каждой окрестности U этой точки найдется элемент sUS , такой, что при всех s sUвыполняется xsU . При этом точку x 0называют пределом, направленности xs, s S , и пишут

Пример 7. 8. Пусть xs, s S , — направленность из предыдущего примера. Тогда она будет сходящейся к точке x 0. В самом деле, для любой окрестности U точки x 0найдется окрестность sUS (из фундаментальной системы окрестностей S ), такая, что sUU . Тогда для всех окрестностей s S , s sUбудет выполняться s U и, следовательно, xsU .

Пример 7. 9. Всякая сходящаяся в топологическом пространстве последовательность является сходящейся направленностью в том же пространстве и к тому же пределу.

Фильтры и ультрафильтры

Другим обобщением понятия сходимости последовательности является понятие фильтра французского математика А. Картана. Теория А. Картана с точки зрения сходимости эквивалентна теории Мура и Смита. Но для математической информатики понятие фильтра — более важное.

Определение 7.10. Пусть X — произвольное множество. Тогда непустое семейство F подмножеств X называется фильтром в X , если:

1) пустое множество ∅ не принадлежит F ;

2) для всякого АF любое надмножество ВА принадлежит F ;

3) пересечение конечного числа множеств из F принадлежит F .

При этом говорят, что фильтр F фильтрует множество X .

Пример 7. 10. Тривиальный фильтр. Семейство подмножеств F , состоящее лишь из самого множества X , представляет собой фильтр, называемый тривиальным.

Пример 7. 11. Ультрафильтр. Рассмотрим точку x 0∈ X . Семейство всех подмножеств X , содержащих эту точку, является фильтром, который называют ультрафильтром. Ультрафильтр фильтрует множество X вплоть до одноточечного множества, состоящего из одной данной точки { x 0}.

Пример 7. 12. Элементарный фильтр. Если хп, пN , — бесконечная последовательность точек множества X , то семейство F всех подмножеств АX , каждое их которых содержит все хп, кроме конечного их числа, является фильтром. Этот фильтр называется элементарным, ассоциированным с последовательностью хп, пN. Фильтрация множества X происходит путем отбрасывания все нового и нового конечного числа точек последовательности хп, пN. Например, если рассмотреть множество натуральных чисел X = N и последовательность натуральных чисел хп= п, пN, то получим так называемый элементарный фильтр Фреше.

Пример 7. 13. Фильтр окрестностей точки. Пусть X — топологическое пространство, и x 0∈ X — точка пространства. Тогда семейство всех окрестностей точки x 0образует фильтр F , называемый фильтром окрестностей этой точки. В случае решетчатой топологии фильтрация множества X этим фильтром происходит вплоть до того элемента разбиения множества X , который содержит точку x 0.

Определение 7.11. Пусть во множестве X имеются два фильтра F 1, F 2. Говорят, что фильтр F 1 мажорирует фильтр F 2и пишут F 2⊇ F 1, если семейство F 1является подсемейством семейства F 2.

Пример 7. 14. Если X — топологическое пространство, то любой фильтр окрестностей точки x 0∈ X будет мажорировать тривиальный фильтр, а ультрафильтр для этой точки будет мажорировать любой фильтр окрестностей той же точки.

Определение 7.12. Пусть x 0— произвольная точка топологического пространства X и F — фильтр множества X . Говорят, что фильтр F сходится ( фильтрует X ) к точке x 0∈ X , если он мажорирует фильтр окрестностей этой точки. При этом точку x 0называют предельной точкой фильтра F . Другими словами, всякая окрестность предельной точки должна входить в состав семейства F .

На практике часто вместо фильтра используют часть фильтра, по которому весь фильтр однозначно восстанавливается.

Определение 7.13. Пусть F — фильтр множествах. Система В подмножеств из F называется базисом (базой ) этого фильтра, если для каждого подмножества АF найдется подмножество β ∈ В, такое, что А ⊇ β.

Пример 7. 15. Если F — фильтр всех окрестностей точки x 0топологического пространства X , то всякая фундаментальная система окрестностей этой точки будет базисом этого фильтра. В случае решетчатой топологии одним из базисов фильтра всех окрестностей будет одноэлементное семейство, состоящее из того элемента разбиения множества X , которое содержит точку x 0.

Булевы решетки подмножеств

Среди всех булевых решеток выделим класс решеток, играющих большую роль в математической информатике.

Определение 7.18. Семейство L подмножеств опорного множества X называется решеткой подмножеств для X , если выполнены условия:

1) X L ; ∅ ∈ L (эти множества играют роль единицы и нуля);

2) из λ 1, λ 2∈ L следует λ 1∩ λ 2∈ L ;

3) из λ 1, λ 2∈ L следует λ 1∪ λ 2∈ L ;

4) из λ 1, λ 2∈ L следует λ 1λ 2∈ L .

Замечание 7.3. 1. Решетка подмножеств — это булева решетка подмножеств с нулем, единицей и с операцией дополнения λ ∈ L для любого λ ∈ L . При этом

2. Отношение порядка в решетке подмножеств есть отношение включения λ 1⊆ λ 2.

При этом:

Определение 7.19. Элементы λ 1, λ 2называются дизъюнктными, если их пересечение пусто: λ 1∩ λ 2= ∅ .

Для одного множества X можно определить различные решетки подмножеств. Среди решеток имеются минимальная L 0, состоящая из двух подмножеств ∅ и X , и максимальная L *, где L *= 2 X, состоящая из всех возможных подмножеств опорного множества X .

Пример 7. 20. Рассмотрим множество X всех преподавателей вуза.

Для этого множества рассмотрим три решетки подмножеств.

L 1— решетка пола;

L 2— решетка научных званий;

L 3— решетка должностей.

Атомы этих решеток:

в L 1— элементы λ 1, λ 2;

в L 2— элементы μ 1, μ 2, μ 3;

в L 3— элементы ν 1, ν 2, ν 3, ν 4.

Рис. 7.5. Диаграмма Хассе решетки L 1(а ) и ее диаграмма Венна (б )

Рис. 7.6. Диаграмма Хассе решетки L 2(а ) и ее диаграмма Венна (б )

Элементы решетки изображаются диаграммами Хассе, если этих элементов небольшое число. Диаграмма Хассе решетки L 1(см. рис. 7.5, о) и диаграмма Венна (см. рис. 7.5, б ) изображены на рис. 7.5.

Для решетки L 2диаграмма Хассе будет иметь вид, показанный на рис. 7.6, а, диаграмма Венна — на рис. 7.6, б.


Поделиться:



Популярное:

Последнее изменение этой страницы: 2016-03-16; Просмотров: 1847; Нарушение авторского права страницы


lektsia.com 2007 - 2024 год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! (0.042 с.)
Главная | Случайная страница | Обратная связь