2014 dxdy logo

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

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




 
 Мощность множества всех сходящихся рядов
Сообщение09.05.2018, 10:10 
Аватара пользователя
Докажите, что мощность множества всех сходящихся рядов, членами которых являются вещественные числа, равна мощности континуума.

Я попробую набросать эскиз идеи решения. Для каждого положительного вещественного $r$ ряд
$$\sum_{n=1}^{\infty}{\dfrac{r}{2^n}}$$ сходится. Следовательно, таких рядов как минимум континуум.

С другой стороны, сходящихся рядов вещественных чисел не больше, чем функций $$f\colon N\to R$$, а значит, не больше континуума.

Пожалуйста, помогите привести всё выше написанное в более или менее человеческий вид.

 
 
 
 Re: Мощность множества всех сходящихся рядов
Сообщение09.05.2018, 10:33 
Ktina в сообщении #1311156 писал(а):
функций $$f\colon N\to R$$
Ktina в сообщении #1311156 писал(а):
не больше континуума.
Вы хотите использовать это как готовый доказанный факт?

 
 
 
 Re: Мощность множества всех сходящихся рядов
Сообщение09.05.2018, 11:25 
Аватара пользователя
Qlin в сообщении #1311167 писал(а):
Вы хотите использовать это как готовый доказанный факт?

Могу попытаться доказать.
$$|\mathbb{N}\to\mathbb{R}|=|\mathbb{R}^{\matnbb{N}}|=\aleph^{\aleph_0}=(2^{\aleph_0})^{\aleph_0}=2^{\aleph_0\cdot\aleph_0}=2^{\aleph_0}=\aleph$$
Как-то так?

 
 
 
 Re: Мощность множества всех сходящихся рядов
Сообщение09.05.2018, 11:33 
Аватара пользователя
А если на теорему Римана об условно сходящихся рядах сослаться?

 
 
 
 Re: Мощность множества всех сходящихся рядов
Сообщение09.05.2018, 16:28 
Аватара пользователя
thething в сообщении #1311207 писал(а):
А если на теорему Римана об условно сходящихся рядах сослаться?

Благодаря Вам мне только что стало известно об этой теореме, за это Вам спасибо. Каким именно образом Вы предлагаете на неё сослаться?

 
 
 
 Re: Мощность множества всех сходящихся рядов
Сообщение09.05.2018, 16:31 
Аватара пользователя
Ну если из условно сходящегося ряда можно путем перестановок членов получить ряд, сходящийся к любому действительному числу, то не будет ли число сходящихся рядов как минимум не меньше количества действительных чисел?

-- 09.05.2018, 18:39 --

Хотя это у Вас уже итак есть..

 
 
 
 Re: Мощность множества всех сходящихся рядов
Сообщение09.05.2018, 17:53 
Аватара пользователя
Ряды это те же последовательности.
Вещественных последовательностей (сходящихся и расходящихся вместе) - столько же сколько вещественных чисел (Шень, Верещагин Начала теории множеств. Задача 43) Значит, одних сходящихся не больше чем вещественных чисел. Но и не меньше, для любого числа есть последовательность, сходящаяся к нему.

Осталось решить задачу 43, но я не могу сообразить как, надо читать.

 
 
 
 Re: Мощность множества всех сходящихся рядов
Сообщение09.05.2018, 21:41 
Аватара пользователя
eugensk в сообщении #1311315 писал(а):
(Шень, Верещагин Начала теории множеств. Задача 43)

А книга эта в свободном доступе есть?

 
 
 
 Re: Мощность множества всех сходящихся рядов
Сообщение09.05.2018, 22:14 
Аватара пользователя
Ktina в сообщении #1311350 писал(а):
eugensk в сообщении #1311315 писал(а):
(Шень, Верещагин Начала теории множеств. Задача 43)

А книга эта в свободном доступе есть?


Да, ссылка для скачивания здесь https://www.mccme.ru/free-books/
или сразу https://www.mccme.ru/free-books/shen/sh ... art1-2.pdf

Ktina в сообщении #1311200 писал(а):
Могу попытаться доказать.
$$|\mathbb{N}\to\mathbb{R}|=|\mathbb{R}^{\matnbb{N}}|=\aleph^{\aleph_0}=(2^{\aleph_0})^{\aleph_0}=2^{\aleph_0\cdot\aleph_0}=2^{\aleph_0}=\aleph$$
Как-то так?

Это, видимо, будет решением задачи 43, если для каждого равества указать биекцию.

 
 
 
 Re: Мощность множества всех сходящихся рядов
Сообщение09.05.2018, 23:03 
Аватара пользователя
eugensk в сообщении #1311351 писал(а):
Да, ссылка для скачивания здесь https://www.mccme.ru/free-books/
или сразу https://www.mccme.ru/free-books/shen/sh ... art1-2.pdf

Большое спасибо!

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


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