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