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