WikiDer > Мало кардинал

Mahlo cardinal

В математика, а Мало кардинал это определенный вид большой кардинал номер. Мало кардиналов впервые описал Пол Мало (1911, 1912, 1913). Как и в случае со всеми большими кардиналами, ни одна из этих разновидностей кардиналов Мало не может быть доказана с помощью ZFC (при условии, что ZFC согласован).

А количественное числительное ${ displaystyle kappa}$ называется сильно Мало если ${ displaystyle kappa}$ является сильно недоступен и набор ${ displaystyle U = { lambda < kappa mid lambda { text {строго недоступен}} }}$ является стационарный в κ.

Кардинал ${ displaystyle kappa}$ называется слабо Мало если ${ displaystyle kappa}$ слабо недоступен, а множество слабодоступных кардиналов меньше ${ displaystyle kappa}$ неподвижен в ${ displaystyle kappa}$ .

Термин «Мало кардинал» теперь обычно означает «сильно кардинал Мало», хотя кардиналы, первоначально рассматриваемые Мало, были слабо кардиналами Мало.

Минимальное условие, достаточное для кардинала Мало

Если κ - предел порядковый и множество регулярных ординалов, меньших κ, стационарно в κ, то κ слабо махло.

Основная трудность при доказательстве этого состоит в том, чтобы показать, что κ регулярно. Предположим, что это нерегулярно, и построим клубный набор что дает нам такой μ, что:

μ = cf (μ)

Если бы κ не было регулярным, то cf (κ) <κ. Мы могли бы выбрать строго возрастающую и непрерывную cf (κ) -последовательность, которая начинается с cf (κ) +1 и имеет предел κ. Пределы этой последовательности будут клубом в κ. Таким образом, среди этих пределов должен быть регулярный μ. Таким образом, μ является пределом начальной подпоследовательности cf (κ) -последовательности. Таким образом, его конфинальность меньше, чем конфинальность κ, и в то же время больше его; что является противоречием. Таким образом, предположение, что κ нерегулярно, должно быть ложным, т.е. κ регулярно.

Ниже не может быть стационарного набора ${ displaystyle aleph _ {0}}$ с требуемым свойством, поскольку {2, 3, 4, ...} - клуб в ω, но не содержит регулярных ординалов; так что κ несчетно. И это обычный лимит штатных кардиналов; так что это слабо недоступно. Затем используется набор несчетных предельных кардиналов ниже κ в качестве клубного набора, чтобы показать, что можно предположить, что стационарный набор состоит из слабых недоступных.

Если κ является слабо Mahlo и также сильным пределом, то κ Mahlo.

κ слабо недоступен и является сильным пределом, поэтому он сильно недоступен.

Мы показываем, что множество несчетных сильных предельных кардиналов ниже κ клубно в κ. Пусть μ₀ быть больше порога и ω₁. Для каждого конечного n пусть μ_{п + 1} = 2^μ_п что меньше κ, потому что это сильный предельный кардинал. Тогда их предел является сильным предельным кардиналом и по своей регулярности меньше κ. Пределы бесчисленных сильных кардиналов лимитов также являются бесчисленными кардиналами сильных лимитов. Так что набор из них клубный в κ. Пересеките этот клубный набор со стационарным набором слабодоступных кардиналов меньше κ, чтобы получить стационарный набор сильно недоступных кардиналов меньше κ.

Пример: показ того, что кардиналы Mahlo κ являются κ-недоступными (гипер-недоступными)

Термин «сверхдоступный» неоднозначен. В этом разделе кардинал κ называется гипер-недоступным, если он κ-недоступен (в отличие от более общего значения 1-недоступный).

Предположим, что κ - Мало. Продолжим трансфинитную индукцию по α, чтобы показать, что κ является α-недоступным для любого α ≤ κ. Так как κ является Mahlo, κ недоступен; и поэтому 0-недоступно, что одно и то же.

Если κ является α-недоступным, то существуют β-недоступные (при β <α), сколь угодно близкие к κ. Рассмотрим набор одновременных ограничений таких β-недоступных, больше некоторого порога, но меньше κ. Он неограничен по κ (представьте, что вращаетесь через β-недоступные для β <α ω-раз, выбирая каждый раз больший кардинал, затем выбирайте предел, который меньше κ по регулярности (это то, что не удается, если α ≥ κ)). Он закрыт, значит, это клуб в κ. Итак, из-за малости κ он содержит недоступное. Это недоступное на самом деле является α-недоступным. Значит, κ является α + 1-недоступным.

Если λ ≤ κ - предельный ординал и κ α-недоступен для всех α <λ, то любое β <λ также меньше α для некоторого α <λ. Так что этот случай тривиален. В частности, κ является κ-недоступным и, следовательно, сверхдоступный.

Чтобы показать, что κ является пределом гипер-недостижимости и, следовательно, 1-гипер-недоступностью, нам нужно показать, что диагональный набор кардиналов μ <κ, которые являются α-недоступными для любого α <μ, является клубом в κ. Выберем 0-недоступный выше порога, назовем его α₀. Затем выберите α₀-доступный, назовем его α₁. Продолжайте повторять это и брать пределы в пределах, пока не достигнете фиксированной точки, назовите ее μ. Тогда μ обладает требуемым свойством (является одновременным пределом α-недостижимости для всех α <μ) и по регулярности меньше κ. Пределы таких кардиналов также обладают свойством, поэтому их множество клубно по κ. Из-за малости κ в этом множестве есть недоступное и гипер-недоступное. Итак, κ является 1-гипер-недоступным. Мы можем пересечь тот же самый клубный набор со стационарным множеством меньше κ, чтобы получить стационарный набор гипер-недостижимых меньше, чем κ.

Остальная часть доказательства того, что κ является α-гипер-недоступным, имитирует доказательство того, что оно α-недоступно. Итак, κ гипер-гипер-недоступен и т. Д.

α-Mahlo, гипер-Mahlo и сильно Mahlo кардиналы

Термин α-Mahlo неоднозначен, и разные авторы дают неэквивалентные определения. Одно определение состоит в том, что кардинал κ называется α-Mahlo для некоторого ординала α, если κ сильно недоступен и для любого ординала β <α множество β-кардиналов Mahlo ниже κ стационарно в κ. Однако условие «κ сильно недоступно» иногда заменяется другими условиями, такими как «κ является регулярным» или «κ слабо недоступно» или «κ является Mahlo». Мы можем определить «гипер-Мало», «α-гипер-Мало», «гипер-гипер-Мало», «слабо α-Мало», «слабо гипер-Мало», «слабо α-гипер-Мало» и т. Д. on, по аналогии с определениями недоступных, так, например, кардинал κ называется гипер-мало, если он κ-мало.

Кардинал κ есть сильно Мало или же κ⁺-Мало тогда и только тогда, когда он недоступен и существует нормальный (т.е. нетривиальный и замкнутый при диагональные пересечения) κ-полный фильтр на множестве степеней κ, замкнутый относительно операции Мало, который отображает множество ординалов S к {α ${ displaystyle in}$ S: α имеет несчетную конфинальность и S∩α стационарно в α}

Свойства недоступности, Мало, Слабо Мало, α-Мало, Сильно Мало и т. Д. Сохраняются, если мы заменим Вселенную на внутренняя модель.

Каждый отражающий кардинал имеет строго большую устойчивость, чем сильно Мало, но недоступные отражающие кардиналы вообще не Мало - см. https://mathoverflow.net/q/212597

Операция Мало

Если Икс это класс ординалов, из них мы можем сформировать новый класс ординалов M(Икс), состоящий из ординалов α несчетной конфинальности таких, что α∩Икс стационарен по α. Эта операция M называется Мало операция. Его можно использовать для определения кардиналов Мало: например, если Икс класс регулярных кардиналов, то M(Икс) - класс слабомало кардиналов. Условие того, что α имеет несчетную конфинальность, гарантирует, что замкнутые неограниченные подмножества α замкнуты относительно пересечения и, таким образом, образуют фильтр; на практике элементы Икс часто уже имеют бесчисленное количество завершений, и в этом случае это условие является избыточным. Некоторые авторы добавляют условие, что α находится в Икс, что на практике обычно не имеет большого значения, поскольку часто удовлетворяется автоматически.

Для фиксированного регулярного несчетного кардинала κ операция Мало индуцирует операцию на булевой алгебре всех подмножеств κ по модулю нестационарного идеала.

Операцию Mahlo можно повторять бесконечно следующим образом:

M⁰(Икс) = Икс
M^{α + 1}(Икс) = M(M^α(Икс))
Если α - предельный ординал, то M^α(Икс) является пересечением M^β(Икс) для β <α

Эти повторяющиеся операции Мало создают классы α-кардиналов Мало, начиная с класса сильно недоступных кардиналов.

Этот процесс также можно диагонализовать, задав

M^Δ(Икс) - множество ординалов α, лежащих в M^β(Икс) при β <α.

И, конечно, этот процесс диагонализации тоже можно повторить. Диагонализированная операция Мало производит кардиналы гипер-Мало и так далее.

Мало кардиналы и принципы рефлексии

Аксиома F - это утверждение, что каждая нормальная функция на ординалах имеет регулярную неподвижную точку. (Это не аксиома первого порядка, поскольку она дает количественную оценку для всех нормальных функций, поэтому ее можно рассматривать либо как аксиому второго порядка, либо как схему аксиом.) Кардинал называется Mahlo, если каждая нормальная функция на нем имеет регулярную фиксированная точка, поэтому аксиома F в некотором смысле утверждает, что класс всех ординалов - Mahlo. Кардинал κ является Mahlo тогда и только тогда, когда форма аксиомы F второго порядка верна в V_κ. Аксиома F, в свою очередь, эквивалентна утверждению, что для любой формулы φ с параметрами существуют сколь угодно большие недоступные ординалы α такие, что V_α отражает φ (другими словами, φ выполняется в V_α тогда и только тогда, когда это верно во всей вселенной) (Дрейк 1974, Глава 4).

Navigation

Navigation

Themenportale

WikiDer > Мало кардинал

Содержание

Минимальное условие, достаточное для кардинала Мало

Пример: показ того, что кардиналы Mahlo κ являются κ-недоступными (гипер-недоступными)

α-Mahlo, гипер-Mahlo и сильно Mahlo кардиналы

Операция Мало

Мало кардиналы и принципы рефлексии

Смотрите также

Рекомендации