2014 dxdy logo

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

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




На страницу 1, 2  След.
 
 Как обычно доказывается расходимость последовательности?
Сообщение17.06.2013, 23:50 
Аватара пользователя
Возьмём любую расходящуюся последовательность. Например, $$(a_n)=n^{(-1)^n}$$
Интуитивно понятно, что она расходится.
Как это доказать?

 
 
 
 Re: Как обычно доказывается расходимость последовательности?
Сообщение17.06.2013, 23:57 
Аватара пользователя
Отрицанием Коши обычно удобно бывает.
Теорема: Последовательность $x_n$ сходится тогда и только тогда, когда $\forall \varepsilon > 0 \exists n_0: \forall n, m > n_0$ выполнено $|x_m - x_n| < \varepsilon$

Можно и отрицать определение.

 
 
 
 Re: Как обычно доказывается расходимость последовательности?
Сообщение18.06.2013, 00:12 
Аватара пользователя
SpBTimes,
Спасибо.
А ларчик просто открывался...

 
 
 
 Re: Как обычно доказывается расходимость последовательности?
Сообщение18.06.2013, 00:18 
Аватара пользователя
Иногда можно выделить в исходной последовательности подпоследовательность, для которой отсутствие предела очевиднее, так как сама она проще. Например, здесь можно взять элементы с четными индексами:
$b_n=a_{2n}=2n^{(-1)^{2n}}=2n$
Если бы исходная последовательность имела предел, то это же было бы справедливо и для любой её подпоследовательности.

 
 
 
 Re: Как обычно доказывается расходимость последовательности?
Сообщение18.06.2013, 00:29 
Аватара пользователя
svv в сообщении #737747 писал(а):
Если бы исходная последовательность имела предел, то это же было бы справедливо и для любой её подпоследовательности.

А это откуда следует?

 
 
 
 Re: Как обычно доказывается расходимость последовательности?
Сообщение18.06.2013, 00:41 
Аватара пользователя
Из определения подпоследовательности и того, что т.к. $... \forall n > N$ будет $|x_n - a|< \varepsilon$, то $\exists k_0: \forall k > k_0 n_{k}> N$

 
 
 
 Re: Как обычно доказывается расходимость последовательности?
Сообщение18.06.2013, 00:43 
Ktina в сообщении #737752 писал(а):
А это откуда следует?

Практически напрямую из определения предела.

Или, может, вы глубже спросили. Тогда, если правильно помню, единственность предела (и, соответственно, всякие факты про частичные пределы) следует из хаусдорфовости.

 
 
 
 Re: Как обычно доказывается расходимость последовательности?
Сообщение18.06.2013, 00:50 
Аватара пользователя
Nemiroff в сообщении #737755 писал(а):
...следует из хаусдорфовости.

(Оффтоп)

Это уже явно не для первого курса материал :D

 
 
 
 Re: Как обычно доказывается расходимость последовательности?
Сообщение18.06.2013, 01:25 
svv в сообщении #737747 писал(а):
Например, здесь можно взять элементы с четными индексами
Неудачный, имхо, пример. $\lim\limits_{n\rightarrow\infty}b_n=+\infty$. Можно добавить, что нечётные стремятся к минус бесконечности, и только после этого почить на лаврах.

 
 
 
 Re: Как обычно доказывается расходимость последовательности?
Сообщение18.06.2013, 01:39 
iifat в сообщении #737765 писал(а):
svv в сообщении #737747 писал(а):
Например, здесь можно взять элементы с четными индексами
Неудачный, имхо, пример. $\lim\limits_{n\rightarrow\infty}b_n=+\infty$. Можно добавить, что нечётные стремятся к минус бесконечности, и только после этого почить на лаврах.

Они не туда стремятся, эти нечетные. ))
А учитывая, что пределом называется число, подпоследовательности, уходящей в бесконечность, вполне достаточно. Бесконечные пределы, хоть и рассматриваются особняком, не относятся к разряду "существующих".

 
 
 
 Re: Как обычно доказывается расходимость последовательности?
Сообщение18.06.2013, 02:52 
Otta в сообщении #737768 писал(а):
Они не туда стремятся, эти нечетные. ))
Виноват. К нулю, конечно же.
Otta в сообщении #737768 писал(а):
учитывая, что пределом называется число, подпоследовательности, уходящей в бесконечность, вполне достаточно
По-моему, вы ищете обмануть меня. Я, впрочем, и рад, потому проверять не буду. Таки последовательность, стремящаяся к бесконечности, очень отличается от последовательности, не имеющей предела. Хотя бы тем, что обратная таки стремится к нулю. В отличие от.

 
 
 
 Re: Как обычно доказывается расходимость последовательности?
Сообщение18.06.2013, 03:05 
iifat в сообщении #737777 писал(а):
По-моему, вы ищете обмануть меня.

Я сам обманываться рад.
iifat в сообщении #737777 писал(а):
В отличие от.

А как у нее с фундаментальностью? А?

Пример, который привела Ktina - пример неограниченной последовательности, предел которой не равен бесконечности. Насколько я помню, как иллюстрация существования таких последовательностей он в Демидовиче и предлагался.

 
 
 
 Re: Как обычно доказывается расходимость последовательности?
Сообщение18.06.2013, 06:06 
Аватара пользователя
SpBTimes в сообщении #737741 писал(а):
Отрицанием Коши обычно удобно бывает.

Критерий Коши это сложно (c)ИСН. Здесь ответ на поверхности:
1) сходящаяся последовательность ограничена.
Для ограниченной последовательности часто бывает достаточно найти две подпоследовательности, имеющие различные пределы, ибо
2) всякая подпоследовательность сходящейся последовательности имеет тот же предел, что и исходная.
Оба утверждения следуют сразу из определения предела ещё до того как будет установлен критерий Коши.

 
 
 
 Re: Как обычно доказывается расходимость последовательности?
Сообщение18.06.2013, 08:38 
Кстати, можно заметить, что любая ограниченная расходящаяся последовательность всегда имеет хотя бы два различных частичных предела.

 
 
 
 Re: Как обычно доказывается расходимость последовательности?
Сообщение18.06.2013, 11:02 
Аватара пользователя
iifat
Последовательность частичных сумм гармонического ряда $S_n=\sum\limits_{k=1}^n \frac 1 k$ всего лишь стремится к $+\infty$, тогда как для расходимости в смысле iifat она должна "совсем не иметь предела". Поэтому гармонический ряд мы не можем назвать расходящимся, он сходится к $+\infty$, правильно я Вас понял? :P

 
 
 [ Сообщений: 16 ]  На страницу 1, 2  След.


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