Здравствуйте! Помогите пожалуйста с задачкой: Может ли пересечение счетного числа неперечислимых множеств быть перечислимым? Спасибо! задан 16 Май '17 17:28 Beginner1337 |
Здравствуйте! Помогите пожалуйста с задачкой: Может ли пересечение счетного числа неперечислимых множеств быть перечислимым? Спасибо! задан 16 Май '17 17:28 Beginner1337 |
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
16 Май '17 17:28
показан
701 раз
обновлен
16 Май '17 17:56
Для каждого подмножества X можно рассмотреть два его "двойника": из чётных и нечётных чисел. Если n принадлежит X, то 2n принадлежит Y, и 2n+1 принадлежит Z. Ясно, что при таком перекодировании сохраняются свойства типа (не)перечислимости. Пересечение Y и Z пусто, то есть перечислимо. Здесь множеств всего два, но в условии не сказано о том, что нельзя брать одинаковые множества, то есть формально этот пример подходит, если взять Y и Z счётное число раз.