VARIABLE COMPLEJA

Diana Milena Lpez Sierra; 20101167018

Alexis Yesid Tarazona Rincn; 20101167011
Wilson Forero;20101167029
Harold Arredondo ; 20091167014
Resumen
En su prolfica carrera profesional el matemtico alemn Karl Weierstrass realizo grandes aportes al
anlisis matemtico, uno de los mas relevantes es precisamente el teorema que lleva su nombre, el teorema
de weierstrass, el cual establece que toda funcin continua sobre un intervalo real [a,b] puede ser aproximada
uniformemente mediante polinomios, es decir, que los polinomios son una familia uniformemente densa en
C[a,b]. Posteriormente el matemtico Marshall Stone realizo una generalizacin de dicho teorema, la cual es
el eje central del presente trabajo, el teorema de Stone-Weierstrass se aplica no solo a intervelos cerrados de
reales si no a esapacios topolgicos compactos de Hausdorff y determina que la cerradura uniforme de un
lgebra de funciones sobre dichos espacios consta de todas las funciones continuas sobre el espacio. Ademas
se presenta un teorema que nos permite comparar la utilidad de los criterios del cociente y de la raz para
convergencia de series.

Teorema de Stone-Weierstrass. Caso real y caso complejo

PRELIMINARES

Espacios compactos. Espacios de Hausdorff

Definicin 1. Un espacio topolgico X se dice compacto si, dado un recubrimiento abierto de X cualquiera,
existe un subrecubrimiento finito del mismo.
Definicin 2. Un espacio topolgico X es de Hausdorff cuando dados t, s X con t 6= s existen entornos
disjuntos de t y de s

Algebras
Definicin 3. Un lgebra A es un Kespacio vectorial tal que existe una aplicacin P : A A A llamada
producto, que denotaremos mediante P (a, b) = a b para todo a, b A, que verifica las siguientes propiedades:
Para todo a, b, c A y para todo K se verifica:
(i) (a c) = (a) c
(ii) a (b c) = (a b) c
(iii) a (b + c) = (a b) + a c
(iv) (a + b) c) = (a c) + b c
Definicin 4. Se dice que un lgebra A es conmutativa cuando a b = b a para todo a, b A
Definicin 5. Se dice que un lgebra A tiene unidad cuando existe un elemento e A tal que e a = a e = a
para todo a, b A. Al elemento e se le llama unidad del lgebra.
Definicin 6. Sea A un lgebra y sea B un subconjunto de A. Decimos que B es una sublgebra de A cuando
B es una variedad lineal y a b B para todo a, b B. Es decir, B es cerrada con respecto a la suma, el
producto por un escalar y el producto.

Sucesiones y series de funciones

Definicin 7 (CONVERGENCIA PUNTUAL DE SUCESIONES DE FUNCIONES). Supongamos que {fn }
con n = 1, 2, 3, ...,es una sucesin de funciones definidas en un conjunto X, y que la sucesin de nmeros
{fn (x)} converge para todo x X. Podemos definir una funcin f por
1

xX

f (x) = lm fn (x)
n

En estas circunstancias, decimos que {fn } converge en X y que f es el lmite o la funcin lmite, de {fn }. En
este caso diremos que que {fn } converge hacia f puntualmente en X.
Definicin 8 (CONVERGENCIA UNIFORME). Una sucesin de funciones {fn } se llama uniformemente
convergente a f en el conjunto X si, para cada  > 0, existe un N (que depende slo de ) tal que n > N implica
|fn (x) f (x)| < 

para cadax X.

Expresamos esto simbolicamente escribiendo

fn f uniformemente en X

Espacio de las funciones continuas

Dados un espacio topolgico X y un espacio normado Y , sea:
Cb (X, Y ) = {f : X Y tales que f es continua y acotada}
con la norma
||f || = sup ||f (t)||Y
tX

para f Cb (X, Y )
Teorema 1. Sea X un espacio metrico y sea Y un espacio de Banach, entonces Cb (X, Y ) es de Banach.
Demostracin. Sea fn una sucesin de cauchy en Cb (X, Y ). Mostraremos que esta sucesin converge.
Primero para cada x X, fn (x) es una sucesin de cauchy en Y , y como Y es de Banach entonces fn (x)
converge. Definamos entonces la funcin F : X Y por
F (x) = lm fn (x)
n

Luego es necesario demostrar dos cosas:

1. {fn } converge a F uniformemente, es decir, para todo  > 0 existe N tal que si n N entonces
||fn (x) F (x)||Y < 

para todo x X

2. F Cb (X, Y ), es decir, F es continua y acotada en X.

Dado  > 0, escojemos N > 0 tal que si m, n N , entonces
||fn fm || <
es decir,
||fn (x) fm (x)||Y <


2


2
x X

Mostraremos que,
||fn (x) F (x)||Y <  x X siempre que n N.
Sea x0 X, como la sucesin {fn (x0 )} converge a F (x0 ) existe un N0 > 0 tal que
||fn (x0 ) F (x0 )||Y <
2


2

(1)

para todo n N0 (N0 depencde de x0 pero esto no ser ningn problema ya que N es independiente de x0 ).
Ahora bien, escojamos un entero n0 tal que n0 > mx{N, N0 }. Tenemos que si n N
||fn (x0 ) F (x0 )||Y

||fn (x0 ) Fn0 (x0 )||Y + ||fn0 (x0 ) F (x0 )||Y



<
+
2 2
= 

Como x0 es arbitrario, hemos demostrado la desigualdad 1. Ademas N no depende de x0 , podemos concluir

entonces que {fn } converge uniformemente a F .
Para demostrar que F Cb (X, Y ), tomamos un x0 X y demostraremos que F es continua en x0 ; es decir, dado  > 0, mostraremos que podemos encontrar un > 0 con la propiedad que |x x0 |X < implica
||F (x) F (x0 )||Y < .
Sea  > 0. Por la convergencia uniforme, podemos escoger un entero n0 tal que

3
es continua, existe un > 0 tal que, si |x x0 |X < , entonces
||fn0 (x) F (x)||Y <

para todo x X, Ahora bien, como fn0

||fn0 (x) fn0 (x0 )||Y <


.
3

Entonces, si x X y |x x0 |X < , tenemos

||F (x) F (x0 )||Y

||F (x) fn0 (x)||Y + ||fn0 (x) fn0 (x0 )||Y + ||fn0 (x0 ) F (x0 )||Y



+ +
<
3 3 3
= 

asi F es continua.
Para verificar que es acotada, notemos que la sucesin {fn } es de Cauchy y por lo tanto, acotada en Cb (X, Y ). Es
decir, existen f C(X, Y ) y M > 0 tales que ||fn f || < M para todo n. Como {fn } converge uniformemente
a F , podemos encontrar un entero N tal que
||fN (x) F (x)||Y < 1
para todo x X. Entonces, x X,
||F (x) f (x)||Y

||F (x) fN (x)||Y + ||fN (x) f (x)||Y

< 1+M
Ahora bien, f es acotada, por lo que existen M 0 > 0 y y0 Y tales que
||f (x) y0 || < M 0
para todo x X. Entonces
||F (x) y0 ||Y

||F (x) f (x)||Y + ||f (x) y0 ||Y

< 1 + M + M0
para todo x X, por lo que podemos concluir que F es acotada. Entonces fn F en Cb (X, Y ) y portanto un
espacio de Banach.
3

Teorema 2 (El teorema de Dini sobre la convergencia uniforme). Sean X un espacio compacto, {fn }n1 una
sucesin en C(X, R) y f C(X, R). Si
a {fn }n1 es creciente,
b {fn }n1 converge puntualmente a f .
entonces la convergencia es uniforme.
Proposicin 1. Dado  > 0 existe un polinomio P tal que P (0) = 0 y ||t| P (t)| <  para todo t [1, 1]
Definicin 9. Sea F un conjunto de funciones definidas en un espacio X. Se dice que F separa los puntos de
X cuando dados t, s X con t 6= s existe f F tal que f (t) 6= f (s).

Reticulado
Definicin 10. Un reticulado es un conjunto L, parcialmente ordenado en el que cada par de elementos tiene
supremo e nfimo en L.
Sean f, g C(X, R).
El orden parcial en C(X, R) es f g si
f (t) g(t)
para todo t X.
Definimos las funciones sup{f, g}, nf{f, g}, max{f, g}, mn{f, g} por

sup{f, g}(t)

sup{f (t), g(t)},

nf{f, g}(t)

= nf{f (t), g(t)},

m
ax{f, g}(t)

max{f (t), g(t)},

mn{f, g}(t)

mn{f (t), g(t)},

Proposicin 2. C(X, R) es un reticulado.

Teorema de Stone-Weierstrass. Caso real

Lema 1. Sea X un espacio de Hausdorff compacto. Toda sublgebra cerrada de C(X, R) es un sub-reticulado
de C(X, R).
Demostracin. Sea A una sublgebra cerrada de C(X, R).
Para ver que A es un sub-reticulado de C(X, R), basta probar que
f A implica |f | A.
Sea f A. Por la Proposicin 1 dado  > 0 existe un polinomio P definido en [1, 1] tal que
P (0) = 0
Sean ahora a1 , ..., an R tales que

Como

||s| P (s)| <


.
||f ||

P (s) = a1 s + a2 s2 + ... + an sn .

f (t)
[1, 1] para todo t X, entonces
||f ||
4




 |f (t)|

f (t) 

 ||f || P ||f || < ||f || .
por otra parte

P

f
||f ||



2

n
f
f
f
a1
+ a2
+ ... + an
||f ||
||f ||
||f ||


f2
fn
1
a1 f + a2
+ ... + an
||f ||
||f ||
||f ||n1

=
=

Definamos ahora
g = a1 f + a2

f2
fn
+ ... + an
||f ||
||f ||n1

entonces

P

f
||f ||


=

g
.
||f ||

Adems g A porque f A.
Como


|f (t)|

||f (t)| g(t)| =
g(t) 
||f ||
||f ||

< ||f ||
||f ||
= ,


||f || 

as tenemos que |f | A.
Como A es cerrada se obtiene que |f | A.
Lema 2. Sean X un espacio de Hausdorff compacto. Si X tiene ms de un punto y si L es un sub-reticulado
cerrado de C(X, R) tal que dados a, b R, t, s X con t 6= s existe hts L tal que hts (t) = a, hts (s) = b.
entonces L = C(X, R).
Demostracin. Sea f C(X, R). Como L es cerrado basta probar que f es un punto de acumulacin de L.
Veremos que cada entorno de f contiene funciones de L que son diferentes de f . Es decir probaremos que para
cada  > 0 existe g L tal que
f (u)  < g(u) < f (u) + 
para todo u X.
Fijemos  > 0, construiremos la funcin g como sigue.
Sea t X(fijo). Sea s X tal que t 6= s entonces existe por hipotesis hts L tal que
hts (t) = f (t),

hts (s) = f (s).

Sea
Hts = (hts f )1 (, ) = {u X : hts (u) < f (u) + }.

Por como se construyo, t Hts , s Hts , Hts es abierto. Luego

{Hts : s X, s 6= t}
es un cubrimiento abierto de X.
Como por hipotesis X es compacto este cubrimiento tiene un subcubrimiento finito: Hts1 , ..., Htsn .
Si
gt = mn{hts1 , hts2 , ..., htsn }.
Entonces gt L, gt (t) = f (t), adems
gt (u) < f (u) + 
para todo u X.
Procediendo de una manera similar llamemos
Gt = (gt f )1 (, ) = {u X : gt (u) > f (u) }.
De nuevo es claro que t Gt , Gt es abierto. De donde
{Gt : t X}
es un cubrimiento abierto de X.
Como X es compacto este cubrimiento tiene un subcubrimiento finito: Gt1 , ..., Gtm . Sea
g = max{gt1 , gt2 , ..., gtm }
Entonces g L, adems
f (u)  < g(u) < f (u) + 
para todo u X.
As f es un punto de acumulacin de L y como L es cerrado entonces L = C(X, R)
Teorema 3 (Stone-Weierstrass(caso real)). Sea X un espacio de Hausdorff compacto. Sea A una sublgebra
cerrada de C(X, R) que separa puntos de X y que contiene las funciones constantes. entonces A = C(X, R).
Demostracin. Podemos suponer que X posee ms de un punto.
Como A es una sublgebra cerrada de C(X, R), en virtud del Lema 1 tenemos que A es un sub-reticulo de
C(X, R).
Sean a, b R y t, s X con t 6= S, sabemos que A separa puntos de X y por lo tanto tenemos que existe g A
tal que
g(t) 6= g(s).
Luego si hacemos
f (u) = a

g(u) g(t)
g(u) g(s)
+b
g(t) g(s)
g(s) g(t)

entonces
f (t) = a,

f (s) = b.

Donde se uso el hecho de que A contiene las funciones constantes para asegurar que f A.
Luego del Lema 2 se sigue que A = C(X, R).
6

Otra manera de enunciar el teorema es la siguiente:

Teorema 4. Sea X un espacio de Hausdorff compacto. Sea A una sublgebra de C(X, R) tal que
a) A separa puntos de X
b) A contiene las constantes
Entonces A es densa en C(X, R).

Teorema de Stone-Weierstrass. Caso Complejo

El siguiente ejemplo demuestra que las condiciones que garantizan que una sublgebra de C(X, R) sea densa no
son suficientes en el caso complejo.
Ejemplo 1. Sean
B1 (0) = {z C : |z| < 1}
y
D = B1 (0) = {z C : |z| 1}
D es un espacio mtrico compacto. Sea
A(D) = {f C(D, C) : f es analitica en B1 (0)}.
A(D) es una sublgebra cerrada propia de C(D, C) que separa puntos y que contiene las costantes.
Sea
g(z) = z
entonces g no es analtica, g no se puede aproximar uniformemente por una sucesin de funciones analticas de
donde g
/ A(D).
Sin embargo g C(D, C).
Por lo tanto: las condiciones que garantizan que una sublgebra de C(X, R) sea densa no con suficientes en el
caso complejo.
La extencion a C del teorema de Stone- weierstrass es la siguiente:
Teorema 5. Sea X un espacio de Hausdorff compacto. Sea A una sublgebra de C(X, C) tal que
a) A separa puntos de X
b) A contiene las funciones constantes
c) A es autoadjunta es decir si todo elemento de A es autoinvertible.
Entonces A es densa en C(X, R).
Demostracin. Sea F C(X, C) una sublgebra autoadjunta que separa puntos y contiene las funciones
constantes. Observemos que como F es autoadjunta, las partes real e imaginaria de las funciones de F ,
f +f
f f
dadas por Re(f ) =
e Im(f ) =
, son de nuevo elementos de F .
2
2i
As, Re F = {Re(f ) : f F } es una sublgebra de C(X, R) que separa puntos y contiene a las constantes,
al igual que Im F . A estas lgebras se les puede aplicar el teorema de Stone-Weierstrass en su versin real,
para concluir que ReF = ImF = C(X, R). Por lo tanto,
F = ReF + iImF = ReF + iImF = C(X, R) + iC(X, R) = C(X, C),
Lo que termina la prueba.

EJERCICIO

PRELIMINARES EJERCICIO
Definicin 11 (LMITE SUPERIOR Y LMITE INFERIOR DE UNA SUCESIN REAL). Sea {an } una
sucesin de nmeros reales. Supongamos que existe un nmero real U que satisface las dos condiciones siguientes:
i) Dado  > 0 existe un entero N tal que n > N implica
an < U + .
ii) Dado  > 0 y dado m > 0, existe un entero n > m tal que
an > U .
Entonces U se llama el limite superior de {an } y se escribe
U = lm sup an
La proposicin (i) implica que el conjunto {a1 , a2 , ...} est acotado superiormente. Si este conjunto no est
acotado superiormente , definimos
lm sup an = +
n

Si el conjunto est acotado superiormente pero en cambio no lo est inferiormente y si {an } carece del
lmite superior finito, entonces se dice
lm sup an =
n

El lmite inferior de {an } se define como sigue:

lm inf an = lm sup bn
n

en donde bn = an para n = 1, 2, ...

Teorema 6. Sea {an } una sucesin de nmeros reales. Se tiene entonces:
lm inf an lm sup an
n

Teorema 7. Si sn tn para n N , con N , prefijado, se verifica que

lm nf sn

lm sup sn

n
n

lm nf tn

lm sup tn

Teorema 8.
P Condicin necesaria de la convergencia de una serie.
Si la serie
an converge entonces
lm an = 0
n

La anterior condicin no llegar a ser suficiente ya que:

lm

y sabemos que

1
n

1
=0
n

es divergente.

Teorema 9. Convergencia de xn
Si 0 x < 1 tenemos que:
X

xn =

1
1x

en caso de que x 1 la serie diverge.

Teorema 10. Criterio de comparacin.
Si an > 0 y bn > 0 para n = 1, 2, . . . y existen dos constantes positivas c y N tales que
an < cbn para n N
P
P
la convergencia de
bn implica la convergencia de
an .
Teorema 11. Criterio
del cociente.
P
Dada una serie
an de trminos complejos no nulos, sea

r = lm nf |
n

an+1
| ,
an

La serie

an converge absolutamente si R < 1

La serie

an diverge si r > 1

R = lm sup |
n

an+1
|
an

El criterio no permite llegar a ninguna conclusin si r 1 R

Teorema 12. Criterio
de la raz.
P
Dada una serie
an de trminos complejos no nulos, sea

= lm sup
n

La serie

an converge absolutamente si < 1.

La serie

an diverge si > 1.

an

El criterio no permite llegar a ninguna conclusin si = 1.

Ejercicio
Corolario 1. Si cada an > 0 tenemos que:
lm nf

an+1
an+1
lm nf n an lm sup n an lm sup
n
n
n
an
an

Demostracin. Por el teorema 6 tenemos que lm inf n an lm supn an asi bastara probar dos cosas.
i) lm supn
ii) lm inf n

an lm supn

an+1
.
an

an+1

lm supn n an .
an

an+1
an+1
= + no hay nada que probar. Como an > 0 para cada n entonces cada
>0
an
an
an+1
an+1
asi que lm supn
6= . asumamos entonces que lm supn
= a, con a finito. Esto es,
an
an
an+1
dado  > 0, existe un entero N tal que
< a +  para todo n > N luego tenemos
an
an+1 an+2 an+3
0<
,
,
, ... < a + 
an an + 1 a2

i) Si lm supn

as para cualquier k 1 tenemos que


0<

an+1
an



an+2
an + 1



an+3
a2

an+k
an+k1


=

an+k
< (a + )k
an

luego
an+k an (a + )k
Como cada an y a +  son mayores que cero podemos sacar la raiz n + kesima obteniendo
1

n+k
ann+k (a + ) n+k
an+k

Aplicando el Teorema 7 se deduce que

1
n+k
a+
lm sup an+k

Luego
1
n+k
lm sup an+k
a+

o equivalentemente
1

lm sup ann a + 
k
1

Si suponemos ahora que lm supk ann = b debemos probar que b a +  implica b a. En efecto,
Supongamos que b a +  pero b > a, tomondo  =

ba
tenemos
2

ba
2
2a + b a
2
a+b
2

b a+
=
=

y como se supuso b > a tambien se tiene que

a+b
<b
2

10

de donde
a+b
a+b
<b
2
2
lo cual es un absurdo y por tanto b a es decir
lm sup

an lm sup

ii) Para probar ahora que lm inf n

an+1
.
an

an+1

lm inf n n an se procede de manera similar.

an

an = + no hay nada que probar. Como an > 0 para cada n, entonces cada n an > 0 asi
an+1

que lm supn n an 6= . Asumamos entonces que lm inf n

= a, con a finito. Esto es, dado
an
an+1
> a  para todo n > N.
 > 0, existe un entero N tal que
an
As para cualquier k tenemos que
Si lm inf n

an+k an (a )k
Como cada an y a  son mayores que cero podemos sacar la raiz n + kesima obteniendo
1

n+k
an+k
ann+k (a ) n+k

Aplicando el Teorema 7 se deduce que

1
n+k
lm inf an+k
a

Luego
1
n+k
lm inf an+k
a

o equivalentemente
1

lm inf ann a 
k

Si suponemos ahora que lm inf k ann = b debemos probar que b a  implica b a.

Supongamos que b a  pero b < a, tomondo  =

ab
,
2

ab
2
2a a + b
2
a+b
2

b a
=
=

y como se supuso b < a tambien se tiene que

11

a+b
>b
2
de donde
a+b
a+b
b<
2
2
lo cual es un absurdo y por tanto b a es decir

an+1
lm inf n an
n
an

lm inf
n

Por ultimo veamos el caso particular en que lm inf n

nM N N tal que

an+1
= + es decir, dado M > 0 y N N existe
an

an+1
>M
an

as para cualquier
k1
tenemos
an+k > an M k
como an > 0 para cada n y M > 0 podemos sacar raz n + kesima esto es
k

(an+k ) > an+k

M n+k
n
de lo cual
lm inf an+k > M
k

equivalentemente
lm inf an > M
n

como M > 0 es arbitrario se tiene entonces que

lm inf an =
n

Ejemplo 1. Consideremos la serie

1 1
1
1
1
1
1
1
+ +
+ 2 + 3 + 3 + 4 + 4 + ,
5 7 52
7
5
7
5
7
para la cual
an+1
=
an

7 n
5


5 n
7

12

o tambien

as:
an+1
lm inf
n
an

lm inf

an

lm sup

an

an+1
an

lm sup
n

 n
5
lm
n 7
r
1
2n
lm
n
7n
r
1
2n
lm
n
5n
 n
7
lm
n 5

=0
1
=
7
1
=
5
= +

El citerio de la razon nos da como resultado que lm inf n aan+1

1 lm supn aan+1
(0 1 +) por lo
n
n
cual no es posible deducir nada pero el criterio de la raz indica la convergencia de la serie.
Lo anterior evidencia el corolario antes demostrado, llegando a la conclusin de que el criterio de la raz es mas
fuerte que el de la razn.
bibliografia
RUDIN, W. Real and complex analysis. Mc Graw-Hill, 1966.
TOM M. APOSTOL. Anlisis Matemtico. Reverte, 1977.
YOSIDA, K. Functional Analysis. Springer Verlag, 1965.

13