2014 dxdy logo

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

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


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Верещагин, Шень, задача №74
Сообщение04.06.2022, 01:56 


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

 Профиль  
                  
 
 Re: Верещагин, Шень, задача №74
Сообщение04.06.2022, 08:49 


03/12/21
52
Laguna в сообщении #1556347 писал(а):

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

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

 Профиль  
                  
 
 Re: Верещагин, Шень, задача №74
Сообщение04.06.2022, 09:17 
Заслуженный участник


12/08/10
1677
Laguna в сообщении #1556347 писал(а):
И из всех результатов этого пересечения составим новое множество, которое, очевидно, будет равномощно множеству В
Вот это не верно, пересечения могут повторяться.

 Профиль  
                  
 
 Re: Верещагин, Шень, задача №74
Сообщение04.06.2022, 09:41 
Заслуженный участник
Аватара пользователя


21/12/05
5931
Новосибирск
Laguna в сообщении #1556347 писал(а):
Противоречие, а значит, такого множества быть не может.

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

(Оффтоп)

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

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

 Профиль  
                  
 
 Re: Верещагин, Шень, задача №74
Сообщение04.06.2022, 10:20 
Заслуженный участник
Аватара пользователя


23/07/05
17976
Москва
Laguna в сообщении #1556347 писал(а):
В процессе решения у меня получилось док-ть, что этого быть не может, но ответ - да, может.
Множество натуральных чисел равномощно множеству рациональных чисел (между ними существует взаимно однозначное соответствие), а в множестве рациональных чисел очень легко построить континуальное множество почти дизъюнктных подмножеств, если использовать его вложение в множество действительных чисел.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 5 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group