Ультрафильтр

редактировать
Решетка powerset набора {1,2,3,4} с верхним набором ↑ { 1,4} окрашен в темно-зеленый цвет. Это основной фильтр, но не ультрафильтр, так как его можно расширить до нетривиального фильтра ↑ {1} большего размера, включив также светло-зеленые элементы. Поскольку ↑ {1} не может быть расширен дальше, это ультрафильтр.

В поле Mathematical в теории множеств ультрафильтр на заданном частично упорядоченный набор (poset) P - это определенное подмножество P, а именно maximal фильтр на P, то есть правильный фильтр на P, который не может быть увеличен до большего правильного фильтра на P.

Если X - произвольный набор, его набор мощности ℘ (X), упорядоченный по включению набора, всегда является булевой алгеброй и, следовательно, poset, а (ультра) фильтры на ℘ (X) обычно называются «(ультра) фильтрами на X». Ультрафильтр на множестве X может рассматриваться как конечно аддитивная мера на X. С этой точки зрения каждое подмножество X рассматривается как «почти все » (имеет меру 1) или «почти ничего» (имеет меру 0), в зависимости от того, принадлежит ли он данному ультрафильтру или нет.

Ультрафильтры имеют множество применений в теории множеств, теории моделей, и топология.

Содержание
  • 1 Ультрафильтры на частичных порядках
  • 2 Особый случай: ультрафильтр на булевой алгебре
  • 3 Особый случай: ультрафильтр на powerset набора
  • 4 Приложения
  • 5 Типы и наличие ультрафильтров
  • 6 Ультрафильтры на наборах
    • 6.1 Обобщение на ультрапрефильтры
    • 6.2 Характеристики
      • 6.2.1 Свободные или основные
    • 6.3 Примеры, свойства и достаточные условия
      • 6.3.1 Лемма об ультрафильтрах
      • 6.3.2 Структура монад
    • 6.4 Полнота
    • 6.5 Упорядочивание ультрафильтров
    • 6.6 Ультрафильтры на ℘ (ω)
  • 7 См. Также
  • 8 Примечания
  • 9 Список литературы
  • 10 Библиография hy
  • 11 Дополнительная литература
Ультрафильтры на частичных заказах

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

Формально, если P является набором, частично упорядоченным (≤), то

  • подмножество F из P называется фильтром на P, если
    • F непусто,
    • для каждого x, y в F, существует некоторый элемент z в F такой, что z ≤ x и z ≤ y, и
    • для каждого x в F и y в P, x ≤ y означает, что y тоже находится в F;
  • a собственное подмножество U в P называется ультрафильтром на P, если
    • U является фильтром на P, и
    • нет подходящего фильтра F на P, который должным образом расширяет U (то есть такой, что U является правильным подмножеством F).
Особый случай: ультрафильтр на булевой алгебре

Важный частный случай концепции возникает, если рассматриваемый ч.у. является булевой алгеброй. В этом случае ультрафильтры характеризуются тем, что содержат для каждого элемента a булевой алгебры ровно один из элементов a и ¬a (последний является логическим дополнением элемента a):

Если P - булева алгебра и F - правильный фильтр на P, то следующие утверждения эквивалентны:

  1. F - ультрафильтр на P,
  2. F - фильтр простых чисел на P,
  3. для каждого a в P, либо a находится в F, либо (¬a) находится в F.

Доказательство 1. ⇔ 2. также дано в (Burris, Sankappanavar, 2012, Corollary 3.13, p.133).

Более того, ультрафильтры на булевой алгебре могут быть связаны с максимальными идеалами, а гомоморфизмами - с 2-элементной булевой алгеброй { true, false} (также известные как двузначные морфизмы ) следующим образом:

  • Учитывая гомоморфизм булевой алгебры на {true, false}, прообраз элемента " true "- это ультрафильтр, а прообраз" false "- максимальный идеал.
  • Для максимального идеала булевой алгебры его дополнение n ультрафильтр, и существует единственный гомоморфизм на {true, false}, переводящий максимальный идеал в "false".
  • Для данного ультрафильтра на булевой алгебре его дополнение является максимальным идеалом, и существует единственный гомоморфизм на {true, false}, переводящий ультрафильтр в "true".
Особый случай: ультрафильтр на powerset набора

Для произвольного набора X его power set ( X), упорядоченный по включению множества, всегда является булевой алгеброй; следовательно, результаты приведенного выше раздела. Особый случай: применима логическая алгебра. (Ультра) фильтр на ℘ (X) часто называют просто «(ультра) фильтром на X». Приведенные выше формальные определения могут быть конкретизированы для случая степенного множества следующим образом:

Для произвольного множества X ультрафильтр на ℘ (X) - это множество U, состоящее из подмножеств X таких, что:

  1. Пустой set не является элементом U.
  2. Если A и B являются подмножествами X, множество A является подмножеством B, а A является элементом U, то B также является элементом U.
  3. Если A и B являются элементами U, то также является пересечение A и B.
  4. Если A является подмножеством X, то либо A, либо его относительное дополнение X \ A является элементом U.

Другой способ взглянуть на ультрафильтры на множестве мощности ℘ (X) следующий: для данного ультрафильтра U определите функцию m на (X), положив m (A) = 1, если A является элементом U, и m (A) = 0 в противном случае. Такая функция называется двузначным морфизмом. Тогда m является конечно аддитивным, и, следовательно, content на ℘ (X), и каждое свойство элементов X либо истинно почти всюду, либо ложно почти везде. Однако m обычно не является счетно аддитивным и, следовательно, не определяет меру в обычном смысле.

Для фильтра F, не являющегося ультрафильтром, можно было бы сказать, что m (A) = 1, если A ∈ F, и m (A) = 0, если X \ A ∈ F, оставив m неопределенным в другом месте.

Приложения

Ультрафильтры на powerset полезны в топологии, особенно в отношении compact хаусдорфовых пространств, а также в теория моделей при построении сверхпродуктов и сверхмощностей. Каждый ультрафильтр на компактном хаусдорфовом пространстве сходится ровно к одной точке. Аналогичным образом, ультрафильтры на булевых алгебрах играют центральную роль в теореме Стоуна о представлении.

Множество G всех ультрафильтров чугуна P можно топологизировать естественным образом, что фактически тесно связано с вышеупомянутым представлением теорема. Для любого элемента a из P пусть D a = {U ∈ G | a ∈ U}. Это наиболее полезно, когда P снова является булевой алгеброй, так как в этой ситуации множество всех D a является базой для компактной хаусдорфовой топологии на G. Особенно при рассмотрении ультрафильтров на powerset ℘ ( S), результирующее топологическое пространство является компактификацией Стоуна – Чеха дискретного пространства мощности | S |.

Конструкция сверхпродукта в теории моделей использует ультрафильтры для создания элементарных расширений структур. Например, при конструировании гиперреальных чисел как ультрапроизведения действительных чисел область дискурса расширяется с действительных чисел на последовательности действительных чисел. Это пространство последовательностей рассматривается как надмножество вещественных чисел за счет идентификации каждого действительного числа с соответствующей постоянной последовательностью. Чтобы расширить знакомые функции и отношения (например, + и <) from the reals to the hyperreals, the natural idea is to define them pointwise. But this would lose important logical properties of the reals; for example, pointwise < is not a total ordering. So instead the functions and relations are defined "поточечно по модулю U ", где U - ультрафильтр на индексном наборе последовательностей; по теореме Лось, это сохраняет все свойства вещественных чисел, которые могут быть изложены в логике первого порядка. Если U неглавное, то полученное таким образом расширение нетривиально.

В геометрическом Согласно теории групп, неглавные ультрафильтры используются для определения асимптотического конуса группы. Эта конструкция дает строгий способ рассмотрения группы из бесконечности, то есть крупномасштабной геометрии Асимптотические конусы являются частными примерами сверхпределов метрических пространств..

Онтологическое доказательство существования Бога Гёделя использует в качестве аксиомы, что множество всех «положительных свойств» является ультрафильтром.

В теории социального выбора неглавные ультрафильтры используются для определения правила (называемого функцией общественного благосостояния) для агрегирования предпочтений бесконечных очень много людей. В отличие от теоремы о невозможности Эрроу для конечного числа людей, такое правило удовлетворяет условиям (свойствам), которые предлагает Эрроу (например, Kirman and Sondermann, 1972). Михара (1997, 1999) показывает, однако, что такие правила практически не представляют интереса для социологов, поскольку они неалгоритмичны или невычислимы.

Типы и существование ультрафильтров

Существует два очень разных типа ультрафильтров: основной и бесплатный. основной (или фиксированный, или тривиальный ) ультрафильтр - это фильтр, содержащий наименьший элемент. Следовательно, основные ультрафильтры имеют вид F a = {x | a ≤ x} для некоторых (но не всех) элементов a данного чугуна. В этом случае a называется главным элементом ультрафильтра. Любой ультрафильтр, который не является основным, называется бесплатным (или неглавным ) ультрафильтром.

Для ультрафильтров в наборе мощности ℘ (S) главный ультрафильтр состоит из всех подмножеств S, которые содержат данный элемент s из S. Каждый ультрафильтр на (S), который также является главным фильтром имеет такую ​​форму. Следовательно, ультрафильтр U на (S) является главным тогда и только тогда, когда он содержит конечное множество. Если S бесконечен, ультрафильтр U на ℘ (S), следовательно, неглавен тогда и только тогда, когда он содержит фильтр Фреше из кофинитных подмножеств S. Если S конечно, каждый ультрафильтр является главным.

Можно показать, что каждый фильтр в булевой алгебре (или, в более общем смысле, любое подмножество со свойством конечного пересечения ) содержится в ультрафильтре (см. Лемма об ультрафильтрах ), и поэтому существуют свободные ультрафильтры, но доказательства включают аксиому выбора (AC) в форме леммы Цорна. С другой стороны, утверждение, что каждый фильтр содержится в ультрафильтре, не подразумевает AC. В самом деле, это эквивалентно теореме о простом булевом идеале (BPIT), хорошо известной промежуточной точке между аксиомами теории множеств Цермело – Френкеля (ZF) и расширенной теорией ZF. по аксиоме выбора (ZFC). В общем, доказательства, включающие аксиому выбора, не дают явных примеров свободных ультрафильтров, хотя можно найти явные примеры в некоторых моделях ZFC; например, Гёдель показал, что это можно сделать в конструируемой вселенной, где можно записать явную функцию глобального выбора. В ZF без аксиомы выбора возможно, что каждый ультрафильтр является главным.

Ультрафильтры на множествах
A подбаза фильтров - это непустое семейство множеств, которое имеет конечное пересечение свойство (т.е. все конечные пересечения непустые). Эквивалентно, подбаза фильтра - это непустое семейство наборов, которое содержится в некотором подходящем фильтре. Наименьший (относительно ⊆) правильный фильтр, содержащий данную суббазу фильтра, называется, сгенерированным суббазой фильтра.
закрытие вверх в X семейства множеств P - это множество {S: A ⊆ S ⊆ X для некоторого A ∈ P}.
A предварительный фильтр P - это непустое и собственное (т.е. ∅ ∉ P) семейство множеств, которое направлено вниз, что означает, что если B, C ∈ P, то существует некоторый A ∈ P такой, что A ⊆ B ∩ C. Эквивалентно, предварительный фильтр - это любое семейство множеств P, закрытие которого вверх является правильным фильтром, и в этом случае этот фильтр называется фильтром, сгенерированным P .
Двойной фильтр в X семейства множеств U есть множество X ∖ U: = {X ∖ B: B ∈ U}.

Обобщение на ультра-префильтры

Семейство U ≠ ∅ подмножеств X называется ultra, если ∅ ∉ U и выполняется любое из следующих эквивалентных условий:
  1. Для любого множества S ⊆ X существует некоторое множество B ∈ U такое, что B ⊆ S или B ⊆ X ∖ S (или, что то же самое, такое, что B ∩ S равно B или ∅).
  2. Для любого множества S ⊆ ∪B ∈ UB существует некоторое множество B ∈ U такое, что B ∩ S равно B или ∅.
    • Здесь ∪B ∈ UB определяется как объединение всех множеств в U.
    • Эта характеристика "U ультра" не зависит от множества X, поэтому упоминание множества X является необязательным при использовании термина «ультра».
  3. Для каждого набора S (не обязательно даже подмножества X) существует некоторое множество B ∈ U такое, что B ∩ S равно B или ∅.
    • Если U удовлетворяет этому условию, то то же самое происходит с каждым надмножеством V ⊇ U. В частности, множество V является ультра тогда и только тогда, когда ∅ ∉ V и V содержит в качестве подмножества некоторое ультра семейство множеств.

Суббаза фильтра ultra обязательно является предварительным фильтром.

Ультра префильтр - это префильтр ультра. Эквивалентно, это суббаза фильтра, которая является ultra.
ultrafilter на X - это правильный фильтр на X, который является ultra. Эквивалентно, это любой правильный фильтр на X, который генерируется ультрапрефильтром.
Интерпретация как большие наборы

Элементы правильного фильтра F на X можно рассматривать как «большие множества (относительно F) "и дополнения в X больших множеств можно рассматривать как" маленькие "множества (" маленькие множества "- это в точности элементы в идеале X ∖ F). В общем, могут быть подмножества X, которые не являются ни большими, ни маленькими, или, возможно, одновременно большими и малыми. Двойственный идеал - это фильтр (т.е. собственный), если нет множества одновременно больших и малых, или, что то же самое, если ∅ невелико. Фильтр является ультра тогда и только тогда, когда каждое подмножество X либо велико, либо мало. Используя эту терминологию, определяющие свойства фильтра можно перезапустить следующим образом: (1) любое надмножество большого множества является большим множеством, (2) пересечение любых двух (или конечного числа) больших множеств велико, (3) X является большим множеством (т.е. F ≠ ∅), (4) пустое множество невелико. Различные двойственные идеалы дают разные представления о «больших» множествах.

Ультра префильтры как максимальные префильтры

Чтобы охарактеризовать ультра префильтры с точки зрения «максимальности», необходимо следующее соотношение.

Учитывая два семейства наборов M и N, семейство M называется грубее, чем N, а N тоньше и подчиняется M, записывается M ≤ N или N ⊢ M, если для любого C ∈ M существует некоторый F ∈ N такой, что F ⊆ C.Семейства M и N называются эквивалентными, если M ≤ N и N ≤ M. Семейства M и N сравнимы, если один из этих наборов более тонкий, чем другой.

Отношение подчинения, т.е. ≤, является предварительным порядком, поэтому приведенное выше определение «эквивалент» действительно образует отношение эквивалентности. Если M ⊆ N, то M ≤ N, но обратное, вообще говоря, неверно. Однако, если N закрывается снизу вверх, например фильтр, то M ≤ N тогда и только тогда, когда M ⊆ N. Каждый предварительный фильтр эквивалентен фильтру, который он генерирует. Это показывает, что фильтры могут быть эквивалентны наборам, которые не являются фильтрами.

Если два семейства наборов M и N эквивалентны, то либо M, либо N являются ультра (соответственно предварительные фильтры, суббазы фильтров), либо в противном случае ни один из них не является ультра (соответственно префильтр, суббаза фильтров). В частности, если суббаза фильтра также не является предварительным фильтром, то она не эквивалентна фильтру или предварительному фильтру, который она создает. Если M и N оба являются фильтрами на X, то M и N эквивалентны тогда и только тогда, когда M = N.Если собственный фильтр (соответственно ультрафильтр) эквивалентен семейству множеств M, то M обязательно является предварительным фильтром (соответственно ультрафильтром). предварительный фильтр). Используя следующую характеристику, можно определить префильтры (соответственно ультра префильтры), используя только концепцию фильтров (соответственно ультрафильтров) и подчинения:

Семейство наборов является предварительным фильтром (соответственно ультра префильтром), если и только он эквивалентен собственному фильтру (соотв. ультрафильтру).
A максимальный предварительный фильтр на X - это предварительный фильтр U ⊆ ℘ (X), который удовлетворяет любому из следующих эквивалентных условий:
  1. U является ультра.
  2. U является максимальным на предварительных фильтрах (X) (относительно ≤), что означает, что если P ∈ Prefilters (X) удовлетворяет U ≤ P, то P ≤ U.
  3. Нет никакого предварительного фильтра, должным образом подчиненного U.
  4. Если правильный фильтр F на X удовлетворяет U ≤ P, то P ≤ U.
  5. Собственный фильтр X, сгенерированный U, является ultra.

Характеристики

На ℘ ( ) нет ультрафильтров, поэтому в дальнейшем предполагается, что X ≠ ∅.

Подбаза фильтра U на X является ультрафильтром на X тогда и только тогда, когда выполняется любое из следующих эквивалентных условий:

  1. для любого S ⊆ X, либо S ∈ U, либо X ∖ S ∈ U.
  2. U - максимальная подбаза фильтра на X, что означает, что если F - любая подбаза фильтра на X, то U ⊆ F подразумевает U = F.

Правильный фильтр U на X является ультрафильтром на X тогда и только тогда. если выполняется одно из следующих эквивалентных условий:

  1. U ультра;
  2. U генерируется ультрапредфильтр;
  3. Для любого подмножества S ⊆ X, S ∈ U или X ∖ S ∈ U.
    • Итак, ультрафильтр U определяет для каждого S ⊆ X, является ли S «большим» (т. Е. S ∈ U) или «маленьким» (т. Е. X ∖ S ∈ U).
  4. Для каждого подмножества A X, либо A находится в U, либо (X \ A) есть.
  5. U ∪ (X ∖ U) = ℘ (X). Это условие можно переформулировать так: (X) разделено на U и двойственное ему X ∖ U.
    • Множества P и X ∖ P не пересекаются для всех предварительных фильтров P на X.
  6. ℘ (X) ∖ U = {S ∈ ℘ (X): S ∉ U} - идеал на X.
  7. Для любого конечного семейства S 1,..., S n подмножеств X (где n ≥ 1), если S 1 ∪ ⋅⋅⋅ ∪ S n ∈ U, то S i ∈ U для некоторый индекс i.
    • На словах «большое» множество не может быть конечным объединением небольших множеств.
  8. Для любых подмножеств R, S ⊆ X, если R ∪ S ∈ U, то R ∈ U или S ∈ U (фильтр с этим свойством называется простым фильтром ).
  9. Для любых подмножеств R, S ⊆ X таких, что R ∩ S = ∅, если R ∪ S ∈ U, то либо R ∈ U, либо S ∈ U.
  10. U - максимальный фильтр; то есть, если F - фильтр на X такой, что U ⊆ F, то U = F. Эквивалентно, U - максимальный фильтр, если нет фильтра F на X, который содержит U как собственное подмножество (т.е. оно строго тоньше, чем U).

Свободное или основное

Если P - любое непустое семейство множеств тогда Ядро P является пересечением всего множества в P:

ker P: = ∩B ∈ PB

Непустое семейство множеств P называется :

  • бесплатно, если ker P = ∅ и fixed, в противном случае (т.е. если ker P ≠ ∅),
  • главный, если ker P ∈ P,
  • главный в точка, если ker P ∈ P и ker P - одноэлементное множество; в этом случае, если ker P = {x}, то P называется главным a t x .

Если семейство множеств P фиксировано, то P является ультра, если и только если некоторый элемент P является одноэлементным набором, и в этом случае P обязательно будет предварительным фильтром. Каждый главный предварительный фильтр фиксирован, поэтому главный предварительный фильтр P является ультра, если и только если ker P - одноэлементное множество. Одноэлементный набор является ультра, если и только если его единственный элемент также является одноэлементным набором.

Каждый фильтр на X, который является главным в одной точке, является ультрафильтром, и если вдобавок X конечен, то на X нет других ультрафильтров, кроме этих. Если существует свободный ультрафильтр (или даже подбаза фильтра) на множестве X, то X должен быть бесконечным.

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

Предложение - Если U является ультрафильтром на X, то следующие условия эквивалентны:

  1. U фиксирован или, что эквивалентно, несвободен.
  2. U является принципом.
  3. Некоторый элемент U является конечным множеством.
  4. Некоторый элемент U является одноэлементным множеством.
  5. U является главным в некоторой точке X, что означает ker U = {x} ∈ U для x ∈ X.
  6. U не содержит фильтра Фреше на X.

Примеры, свойства и достаточные условия

Если U и S - семейства множеств, такие что U является ультра, ∅ ∉ S и U ≤ S, то S обязательно ультра. Подбаза фильтра U, которая не является предварительным фильтром, не может быть ультра; но, тем не менее, предварительный фильтр и фильтр, генерируемые U, могут быть ультра.

Предположим, что U ⊆ ℘ (X) ультра, а Y - множество. След U ∩ Y: = {B ∩ Y: B ∈ U} является ультра тогда и только тогда, когда он не содержит пустого множества. Более того, по крайней мере одно из множеств [U ∩ Y] ∖ {∅} и [U ∩ (X ∖ Y)] ∖ {∅} будет ультра (этот результат распространяется на любое конечное разбиение X). Если F 1,..., F n - фильтры на X, U - ультрафильтр на X, а F 1 ∩ ⋅⋅⋅ ∩ F n ≤ U, тогда существует некоторый F i, который удовлетворяет F i ≤ U. Этот результат не обязательно верен для бесконечного семейства фильтров.

Изображение при отображении f: X → Y ультрамножества U ⊆ ℘ (X) снова ультра, и если U - ультра предварительный фильтр, то f (U) тоже. Свойство быть ультра сохраняется при биекциях. Однако прообраз ультрафильтра не обязательно ультра, даже если отображение сюръективно. Например, если X имеет более одной точки и если диапазон f: X → Y состоит из одной точки {y}, то {{y}} является ультра-предварительным фильтром на Y, но его прообраз не является ультра. В качестве альтернативы, если U является основным фильтром, порожденным точкой в ​​Y ∖ f (X), то прообраз U содержит пустое множество и поэтому не является ультра.

Элементарный фильтр, индуцированный бесконечной последовательностью, все точки которой различны, не является ультрафильтром. Если n = 2, U n обозначает множество, состоящее из всех подмножеств X, имеющих мощность n, и если X содержит не менее 2 n - 1 (= 3) различных точек, то U n Ультра, но не содержится ни в одном префильтре. Этот пример обобщается на любое целое число n>1, а также на n = 1, если X содержит более одного элемента. Ультра-наборы, не являющиеся одновременно предфильтрами, используются редко.

Лемма об ультрафильтре

Лемма / принцип / теорема об ультрафильтре - Каждый правильный фильтр на множестве X содержится в некотором ультрафильтре на X.

Лемма об ультрафильтре эквивалентна каждое из следующих утверждений:

  1. Для каждого предварительного фильтра на множестве X существует максимальный предварительный фильтр на X, подчиненный ему.
  2. Каждая собственная подбаза фильтра на множестве X содержится в некотором ультрафильтре на X.

Следующие результаты могут быть доказаны с помощью леммы об ультрафильтрах.

Свободный ультрафильтр существует на множестве X тогда и только тогда, когда X бесконечен. Каждый собственный фильтр равен пересечению всех содержащих его ультрафильтров. Поскольку есть фильтры, которые не являются ультра, это показывает, что пересечение семейства ультрафильтров не обязательно должно быть ультра. Семейство множеств F ≠ ∅ может быть расширено до свободного ультрафильтра тогда и только тогда, когда пересечение любого конечного семейства элементов F бесконечно.

Структура монады

Функтор , связывающий с любым набором X набор U (X) всех ультрафильтров на X, образует монаду, называемую. Единичное отображение

X → U (X) {\ displaystyle X \ to U (X)}{\ displaystyle X \ to U (X)}

отправляет любой элемент x ∈ X в главный ультрафильтр, задаваемый x.

Эта монада допускает концептуальное объяснение как монада кодовой плотности включения категории конечных множеств в категорию всех множеств.

Полнота

полнота ультрафильтра U на powerset - это наименьший кардинал κ такой, что существуют κ элементов U, пересечение которых не находится в U. Определение Ультрафильтр подразумевает, что полнота любого ультрафильтра powerset не менее ℵ 0 {\ displaystyle \ aleph _ {0}}\ aleph _ {0} . Ультрафильтр, полнота которого больше, чем ℵ 0 {\ displaystyle \ aleph _ {0}}\ aleph _ {0} , т. Е. Пересечение любого счетного набора элементов U все еще находится в U, называется счетно полный или σ-полный .

Полнота счетно полного непринципального ультрафильтра на powerset всегда является измеримым кардиналом.

Упорядочивание ультрафильтров

Заказ Рудина – Кейслера (названный в честь Мэри Эллен Рудин и Говарда Джерома Кейслера ) является предварительным заказом в классе ультрафильтров powerset, определяемых следующим образом: если U - ультрафильтр на (X), а V - ультрафильтр на ℘ (Y), то V ≤ RK U, если существует функция f: X → Y такая что

C ∈ V ⇔ f [C] ∈ U

для любого подмножества C Y.

Ультрафильтры U и V называются эквивалентом Рудина – Кейслера и обозначаются U ≡ RK V, если существуют множества A ∈ U и B ∈ V, и биекция f: A → B, удовлетворяющая вышеуказанному условию. (Если X и Y имеют одинаковую мощность, определение можно упростить, зафиксировав A = X, B = Y.)

Известно, что ≡ RK является ядром из ≤ RK, т.е. что U that RK V тогда и только тогда, когда U ≤ RK V и V ≤ RKU.

Ультрафильтры включены ℘ ( ω)

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

  • Неглавный ультрафильтр U называется P-точкой (или слабоселективным ), если для каждого раздела {C n | n <ω } of ω such that ∀n<ω: Cn ∉ U, существует некоторый A ∈ U такой, что A ∩ C n - конечное множество для каждого n.
  • Неглавным ультрафильтром U является называется Ramsey (или выборочный ), если для каждого раздела {C n | n <ω } of ω such that ∀n<ω: Cn ∉ U, существует некоторый A ∈ U такой, что A ∩ C n является одноэлементным набором для каждого n.

Это тривиальный наблюдение, что все ультрафильтры Рамсея являются P-точками. Вальтер Рудин доказал, что гипотеза континуума предполагает существование ультрафильтров Рамсея. Фактически, многие гипотезы предполагают существование ультрафильтров Рамсея, в том числе аксиома Мартина. Сахарон Шелах позже показал, что не существует никаких ультрафильтров P-точки. Следовательно, существование этих типов ультрафильтров независимо от ZFC.

P-точки называются таковыми, потому что они являются топологическими P-точками в обычной топологии пространство βω \ ω неглавных ультрафильтров. Имя Рэмси происходит от теоремы Рэмси. Чтобы понять, почему, можно доказать, что ультрафильтр является рамсеевским тогда и только тогда, когда для каждой 2-раскраски [ω] существует элемент ультрафильтра, имеющий однородный цвет.

Ультрафильтр на (ω) является Рамсеевским тогда и только тогда, когда он минимален в упорядочении Рудина – Кейслера неглавных ультрафильтров powerset.

См. Также
Заметки
Литература
Библиография
  • Архангельский Александр Владимирович ; (1984). Основы общей топологии: задачи и упражнения. Математика и ее приложения. 13 . Дордрехт Бостон: Д. Рейдел. ISBN 978-90-277-1355-1. OCLC 9944489.
  • Bourbaki, Nicolas (1989) [1966]. Общая топология: главы 1–4 [Topologie Générale]. Éléments de mathématique. Берлин, Нью-Йорк: Springer Science Business Media. ISBN 978-3-540-64241-1. OCLC 18588129.
  • Диксмье, Жак (1984). Общая топология. Тексты для бакалавриата по математике. Перевод Бербериана, С. К. Нью-Йорк: Springer-Verlag. ISBN 978-0-387-90972-1. OCLC 10277303.
  • ; Майнард, Фредерик (2016). Основы сходимости топологии. Нью-Джерси: Всемирная научная издательская компания. ISBN 978-981-4571-52-4. OCLC 945169917.
  • Дугунджи, Джеймс (1966). Топология. Бостон: Аллин и Бэкон. ISBN 978-0-697-06889-7. OCLC 395340485.
  • (1983). Введение в общую топологию. Нью-Йорк: John Wiley and Sons Ltd. ISBN 978-0-85226-444-7. OCLC 9218750.
  • ; (2011). Топологические векторные пространства. Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666. OCLC 144216834.
  • Шехтер, Эрик (1996). Справочник по анализу и его основам. Сан-Диего, Калифорния: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365.
  • Шуберт, Хорст (1968). Топология. Лондон: Macdonald Co. ISBN 978-0-356-02077-8. OCLC 463753.
Дополнительная литература
Последняя правка сделана 2021-06-20 10:06:30
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте