Documente Academic
Documente Profesional
Documente Cultură
En matemtica, se llama serie formal de potencias (a veces serie de potencias formal) a una expresin matemtica que extiende las propiedades de las series de potencias en cuerpos como el de los reales o el de los complejos, permitiendo dar sentido formal a diversas notaciones que tcnicamente carecen de rigurosidad. Las series formales de potencias tienen diversas aplicaciones, pudindose mencionar la combinatoria y la teora de nmeros.
Definicin
Informalmente podemos pensar que una serie de potencias formal es una serie infinita de trminos de la forma
esto es, un polinomio con infinitos trminos, en que los ak son elementos de un cuerpo. Para formalizar esto, consideremos el conjunto de todas las sucesiones infinitas de elementos de un cuerpo , las cuales representaremos de esta forma:
Denotaremos al conjunto de todas estas sucesiones con el smbolo estas sucesiones de la siguiente forma:
. Definimos la suma de
como:
Esto le da al conjunto
en que, si
Ntese que esta definicin coincide con la de producto de Cauchy de dos sucesiones. Asimismo, si multiplicamos dos polinomios (o dos seriesabsolutamente convergentes) con coeficientes reales o complejos, vemos que los coeficientes del resultado siguen una regla anloga. Por lo mismo esta definicin es coherente desde un punto de vista intuitivo. Se puede demostrar por la definicin que la operacin es una en -lgebra
lineal conmutativa con unidad, es decir, una estructura algebraica que es tanto espacio vectorial como anillo conmutativo con unidad, siendo el elemento neutro la sucesin 1 = (1,0,0,...). Adoptaremos, como es habitual, la notacin .
Denotaremos por x a la sucesin (0,1,0,0,...). Ntese que en el resto de este artculo la letra x denotar a dicha sucesin y no a una variable. Tenemos entonces:
Esta es la definicin de una serie formal de potencias. Ntese que el conjunto de las series de potencias para los cuales existe un ndice k que satisface que an = 0 para todo n > k es una sublgebra lineal de isomorfa al conjunto de las funciones polinomios en el cuerpo (a menos y no
que dicho cuerpo sea finito). En general, denotamos a ambos conjuntos con el smbolo hacemos distincin entre una serie formal finita y un polinomio.
es solamente una
expresin conveniente y no alude en ninguna forma a la convergencia o divergencia de la serie, o a asignarle un valor. Se reitera que x representa a la sucesin (0,1,0,0...) y no es una variable. En el caso de una serie finita (polinomio) existe una forma de asignarle directamente un valor, lo que se analizar posteriormente.1
es conveniente, asignar en ciertos casos un nmero a una serie de potencias S, de la siguiente forma: Sea una -lgebra lineal con unidad, i.e. un espacio vectorial que le da a , denotamos sobre con una
un elemento de
dado por:
Por que
ejemplo,
si
, .
se
tiene
Para asignar de una forma anloga un valor a una serie de potencias formal infinita se deben introducir los conceptos el de lmite y convergencia, conjunto . Por para lo cual si es necesario consideramos definir la
ejemplo,
y, en general:
lmite en el cuerpo de los reales, la ltima igualdad es vlida solamente cuando |x| < 1. Sin embargo, mediante manipulaciones algebraicas o analticas puede asignrsele un valor a otras series a pesar de que no converjan en sentido estricto (vase Serie divergente para ms detalles), por ejemplo, dada la misma serie del ejemplo anterior, intentemos asignar mediante mtodos del lgebra un valor a S(2): S(2) = 1 + 2 + 4 + 8 + ... = u 2u = 21 + 22 + 24 + 28 + ... = 2 + 4 + 8 + 16 + ... = (1 + 2 + 4 + 8 + 16 + ...) - 1 = u - 1 2u = u - 1 u = -1 Podemos ver que, a pesar de que esto en sentido estricto no es correcto, es un resultado coherente y podemos considerarlo vlido en cierto contexto en que se requiera que S(2) tenga un valor.