Фильтр (математика)

Материал из Википедии — свободной энциклопедии
(перенаправлено с «База фильтра»)
Перейти к навигации Перейти к поиску

Фильтр — непустое подмножество частично упорядоченного множества, удовлетворяющее следующим двум условиям:

  • если элемент входит в фильтр, то и любой элемент больший него тоже входит в фильтр;
  • если два элемента входят в фильтр, то в него входит хотя бы один элемент такой, что .[1]

Понятие происходит из общей топологии, где возникают фильтры на решётке всех подмножеств какого-либо множества, упорядоченных отношением включения. Фильтр — понятие, двойственное идеалу.

Фильтры были введены Анри Картаном в 1937 году[2][3] и впоследствии использованы Никола Бурбаки в их книге Topologie Générale как альтернатива аналогичному понятию сети, разработанному в 1922 году Э. Г. Муром и Г. Л. Смитом.

Определение в рамках теории решёток

[править | править код]

Подмножество полурешётки называется фильтром, если

  • для всех ,
  • для всех и таких, что ,

Фильтр называется собственным, если .

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

Фильтр решётки называется простым, если в нём для всех из того, что , следует, что либо , либо .

Минимальный фильтр, содержащий данный элемент , называется главным фильтром, сгенерированным главным элементом .

Если фильтр, то является идеалом.

Фильтр на булевой алгебре

[править | править код]

Фильтром на булевой алгебре называется подмножество , для которого выполняются условия[4]:

  • ,
  • ,
  • ,
  • .

Фильтр на булевой алгебре называется ультрафильтром, если выполняется условие:

  • .

Фильтр на булевой алгебре называется простым, если он удовлетворяет условию:

  • .

Фильтр на булевой алгебре называется максимальным, если он не содержится ни в каком другом фильтре на .

Фильтры на множествах

[править | править код]

Частным случаем фильтра является фильтр на множестве. Для каждого множества можно определить решётку его подмножеств . Тогда фильтр на определяется как подмножество , удовлетворяющее следующим условиям[5]:

  • пересечение любых двух элементов лежит в
  • надмножество любого элемента лежит в

Фильтр вида называется фильтром, порожденным множеством . Фильтр, порожденный множеством из одного элемента, называется главным. Главный фильтр является ультрафильтром.

База фильтра

[править | править код]

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

Для того, чтобы семейство подмножеств множества являлось базой некоторого фильтра на необходимо и достаточно выполнение следующих условий (аксиом базы):

  • ;
  • ;
  • для любых существует такое, что .

Две базы и называются эквивалентными, если любой элемент содержит в себе некоторый элемент , и наоборот, любой элемент содержит в себе некоторый элемент .

Эквивалентные базы порождают один и тот же фильтр. Среди всех баз, эквивалентных данной базе существует максимальная по включению база, а именно, порождаемый этой базой фильтр . Таким образом, между классами эквивалентных баз и фильтрами существует естественное взаимно-однозначное соответствие.

Сравнение фильтров

[править | править код]

Пусть на множестве заданы два фильтра и . Говорят, что фильтр мажорирует фильтр ( сильнее , тоньше ), если . В этом случае также говорят, что фильтр мажорируется фильтром ( слабее , грубее ).

Говорят, что база сильнее базы , и записывают , если любой элемент содержит в себе некоторый элемент . База сильнее базы тогда и только тогда, когда фильтр , порожденный базой , сильнее фильтра , порожденного базой .

Базы и эквивалентны тогда и только тогда, когда одновременно и .

Фильтры в топологических пространствах

[править | править код]

Пусть  — топологическое пространство и  — фильтр на множестве . Точка называется пределом фильтра , если любая окрестность точки принадлежит фильтру . Обозначение: . Если является единственным пределом фильтра, то также пишут .

Для фильтра , порожденного базой , точка является его пределом тогда и только тогда, когда любая окрестность целиком содержит некоторое множество из .

В хаусдорфовом топологическом пространстве фильтр может иметь не более одного предела. Верно и обратное: если каждый фильтр имеет не более одного предела, то пространство хаусдорфово.

Точка называется предельной точкой (точкой прикосновения, частичным пределом) фильтра , если принадлежит замыканию любого множества из , то есть для всех . Равносильно, для любой окрестности точки и для любого выполнено . Любая предельная точка ультрафильтра является его пределом.

В компактном топологическом пространстве любой фильтр имеет предельную точку, а любой ультрафильтр имеет предел.

  • Множество всех окрестностей точки топологического пространства является фильтром;
  • Если  — бесконечное множество, то множество дополнений конечных множеств является фильтром. Такой фильтр называется конечным фильтром или фильтром Фреше.
  • Если  — бесконечное множество мощности , то множество дополнений множеств мощности тоже является фильтром.

Примечания

[править | править код]
  1. nlab.
  2. H. Cartan, «Théorie des filtres» Архивная копия от 11 мая 2015 на Wayback Machine, CR Acad. Paris, 205, (1937) 595—598.
  3. H. Cartan, «Filtres et ultrafiltres» Архивная копия от 14 октября 2015 на Wayback Machine, CR Acad. Paris, 205, (1937) 777—779.
  4. Лавров, 1975, с. 22.
  5. Александрян, 1979, с. 100.

Литература

[править | править код]
  • Filter (англ.). https://ncatlab.org. Дата обращения: 13 апреля 2024.
  • Александрян Р. А., Мирзаханян Э. А. Общая топология. — М.: Высшая школа, 1979. — 336 с.
  • Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. — М.: Наука, 1975. — 240 с.