2014 dxdy logo

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

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




 
 Непонятный абзац из Шеня
Сообщение11.04.2015, 18:00 
Аватара пользователя
В книжке Шеня "Начала теории множеств" на 17 стр. 4-го издания есть такой абзац:
"Добавляя конечные или счётные множества, легко понять, что прямая, все промежутки на прямой, лучи, их конечные или счётные объединения и т. п. равномощны друг другу"

Мне кажется, здесь на самом деле добавляются несчетные множества, и ситуация ужн не так тривиальна, по сравнению со случаем со счетными множествами. Или промежутки и лучи рассматриваются как элементы? Помогите разобраться

 
 
 
 Re: Непонятный абзац из Шеня
Сообщение11.04.2015, 18:02 
Прямая например получается же, как счетное объединение интервалов, так что кажется все в порядке.
(упс, кажется неправильно понял вопрос)

 
 
 
 Re: Непонятный абзац из Шеня
Сообщение11.04.2015, 18:35 
Отображение $x \mapsto e^x$ является биекцией между $(- \infty, + \infty)$ и $(0, +\infty)$. Добавляя к последнему $0$ получим биекцию между прямой и лучом. Далее, отображение $x \mapsto x + 1$ является биекцией между $[0, +\infty)$ и $[1, +\infty)$, а $x \mapsto \frac{1}{x}$ - биекцией между $[1, +\infty)$ и $(0, 1]$. И так далее.

 
 
 
 Re: Непонятный абзац из Шеня
Сообщение11.04.2015, 19:24 
Аватара пользователя
Для прояснения можно привлечь теорему Кантора-Бернштейна.

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


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