Бесконечный набор - Infinite set

В теория множеств, бесконечный набор это набор это не конечный набор. Бесконечный наборы могут быть счетный или бесчисленный.[1][2][3]

Свойства

Набор натуральные числа (существование которого постулируется аксиома бесконечности ) бесконечно.[3][4] Это единственный набор, который напрямую требуется аксиомы быть бесконечным. Существование любого другого бесконечного множества можно доказать в Теория множеств Цермело – Френкеля (ZFC), но только показав, что это следует из существования натуральных чисел.

Набор бесконечен тогда и только тогда, когда для каждого натурального числа в наборе есть подмножество чья мощность это натуральное число.[нужна цитата ]

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

Если набор наборов бесконечно или содержит бесконечный элемент, то его объединение бесконечно. Набор мощности бесконечного множества бесконечен.[5] Любые суперсет бесконечного множества бесконечно. Если бесконечное множество разбивается на конечное число подмножеств, то хотя бы одно из них должно быть бесконечным. Любой набор, который можно отобразить на бесконечное множество бесконечно. В Декартово произведение бесконечного множества, а непустое множество бесконечно. Декартово произведение бесконечного числа множеств, каждое из которых содержит не менее двух элементов, либо пусто, либо бесконечно; если аксиома выбора верна, то она бесконечна.

Если бесконечное множество - это упорядоченный набор, то в нем должно быть непустое нетривиальное подмножество, не имеющее наибольшего элемента.

В ZF множество бесконечно тогда и только тогда, когда набор мощности его набора мощности Дедекинд-бесконечное множество, имея собственное подмножество равномерный себе.[6] Если аксиома выбора также верна, то бесконечные множества - это в точности бесконечные по Дедекинду множества.

Если бесконечное множество - это удобный набор, то он имеет множество неизоморфных хороших порядков.

Примеры

Счетно бесконечные множества

Набор всех целые числа, {..., -1, 0, 1, 2, ...} - счетно бесконечное множество. Множество всех четных целых чисел также является счетно бесконечным множеством, даже если оно является правильным подмножеством целых чисел.[5]

Набор всех рациональное число является счетно бесконечным множеством, так как существует взаимно однозначное соответствие множеству целых чисел.[5]

Бесконечное множество множеств

Набор всех действительные числа - несчетное бесконечное множество. Набор всех иррациональные числа также несчетное бесконечное множество.[5]

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

использованная литература

  1. ^ "Окончательный словарь высшего математического жаргона - бесконечность". Математическое хранилище. 2019-08-01. Получено 2019-11-29.
  2. ^ Вайсштейн, Эрик В. «Бесконечный набор». mathworld.wolfram.com. Получено 2019-11-29.
  3. ^ а б "бесконечное множество в nLab". ncatlab.org. Получено 2019-11-29.
  4. ^ Багария, Джоан (2019), Залта, Эдвард Н. (ред.), "Теория множеств", Стэнфордская энциклопедия философии (Издание осенью 2019 г.), Исследовательская лаборатория метафизики Стэнфордского университета., получено 2019-11-30
  5. ^ а б c d Колдуэлл, Крис. «Главный Глоссарий - Бесконечный». primes.utm.edu. Получено 2019-11-29.
  6. ^ Булос, Джордж (1994), "Преимущества честного труда перед воровством", Математика и разум (Амхерст, Массачусетс, 1991), Логические вычисления. Philos., Oxford Univ. Press, New York, pp. 27–44, Г-Н  1373892. См. В частности стр. 32–33.

внешние ссылки