Цілком впорядкована множина
Матеріал з Вікіпедії — вільної енциклопедії.
Цілком впорядкована множина — лінійно впорядкована множина, в якій для для кожної непорожньої підмножини існує найменший елемент відповідно до заданого порядку (див. Фундована множина).
Для цілком впорядкованих множин можна застосовувати трансфінітну індукцію для доведення тверджень для всіх елементів множини.
Зміст |
Властивості [ред.]
- Теорема Цермело: твердження, що довільну множину можна цілком впорядкувати — рівносильне аксіомі вибору чи лемі Цорна.
- Якщо X та Y — дві цілком впорядковані множини, то існує вкладення однієї множини в іншу зі збереженням порядку в обох множинах.
- Довільна цілком впорядкована множина ізоморфна зі збереженням порядку деякому порядковому числу, яке називається тип порядку цієї множини.
- Позиція елемента в цілком впорядкованій множині теж задається порядковим числом.
Приклади [ред.]
- Натуральні числа
- Незліченні цілком впорядковані множини можуть бути побудовані тільки з використанням аксіоми вибору.
Див. також [ред.]
Джерела [ред.]
- Куратовский К., Мостовский А. (1970). Теория множеств. Москва: Мир. с. 416.
- Хаусдорф Ф. (1937). Теория множеств. Москва, Ленинград: ОНТИ. с. 304. ISBN 978-5-382-00127-2.
