Алгебра - Варден Б.Л.
Скачать (прямая ссылка):
У 1^н==(У 1Ун) м)>
и для достаточно больших р оба множителя принадлежат сколь угодно малым окрестностям точки е. Таким образом, последовательность {хД имеет б д некоторый предел и группа оказывается слабо полной.
^-группы, не удовлетворяющие первой аксиоме счетности А„ при некоторых подходящих предположениях также могуг быть пополнены. Для этого, следуя Бурбаки1), нужно как при определении понятия «полноты», так и при конструкции пополнения вместо фундаментальных последовательностей рассматривать так называемые фильтры Коши. Ниже об этом говорится более подробно.
Задача. Если группа удовлетворяет аксиомам "П и то каждая слабо полная подгруппа Н замкнута в О. (Воспользоваться задачей 2 из § 161.)
§ 167, Фильтры
Пусть М — произвольно фиксированное множество. Подмножества из М будем обозначать буквами А, В, .. Системы этих подмножеств будут обозначаться готическими большими буквами 8, ©,...
Система 8 называется фильтром, если она обладает следующими свойствами:
[у. Каждое множество А, содержащее одно из множеств из 8, само принадлежит 8-
‘) Бурбаки Н, Общая топология,—М,: Физматгиз, 1958, гл, III.
596
ТОПОЛОГИЧЕСКАЯ АЛГЕБРА
[ГЛ XX
Е2. Пересечение любого конечного числа множеств из 5 снова принадлежит $•.
Е3. Пустое множество не принадлежит системе %.
Из Р2 следует, что само множество М, как пересечение пустого множества подмножеств из М, принадлежит §. Вместо Р2 можно было бы потребовать следующее:
Е2. Пересечение любых двух множеств из § принадлежит
Р-2. Множество М принадлежит системе %.
Пример 1. Окрестности произвольной точки р в топологическом пространстве М составляют некоторый фильтр — фильтр окрестностей точки р.
Непустая система 23 называется базисом фильтра, если она обладает следующими свойствами:
В,. Пересечение любых двух множеств из 23 содержит некоторое множество из 23.
В2. Пустое множество не принадлежит системе 23.
Если оба эти свойства налицо, то можно построить некоторый фильтр 5, состоящий из подмножеств множества М, которые содержат по крайней мере по одному подмножеству из 23. Говорят, что этот фильтр порождается базисом 23 и что 23 — базис фильтра %.
Пример 2. Базис окрестностей некоторой точки р в топологическом пространстве М является базисом фильтра окрестностей точки р.
Пример 3. Пусть задана некоторая последовательность элементов множества М:
йх, й2, а3, ...
Если удалить конечное число членов этой последовательности, то остальные будут составлять некоторое множество А. Множества А такой природы составляют некоторый базис фильтра 23. Фильтр, порожденный базисом 23, состоит из тех подмножеств множества М, которые содержат почти все члены данной последовательности.
Начиная с этого места, пусть М — некоторая топологическая группа в. Пусть И —некоторая окрестность единицы е. Говорят, что множество А является малым порядка V, если все частные х~гу элементов из А лежат в V:
х ху е V, так что у е хУ для любых х и у из А.
Говорят, что система множеств 23 содержит произвольно малые множества, если для каждой окрестности единицы V существует множество А из 23, являющееся малым порядка V.
Фильтр Коши — это фильтр, который содержит произвольно малые множества.
Базис фильтра Коши 23 в группе в — это такой базис филыра,
§ 167]
ФИЛЬТРЫ
597
который содержит произвольно малые множества. Фильтр, порожденный базисом фильтра Коши, является фильтром Коши.
Базис фильтра 33 сходится к а, если в каждой окрестности точки а лежит некоторое множество А из 33. В этом случае пишут
ПтЗЗ = а.
В любой Тггруппе предел а определен однозначно.
В § 166 Т-группа была названа слабо полной, если в ней каждая последовательность Коши имеет предел. На самом деле это понятие полезно только тогда, когда группа удовлетворяет первой аксиоме счетности. В общем же случае необходимо более сильное понятие. Введем его: Т-группа в называется сильно полной, если в ней сходится каждый фильтр Коши.
Каждая сильно полная Т-группа является и слабо полной.
Доказательство. Пусть группа в сильно полна и пусть {XV} — произвольная фундаментальная последовательность в б. Множества А, которые получаются при отбрасывании конечного числа членов из данной последовательности, являются произвольно малыми по определению последовательности Коши. Эти множества А составляют некоторый базис фильтра Коши 33, который порождает некоторый фильтр Коши $. Последний имеет в в некоторый предел а. В каждой окрестности точки а лежат почти все члены последовательности Ху, а потому эта последовательность имеет в в предел —точку а.
Докажем теперь, следуя Бурбаки, следующее:
Если некоторое множество О в Т-группе О плотно и каждый базис фильтра Коши в И сходится к некоторому пределу из в, то группа С сильно полна.
Доказательство. Пусть 5 — произвольный фильтр Коши в в. Мы должны доказать, что 5 сходится.
Для каждой окрестности V единицы е и каждого множества А фильтра § построим произведение множеств АV. Такие множества составляют некоторый базис фильтра 33, потому что если АV и А'У— два таких произведения множеств, го множество
