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

Для использования в других целях см. Теорема Кенига.

В теория множеств, Теорема Кенига заявляет, что если аксиома выбора держит, я это набор, ${\displaystyle \kappa _{i}}$ и ${\displaystyle \lambda _{i}}$ находятся Количественные числительные для каждого я в я, и ${\displaystyle \kappa _{i}<\lambda _{i}}$ для каждого я в я, тогда

${\displaystyle \sum _{i\in I}\kappa _{i}<\prod _{i\in I}\lambda _{i}.}$

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

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

Подробности

Точная формулировка результата: если я это набор, А_я и B_я наборы для каждого я в я, и ${\displaystyle A_{i}<B_{i}}$ для каждого я в я, тогда

${\displaystyle \sum _{i\in I}A_{i}<\prod _{i\in I}B_{i},}$

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

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

Теорема Кенига примечательна строгим неравенством в заключении. Существует множество простых правил арифметики бесконечных сумм и произведений кардиналов, в которых можно заключить только слабое неравенство ≤, например: если ${\displaystyle m_{i}<n_{i}}$ для всех я в я, то можно только заключить

${\displaystyle \sum _{i\in I}m_{i}\leq \sum _{i\in I}n_{i},}$

поскольку, например, установка ${\displaystyle m_{i}=1}$ и ${\displaystyle n_{i}=2}$, где индексное множество я - натуральные числа, дает сумму ${\displaystyle \aleph _{0}}$ для обеих сторон, и у нас есть равенство.

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

• Если ${\displaystyle \kappa }$ кардинал, то ${\displaystyle \kappa <2^{\kappa }}$.

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

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

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

• Если ${\displaystyle \forall i\in I(\{\}<B_{i})}$, тогда ${\displaystyle \{\}<\prod _{i\in I}B_{i}}$.

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

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

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

• Если ${\displaystyle \kappa \geq \aleph _{0}}$, тогда ${\displaystyle \kappa <\kappa ^{\operatorname {cf} (\kappa )}}$.

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

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

• Если ${\displaystyle \kappa \geq \aleph _{0}}$ и ${\displaystyle \lambda \geq 2}$, тогда ${\displaystyle \kappa <\operatorname {cf} (\lambda ^{\kappa })}$.

Позволять ${\displaystyle \mu =\lambda ^{\kappa }}$. Предположим, что вопреки этому следствию, ${\displaystyle \kappa \geq \operatorname {cf} (\mu )}$. Затем, используя предыдущее следствие, ${\displaystyle \mu <\mu ^{\operatorname {cf} (\mu )}\leq \mu ^{\kappa }=(\lambda ^{\kappa })^{\kappa }=\lambda ^{\kappa \cdot \kappa }=\lambda ^{\kappa }=\mu }$, противоречие.

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

Предполагая Теория множеств Цермело – Френкеля, в том числе особенно аксиома выбора, мы можем доказать теорему. Помните, что нам дано ${\displaystyle \forall i\in I\quad A_{i}<B_{i}}$, и мы хотим показать:${\displaystyle \sum _{i\in I}A_{i}<\prod _{i\in I}B_{i}.}$

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

Примечания

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

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

• М. Хольц, К. Стеффенс и Э. Вайц (1999). Введение в кардинальную арифметику. Birkhäuser. ISBN  3-7643-6124-7.
• König, J. (1904), "Zum Kontinuum-Problem", в Krazer, Adolf (ed.), Verhandlungen des dritten Internationalen Mathematiker-Kongresses в Гейдельберге, vom 8. bis 13 августа 1904 г., стр. 144–147, архивировано с оригинал на 2015-01-04, получено 2014-06-14, перепечатано как Кениг, Дж. (1905), «Зум Континуум-Проблема», Mathematische Annalen, 60 (2): 177–180, Дои:10.1007 / BF01677263