En matemáticas , una serie es, a grandes rasgos, la operación de sumar infinitas cantidades, una tras otra, a una cantidad inicial determinada. [1] El estudio de series es una parte importante del cálculo y su generalización, el análisis matemático . Las series se utilizan en la mayoría de las áreas de las matemáticas, incluso para estudiar estructuras finitas (como en combinatoria ) mediante funciones generadoras . Además de su ubicuidad en matemáticas, las series infinitas también se utilizan ampliamente en otras disciplinas cuantitativas como la física , la informática , la estadística y las finanzas .
Durante mucho tiempo, la idea de que una suma potencialmente infinita pudiera producir un resultado finito se consideró paradójica . Esta paradoja se resolvió utilizando el concepto de límite durante el siglo XVII. La paradoja de Zenón de Aquiles y la tortuga ilustra esta propiedad contraintuitiva de las sumas infinitas: Aquiles corre detrás de una tortuga, pero cuando alcanza la posición de la tortuga al comienzo de la carrera, la tortuga ha alcanzado una segunda posición; cuando llega a esta segunda posición, la tortuga se encuentra en una tercera posición, y así sucesivamente. Zenón concluyó que Aquiles nunca podría alcanzar la tortuga y, por tanto, ese movimiento no existe. Zenón dividió la carrera en infinitas subrazas, cada una de las cuales requería una cantidad finita de tiempo, de modo que el tiempo total que tarda Aquiles en atrapar la tortuga está dado por una serie. La resolución de la paradoja es que, aunque la serie tiene un número infinito de términos, tiene una suma finita, lo que da el tiempo necesario para que Aquiles alcance a la tortuga.
En la terminología moderna, cualquier secuencia infinita (ordenada) de términos (es decir, números, funciones o cualquier cosa que pueda sumarse) define una serie, que es la operación de sumar los a i uno tras otro. Para enfatizar que hay un número infinito de términos, a una serie se le puede llamar serie infinita . Tal serie está representada (o denotada) por una expresión como
o, usando el signo de suma ,
La secuencia infinita de adiciones que implica una serie no puede llevarse a cabo de manera efectiva (al menos en un período de tiempo finito). Sin embargo, si el conjunto al que pertenecen los términos y sus sumas finitas tiene noción de límite , a veces es posible asignar un valor a una serie, llamado suma de la serie. Este valor es el límite cuando n tiende al infinito (si el límite existe) de las sumas finitas de los n primeros términos de la serie, que se denominan n- ésimas sumas parciales de la serie. Eso es,
Cuando existe este límite, se dice que la serie es convergente o sumable , o que la secuencia es sumable . En este caso, el límite se llama suma de la serie. De lo contrario, se dice que la serie es divergente . [2]
La notación denota tanto la serie (es decir, el proceso implícito de sumar los términos uno tras otro indefinidamente) como, si la serie es convergente, la suma de la serie (el resultado del proceso). Ésta es una generalización de la convención similar de denotar tanto por la suma (el proceso de sumar) como por su resultado (la suma de a y b) .
Comúnmente, los términos de una serie provienen de un anillo , muchas veces el cuerpo de los números reales o el cuerpo de los números complejos . En este caso, el conjunto de todas las series es en sí mismo un anillo (e incluso un álgebra asociativa ), en el que la suma consiste en sumar la serie término por término, y la multiplicación es el producto de Cauchy .
Una serie infinita o simplemente una serie es una suma infinita, representada por una expresión infinita de la forma [3]
donde es cualquier secuencia ordenada de términos , como números , funciones o cualquier otra cosa que pueda sumarse (un grupo abeliano ). Esta es una expresión que se obtiene de la lista de términos colocándolos uno al lado del otro y uniéndolos con el símbolo "+". Una serie también se puede representar mediante notación de suma , como
Si un grupo abeliano A de términos tiene un concepto de límite (por ejemplo, si es un espacio métrico ), entonces alguna serie, la serie convergente , puede interpretarse como si tuviera un valor en A , llamado suma de la serie . Esto incluye los casos comunes del cálculo , en los que el grupo es el cuerpo de números reales o el cuerpo de números complejos . Dada una serie , su k- ésima suma parcial es [2]
Por definición, la serie converge al límite L (o simplemente suma a L ), si la secuencia de sus sumas parciales tiene un límite L. [3] En este caso, se suele escribir
Se dice que una serie es convergente si converge hasta algún límite, o divergente cuando no lo hace. El valor de este límite, si existe, es entonces el valor de la serie.
Se dice que una serie Σ an es convergente o es convergente cuando la secuencia ( s k ) de sumas parciales tiene un límite finito . Si el límite de s k es infinito o no existe, se dice que la serie diverge . [4] [2] Cuando existe el límite de sumas parciales, se llama valor (o suma) de la serie.
Una manera fácil de que una serie infinita pueda converger es si todos los an son cero para n suficientemente grande. Una serie así puede identificarse con una suma finita, por lo que sólo es infinita en un sentido trivial.
La esencia del estudio de las series es determinar las propiedades de las series que convergen, incluso si un número infinito de términos son distintos de cero. Considere el ejemplo
Es posible "visualizar" su convergencia en la recta de números reales : podemos imaginar una recta de longitud 2, con segmentos sucesivos marcados de longitud 1, 1/2, 1/4, etc. Siempre hay espacio para marcar el siguiente segmento, porque la cantidad de línea restante es siempre la misma que la del último segmento marcado: cuando hemos marcado 1/2, todavía nos queda un trozo de longitud 1/2 sin marcar, por lo que ciertamente podemos marcar el siguiente 1/4 . Este argumento no prueba que la suma sea igual a 2 (aunque lo es), pero sí que es como máximo 2. En otras palabras, la serie tiene un límite superior. Dado que la serie converge, demostrar que es igual a 2 requiere sólo álgebra elemental . Si la serie se denota S , se puede ver que
Por lo tanto,
El modismo se puede extender a otras nociones equivalentes de serie. Por ejemplo, un decimal recurrente , como en
codifica la serie
Dado que estas series siempre convergen en números reales (debido a lo que se llama la propiedad de completitud de los números reales), hablar de las series de esta manera es lo mismo que hablar de los números que representan. En particular, la expansión decimal 0,111... se puede identificar con 1/9. Esto lleva a un argumento de que 9 × 0,111... = 0,999... = 1 , que sólo se basa en el hecho de que las leyes límite para las series preservan las operaciones aritméticas ; para obtener más detalles sobre este argumento, consulte 0,999... .
En general, la serie geométrica
converge si y sólo si , en cuyo caso converge a .
La serie armónica es divergente .
( serie armónica alterna ) y
converge si la secuencia b n converge a un límite L , cuando n tiende al infinito. El valor de la serie es entonces b 1 − L .
converge para p > 1 y diverge para p ≤ 1, lo que se puede mostrar con el criterio integral que se describe a continuación en las pruebas de convergencia. En función de p , la suma de esta serie es la función zeta de Riemann .
y sus generalizaciones (como series hipergeométricas básicas y series hipergeométricas elípticas ) aparecen con frecuencia en sistemas integrables y física matemática . [6]
[2]
La suma parcial toma como entrada una secuencia, ( a n ), y da como salida otra secuencia, ( S N ). Por tanto, es una operación unaria sobre secuencias. Además, esta función es lineal y, por tanto, es un operador lineal en el espacio vectorial de secuencias, denotado Σ. El operador inverso es el operador de diferencias finitas , denominado Δ. Estos se comportan como análogos discretos de integración y diferenciación , solo que para series (funciones de un número natural) en lugar de funciones de una variable real. Por ejemplo, la secuencia (1, 1, 1, ...) tiene la serie (1, 2, 3, 4, ...) como suma parcial, lo cual es análogo al hecho de que
En informática , se conoce como suma de prefijos .
Las series se clasifican no sólo por si convergen o divergen, sino también por las propiedades de los términos a n (convergencia absoluta o condicional); tipo de convergencia de la serie (puntual, uniforme); la clase del término a n (ya sea un número real, una progresión aritmética, una función trigonométrica); etc.
Cuando un n es un número real no negativo para cada n , la secuencia S N de sumas parciales no es decreciente. De ello se deduce que una serie Σ a n con términos no negativos converge si y sólo si la secuencia S N de sumas parciales es acotada.
Por ejemplo, la serie
es convergente, porque la desigualdad
y un argumento de suma telescópica implica que las sumas parciales están acotadas por 2. El valor exacto de la serie original es el problema de Basilea .
Cuando agrupas una serie, no se reordena la serie, por lo que no se aplica el teorema de la serie de Riemann . Una nueva serie tendrá sus sumas parciales como subsecuencia de la serie original, lo que significa que si la serie original converge, también lo hará la nueva serie. Pero para las series divergentes eso no es cierto, por ejemplo 1-1+1-1+... agrupados cada dos elementos crearán la serie 0+0+0+..., que es convergente. Por otro lado, la divergencia de la nueva serie significa que la serie original sólo puede ser divergente, lo que a veces resulta útil, como en la prueba de Oresme .
una serie
converge absolutamente si la serie de valores absolutos
converge. Esto es suficiente para garantizar no sólo que la serie original converja a un límite, sino también que cualquier reordenamiento de la misma converja al mismo límite.
Se dice que una serie de números reales o complejos es condicionalmente convergente (o semiconvergente ) si es convergente pero no absolutamente convergente. Un ejemplo famoso es la serie alterna.
la cual es convergente (y su suma es igual a ), pero la serie formada tomando el valor absoluto de cada término es la serie armónica divergente . El teorema de la serie de Riemann dice que cualquier serie condicionalmente convergente se puede reordenar para formar una serie divergente y, además, si son reales y es cualquier número real, se puede encontrar un reordenamiento de modo que la serie reordenada converja con una suma igual a .
La prueba de Abel es una herramienta importante para manejar series semiconvergentes. Si una serie tiene la forma
donde las sumas parciales están acotadas, tienen variación acotada y existe:
entonces la serie es convergente. Esto se aplica a la convergencia puntual de muchas series trigonométricas, como en
con . El método de Abel consiste en escribir y realizar una transformación similar a la integración por partes (llamada suma por partes ), que relaciona la serie dada con la serie absolutamente convergente.
La evaluación de errores de truncamiento es un procedimiento importante en el análisis numérico (especialmente en números validados y pruebas asistidas por computadora ).
Cuando las condiciones de la prueba de series alternas se cumplen con , hay una evaluación de error exacta. [7] Establecido como la suma parcial de la serie alterna dada . Entonces se cumple la siguiente desigualdad:
El teorema de Taylor es un enunciado que incluye la evaluación del término de error cuando se trunca la serie de Taylor .
Al utilizar la razón , podemos obtener la evaluación del término de error cuando se trunca la serie hipergeométrica . [8]
Para la matriz exponencial :
se cumple la siguiente evaluación de errores (método de escala y cuadratura): [9] [10] [11]
Existen muchas pruebas que pueden usarse para determinar si una serie particular converge o diverge.
Una serie de funciones de valores reales o complejos.
converge puntualmente en un conjunto E , si la serie converge para cada x en E como una serie ordinaria de números reales o complejos. De manera equivalente, las sumas parciales
converge a ƒ ( x ) como N → ∞ para cada x ∈ E .
Una noción más fuerte de convergencia de una serie de funciones es la convergencia uniforme . Una serie converge uniformemente si converge puntualmente a la función ƒ ( x ), y el error al aproximar el límite por la enésima suma parcial,
se puede hacer mínimo independientemente de x eligiendo un N suficientemente grande .
La convergencia uniforme es deseable para una serie porque el límite retiene muchas propiedades de los términos de la serie. Por ejemplo, si una serie de funciones continuas converge uniformemente, entonces la función límite también es continua. De manera similar, si los ƒ n son integrables en un intervalo I cerrado y acotado y convergen uniformemente, entonces la serie también es integrable en I y puede integrarse término por término. Las pruebas de convergencia uniforme incluyen la prueba M de Weierstrass , la prueba de convergencia uniforme de Abel , la prueba de Dini y el criterio de Cauchy .
También se pueden definir tipos más sofisticados de convergencia de una serie de funciones. En la teoría de la medida , por ejemplo, una serie de funciones converge casi en todas partes si converge puntualmente excepto en un cierto conjunto de medida cero . Otros modos de convergencia dependen de una estructura espacial métrica diferente en el espacio de funciones considerado. Por ejemplo, una serie de funciones converge en media en un conjunto E a una función límite ƒ siempre que
como norte → ∞.
Una serie de potencias es una serie de la forma
La serie de Taylor en un punto c de una función es una serie de potencias que, en muchos casos, converge a la función en una vecindad de c . Por ejemplo, la serie
es la serie de Taylor en el origen y converge a ella para cada x .
A menos que converja sólo en x = c , dicha serie converge en un cierto disco abierto de convergencia centrado en el punto c en el plano complejo, y también puede converger en algunos de los puntos de la frontera del disco. El radio de este disco se conoce como radio de convergencia y, en principio , puede determinarse a partir de las asintóticas de los coeficientes an . La convergencia es uniforme en subconjuntos cerrados y acotados (es decir, compactos ) del interior del disco de convergencia: es decir, es uniformemente convergente en conjuntos compactos .
Históricamente, matemáticos como Leonhard Euler operaron liberalmente con series infinitas, incluso si no eran convergentes. Cuando el cálculo tuvo una base sólida y correcta en el siglo XIX, siempre se requirieron pruebas rigurosas de la convergencia de las series.
Si bien muchos usos de las series de potencias se refieren a sus sumas, también es posible tratar las series de potencias como sumas formales , lo que significa que en realidad no se realizan operaciones de suma y el símbolo "+" es un símbolo abstracto de conjunción que no necesariamente se interpreta como correspondiente a la suma. En este contexto, lo que interesa es la secuencia de coeficientes en sí, más que la convergencia de la serie. Las series de potencias formales se utilizan en combinatoria para describir y estudiar secuencias que de otro modo serían difíciles de manejar, por ejemplo, utilizando el método de generación de funciones . La serie de Hilbert-Poincaré es una serie de potencias formal utilizada para estudiar álgebras graduadas .
Incluso si no se considera el límite de la serie de potencias, si los términos soportan una estructura apropiada entonces es posible definir operaciones como suma , multiplicación , derivada , antiderivada para series de potencias "formalmente", tratando el símbolo "+" como si correspondía a la suma. En el entorno más común, los términos provienen de un anillo conmutativo , de modo que la serie de potencias formales se puede sumar término por término y multiplicar mediante el producto de Cauchy . En este caso, el álgebra de series de potencias formales es el álgebra total del monoide de números naturales sobre el anillo de términos subyacente. [12] Si el término anillo subyacente es un álgebra diferencial , entonces el álgebra de series de potencias formales también es un álgebra diferencial, con la diferenciación realizada término por término.
Las series de Laurent generalizan las series de potencias al admitir términos en la serie con exponentes tanto negativos como positivos. Por tanto, una serie de Laurent es cualquier serie de la forma
Si tal serie converge, entonces en general lo hace en un anillo en lugar de en un disco, y posiblemente en algunos puntos límite. La serie converge uniformemente en subconjuntos compactos del interior del anillo de convergencia.
Una serie de Dirichlet es una de las formas
donde s es un número complejo . Por ejemplo, si todos an son iguales a 1, entonces la serie de Dirichlet es la función zeta de Riemann
Al igual que la función zeta, las series de Dirichlet en general desempeñan un papel importante en la teoría analítica de números . Generalmente una serie de Dirichlet converge si la parte real de s es mayor que un número llamado abscisa de convergencia. En muchos casos, una serie de Dirichlet se puede extender a una función analítica fuera del dominio de convergencia mediante continuación analítica . Por ejemplo, la serie de Dirichlet para la función zeta converge absolutamente cuando Re( s ) > 1, pero la función zeta se puede extender a una función holomorfa definida con un polo simple en 1.
Esta serie se puede generalizar directamente a la serie general de Dirichlet .
Una serie de funciones cuyos términos son funciones trigonométricas se llama serie trigonométrica :
El ejemplo más importante de serie trigonométrica es la serie de Fourier de una función.
El matemático griego Arquímedes realizó la primera suma conocida de una serie infinita con un método que todavía se utiliza en el área del cálculo en la actualidad. Usó el método de agotamiento para calcular el área bajo el arco de una parábola con la suma de una serie infinita, y dio una aproximación notablemente precisa de π . [13] [14]
Los matemáticos de la escuela de Kerala estudiaban series infinitas c. 1350 d.C. [15]
En el siglo XVII, James Gregory trabajó en el nuevo sistema decimal sobre series infinitas y publicó varias series de Maclaurin . En 1715, Brook Taylor proporcionó un método general para construir la serie de Taylor para todas las funciones para las que existen . Leonhard Euler en el siglo XVIII desarrolló la teoría de las series hipergeométricas y las series q .
Se considera que la investigación de la validez de las series infinitas comenzó con Gauss en el siglo XIX. Euler ya había considerado las series hipergeométricas
sobre el cual Gauss publicó una memoria en 1812. Estableció criterios de convergencia más simples y las cuestiones de los restos y el rango de convergencia.
Cauchy (1821) insistió en pruebas estrictas de convergencia; demostró que si dos series son convergentes su producto no necesariamente lo es, y con él comienza el descubrimiento de criterios efectivos. Los términos convergencia y divergencia habían sido introducidos mucho antes por Gregory (1668). Leonhard Euler y Gauss habían dado varios criterios y Colin Maclaurin había anticipado algunos de los descubrimientos de Cauchy. Cauchy avanzó la teoría de las series de potencias mediante la expansión de una función compleja en tal forma.
Abel (1826) en sus memorias sobre la serie binomial
corrigió algunas de las conclusiones de Cauchy y dio un resumen completamente científico de la serie para valores complejos de y . Mostró la necesidad de considerar el tema de la continuidad en cuestiones de convergencia.
Los métodos de Cauchy condujeron a criterios especiales más que generales, y lo mismo puede decirse de Raabe (1832), quien realizó la primera investigación elaborada sobre el tema, de De Morgan (desde 1842), cuya prueba logarítmica DuBois-Reymond (1873) y Pringsheim (1889) ha demostrado fracasar en una determinada región; de Bertrand (1842), Bonnet (1843), Malmsten (1846, 1847, este último sin integración); Stokes (1847), Paucker (1852), Chebyshev (1852) y Arndt (1853).
Los criterios generales comenzaron con Kummer (1835) y han sido estudiados por Eisenstein (1847), Weierstrass en sus diversas contribuciones a la teoría de funciones, Dini (1867), DuBois-Reymond (1873) y muchos otros. Las memorias de Pringsheim (1889) presentan la teoría general más completa.
La teoría de la convergencia uniforme fue tratada por Cauchy (1821), y Abel señaló sus limitaciones, pero los primeros en atacarla con éxito fueron Seidel y Stokes (1847-1848). Cauchy retomó el problema (1853), reconociendo las críticas de Abel y llegando a las mismas conclusiones que Stokes ya había encontrado. Thomae utilizó la doctrina (1866), pero hubo un gran retraso en reconocer la importancia de distinguir entre convergencia uniforme y no uniforme, a pesar de las exigencias de la teoría de funciones.
Se dice que una serie es semiconvergente (o condicionalmente convergente) si es convergente pero no absolutamente convergente .
Poisson (1823) estudió las series semiconvergentes y también dio una forma general al resto de la fórmula de Maclaurin. La solución más importante del problema se debe, sin embargo, a Jacobi (1834), quien atacó la cuestión del resto desde un punto de vista diferente y llegó a una fórmula diferente. Esta expresión también fue elaborada, y dada otra, por Malmsten (1847). Schlömilch ( Zeitschrift , Vol.I, p. 192, 1856) también mejoró el resto de Jacobi y mostró la relación entre el resto y la función de Bernoulli.
Genocchi (1852) ha contribuido aún más a la teoría.
Entre los primeros escritores se encontraba Wronski , cuya "loi suprême" (1815) apenas fue reconocida hasta que Cayley (1873) la destacó.
Las series de Fourier se investigaban como resultado de consideraciones físicas al mismo tiempo que Gauss, Abel y Cauchy elaboraban la teoría de las series infinitas. Las series para el desarrollo de senos y cosenos, de arcos múltiples en potencias del seno y coseno del arco habían sido tratadas por Jacob Bernoulli (1702) y su hermano Johann Bernoulli (1701) y aún antes por Vieta . Euler y Lagrange simplificaron el tema, al igual que Poinsot , Schröter , Glaisher y Kummer .
Fourier (1807) se propuso un problema diferente: expandir una función dada de x en términos de los senos o cosenos de múltiplos de x , problema que plasmó en su Théorie analytique de la chaleur (1822). Euler ya había dado las fórmulas para determinar los coeficientes de la serie; Fourier fue el primero en afirmar e intentar demostrar el teorema general. Poisson (1820-1823) también atacó el problema desde un punto de vista diferente. Fourier, sin embargo, no resolvió la cuestión de la convergencia de sus series, un asunto que debía intentar Cauchy (1826) y Dirichlet (1829) manejar de manera completamente científica (ver convergencia de series de Fourier ). El tratamiento de Dirichlet ( Crelle , 1829) de las series trigonométricas fue objeto de críticas y mejoras por parte de Riemann (1854), Heine, Lipschitz , Schläfli y du Bois-Reymond . Entre otros contribuyentes destacados a la teoría de las series trigonométricas y de Fourier se encuentran Dini , Hermite , Halphen , Krause, Byerly y Appell .
Las series asintóticas , o expansiones asintóticas , son series infinitas cuyas sumas parciales se convierten en buenas aproximaciones en el límite de algún punto del dominio. En general no convergen, pero son útiles como secuencias de aproximaciones, cada una de las cuales proporciona un valor cercano a la respuesta deseada para un número finito de términos. La diferencia es que no se puede hacer que una serie asintótica produzca una respuesta tan exacta como se desea, como sí lo hacen las series convergentes. De hecho, después de un cierto número de términos, una serie asintótica típica alcanza su mejor aproximación; si se incluyen más términos, la mayoría de estas series producirán peores respuestas.
En muchas circunstancias, es deseable asignar un límite a una serie que no converge en el sentido habitual. Un método de sumabilidad es una asignación de un límite a un subconjunto del conjunto de series divergentes que extiende adecuadamente la noción clásica de convergencia. Los métodos de sumabilidad incluyen la suma de Cesàro , la suma ( C , k ), la suma de Abel y la suma de Borel , en orden creciente de generalidad (y, por lo tanto, aplicables a series cada vez más divergentes).
Se conocen diversos resultados generales sobre posibles métodos de sumabilidad. El teorema de Silverman-Toeplitz caracteriza los métodos de sumabilidad de matrices , que son métodos para sumar una serie divergente aplicando una matriz infinita al vector de coeficientes. El método más general para sumar una serie divergente no es constructivo y se refiere a los límites de Banach .
Se pueden dar definiciones para sumas sobre un conjunto de índices arbitrario [16] Hay dos diferencias principales con la noción habitual de serie: primero, no hay un orden específico dado en el conjunto ; en segundo lugar, este conjunto puede ser incontable. Es necesario fortalecer la noción de convergencia, porque el concepto de convergencia condicional depende del orden del conjunto de índices.
Si es una función de un conjunto de índices a un conjunto , entonces la "serie" asociada es la suma formal de los elementos sobre los elementos del índice denotados por
Cuando el conjunto de índices son los números naturales, la función es una secuencia denotada por Una serie indexada en los números naturales es una suma formal ordenada y por eso reescribimos como para enfatizar el orden inducido por los números naturales. Así, obtenemos la notación común para una serie indexada por los números naturales.
Al sumar una familia de números reales no negativos, defina
Cuando el supremo es finito entonces el conjunto de los tales es contable. De hecho, para cada uno la cardinalidad del conjunto es finita porque
Si es infinitamente numerable y se enumera como entonces la suma definida anteriormente satisface
siempre que se permita el valor para la suma de la serie.
Cualquier suma sobre reales no negativos puede entenderse como la integral de una función no negativa con respecto a la medida de conteo , lo que explica las muchas similitudes entre las dos construcciones.
Sea un mapa, también denotado por desde algún conjunto no vacío en un grupo topológico abeliano de Hausdorff. Sea la colección de todos los subconjuntos finitos de with vistos como un conjunto dirigido , ordenados bajo inclusión con unión como unión . Se dice que la familia es incondicionalmente sumable si el siguiente límite , que se denota por y se llama suma de, existe en
Decir que la suma es el límite de sumas parciales finitas significa que para cada vecindad del origen existe un subconjunto finito de tales que
Debido a que no está totalmente ordenado , este no es un límite de una secuencia de sumas parciales, sino de un neto . [17] [18]
Para cada vecindad del origen en hay una vecindad más pequeña tal que Se deduce que las sumas parciales finitas de una familia incondicionalmente sumable forman una red de Cauchy , es decir, para cada vecindad del origen en existe un subconjunto finito de tal que
lo que implica que para cada (tomando y ).
Cuando es completa , una familia es incondicionalmente sumable si y sólo si las sumas finitas satisfacen la última condición neta de Cauchy. Cuando está completo y es incondicionalmente sumable, entonces, para cada subconjunto, la subfamilia correspondiente también es incondicionalmente sumable en
Cuando la suma de una familia de números no negativos, en el sentido extendido definido antes, es finita, entonces coincide con la suma en el grupo topológico
Si una familia in es incondicionalmente sumable, entonces para cada vecindad del origen in hay un subconjunto finito tal que para cada índice que no está en If es un primer espacio contable, entonces se deduce que el conjunto de tales que es contable. Esto no tiene por qué ser cierto en un grupo topológico abeliano general (ver ejemplos a continuación).
Supongamos que si una familia es incondicionalmente sumable en un grupo topológico abeliano de Hausdorff , entonces la serie en el sentido habitual converge y tiene la misma suma,
Por naturaleza, la definición de sumabilidad incondicional es insensible al orden de la suma. Cuando es incondicionalmente sumable, entonces la serie permanece convergente después de cualquier permutación del conjunto de índices, con la misma suma,
Por el contrario, si toda permutación de una serie converge, entonces la serie es incondicionalmente convergente. Cuando es completa , la convergencia incondicional también equivale al hecho de que todas las subseries son convergentes; Si es un espacio de Banach , esto equivale a decir que para cada secuencia de signos , la serie
converge en
Si es un espacio vectorial topológico (TVS) y es una familia (posiblemente incontable ), entonces esta familia es sumable [19] si el límite de la red existe en donde está el conjunto dirigido de todos los subconjuntos finitos de dirigidos por inclusión y
Se llama absolutamente sumable si además, por cada seminorma continua de la familia es sumable. Si es un espacio normal y si es una familia absolutamente sumable, entonces necesariamente todos menos una colección contable de son cero. Por lo tanto, en espacios normados, normalmente sólo es necesario considerar series con un número contable de términos.
Las familias sumables juegan un papel importante en la teoría de los espacios nucleares .
La noción de serie puede extenderse fácilmente al caso de un espacio seminormado . Si es una secuencia de elementos de un espacio normado y si entonces la serie converge a in si la secuencia de sumas parciales de la serie converge a in ; esto es,
De manera más general, la convergencia de series se puede definir en cualquier grupo topológico abeliano de Hausdorff . Específicamente, en este caso, converge a si la secuencia de sumas parciales converge a
Si es un espacio seminormado , entonces la noción de convergencia absoluta se convierte en: Una serie de vectores en converge absolutamente si
en cuyo caso todos los valores, excepto muchos de ellos, son necesariamente cero.
Si una serie contable de vectores en un espacio de Banach converge absolutamente, entonces converge incondicionalmente, pero lo contrario sólo se cumple en espacios de Banach de dimensión finita (teorema de Dvoretzky y Rogers (1950)).
Se puede considerar una serie condicionalmente convergente si es un conjunto bien ordenado , por ejemplo, un número ordinal . En este caso, se define por recursividad transfinita :
y para un límite ordinal
si este límite existe. Si todos los límites existen hasta entonces la serie converge.
una función cuyo soporte es un singleton Entonces
en la topología de convergencia puntual (es decir, la suma se toma en el grupo de productos infinito ).
Si bien, formalmente, esto requiere una noción de sumas de series incontables, por construcción, para cada dado sólo hay un número finito de términos distintos de cero en la suma, por lo que no surgen problemas relacionados con la convergencia de tales sumas. En realidad, normalmente se supone más: la familia de funciones es localmente finita , es decir, para cada existe una vecindad de en la que todas las funciones, excepto un número finito, desaparecen. Cualquier propiedad de regularidad, como la continuidad y la diferenciabilidad, que se conserva en sumas finitas se conservará para la suma de cualquier subcolección de esta familia de funciones.
(en otras palabras, las copias de 1 son ) sólo si se toma un límite para todas las sumas parciales contables , en lugar de sumas parciales finitas. Este espacio no es separable.
{{cite journal}}
: CS1 maint: multiple names: authors list (link)Señor 0033975