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

Ответить
Ответить
Комментировать
1
Подписаться
3
1 ответ
Поделиться

Да.

Берем произвольное множество, содержащее минимальное число из пересечения. Из исходного набора собственных подмножеств выбранного множества не более чем счетно. Далее, пар множеств, разность которых собственное подмножество выбранного множества не более чем счетно. Убираем их исходного набора эти множества, потом их из оставшихся множеств убираем пересечение с выбранным - после этой операции все множества останутся различными. Повторяем с оставшимся набором то же самое - минимальный элемент при каждой следующей операции будет строго больше.

Получаем, что исходный набор разбивается на счетное объединеие счетных множеств, сам является счетным.

3
-1
Прокомментировать
Ответить
Читайте также на Яндекс.Кью
Читайте также на Яндекс.Кью