Теперь Кью работает в режиме чтения

Мы сохранили весь контент, но добавить что-то новое уже нельзя

Как решить задачу?

Обязательно ли не более, чем счётное множество подмножеств счётного множества, если любые два из них пересекаются не более, чем по конечному числу элементов?
Темы нет
Анонимный вопрос
  · 889
Первый
Михаил Потанин  · 21 окт 2015

Да.

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

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