yourdomain.com

я бы вопрос сформулировал даже так: можно ли разбить произвольный плотный континуум на два плотных континуума.

Вообще, для функции из сообщения #53 нужно счётное число непересекающихся всюду плотных континуумов, дающих в объединении множество действительных чисел. Мне кажется, подобрать такое разбиение легче, чем найти функцию, которая разбивает произвольный плотный континуум на два плотных континуума.

Множество действительных чисел имеет разбиение на два всюду плотных множетсва. Два очевидных примера: на рациональные и иррациональные, и на алгебраические и трансцендентные.
Кто-нибудь сможет предложить разбиение множества действительных чисел на три попарно непересекающихся всюду плотных подмножества?

т.e. континуума ?

Draeden писал(а):Source of the post
т.e. континуума ?

He обязательно. Можно счётного.

Повторяю вопрос.
Требуется привести пример разбиения множества действительных чисел на 3 попарно непересекающихся всюду плотных подмножества.

1. Разбить все числа на рациональные и иррациональные
2. Разбить все рациональные числа на классы на два класса: c чётными и нечётными знаменателями.

Draeden писал(а):Source of the post
1. Разбить все числа на рациональные и иррациональные
2. Разбить все рациональные числа на классы на два класса: c чётными и нечётными знаменателями.

Вы докажите, что оба множества в пункте 2 будут всюду плотными?

Достаточно доказать, что дроби c чётными и нечётными знаменателями - плотные множества.
Возьмём дробь где - чётное число.
Можно найти сходящуюся последовательность нечётных дробей:



ведь достаточно, чтобы было нечётным, a можно сформировать.

Хорошо. У нас уже есть разбиение множества действительных чисел на 3 плотных подмножетсва.

Далее, можно ли разбить на 4?

Конечно, то же метод: поделить все числа на рациональные и иррациональные, a рациональные разбить на классов, причём несократимые дроби и относятся к одному классу, если



Это позволяет разбить действительные числа на конечное число плотных множеств, причём одно из них будет континуумом, a остальные - счётными множествами.

Однако, как разбить действительные числа на два плотных континуума так, чтобы на любом интервале количество точек от каждого множества составляло континуум, остаётся открытым.