1632
правки
Изменения
м
rollbackEdits.php mass rollback
{{Определение
|definition=
Множество <tex> Множество I = [0, 1] </tex> называется ''континуумом''.
}}
Будем доказывать от противного. Применим принцип вложенных отрезков:
Пусть <tex> I = \{ x_1, x_2, ... , x_n , ... \} </tex>
Разделим I на 3 части и назовем <tex> \Delta_1 : x_1 \notin \Delta_1 </tex>. Такой отрезок всегда существует.
Определим множество <tex> B = A \cup \{ 0, 1 \} </tex>. Множество <tex> B </tex> также счетное.
Между счетными множествами можно установить биекцию: <tex> B \leftrightarrow A \Rightarrow (0, 1) \backslash A = \leftrightarrow [0, 1] \backslash B \Rightarrow (0, 1) = \leftrightarrow [0, 1] \Rightarrow |(0, 1)| = |[0, 1]| </tex>
В итоге получили, что <tex> |\mathbb R| = |[0, 1]| </tex>
