![]() |
Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология Образование Политология Производство Психология Стандартизация Технологии |
Топологические пространства, сходимость к точке и направленности
Определение 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.Система Пример 7.6. В евклидовом пространстве Rnсовокупность открытых шаров радиусами Определение 7.5.Точка x 0топологического пространства называется предельной точкой множестваМ ⊆ X , если любая окрестность точки x 0содержит хотя бы одну точку из М , отличную от x 0. Определение 7.6.Последовательность точек хп, п = 1, 2, ..., топологического пространства X называют сходящейся к точкеx 0∈ X и пишут Определение 7.7.Частично упорядоченное множество S называется направленным, если для любых двух элементов s 1, s 2∈ S существует s ∈ S , такое, что s ≥ s 1и s ≥ s 2. Направленное множество — обобщение множества натуральных чисел, которое является частным случаем направленного множества. В свою очередь это понятие позволило американским математикам Муру и Смиту обобщить понятие последовательности, к которому переходим. Определение 7.8.Пусть X — топологическое пространство, S — направленное множество. Тогда отображение f : S → X называется обобщенной последовательностью, или направленностью. Часто пишут xs, s ∈ S . При этом множество S называется множеством индексов направленности. Очевидно, что любая последовательность точек из X есть направленность в X . Пример 7.7. Рассмотрим в топологическом пространстве X точку x 0. Пусть ![]() Теперь перейдем к обобщению понятия предела последовательности. Определение 7.9.Направленность xs, s ∈ S , в топологическом пространстве X называется сходящейся к точкеx 0∈ X , если для каждой окрестности U этой точки найдется элемент sU∈ S , такой, что при всех s ≥ sUвыполняется xs∈ U . При этом точку x 0называют пределом, направленностиxs, s ∈ S , и пишут Пример 7.8. Пусть xs, s ∈ S , — направленность из предыдущего примера. Тогда она будет сходящейся к точке x 0. В самом деле, для любой окрестности U точки x 0найдется окрестность sU∈ S (из фундаментальной системы окрестностей S ), такая, что sU∈ U . Тогда для всех окрестностей s ∈ S , s ≥ sUбудет выполняться s ⊆ U и, следовательно, xs∈ U . Пример 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. Решетка подмножеств — это булева решетка подмножеств с нулем, единицей и с операцией дополнения 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; Просмотров: 1304; Нарушение авторского права страницы