2014 dxdy logo

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

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




 
 Равномощны ли множества?
Сообщение04.07.2017, 13:50 
Равномощны ли множества X = [−2;2] и $Y =[1;+\infty)$?

Решение:

Согласно теореме Кантора-Бернштейна множества равномощны если найдется $X_1\subseteq X$ такое, что X_1 \sim Y,$ и найдется $Y_1 \subseteq Y$ такое,что $Y_1 \sim Y.$
Теперь выберем в в качестве подмножеста $X_1$ множества $X$ интервал $X_1=(1,2)\subseteq[-2;2]=X$. По закону $y=x+1$ устанавливаем биекцию $f:X_1 \rightarrow Y.$
Далее в качества подмножества $Y_1\subseteqY $ возьмем интервал $Y_1=(2,7)\subseteq [1; \infty)=Y.$
По закону $y=2x+3$ устанавливаем биекцию $Y_1$ на $X$. Условия теоремы Кантора-Бернштейна выполнены, а значит множества X = [−2;2] и $Y =[1;+ \infty)$ равномощны $|X|=|Y|.$

Думаю, что решение неверное..

 
 
 
 Re: Равномощны ли множества?
Сообщение04.07.2017, 13:58 
Аватара пользователя
Isaacs в сообщении #1231439 писал(а):
По закону $y=x+1$ устанавливаем биекцию $f:X_1\to Y$
Это не биекция. Попробуйте найти прообраз например у $42$.

 
 
 
 Posted automatically
Сообщение04.07.2017, 15:42 
Аватара пользователя
 i  Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы)

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

 
 
 
 Posted automatically
Сообщение06.07.2017, 10:36 
Аватара пользователя
 i  Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»

 
 
 
 Re: Равномощны ли множества?
Сообщение06.07.2017, 12:00 
Аватара пользователя
Чтобы решить эту задачу, не обязательно строить биекции. Первый промежуток представляет собой отрезок. Сколько нужно отрезков, чтобы собрать второй промежуток?

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


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