2014 dxdy logo

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

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


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


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему
 
 Задача на применение аксиомы Цермело
Сообщение19.03.2013, 00:47 


15/03/13
6
Может ли существовать такой класс Х,
1)все множества которого -- подмножества натурального ряда,
2)пересечение любых двух множеств из Х является множеством конечным,
3)класс Х несчетен.
Понятно что среди множеств данного класса могут быть такие, которые содержат "уникальные" числа (присущие только этому множеству и никакому другому). И совершенно ясно что таких множеств может быть не более чем чем счетное "число" (в противном случае с помощью аксиомы Цермело легко получить несчетное множество (все элементы которого натуральные числа)). Но как доказать что остальных множеств (тех которые не содержат "уникальных" чисел, а целиком сформированы из элементов других множеств)?
Или я вообще ошибаюсь в своих догадках и класс Х вполне может быть несчетным?

 Профиль  
                  
 
 Re: Задача на применение аксиомы Цермело
Сообщение19.03.2013, 09:45 
Заслуженный участник


08/01/12
915
Prosto4elovek. в сообщении #697975 писал(а):
Может ли существовать такой класс Х,

Да, может.

 Профиль  
                  
 
 Re: Задача на применение аксиомы Цермело
Сообщение19.03.2013, 11:22 


15/03/13
6
apriv в сообщении #698041 писал(а):
Prosto4elovek. в сообщении #697975 писал(а):
Может ли существовать такой класс Х,

Да, может.

Спасибо конечно за обстоятельное объяснение. Еще бы пример такого чудо-юдо класса привел бы.

 Профиль  
                  
 
 Re: Задача на применение аксиомы Цермело
Сообщение19.03.2013, 14:47 


22/11/11
128
Для каждого числа $x\in\mathbb R$ берем $N_x\subseteq \mathbb N$ так, что $\lim\limits_{n\in N_x}q_n=x$, где $\mathbb Q=\{q_n:n\in\mathbb N\}$. Семейство $(N_x:x\in\mathbb R)$ -- искомое.

 Профиль  
                  
 
 Re: Задача на применение аксиомы Цермело
Сообщение09.06.2020, 17:32 


24/06/17
19
lyuk в сообщении #698171 писал(а):
Для каждого числа $x\in\mathbb R$ берем $N_x\subseteq \mathbb N$ так, что $\lim\limits_{n\in N_x}q_n=x$, где $\mathbb Q=\{q_n:n\in\mathbb N\}$. Семейство $(N_x:x\in\mathbb R)$ -- искомое.

Почему? Беру любую последовательность, добавляю к ней в самое начало произвольное число. На сходимость это не влияет, но получается две последовательности с бесконечным пересечением.

 Профиль  
                  
 
 Re: Задача на применение аксиомы Цермело
Сообщение09.06.2020, 18:10 
Заслуженный участник
Аватара пользователя


23/07/05
17973
Москва
parean в сообщении #1467807 писал(а):
Беру любую последовательность, добавляю к ней в самое начало произвольное число. На сходимость это не влияет, но получается две последовательности с бесконечным пересечением.
Там же не было сказано "берём все такие…"

 Профиль  
                  
 
 Re: Задача на применение аксиомы Цермело
Сообщение09.06.2020, 18:50 


24/06/17
19
Someone в сообщении #1467816 писал(а):
parean в сообщении #1467807 писал(а):
Беру любую последовательность, добавляю к ней в самое начало произвольное число. На сходимость это не влияет, но получается две последовательности с бесконечным пересечением.
Там же не было сказано "берём все такие…"

Да, если для каждого числа выбирать единственную последовательность, которая к нему сходится, то, кажется, всё хорошо.
Эта задача встречается в книжке Шеня "Начала теории множеств". И там есть ещё вторая часть, где условие про пересечение заменяется на симметрическую разность. Кажется, что в этом случае семейство несчётным быть не может, но я что-то не могу придумать доказательства. Вы не могли бы подтолкнуть меня в правильном направлении?

 Профиль  
                  
 
 Re: Задача на применение аксиомы Цермело
Сообщение09.06.2020, 20:12 
Заслуженный участник
Аватара пользователя


23/07/05
17973
Москва
parean в сообщении #1467835 писал(а):
И там есть ещё вторая часть, где условие про пересечение заменяется на симметрическую разность.
В смысле, симметрическая разность любой пары множеств конечна?

parean в сообщении #1467835 писал(а):
Вы не могли бы подтолкнуть меня в правильном направлении?
А насколько сильно отличаются два множества, симметрическая разность которых конечна?

 Профиль  
                  
 
 Re: Задача на применение аксиомы Цермело
Сообщение10.06.2020, 03:41 


24/06/17
19
Someone в сообщении #1467858 писал(а):
parean в сообщении #1467835 писал(а):
И там есть ещё вторая часть, где условие про пересечение заменяется на симметрическую разность.
В смысле, симметрическая разность любой пары множеств конечна?


Да.

Someone в сообщении #1467858 писал(а):
parean в сообщении #1467835 писал(а):
Вы не могли бы подтолкнуть меня в правильном направлении?
А насколько сильно отличаются два множества, симметрическая разность которых конечна?


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

 Профиль  
                  
 
 Re: Задача на применение аксиомы Цермело
Сообщение10.06.2020, 22:18 
Заслуженный участник
Аватара пользователя


23/07/05
17973
Москва
parean в сообщении #1467925 писал(а):
Верно?
Верно.

parean в сообщении #1467925 писал(а):
А их должно быть континуум
Почему континуум? В условии, по-моему, континуум не упоминался.

parean в сообщении #1467925 писал(а):
противоречие.
С чем? Вы просто показываете, что семейство множеств, удовлетворяющее заданному условию, не более чем счётно. Поэтому несчётным оно быть не может. Вы же в своих рассуждениях эту несчётность никак не использовали, поэтому доказательства "от противного" у Вас нет и говорить о получении "противоречия" бессмысленно.
Конечно, формально Вы в начале можете сказать: "Предположим, что искомое семейство несчётно". Тогда у Вас формально противоречие будет. Но, поскольку Вы всё равно эту несчётность никак не используете, то нужды в этом предположении нет, а полученное противоречие ни для чего не нужно.

 Профиль  
                  
 
 Re: Задача на применение аксиомы Цермело
Сообщение10.06.2020, 22:43 


24/06/17
19
Someone в сообщении #1468107 писал(а):
parean в сообщении #1467925 писал(а):
А их должно быть континуум
Почему континуум? В условии, по-моему, континуум не упоминался.


Ой, действительно. Я хотел написать "несчётно" вместо "континуум".

Someone в сообщении #1468107 писал(а):
parean в сообщении #1467925 писал(а):
противоречие.
С чем? Вы просто показываете, что семейство множеств, удовлетворяющее заданному условию, не более чем счётно. Поэтому несчётным оно быть не может. Вы же в своих рассуждениях эту несчётность никак не использовали, поэтому доказательства "от противного" у Вас нет и говорить о получении "противоречия" бессмысленно.
Конечно, формально Вы в начале можете сказать: "Предположим, что искомое семейство несчётно". Тогда у Вас формально противоречие будет. Но, поскольку Вы всё равно эту несчётность никак не используете, то нужды в этом предположении нет, а полученное противоречие ни для чего не нужно.


Вы правы, упоминание противоречия было лишним.
Спасибо.

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

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



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

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


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

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