Sunteți pe pagina 1din 3

Serie formal de potencias

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

y su ponderacin (multiplicacin por escalar) por un elemento del cuerpo

como:

Esto le da al conjunto

una estructura de espacio vectorial sobre

, como puede comprobarse segn la frmula:

directamente. Ahora definimos el producto entre dos sucesiones de

en que, si

, el trmino general ck es:

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

es conmutativa, asociativa y distributiva, lo que implica que

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:

etc. Tenemos entonces la igualdad:

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.

Ntese que en el concepto de serie formal de potencias la notacin

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

Asignacin de un valor a una serie de potencias formal


A pesar de que el trabajo con una serie de potencias formal no involucra de ninguna forma el asignarle serie un valor a una , podemos, si

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

segunda operacin dado un elemento

una estructura de anillo con unidad. Como antes, , en que 1 es

el elemento unidad de formal cada

(como es usual). Entonces, dada una serie finita o polinomio , se le asigna a

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

una topologa sobre serie

ejemplo,

, podemos decir, por ejemplo, que:

y, en general:

Sin embargo, por la forma en que se ha construido la topologa de

, esto es, por la definicin de

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.

S-ar putea să vă placă și