Числа алеф: відмінності між версіями

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