Что такое счетные множества: определение термина
Множество называют счетным, если существует способ сопоставить каждому его элементу ровно одно натуральное число и наоборот. Такое сопоставление называют взаимно однозначным соответствием.
Если множество конечное, оно тоже считается счетным, потому что его элементы легко пронумеровать. Интереснее случай с бесконечными множествами: например, множество всех натуральных чисел счетно, и множество всех целых чисел тоже счетно, хотя кажется больше.
Примеры счетных множеств
Классические примеры счетных множеств — натуральные числа, целые числа и рациональные числа. Рациональных чисел бесконечно много, но их все равно можно упорядочить в один список по определенному правилу.
Счетность важна для понимания разных видов бесконечности: не все бесконечные множества одинаковы по мощности. Например, множество действительных чисел уже не счетно, его нельзя полностью перечислить по порядку. Эти идеи используют в математическом анализе, логике и теории множеств.
