2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Верещагин, Шень, задача №74
Сообщение04.06.2022, 01:56 
Возникла проблема с задачей №74 из книги "Начала теории множеств" Верещагина и Шеня: "Может ли семейство подмножеств натурального ряда
быть несчётным, если любые два его элемента имеют конечное пересечение?". В процессе решения у меня получилось док-ть, что этого быть не может, но ответ - да, может. Привожу ниже свои рассуждения по поводу задачи. Просьба указать, где именно мои рассуждение неверны.
Пусть такое множество В существует и оно несчётно, тогда возьмем случайный элемент из В и пересечём его со всем остальными элементами этого множества. И из всех результатов этого пересечения составим новое множество, которое, очевидно, будет равномощно множеству В. По факту у нас получится бесконечное множество конечных последовательностей натуральных чисел,а в книге есть явное утверждение, что множество ВСЕХ конечных последовательностей натуральных чисел счётно,а значит и наше новое множество должно быть счётно, но мы получили, что оно равномощно B. Противоречие, а значит, такого множества быть не может.

 
 
 
 Re: Верещагин, Шень, задача №74
Сообщение04.06.2022, 08:49 
Laguna в сообщении #1556347 писал(а):

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

Ну это вряд ли. Возьмем пустое множество и будем пересекать его со всеми другими.

 
 
 
 Re: Верещагин, Шень, задача №74
Сообщение04.06.2022, 09:17 
Laguna в сообщении #1556347 писал(а):
И из всех результатов этого пересечения составим новое множество, которое, очевидно, будет равномощно множеству В
Вот это не верно, пересечения могут повторяться.

 
 
 
 Re: Верещагин, Шень, задача №74
Сообщение04.06.2022, 09:41 
Аватара пользователя
Laguna в сообщении #1556347 писал(а):
Противоречие, а значит, такого множества быть не может.

То есть Вы уверены, что такого семейства нет?
Вроде не сильно толстая подсказка: множество действительных чисел несчётно.

(Оффтоп)

Laguna в сообщении #1556347 писал(а):
но ответ - да, может

Этого при первом прочтении не заметил, вот и заколебался, не слишком ли толсто подсказал.

 
 
 
 Re: Верещагин, Шень, задача №74
Сообщение04.06.2022, 10:20 
Аватара пользователя
Laguna в сообщении #1556347 писал(а):
В процессе решения у меня получилось док-ть, что этого быть не может, но ответ - да, может.
Множество натуральных чисел равномощно множеству рациональных чисел (между ними существует взаимно однозначное соответствие), а в множестве рациональных чисел очень легко построить континуальное множество почти дизъюнктных подмножеств, если использовать его вложение в множество действительных чисел.

 
 
 [ Сообщений: 5 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group