Interested Article - Бет-число
- 2021-08-11
- 1
Числа бет ( ) в математике — кардинальные числа , характеризующие мощность бесконечного множества. Последовательность бесконечных кардинальных чисел обычно записывается как , где названа по второй букве еврейского алфавита ( бет ).
Числа бет являются частью иерархии алефов ( ). Начинаются они одинаково: а расположение среди алефов зависит от континуум-гипотезы . Если принять континуум-гипотезу, то (мощность континуума ), верно и обратное. Если принять более мощную обобщённую континуум-гипотезу , то обе иерархии полностью совпадают: для любого индекса Если же принять, что континуум-гипотеза неверна, то существует много , которые не являются .
Определение
Общее определение для конечных индексов:
Для бесконечных индексов:
Примеры.
- бет-ноль ( ) — равен .
- бет-один ( ) — множество континуума .
- бет-два ( ) — 2 c , например, множество подмножеств действительных чисел.
- бет-омега ( ) — наименьший неисчислимый сильный кардинальный предел.
Литература
- Forster T. E. Set Theory with a Universal Set: Exploring an Untyped Universe, Oxford University Press , 1995 — Beth number is defined on page 5.
- Bell, John Lane; Slomson, Alan B. (англ.) . — reprint of 1974. — Dover Publications , 2006. — ISBN 0-486-44979-3 . See pages 6 and 204—205 for beth numbers.
- Roitman, Judith. Introduction to Modern Set Theory (англ.) . — Virginia Commonwealth University , 2011. — ISBN 978-0-9824062-4-3 . See page 109 for beth numbers.
Ссылки
- . .
Примечания
- 2021-08-11
- 1