Верно ли, что подмножество с индуцированной из топологией гомеоморфно несвязному объединению счетного числа копий интервала

Добавлена: 08.05.2026
Обновлена: 08.05.2026
Предмет: Теория вероятностей
Автор: Кэмп

#Теория вероятностей и математическая статистика
#Теория измеримых множеств

Условие:

Верно ли, что подмножество

X=\bigcup_{n=1}^{\infty}\left(\frac{1}{2 n} ; \frac{1}{2 n-1}\right) \subset \mathbb{R}

с индуцированной из $\mathbb{R}$ топологией гомеоморфно несвязному объединению счетного числа копий интервала $(0 ; 1) ?$

Решение:

Мы докажем, что множество

X = ⋃ₙ₌₁^(∞) (1/(2n); 1/(2n–1))

как подмножество ℝ с индуцированной топологией, является объединением (точнее, топологической суммой) счетного числа непересекающихся открытых интервалов, каждый из которых гомеоморфен (0,1).

Ниже шаг за шагом объясняется рассуждение.

─────────────────────────────

Анализ вида множеств

Для каждого натурального n рассмотрим интервал
Iₙ = (1/(2n); 1/(2n–1)).
Например,
– при n = 1 получаем I₁ = (1/2, 1),
– при n = 2 получае...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какое свойство интервалов $I_n = \left(\frac{1}{2n}, \frac{1}{2n-1}\right)$ является ключевым для доказательства гомеоморфности множества $X$ несвязному объединению счётного числа копий интервала $(0,1)$?

Каждый интервал (I_n) является замкнутым множеством в (\mathbb{R}).

Интервалы (I_n) попарно не пересекаются и каждый из них гомеоморфен ((0,1)).

Объединение всех интервалов (I_n) является компактным множеством.