WikiDer > Свойство конечного пересечения

Finite intersection property

В общая топология, филиал математика, непустая семья А из подмножества из набор Икс говорят, что имеет свойство конечного пересечения (FIP) если пересечение над любым конечным поднабором А является непустой. Он имеет свойство сильного конечного пересечения (SFIP), если пересечение по любому конечному поднабору А бесконечно.

А центрированная система наборов представляет собой набор множеств со свойством конечного пересечения.

Определение

Позволять ${ displaystyle X}$ быть набором и пусть ${ Displaystyle { mathcal {A}} = {A_ {i} } _ {я in I}}$ быть непустым семейством подмножеств ${ displaystyle X}$ индексированный произвольным набором ${ displaystyle I}$ . Коллекция ${ displaystyle { mathcal {A}}}$ имеет свойство конечного пересечения (ФИП), если любая конечная подгруппа из двух или более множеств имеет непустое пересечение, т. е. ${ Displaystyle bigcap _ {я in J} A_ {я}}$ - непустое множество для любого непустого конечного ${ displaystyle J substeq I}$ .

Если ${ displaystyle { mathcal {A}}}$ непустое семейство множеств, то следующие эквивалентны:

${ displaystyle { mathcal {A}}}$ обладает свойством конечного пересечения.
В $π$ -система создано ${ displaystyle { mathcal {A}}}$ не имеет пустого набора в качестве элемента.
${ displaystyle { mathcal {A}}}$ это подбаза фильтра.
${ displaystyle { mathcal {A}}}$ является подмножеством некоторых предварительный фильтр.
${ displaystyle { mathcal {A}}}$ является подмножеством некоторых собственных фильтр.

Обсуждение

Пустое множество не может принадлежать ни одной коллекции со свойством конечного пересечения. Условие тривиально выполняется, если пересечение по всей коллекции непусто (в частности, если сама коллекция пуста), а также тривиально выполняется, если коллекция является вложенной, что означает, что коллекция является полностью заказанный включением (эквивалентно, для любой конечной подколлекции конкретный элемент подколлекции содержится во всех других элементах подколлекции), например то вложенная последовательность интервалов (0, 1/п). Однако это не единственные возможности. Например, если Икс = (0, 1) и для каждого положительного целого числа я, Икс_я это набор элементов Икс имеющий десятичное расширение с цифрой 0 в я-го десятичного разряда, то любое конечное пересечение непусто (просто возьмите 0 в этом конечном числе мест и 1 в остальных), но пересечение всех Икс_я за я ≥ 1 пусто, поскольку ни один элемент из (0, 1) не имеет всех нулевых цифр.

Свойство конечного пересечения полезно при формулировке альтернативного определения компактность:

пространство компактно тогда и только тогда, когда каждое семейство замкнутых подмножеств, обладающих свойством конечного пересечения, имеет непустое пересечение.^[1]^[2]

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

Приложения

Теорема — Позволять Икс быть непустым компактный Пространство Хаусдорфа который удовлетворяет свойству, что ни один одноточечный набор открыто. потом Икс является бесчисленный.

Доказательство

Мы покажем, что если U ⊆ Икс непусто и открыто, а если Икс это точка Икс, то есть район V ⊂ U чей закрытие не содержит Икс (Икс может или не может быть в U). выбирать y в U отличается от Икс (если Икс в U, то должен существовать такой y в противном случае U будет открытым набором из одной точки; если Икс не в U, это возможно, так как U не пусто). Тогда по условию Хаусдорфа выберем непересекающиеся окрестности W и K из Икс и y соответственно. потом K ∩ U будет район y содержалась в U закрытие которого не содержит Икс по желанию.

Теперь предположим ж: N → Икс это биекция, и разреши {Икс_я : я ∈ N} обозначают изображение из ж. Позволять Икс быть первым открытым множеством и выбрать район U₁ ⊂ Икс закрытие которого не содержит Икс₁. Во-вторых, выберите район U₂ ⊂ U₁ закрытие которого не содержит Икс₂. Продолжайте этот процесс, выбирая район U_п+1 ⊂ U_п закрытие которого не содержит Икс_п+1. Тогда сборник {U_я : я ∈ N} удовлетворяет свойству конечного пересечения, и, следовательно, пересечение их замыканий непусто в силу компактности Икс. Следовательно, есть смысл Икс на этом перекрестке. Нет Икс_я может принадлежать этому пересечению, потому что Икс_я не относится к закрытию U_я. Это означает, что Икс не равно Икс_я для всех я и ж не является сюръективный; противоречие. Следовательно, Икс бесчисленное множество.

Все условия в формулировке теоремы необходимы:

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

2. Мы не можем исключить условие компактности, так как множество рациональное число показывает.

3. Мы не можем исключить условие, что одноточечные множества не могут быть открытыми, как любое конечное пространство с дискретная топология показывает.

Следствие — Каждый закрытый интервал [а, б] с а < б бесчисленное множество. Следовательно, р бесчисленное множество.

Следствие — Каждый идеально, локально компактный Пространство Хаусдорфа неисчислимо.

Доказательство

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

Примеры

Правильный фильтр на множестве обладает свойством конечного пересечения. А $π$ -система обладает свойством конечного пересечения тогда и только тогда, когда он не имеет пустого множества в качестве элемента.

Теоремы

Позволять Икс быть непустым, F ⊆ 2^Икс, F обладающий свойством конечного пересечения. Тогда существует U ультрафильтр (через 2^Икс) такие, что F ⊆ U.

См. Подробности и доказательства в Чирмаз и Хайнал (1994).^[3] Этот результат известен как лемма об ультрафильтрации.

Варианты

Семейство наборов А имеет свойство сильного конечного пересечения (SFIP), если каждое конечное подсемейство А имеет бесконечное пересечение.

Navigation