Числа алеф: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
|||
Рядок 9:
==Алеф-нуль==
<math>\aleph_0</math> є потужністю усіх натуральних чисел, та є першим нескінченим кардиналом. Множина має потужність <math>\aleph_0</math> тільки якщо це злічена нескінченна множина, яку можна поставити у пряму [[Бієкція|бієкцію]], тобто «один-до-одного», з множиною натуральних чисел. До таких множин відносяться множина [[Просте число|простих чисел]], множина усіх [[Раціональні числа|раціональних чисел]], множина [[Алгебраїчні числа|алгебраїчних чисел]], множина бінарних
Потужність [[Зліченна множина|зліченної множини]] <math>\aleph_0</math> є найменшим трансфінітним кардинальним числом. Це означає, що будь-яка нескінченна множина A має принаймні одну зліченну частину (тобто зліченну підмножину).
|