9 votos

Completando el espacio de la serie para que haya una serie convergente más lenta

Es bien sabido que no hay más lenta la convergencia de series infinitas (ver, por ejemplo, aquí).

Pero tampoco hay mayor número racional cuyo cuadrado <=2. Una vez que complete los racionales a los reales, un número que existe.

Mirando el estándar de ejemplos de series que divergen cada vez más lentamente: ${1\over n}, {1 \over {n \ log(n)}}, {1\over{n \ log(n) \ log(log(n))}} ... $ tienes la sensación de que estos se inclinan hacia algo, aunque este algo no es en sí mismo una serie, o no es un límite en el sentido usual de la palabra.

Hay una cierta noción de la finalización del espacio de secuencias infinitas, de modo que algunos de los miembros de la mayor espacio, se encuentra exactamente en la frontera de convergencia y divergencia?

Edit: Una posible forma de hacerlo sería a través de análisis no estándar. Hyperreals son clases de equivalencia de las secuencias, y son totalmente ordenado - es decir, que proporcionan una forma de decir si la secuencia es mayor que el de cualquier otro. Así que uno podría esperar encontrar una "frontera" entre las secuencias, cuya suma converge, y las secuencias cuya suma no converge.

Específicamente, usted sería totalmente no de orden negativo de la serie mediante la comparación de la hyperreals definido por sus sumas parciales $A_n = \sum_{m=1}^n a_m$. Esta orden respecto a la convergencia, en el sentido de que una divergente la serie no podía ser "menos que" una serie convergente, y también respecto a la convergencia de las velocidades, en el sentido de que si $a_n$ sería de menos de $b_n$ si $A_n/B_n \to 0$.

Sin embargo, el hyperreals son no completa, por lo que no hay supremum para el conjunto de secuencias cuya suma converge. Es posible completar, pero entonces la pregunta es qué tipo de objetos son estos completado hyperreals, y podemos obtener cualquier intuición de ellos sobre nuestra pregunta original sobre convergentes y divergentes de la serie.

He encontrado una relacionada con la pregunta anterior. Pero no hay respuesta completa.

4voto

David C. Ullrich Puntos 13276

No.

La cuestión es lo suficientemente amplia como que no puedo probar la respuesta es no matemáticamente; uno no puede esperar a probar algo que le pregunta acerca de la existencia de cierta "idea" con ciertas propiedades. Pero (i) no hay ningún estándar de la noción, en el actual estándar de matemáticas (que es más una evidencia empírica de un matemático), (ii) el espacio de secuencias convergentes viene con un natural de la métrica, que ya está completo.

Edit: Se ha conjeturado que tal vez no-estándar de análisis nos proporciona la necesaria noción de alguna manera. Yo no sé nada acerca de la nsa, pero lo dudo. Difícil ver cómo la nsa se va a hacer el siguiente desaparecen de alguna manera:

La trivialidad: Si $a_n>0$$a_n\to0$, entonces (i) no existe $b_n>0$ $b_n\to0$ $a_n/b_n\to0$ (ii) no existe $b_n>0$$b_n\to0$$a_n/b_n\to\infty$.

Prueba. (i) $b_n=\sqrt{a_n}$, (ii) $b_n=a_n^2$.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X