Разрыв Хаусдорфа - Hausdorff gap

В математике Разрыв Хаусдорфа состоит примерно из двух наборов последовательностей целых чисел, так что между двумя наборами нет последовательности. Первый пример нашел Хаусдорф  (1909 ). Существование пробелов Хаусдорфа показывает, что частично упорядоченный набор возможных скоростей роста последовательностей не является полным.

Определение

Пусть ωω быть набором всех последовательностей неотрицательных целых чисел и определить ж < грамм иметь в виду лимграмм(п) – ж(п) = +∞.

Если Икс является чугуном, а κ и λ - кардиналами, то (κ, λ) -пригап в Икс это набор элементов жα для α в κ и набор элементов граммβ для β в λ такое, что

  • Трансфинитная последовательность ж строго увеличивается
  • Трансфинитная последовательность грамм строго уменьшается
  • Каждый элемент последовательности ж меньше, чем каждый элемент последовательности грамм

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

  • Нет элемента час больше, чем все элементы ж и меньше, чем все элементы грамм.

А Разрыв Хаусдорфа является (ω1, ω1) -разрыв в ωω такое, что для каждого счетного ординала α и любого натурального числа п существует только конечное число β меньше α таких, что для всех k > п у нас есть жα(k) < граммβ(k).

Есть несколько вариантов этих определений, с упорядоченным множеством ωω заменен на аналогичный набор. Например, можно переопределить ж < грамм значить ж(п) < грамм(п) для всех, кроме конечного множества п. Еще одна вариация, представленная Хаусдорф (1936) заменить ωω множеством всех подмножеств ω с порядком, заданным А < B если А имеет только конечное количество элементов не в B но B имеет бесконечно много элементов не в А.

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

  • Рышард, Франкевич; Павел, Зберский (1994), Пробелы и ограничения Хаусдорфа, Исследования по логике и основам математики, 132, Амстердам: Издательство Северной Голландии, ISBN  0-444-89490-X, МИСТЕР  1311476
  • Хаусдорф, Ф. (1909), Die Graduierung nach dem Endverlauf, Abhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig, 31, Б. Г. Тойбнер, стр. 296–334.
  • Хаусдорф, Ф. (1936), "Summen von ℵ"1 Mengen " (PDF), Fundamenta Mathematicae, Институт математики Польской академии наук, 26 (1): 241–255, Дои:10.4064 / fm-26-1-241-255, ISSN  0016-2736
  • Шиперс, Мэрион (1993), "Разрывы в ωω", в Иудее, Хаим (ред.), Теория множеств действительных чисел (Рамат-Ган, 1991), Израиль Math. Конф. Proc., 6, Рамат Ган: Университет Бар-Илан, стр. 439–561, ISBN  978-9996302800, МИСТЕР  1234288

внешняя ссылка