Теорема Кенигса (теория множеств) - Википедия - Königs theorem (set theory)

В теория множеств, Теорема Кенига заявляет, что если аксиома выбора держит, я это набор, и находятся Количественные числительные для каждого я в я, и для каждого я в я, тогда

В сумма вот мощность несвязный союз наборов мя, а произведение - мощность Декартово произведение. Однако без использования аксиомы выбора сумма и произведение не могут быть определены как кардинальные числа, и значение знака неравенства необходимо уточнить.

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

Подробности

Точная формулировка результата: если я это набор, Ая и Bя наборы для каждого я в я, и для каждого я в я, тогда

куда < средства строго меньше, чем в мощность, т.е. существует инъективный функция из Ая к Bя, но не один, идущий в другую сторону. Участвующее объединение не обязательно должно быть непересекающимся (неделимое объединение не может быть больше непересекающейся версии, также при условии, что аксиома выбора ). В этой формулировке Теорема Кенига эквивалентен аксиома выбора.[1]

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

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

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

Следствия теоремы Кенига

  • Если кардинал, то .

Если мы возьмем мя = 1 и пя = 2 для каждого я в κ, то левая часть указанного неравенства равна κ, а правая часть равна 2κ, мощность функций от κ до {0, 1}, то есть мощность набора степеней κ. Таким образом, теорема Кенига дает нам альтернативное доказательство Теорема кантора. (Исторически, конечно, теорема Кантора была доказана намного раньше.)

Аксиома выбора

Один из способов сформулировать аксиому выбора - «произвольное декартово произведение непустых множеств непусто». Позволять Bя быть непустым набором для каждого я в я. Позволять Ая = {} для каждого я в я. Таким образом, по теореме Кёнига мы имеем:

  • Если , тогда .

То есть декартово произведение данных непустых множеств Bя имеет большую мощность, чем сумма пустых множеств. Таким образом, он непустой, что и утверждает аксиома выбора. Поскольку аксиома выбора следует из теоремы Кенига, мы будем использовать аксиому выбора свободно и неявно при обсуждении следствий теоремы.

Теорема Кёнига и конфинальность

Теорема Кенига также имеет важные последствия для конфинальность кардинальных чисел.

  • Если , тогда .

Выберем строго возрастающую cf (κ) -последовательность порядковых чисел, приближающуюся к κ. Каждый из них меньше κ, поэтому их сумма, равная κ, меньше произведения cf (κ) копий κ.

В соответствии с Теорема истона, следующее следствие теоремы Кенига - единственное нетривиальное ограничение на функцию континуума для обычные кардиналы.

  • Если и , тогда .

Позволять . Предположим, что вопреки этому следствию, . Затем, используя предыдущее следствие, , противоречие.

Доказательство теоремы Кенига

Предполагая Теория множеств Цермело – Френкеля, в том числе особенно аксиома выбора, мы можем доказать теорему. Помните, что нам дано , и мы хотим показать:

Из выбранной аксиомы следует, что условие А < B эквивалентно условию отсутствия функции из А на B и B непусто, поэтому нам дано, что нет функции из Ая на Bя≠ {}, и мы должны показать, что любая функция ж из несвязного объединения Аs к продукту Bs не сюръективен и что произведение не пусто. Непустота произведения немедленно следует из аксиомы выбора и непустоты множителей. Для каждого я выберите бя в Bя не в образе Ая в составе ж с проекцией на Bя. Тогда произведение элементов бя не в образе ж, так ж не отображает непересекающееся объединение Аs на продукт Bс.

Примечания

  1. ^ Рубин, H .; Рубин, Дж. Э. (1985). Эквиваленты аксиомы выбора, II. Нью-Йорк, штат Нью-Йорк: Северная Голландия. стр.185. ISBN  0-444-87708-8.

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