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

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

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

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

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

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

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

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

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

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

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

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

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

  •  ,
  •  ,
  •  ,
  •  .

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

  •  .

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

  •  .

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

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

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

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

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

База фильтраПравить

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ПримерыПравить

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

См. такжеПравить

ПримечанияПравить

  1. H. Cartan, «Théorie des filtres», CR Acad. Paris, 205, (1937) 595—598.
  2. H. Cartan, «Filtres et ultrafiltres», CR Acad. Paris, 205, (1937) 777—779.
  3. Лавров, 1975, с. 22.
  4. Александрян, 1979, с. 100.

ЛитератураПравить