1302
правки
Изменения
Нет описания правки
}}
<tex> A = \{a_1, a_2, ... , a_n \} </tex> {{- --}} счетное множество.
Мощность счетных множеств минимальна по сравнению с другими бесконечными множествами.
<tex> B \subset A </tex>
<tex> a_1 \in A \Rightarrow A \backslash \{ a_1 \} = A_1 </tex> {{- --}} бесконечное множество.
<tex> a_2 \in A_1 \Rightarrow A_1 \backslash \{ a_2 \} = A_2 </tex> {{- --}} также бесконечное множество.
Продолжаем этот процесс далее, пока не останется <tex> B \subset A </tex> {{- --}} счетное множество. {{TODO|t=(ЩИТО? У кого есть что-нибудь адекватное насчет этого, исправьте, пожалуйста.)}}
}}
Если <tex> \{ a_1, a_2, ... , a_n, ... \} </tex> {{- --}} совокупность попарно различных элементов, то это {{--- }} счетное множество.
Для счетных множеств часто применяется следующий факт:
