2014 dxdy logo

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

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


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


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

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

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

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

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



Начать новую тему Ответить на тему
 
 Мощность множества функций и континуум-гипотеза
Сообщение16.02.2016, 22:52 
Заслуженный участник
Аватара пользователя


13/08/08
14429
Интересно, а сколько различных способов пронумеровать счётное множество? То есть этих самых "правил".

 Профиль  
                  
 
 Re: Счетные множества
Сообщение16.02.2016, 23:00 
Заслуженный участник
Аватара пользователя


18/09/14
4265
gris в сообщении #1100012 писал(а):
Интересно, а сколько различных способов пронумеровать счётное множество? То есть этих самых "правил".

Континуум. Это, по сути, задача 80 из сборника Ю.С. Очан. Сборник задач по математическому анализу. 1981.

P.S. Прошу прощения, сразу не заметил: Anton_Peplov уже ответил. Но удалять это сообщение не буду ради ссылки на задачу.

 Профиль  
                  
 
 Re: Счетные множества
Сообщение17.02.2016, 00:15 


25/11/08
449
Mihr в сообщении #1100017 писал(а):
gris в сообщении #1100012 писал(а):
Интересно, а сколько различных способов пронумеровать счётное множество? То есть этих самых "правил".
Континуум. Это, по сути, задача 80 из сборника Ю.С. Очан. Сборник задач по математическому анализу. 1981.
Извиняюсь, что не совсем по теме. А верно ли, что для произвольного множества $X$ множество функций из $X$ в $X$ имеет мощность $2^X$?

 Профиль  
                  
 
 Re: Счетные множества
Сообщение17.02.2016, 00:17 
Заслуженный участник
Аватара пользователя


11/12/05
9953
$|X|^{|X|}$

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


18/09/14
4265
ellipse в сообщении #1100032 писал(а):
А верно ли, что для произвольного множества $X$ множество функций из $X$ в $X$ имеет мощность $2^X$?

По крайней мере, для первых двух бесконечных мощностей (счётного множества и континуума) это так. Если обозначить
$a$ - мощность счётного множества,
$c$ - мощность континуума,
$f$ - мощность гиперконтинуума
(и если признавать справедливость континуум-гипотезы), то
$a^a=2^a=c$,
$c^c=2^c=f$.

(А вот верно ли, что для каждой бесконечной мощности $m$ справедливо равенство $m^m=2^m$, - не знаю. Надеюсь, кто-нибудь более сведущий ответит.)

-- 17.02.2016, 01:20 --

Заметил у себя ошибку:
Mihr в сообщении #1100017 писал(а):
Это, по сути, задача 80 из сборника Ю.С. Очан. Сборник задач по математическому анализу. 1981.

Не 80, а 81.

 Профиль  
                  
 
 Re: Счетные множества
Сообщение17.02.2016, 03:18 
Аватара пользователя


31/03/13
25
ellipse в сообщении #1100032 писал(а):
А верно ли, что для произвольного множества $X$ множество функций из $X$ в $X$ имеет мощность $2^X$?

Да, для любого бесконечного $X$. Доказывается с помощью пары неравенств для кардиналов и равенства $\lvert X \times X \rvert = \lvert X \rvert$.

Mihr в сообщении #1100041 писал(а):
... для первых двух бесконечных мощностей (счётного множества и континуума)...

Первые две они, только если принять континуум-гипотезу. А для упомянутого тождества она не нужна, хотя, без аксиомы выбора, наверное, не получится. Можно даже поставить такой вопрос: влечёт ли в $\mathbf{ZF}$ утверждение о существовании биекции из множества функций $X \rightarrow X$ в множество подмножеств $X$ для всякого бесконечного $X$ аксиому выбора? Сравните с теоремой Тарского.

 Профиль  
                  
 
 Re: Счетные множества
Сообщение17.02.2016, 11:37 
Заслуженный участник
Аватара пользователя


18/09/14
4265
quartermind в сообщении #1100052 писал(а):
А для упомянутого тождества она не нужна

Я имел в виду другое.
Mihr в сообщении #1100041 писал(а):
(и если признавать справедливость континуум-гипотезы), то
$a^a=2^a=c$,
$c^c=2^c=f$.

Правая часть верхнего двойного равенства - континуум-гипотеза "в чистом виде".
Правая часть нижнего - обобщённая континуум-гипотеза.

 Профиль  
                  
 
 Re: Счетные множества
Сообщение17.02.2016, 16:50 
Аватара пользователя


31/03/13
25
Mihr в сообщении #1100091 писал(а):
Правая часть верхнего двойного равенства - континуум-гипотеза "в чистом виде".
Правая часть нижнего - обобщённая континуум-гипотеза.

Это не так. Континуум по определению есть мощность множества всех подмножеств счётного множества. Аналогично с гиперконтинуумом. Гипотеза континуума касается промежуточных мощностей. Почитайте где-нибудь.

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


18/09/14
4265
quartermind,
я следую определениям и обозначением книги: И.П. Натансон. Теория функций вещественной переменной. 3-е изд., 1999. На странице 30 автор определяет континуум как мощность числового отрезка $[0;1]$ (что, очевидно, эквивалентно определению континуума как мощности множества действительных чисел).
А мощность булеана счётного множества по определению есть $2^a$. Которая, как легко доказывается, не превосходит $c$. Континуум-гипотеза состоит в том, что выполняется именно равенство (а не просто нестрогое неравенство): $2^a=c$.

 Профиль  
                  
 
 Re: Счетные множества
Сообщение17.02.2016, 17:35 
Заслуженный участник
Аватара пользователя


06/10/08
6422
Mihr в сообщении #1100183 писал(а):
quartermind,
я следую определениям и обозначением книги: И.П. Натансон. Теория функций вещественной переменной. 3-е изд., 1999. На странице 30 автор определяет континуум как мощность числового отрезка $[0;1]$ (что, очевидно, эквивалентно определению континуума как мощности множества действительных чисел).
А мощность булеана счётного множества по определению есть $2^a$. Которая, как легко доказывается, не превосходит $c$. Континуум-гипотеза состоит в том, что выполняется именно равенство (а не просто нестрогое неравенство): $2^a=c$.
Нет. Легко доказывается, что $2^{\aleph_0} = \mathfrak{c}$ (каждой бесконечной двоичной дроби соответствует какое-то подмножество множества натуральных чисел, и надо сказать пару слов про то, что из-за дробей с единицами в конце не слишком много потеряем). Континуум-гипотеза говорит о том, что нет множеств с мощность, промежуточной между счетной и континуумом, то есть, если обозначить $\aleph_1$ минимальную мощность несчетного множества, то $\aleph_1 = \mathfrak{c} = 2^{\aleph_0}$.

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


18/09/14
4265
Xaositect в сообщении #1100188 писал(а):
Нет. Легко доказывается, что $2^{\aleph_0} = \mathfrak{c}$ (каждой бесконечной двоичной дроби соответствует какое-то подмножество множества натуральных чисел, и надо сказать пару слов про то, что из-за дробей с единицами в конце не слишком много потеряем). Континуум-гипотеза говорит о том, что нет множеств с мощность, промежуточной между счетной и континуумом, то есть, если обозначить $\aleph_1$ минимальную мощность несчетного множества, то $\aleph_1 = \mathfrak{c} = 2^{\aleph_0}$.

Да, в этом я неправ. quartermind, Xaositect, спасибо за поправки.

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

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



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

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


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

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