Analisis Funcional PDF

Programa de la Asignatura
Los conjuntos numericos R y C www.cienciamatematica.com
Metodos Matematicos: Analisis Funcional

Licenciatura en Ciencias y Tecnicas Estadsticas
Renato Alvarez-Nodarse
Universidad de Sevilla
http://euler.us.es/renato/clases.html
Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Plan
1 Programa de la Asignatura
2 Los conjuntos numericos R y C

Definicion de R y C
Convergencia en C

PROGRAMA DE LA ASIGNATURA
Los conjuntos numericos R y C

Introduccion a los Espacios metricos.
Introduccion a los Espacios de Banach.
Introduccion a los Espacios de Hilbert.
Funciones matriciales.
Aplicaciones

Metodologa
La asignatura esta dividida en 3 horas teoricas y 2 horas practicas

semanales.
Las horas de teora se dedicaran a la explicacion de los principales

conceptos teoricos as como a desarrollar distintos ejemplos que
permitan aplicar y profundizar los metodos aprendidos.
Las horas practicas se dedicaran a proponer y resolver diversos

ejercicios que permitan al alumno una comprension mas profunda
de los conceptos teoricos y que sirvan de complemento a las clases
teoricas.

Evaluacion
Se realizaran 2 o 3 examenes parciales. Estos parciales son
voluntarios y de caracter eliminatorio. Para aprobar por
parciales hay que tener en media al menos 5 puntos.

Evaluacion
Las fechas de dichos examenes seran fijadas a lo largo del
cuatrimestre y anunciadas con antelacion en clase y en la
WWW del curso.

Evaluacion
WWW del curso.
Se haran ademas dos examenes finales ordinarios los das
12/02/07 y 16/09/07. Los examenes seran escritos. Para
aprobar el examen es necesario obtener un total al menos 5
puntos.

Evaluacion
WWW del curso.
Se haran ademas dos examenes finales ordinarios los das
12/02/07 y 16/09/07. Los examenes seran escritos. Para
aprobar el examen es necesario obtener un total al menos 5
puntos.
Tambien se entregaran varios proyectos sobre temas
complementen los tratados en clase. Dichos proyectos son
voluntarios y no seran evaluados en el examen aunque si
pueden complementar la nota de este, solo en caso de
mejorarla.
Temario de la asignatura
Introduccion a los espacios R y C y las principales propiedades

metricas de los mismos.


Espacios metricos. Definicion y primeras propiedades:
convergencia y completitud. Teoremas del punto fijo y
aplicaciones.


aplicaciones.
Introduccion a los espacios normados. Ejemplos. Espacios de
Banach. Aplicaciones lineales.


aplicaciones.
Espacios de Hilbert. Definicion y propiedades. Bases
Ortonormales. Ejemplos. Nociones de Teora Espectral.
Operadores compactos autoadjuntos en espacios de Hilbert.


aplicaciones.
Funciones matriciales y diferenciacion matricial.


aplicaciones.
Funciones matriciales y diferenciacion matricial.
Algunas aplicaciones en Probabilidad y Procesos estocasticos.

Bibliografa
A. Bobrowski. Functional Analysis for Probability and

Stochastic Processes: An Introduction. Cambridge University
Press 2005
A.N. Kolmogorov y A.V. Fomn. Elements of the Theory of
Functions and Functional Analysis, Dover 1999 (en castellano
existe una version: Elementos de la teora de funciones y del
analisis funcional. Editorial MIR, 1978).
E. Kreyszig. Introductory Functional Analysis with
Applications. Wiley Classics Library Edition, 1989.
K. Saxe. Beginning Functional Analysis. Springer, New York,
2002.
N. Young. An Introduction to Hilbert Spaces, Cambridge
University Press, 1988.

Horario de Clases y Tutoras
Horario de Clases: Lunes y Miercoles de 12:00 14:00, Martes de

8:30 9:30
Lugar: Aula A1.12 (Edificio ETSII)
Horario de Tutoras: Lunes y Miercoles de 10:30 12:00, Martes

de 10:00 13:00
Lugar: Despacho 15-07 (Modulo 15, 1o piso de la Facultad de

Matematicas). Aconsejable pedir cita

Horario de Clases y Tutoras
Horario de Clases: Lunes y Miercoles de 12:00 14:00, Martes de

8:30 9:30
Lugar: Aula A1.12 (Edificio ETSII)
Horario de Tutoras: Lunes y Miercoles de 10:30 12:00, Martes

de 10:00 13:00
Lugar: Despacho 15-07 (Modulo 15, 1o piso de la Facultad de

Matematicas). Aconsejable pedir cita
Cambios de clase, etc

DATOS RELEVANTES
Profesor Renato Alvarez Nodarse.
Despacho: 1er piso, Mod 15, No. 15-07 Facultad de Matematicas.
E-mail: ran@us.es Telefono: 954 55 79 94
Web del curso: http://euler.us.es/renato/clases.html
Se puede acceder desde la WebCT de la Universidad:
https://ev.us.es:8443/portalev/inicio/
http://ev2.us.es/webct/entryPageIns.dowebct

Programa de la Asignatura Definicion de R y C
Los conjuntos numericos R y C Convergencia en C www.cienciamatematica.com
Los conjuntos numericos R y C

Estructura algebraica: Cuerpo
Un conjunto de elementos es un cuerpo si a, b A a + b y

a b son elementos de A y + y son tales que:
1 Propiedades de la suma:
1 (a + b) + c = a + (b + c) (ley asociativa)
2 0 A tq a A, a + 0 = 0 + a = a
3 a A, (a) A tq (a) + a = a + (a) = 0
4 a + b = b + a (ley conmutativa)
2 Propiedades de la multiplicacion:
1 (a b) c = a (b c) (ley asociativa)
2 1 A tq a A, a 1 = 1 a = a
3 a A, a 6= 0, (a1 ) A tq (a1 ) a = a (a1 ) = 1
(elemento inverso de la multiplicacion)
4 a b = b a (ley conmutativa)
3 Propiedades de la suma y multiplicacion:
1 a (b + c) = a b + a c (ley distributiva)

Orden
Un conjunto de elementos A es un conjunto ordenado si existe

una relacion de orden tal que cuales quiera sean a y b elementos
de A se cumple que a b o no se cumple y ademas tienen lugar
los siguientes axiomas:
1. Para todo a A, a a
2. Si a b y b a entonces a = b.
3. Si a b y b c entonces a c.
4. Para todos a, b A, o a b o b a.
Si ademas, A es un cuerpo, entonces para cuales quiera sean a, b
y c de A se tiene que
5. Si a b entonces a + c b + c.
6. Si 0 a y 0 b entonces 0 a b.

RyC
Definicion
Se denomina al conjunto R conjunto de los numeros reales al
cuerpo ordenado no nulo que satisfagan el siguiente axioma de
completitud o continuidad:
Si A y B son dos subconjuntos de R no nulos tales que cualquiera
sean a A y b B se tiene que a b, entonces existe un c R
tal que para todo a A y b B, a c b.

RyC
Definicion
Cotas. Infimo y Supremo de un conjunto numerico.

RyC
Definicion
Cotas. Infimo y Supremo de un conjunto numerico.

Densidad de los numeros racionales Q: Q es denso en R
Cuales quiera sean a, b R(a < b), existe un q Q tal que
a < q < b.

Los numeros complejos: C

Cual es la solucion de x 2 = 4?


Cual es la solucion de x 2 = 4? y de x 2 = 2?


Cual es la solucion de x 2 = 4? y de x 2 = 2? y y de x 2 = 1?


Definicion
Un numero complejo z es un par ordenado de numeros reales x, y ,
es decir z = (x, y ), donde x se denomina parte real de z e y se
denomina parte imaginaria y se denotan por x = z, y = z. El
conjunto de todos los numeros complejos lo denotaremos por C.
Para los numeros complejos cualesquiera z1 = (x1 , y1 ) y
z2 = (x2 , y2 ), se define la operacion suma + y multiplicacion
de la siguiente forma:
z1 + z2 = (x1 + x2 , y1 + y2 ),
z1 z2 = (x1 x2 y1 y2 , x1 y2 + y1 x2 ).


Definicion
Un numero complejo z es un par ordenado de numeros reales x, y ,
es decir z = (x, y ), donde x se denomina parte real de z e y se
denomina parte imaginaria y se denotan por x = z, y = z. El
conjunto de todos los numeros complejos lo denotaremos por C.
Para los numeros complejos cualesquiera z1 = (x1 , y1 ) y
z2 = (x2 , y2 ), se define la operacion suma + y multiplicacion
z1 + z2 = (x1 + x2 , y1 + y2 ),
z1 z2 = (x1 x2 y1 y2 , x1 y2 + y1 x2 ).
C no se puede ordenar.
Representacion grafica
z = (x, y )
z
replacements
0
z x
Figura: Representacon grafica de un numero complejo z
La expresion mas comun para representar un numero complejo es

la forma binomica: z = (x, y ) = x + i y , donde x = z, y = z.

Operaciones elementales en C
Sean z1 = x1 + iy1 y z2 = x2 + iy2 dos numeros complejos
cualesquiera, entonces
z1 z2 = (x1 x2 ) + i (y1 y2 ),
z1 z2 = (x1 x2 y1 y2 ) + i (x1 y2 + y1 x2 ),
z1 1 1 x2 y2
= z1 , = 2 2
+i 2
z2 z2 z2 x2 + y2 x2 + y22

Operaciones elementales en C
Sean z1 = x1 + iy1 y z2 = x2 + iy2 dos numeros complejos
cualesquiera, entonces
z1 z2 = (x1 x2 ) + i (y1 y2 ),
z1 z2 = (x1 x2 y1 y2 ) + i (x1 y2 + y1 x2 ),
z1 1 1 x2 y2
= z1 , = 2 2
+i 2
z2 z2 z2 x2 + y2 x2 + y22
El complejo conjugado z de un numero z = x + iy se define

porz = x iy : Ademas, z, z1 , z2 C
!
z1 z1
z = z, z1 + z2 = z1 +z2 , z1 z2 = z1 z2 , = (z2 6= 0).
z2 z2

R C?
Es facil comprobar que si z1 y z2 son tq z1 = z2 = 0, las
operaciones anteriores coinciden con las de los numeros reales =
los numeros reales se pueden ver como un subconjunto de los
complejos: i.e., los numeros complejos de la forma z = (x, 0).

R C?
Utilizando el conjunto de los numeros complejos C descubrimos

que es posible resolver ecuaciones algebraicas que no eran
resolubles para los reales, por ejemplo
x 2 + 1 = 0, x 2 = 1 x = i = (0, 1).

R C?
Utilizando el conjunto de los numeros complejos C descubrimos

que es posible resolver ecuaciones algebraicas que no eran
resolubles para los reales, por ejemplo
x 2 + 1 = 0, x 2 = 1 x = i = (0, 1).
Dado R, se define la exponencial compleja de , e i como
e i = cos + i sen .

El modulo = |z| y el argumento de z

p
El modulo de z es = |z| = x 2 + y 2 y al argumento de z es el
angulo tq x = |z| cos , y = |z| sen :
z = x + iy = |z|(cos + i sen ) = |z|e i .
z = (x, y )
z
|z|
0
z x
Figura: El modulo = |z| y el argumento de z

El modulo = |z| y el argumento de z

El modulo = |z| y el argumento de z cumplen con las siguientes
propiedades.
1 |z| 0, z C.
2 |z| = 0, z = 0.
3 |z|2 = z z, z C.
4 |z1 + z2 | |z1 | + |z2 |, z1 , z2 C.
5 |z1 z2 | = |z1 | |z2 |, z1 , z2 C.
6 Si z1 = |z1 |(cos 1 + i sen 1 ) y z2 = |z2 |(cos 2 + i sen 2 ),
entonces
z1 z2 = |z1 z2 |[cos(1 + 2 ) + i sen(1 + 2 )],

z1 z1
= [cos(1 2 ) + i sen(1 2 )]
z2 z2

Sucesiones numericas en C
Definicion
La aplicacion o funcion f : N 7 A que hace corresponder a cada
numero natural n un elemento an de cierto conjunto A se denomina
sucesion de elementos de A y la denotaremos por (an )n=1 , o (an )n .
Por ejemplo, si A = C, diremos que f : N 7 C define una sucesion

de numeros complejos.
Como ejemplo tenemos
xn = (1)n = {1, 1, 1, 1, . . . }, zn = e in = {e i , e 2i , e 3i , . . . }, ...

Sucesiones acotadas
Definicion
Se dice que una sucesion (zn )n esta acotada, si n N, existe un
M R, M > 0 tal que |zn | M.
Por ejemplo, las sucesiones (xn ) y (zn )n definidas antes son

claramente acotadas (basta escoger M = 1).

Sucesiones acotadas
Definicion
Se dice que una sucesion (zn )n esta acotada, si n N, existe un
M R, M > 0 tal que |zn | M.
Por ejemplo, las sucesiones (xn ) y (zn )n definidas antes son

claramente acotadas (basta escoger M = 1).
Definicion
Se dice que una sucesion (zn )n es no acotada si M R, existe un
n N tal que |zn | > M.
Por ejemplo, la sucesion bn = (1)n n2 no esta acotada.

Convergencia en C
Definiremos la distancia d(z1 , z2 ) entre dos numeros complejos

z1 = x1 + iy1 y z2 = x2 + iy2 como
q
d(z1 , z2 ) = |z1 z2 | = (x1 x2 )2 + (y1 y2 )2 . (1)

Convergencia en C
Definiremos la distancia d(z1 , z2 ) entre dos numeros complejos

z1 = x1 + iy1 y z2 = x2 + iy2 como
q
d(z1 , z2 ) = |z1 z2 | = (x1 x2 )2 + (y1 y2 )2 . (1)
Definiremos el -entorno o -vecindad de un numero complejo z0 a

la bola U (z0 ) definida por
U (z0 ) = {z C; |z z0 | < }.
Obviamente U (z0 ) es un crculo del plano complejo de centro z0 y

radio excluyendo la frontera (o sea, la correspondiente
circunferencia).

Entornos en C
1
0
1
0
1
0
y 1
0
1
0
1
0
1
0 U(z0)
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0
0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0
1 0000
1111
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1 z0
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
replacements 000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
0 111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
1111111111111111111111111111111111111111111
0000000000000000000000000000000000000000000
1
0
1
0
1
0
1
0
1 x
0
1
0
1
0
Figura: Entornos en C

Entornos en C
1
0
1
0
1
0
y 1
0
1
0
1
0
1
0 U(z0)
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0
0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0 0000
1111
1
0
1 0000
1111
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1 z0
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
replacements 000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
0 111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
000000000000000000
111111111111111111
1
0
1111111111111111111111111111111111111111111
0000000000000000000000000000000000000000000
1
0
1
0
1
0
1
0
1 x
0
1
0
1
0
Figura: Entornos en C
Significado geometrico del lmite: dentro de U (z0 ) del lmite z

de la sucesion (zn )n hay infinitos terminos de la sucesion ( a partir
de cierto N) y fuera de el solo hay un numero finito de terminos (a
lo sumo los N primeros) de la misma.
Convergencia en C
Sea z = x + iy , z0 = x0 + iy0 . Puesto que
max{|xx0 |, |y y0 |} |zz0 | |xx0 |+|y y0 |, |z+z0 | |z|+|z0 |,
podemos construir la teora de lmites en C de la misma forma que

se hace en R. As pues, tenemos la siguiente definicion:
Definicion
Diremos una sucesion de numeros complejos (zn )n tiene lmite z, y
lo denotaremos por lmn zn = z, si
> 0a , R, N N; n > N, |zn z| < .

a
En adelante al escribir M > 0 asumiremos que M es un numero real, ya
que los complejos no se pueden ordenar.

Convergencia en C
Sea zn = xn + iyn y z = x + iy , entonces
max{|xn x|, |yn y |} |zn z| |xn x| + |yn y | =
lm zn = z lm xn = x, y lm yn = y .
n n n
n n
En particular, zn 0 si y solo si |zn | 0.

Convergencia en C
n n n
n n
De lo anterior se deduce que toda sucesion de numeros
complejos es equivalente a dos sucesiones de numeros reales
(la de sus partes reales e imaginarias).

Convergencia en C
n n n
n n
Podemos definir las sucesiones de Cauchy, enunciar y probar el
criterio de Cauchy, etc.

Convergencia en C
n n n
n n
Como C es un cuerpo no ordenado, se pierden todas las
propiedades relacionadas con el orden (supremo, monotona, etc).

Convergencia en C
n n n
n n
Como C es un cuerpo no ordenado, se pierden todas las
propiedades relacionadas con el orden (supremo, monotona, etc).
Usando lmites de sucesiones podemos definir el lmite de
funciones, continuidad de funciones, derivabilidad de funciones, etc.
Criterio de Cauchy en C
Definicion
Una sucesion (zn )n es de Cauchy (o fundamental) si > 0
N N tq n, m > N, se cumple |zn zm | < . O sea,
zn es de Cauchy
> 0, N N, tal que n > N, y p N, |zn+p zn | < .

Definicion
zn es de Cauchy
Teorema (Criterio de Cauchy)

Para que una sucesion de numeros complejos (zn )n sea de
convergente es necesario y suficiente que sea de Cauchy.
La prueba se basa en la equivalencia entre zn = xn + iyn y las

sucesiones reales (xn )n y (yn )n .

Definicion
zn es de Cauchy
Teorema (Criterio de Cauchy)

Para que una sucesion de numeros complejos (zn )n sea de
convergente es necesario y suficiente que sea de Cauchy.
La prueba se basa en la equivalencia entre zn = xn + iyn y las

sucesiones reales (xn )n y (yn )n .
Ademas, esta claro que si (zn )n tiene lmite, entonces (zn )n es
acotada, pero no al contrario.
Algo de Topologa
Definicion
Un punto z de un conjunto E C es interior si existe un entorno
U (z) del mismo contenido por completo en E . Un conjunto es
abierto si todos sus puntos son interiores.
Evidentemente todo entorno U (z) de z es un abierto.

Algo de Topologa
Definicion
Un punto z de un conjunto E C es interior si existe un entorno
U (z) del mismo contenido por completo en E . Un conjunto es
abierto si todos sus puntos son interiores.
Evidentemente todo entorno U (z) de z es un abierto.

Definicion
Dado un conjunto E C diremos que z0 C es un punto de
acumulacion de E si el cualquier entorno U (z0 ) existe al menos un
punto de E distinto de z0 (y por tanto infinitos).
Por ejemplo, 0 es un punto de acumulacion del conjunto

E = {1, 1/2, 1/3, . . . , 1/n, . . . }, mientras que 10k , cualquiera sea
k N no lo es.
Algo de Topologa
Teorema
z0 es un punto de acumulacion de E si y solo si existe al menos
una subsucesion de numeros (zn )n , con zn 6= zn+1 , para todo
n N, tal que lmn zn = z0 .
Demostracion: Ejercicio.

Algo de Topologa
Teorema
z0 es un punto de acumulacion de E si y solo si existe al menos
una subsucesion de numeros (zn )n , con zn 6= zn+1 , para todo
n N, tal que lmn zn = z0 .
Demostracion: Ejercicio.
Definicion
Un conjunto E es cerrado si contiene todos sus puntos de
acumulacion.
Por ejemplo en conjunto U (z0 ) =: {z C; |z z0 | } es un
cerrado.

Algo de Topologa
Definicion
Un conjunto E es acotado si existe un M > 0 tal que, para todo
z E , |z| < M.

Algo de Topologa
Definicion
Un conjunto E es acotado si existe un M > 0 tal que, para todo
z E , |z| < M.
A partir de Lema del Bolzano-Weierstrass para los conjuntos

acotados de R se sigue el siguiente resultado:
Lema de Bolzano-Weierstrass
Cualquier subconjunto infinito (con un numero infinito de
elementos) acotado de C tiene por lo menos un punto de
acumulacion.

El infinito complejo
Sea una sucesion (zn )n tal que, para todo M > 0, existe un N N,
tal que para todos n > N, |zn | > M.
Evidentemente dicha sucesion no puede ser convergente (no es

acotada, por que?).

El infinito complejo
Sea una sucesion (zn )n tal que, para todo M > 0, existe un N N,
tal que para todos n > N, |zn | > M.
Evidentemente dicha sucesion no puede ser convergente (no es

acotada, por que?).
Por analoga con el caso real diremos que la sucesion anterior

converge a infinito.

El complejo
Para que este tenga sentido hay que ademas imponerle ciertas
reglas (de facil interpretacion mediante sucesiones):
1 z C, z + = ,
2 z C, z 6= 0, z = ,
3 + = ,
4 = ,
5 z C, z/ = 0.

La esfera de Riemann
1
S : 2 + 2 + ( 1/2)2 = ,
4

N = (0, 0, 1)
S 1
0
1
0
z 0
1

1
0
0 y
1
0 z = (x, y , 0)

x
C

La esfera de Riemann
1 0 0 0
S : 2 + 2 + ( 1/2)2 = , Nzz : = =
4 x 0 y 0 01

1
0
N = (0, 0, 1)
S 1
0
z 0
1

1
0
0 y
1
0 z = (x, y , 0)

x
C

Relacion entre S y C
A z = (, , ) S R3 le corresponde un z = (x, y ) C t.q.

x= , y= , |z|2 = ,
1 1 1
y viceversa: a z = (x, y ) C le corresponde un z = (, , ) S

t.q.
x y |z|2
= , = , = .
1 + |z|2 1 + |z|2 1 + |z|2
De ambas expresiones se deduce que si z N, entonces su

imagen z en C tiende a infinito, por lo que N corresponde al
complejo antes mencionado.

Una propiedad de la proyeccion estereografica es que esta

transforma las circunferencias que no pasen por N en S en
circunferencias en C y las que contengan a N en rectas de C.
Ejercicio
Sea la circunferencia en S definida por
(
A + B + C + D = 0,
.
2 + 2 = (1 )
Prueba que su imagen en C es:
(D + C )(x 2 + y 2 ) + Ax + By = D.

Series numericas
Definicion
Dada una sucesion de numeros complejos (an )n , la expresion

X
ak = a1 + a2 + a3 + + ak +
k=1
se denomina serie infinita o serie y a los numeros a1 , a2 , ...,

elementos de la serie. Las sumas
n
X
Sn = ak = a1 + a2 + a3 + + an ,
k=1
se denominan sumas parciales de la serie.

Series numericas
Definicion
Dada una sucesion de numeros complejos (an )n , la expresion

X
ak = a1 + a2 + a3 + + ak +
k=1
se denomina serie infinita o serie y a los numeros a1 , a2 , ...,

elementos de la serie. Las sumas
n
X
Sn = ak = a1 + a2 + a3 + + an ,
k=1
se denominan sumas parciales de la serie.
Ejemplo:
P P 2
P n
n=1 1/n, n=1 1/n , n=1 (1) , etc.

Series numericas
Definicion
Diremos que la serie
P
k=1 ak converge a S, si la sucesion de
sumas parciales (Sn )n tiene lmite finito S y a dicho numero le
denominaremos suma de la serie. Si por el contrario, la sucesion
de sumas parciales no tiene lmite, entonces diremos que la serie
diverge.
P k,
Ejemplo importante: la serie geometrica k=1 q

Series numericas
Definicion
Diremos que la serie
P
k=1 ak converge a S, si la sucesion de
sumas parciales (Sn )n tiene lmite finito S y a dicho numero le
denominaremos suma de la serie. Si por el contrario, la sucesion
de sumas parciales no tiene lmite, entonces diremos que la serie
diverge.
P k,
Ejemplo importante: la serie geometrica k=1 q
Teorema (Criterio de Cauchy para las series)

La serie
P
k=1 ak es convergente si y solo si , para todo > 0,
existe un N N, tal que para todos n > N y para todo p N,
|an+1 + + an+p | <

Series numericas
Este teorema tiene dos consecuencias inmediatas: la primera es que

si alteramos un numero finito de elementos de la serie, la
convergencia de esta no se afecta; y la segunda es el siguiente
resultado:
Teorema (Condicion necesaria para la convergencia de las series)
Si la serie
P
k=1 ak es convergente, entonces lm an = 0. n

Series numericas
Este teorema tiene dos consecuencias inmediatas: la primera es que

si alteramos un numero finito de elementos de la serie, la
convergencia de esta no se afecta; y la segunda es el siguiente
resultado:
Teorema (Condicion necesaria para la convergencia de las series)
Si la serie
P
k=1 ak es convergente, entonces lm an = 0. n
Ejercicio: Prueba que las siguientes serier son divergentes:

X n2 X 1
y ,
300n + n2 n
n=1 n=1

Series absolutamente convergentes
Definicion
P
Diremos
P que una serie k=1 ak es absolutamente convergente si la
serie k=1 |ak | es convergente.

Definicion
P
Diremos
La sucesion (Sn )n de sumas parciales Sn = nk=1 |ak | es una

P
sucesion monotona, luego si esta acotada, entonces existira el
lmite que esPprecisamente la suma de la serie. Por el contrario, si la
sucesion Sn nk=1 |ak | es no acotada, entonces sera divergente

Definicion
P
Diremos
La sucesion (Sn )n de sumas parciales Sn = nk=1 |ak | es una

P
sucesion monotona, luego si esta acotada, entonces existira el
lmite que esPprecisamente la suma de la serie. Por el contrario, si la
sucesion Sn nk=1 |ak | es no acotada, entonces sera divergente
Teorema
P
(Weierstrass) Una serie P k=1 ak es absolutamente convergente si
y solo si la sucesion Sn = nk=1 |ak | esta acotada.

Teorema
Toda serie absolutamente convergente es convergente.
Demostracion: Usar el criterio de Cauchy.

Teorema

Ejemplo: Cuando la serie geometrica es abs. conv.?

Teorema

Ejemplo: Cuando la serie geometrica es abs. conv.?

X 1
q k1 = 1 + q + q 2 + = , |q| < 1.
1q
k=1

Teorema (Criterio de Comparacion de Weierstrass)
Sean
P P
k=1 ak y k=1 bk dos series de numeros complejos. Si
existe unPN N tal que para todo n P > N, |an | |bn |, entonces si

la
Pserie la serie
k=1 |bk | converge, P k=1 |ak | < converge, y si

|a
k=1 k | diverge, entonces k=1 k diverge.
|b |

Teorema (Criterio de Comparacion de Weierstrass)
Sean
P P
k=1 ak y k=1 bk dos series de numeros complejos. Si
existe unPN N tal que para todo n P > N, |an | |bn |, entonces si

la
Pserie la serie
k=1 |bk | converge, P k=1 |ak | < converge, y si

|a
k=1 k | diverge, entonces k=1 k diverge.
|b |
Ejercicio:
Prueba, calculando el lmite de sus sumas parciales, que la serie
P 1
n=1 n(n+1) converge. Usando lo anterior y el criterio de
comparacion deduce la convergencia de la serie 1
P
n=1 n2 .

Teorema (Criterio de comparacion por paso al lmite)

|an |
Sean las sucesiones (an )n y (bn )n tales que lmn |bn|
= q > 0.
P P
Entonces, k=1 |ak | converge si y solo si k=1 |bk | converge.

Teorema (Criterio de comparacion por paso al lmite)

|an |
Sean las sucesiones (an )n y (bn )n tales que lmn |bn|
= q > 0.
P P
Entonces, k=1 |ak | converge si y solo si k=1 |bk | converge.
Ejercicio:
X
X 1 X 2 1 1
Estudiar las series , sin y log 1 + .
n2 n n
n=1 n=1 n=1

Teorema (Criterio del cociente de DAlembert)
Sea
P
k=1 ak tq lmn |an+1 |/|an | = q. Entonces,
P
1 Si q < 1, la serie ak es absolutamente convergente
Pk=1

2 Si q > 1, la serie |ak | es divergente.
Pk=1

3 Si q = 1, la serie
k=1 |ak | converge o diverge.

Teorema (Criterio del cociente de DAlembert)
Sea
P
k=1 ak tq lmn |an+1 |/|an | = q. Entonces,
P
1 Si q < 1, la serie ak es absolutamente convergente
Pk=1

2 Si q > 1, la serie |ak | es divergente.
Pk=1

k=1 |ak | converge o diverge.
Teorema (Criterio de la raz de Cauchy)
Sea
P pn
k=1 a k tq lmn |an | = q. Entonces,
P
1 Si q < 1, la serie ak es convergente
Pk=1

2 Si q > 1, la serie ak es divergente.
Pk=1

k=1 ak converge o diverge.

Ejemplos:

X 2k X xk X xn X 2 + (1)k
2
, 2
, ,
n n n! 2k
k=1 k=1 k=1 k=1

Ejemplos:

2
, 2
, ,
n n n! 2k
k=1 k=1 k=1 k=1

X
Series no absolutamente convergentes: Ejemplo (1)k /k.
k=1

Ejemplos:

2
, 2
, ,
n n n! 2k
k=1 k=1 k=1 k=1

X
Series no absolutamente convergentes: Ejemplo (1)k /k.
k=1
Teorema

X
X
Si ak es absolutamente convergente, entonces la serie ak
k=1 k=1
tambien es absolutamente convergente y su suma coincide con la
de la serie original.
P (1)n+1
La serie n=1 n
Esta serie es convergente pero no absolutamente.
n
X (1)k+1 (1)n x k+1
log(1 + x) = xk + , con (0, x),
k 1+ k +1
k=1
tenemos que

n
X (1)k+1 k 1
log 2 x 0, si n ,

k n+1
k=1
es decir que

X (1)n+1 1 1 1 1 1 1 1
= 1 + + + + + = log 2 6= 0.
n 2 3 4 5 6 2k 1 2k
n=1

P (1)n+1
La serie n=1 n
Reordenemos la serie

1 1 1 1 1 1 1 1 1
S= 1 + + + + + +
2 3 4 5 6 7 8 2k 1 2k

P (1)n+1
La serie n=1 n

1 1 1 1 1 1 1 1 1
S= 1 + + + + + +
2 3 4 5 6 7 8 2k 1 2k

1 1 1 1 1 1 1 1
S = 1 + + + +
2 4 3 6 8 2k 1 4k 2 4k

P (1)n+1
La serie n=1 n

1 1 1 1 1 1 1 1 1
S= 1 + + + + + +
2 3 4 5 6 7 8 2k 1 2k

1 1 1 1 1 1 1 1
S = 1 + + + +
2 4 3 6 8 2k 1 4k 2 4k

1 1 1 1 1 1 1 1
= + + + + +
2 4 6 8 10 12 4k 2 4k

P (1)n+1
La serie n=1 n

1 1 1 1 1 1 1 1 1
S= 1 + + + + + +
2 3 4 5 6 7 8 2k 1 2k

1 1 1 1 1 1 1 1
S = 1 + + + +
2 4 3 6 8 2k 1 4k 2 4k

1 1 1 1 1 1 1 1
= + + + + +
2 4 6 8 10 12 4k 2 4k

1 1 1 1 1 1 1 1 S log 2
= 1 + + + + + = = ,
2 2 3 4 5 6 2k 1 2k 2 2
es decir nuestra reordenacion cambia el valor de la serie!

Series condicionalmente convergentes
Definicion
Diremos que una serie es condicionalmente convergente si la serie
P P
k=1 ka converge pero la serie |a
k=1 k | diverge.
Teorema (Teorema de reordenacion de Riemann)

Toda serie condicionalmente convergente se puede reordenar de tal
forma que sume cualquier valor real prefijado de antemano.

Series de potencias
Definicion
Dada una sucesion de numeros complejos (an )n y z0 C
definiremos serie

X
an (z z0 )n , z C, (2)
n=0
que denominaremos serie de potencias.
Como casos especiales de las series de potencias tenemos:

X
k
X zk X zk
z , , ,
k! k
k=0 k=0 k=1
etc. Si la serie converge z A C, entonces podemos definir la

funcion suma f (z) de la serie en A.
Series de potencias
Teorema (Primer Teorema de Abel para las series de potencias)
Sea la serie de potencias n
P
n=0 an z , an , z C. Si la serie
converge para cierto w C, entonces la serie converge
absolutamente para todo z C con |z| < |w |.

Series de potencias
P
Corolario
Si n
P
n=0 an z diverge para algun numero complejo w , entonces
diverge para todo z con |z| > |w |.

Series de potencias
P
Corolario
Si n
P
n=0 an z diverge para algun numero complejo w , entonces
diverge para todo z con |z| > |w |.
El teorema de Abel nos asegura la existencia de regiones (crculos)

de convergencia y divergencia, de una serie de potencias en C. De
hecho podemos afirmar que dada una serie de potencias cualquiera
siempre existe un numero no negativo R 0 o R = + tal que
para todo z con |z| < R la serie converge y si |z| > R la serie
diverge.
Series de potencias
Definicion
El numero R 0 anterior se denomina radio de convergencia de
una serie de potencias.
z z
|z z0| < |w z0|
|z| < |w |
R
z0
w
0 R 0
z z

X
X
Figura: Region de convergencia de an z n (izq.) y an (z z0 )n (der.)
n=0 n=0
Series de potencias
Teorema (Segundo Teorema de Abel para las series de potencias)

Toda serie de potencias n
P
n=0 an z , an , z C, tiene radio de
convergencia R 0 o R = + . Ademas, la serie converge
absolutamente para todo z tal que |z| < R.

Series de potencias

P
Del teoremaPanterior nse sigue que la mayor region de convergencia

de la serie
n=0 an z es el disco UR (0).

Series de potencias

P
Del teoremaPanterior nse sigue que la mayor region de convergencia

de la serie
n=0 an z es el disco UR (0).
Ejercicio:

X
n
X
n
X zn X zn
Estudiar la convergencia de z , n!z , y .
n! n
n=0 n=0 n=0 n=1

Series de potencias
Teorema (Formula de Cauchy-Hadamard)

Dada una serie de potencias n
P
n=0 an z , su radio de convergencia
1
R viene dado por la formula R = pn
.
lm |an |
n

Series de potencias

P
1
.
lm |an |
n
p
n
p
n
Consecuencias: Si lmn |an | , R = 1/ lmn |an |,

Series de potencias

P
1
.
lm |an |
n
p
n
p
n
|an | |an |
lmn |an+1 | , por de DAlembert R = lmn |an+1 | .

Series de potencias

P
1
.
lm |an |
n
p
n
p
n
|an | |an |
lmn |an+1 | , por de DAlembert R = lmn |an+1 | .
Ejercicio:

X X X zn X zn
Estudiar la convergencia de z n, n!z n , y .
n! n
n=0 n=0 n=0 n=1

Series de potencias
Teorema

X
Sea la serie f (z) = an zn con R > 0. Entonces
n=0
Para todo k 1 la serie nk ,
P
n=0 n(n 1) (n k + 1)an z
1
tiene radio de convergencia R.

2 La funcion f (z) es infinitamente diferenciable en UR (0) y la
k-esima derivada de f , f (k) (z), viene dada por la serie (??).
3 Para todo n 0, an = f (n) (0)/n!.

Series de potencias
Teorema

X
Sea la serie f (z) = an zn con R > 0. Entonces
n=0
Para todo k 1 la serie nk ,
P
n=0 n(n 1) (n k + 1)an z
1
tiene radio de convergencia R.

2 La funcion f (z) es infinitamente diferenciable en UR (0) y la
k-esima derivada de f , f (k) (z), viene dada por la serie (??).
3 Para todo n 0, an = f (n) (0)/n!.
Consecuencia: si f (z) admite una serie de potencias, f (z) es

infinitamente diferenciable en UR (0), y cada una de las funciones
f (k) (z), k = 0, 1, 2, . . . , es continua en UR (0). Del 3o apartado se
tiene ademas que la serie de potencias de una funcion dada
coincide con la correspondiente serie de Taylor.
Series de potencias en R
En R se dice que una funcion f (x) es analtica en cierto U (x0 )
f (x) se puede escribir como una serie de potencias

X
f (x) = an (x x0 )n , con R > 0.
n=0


X
f (x) = an (x x0 )n , con R > 0.
n=0
Como vimos toda serie de potencias (reales o complejas) es

infinitamente diferenciable. Sera cierto el recproco? Toda
funcion CA sera analtica en algun entorno de x0 A?


X
f (x) = an (x x0 )n , con R > 0.
n=0
Como vimos toda serie de potencias (reales o complejas) es

infinitamente diferenciable. Sera cierto el recproco? Toda
funcion CA sera analtica en algun entorno de x0 A?
La respuesta a esta pregunta la dio Cauchy, en 1821: Sea la funcion
( 2
e 1/x , x 6= 0,
fC (x) =
0, x = 0.
f es -veces derivable en x = 0 y f (k) (0) = 0 k N su serie

de Taylor en x = 0 es 0 i.e., f (x) no admite una serie de potencias
en 0 (o equiv. R = 0), i.e., fC no es analtica en x0 = 0.
Series de potencias en C
Teorema (Condicion necesaria y suficiente de analiticidad de una
funcion real)
Para que una funcion f (x) infinitamente derivable en todo un
entorno de x = x0 sea analtica es necesario y suficiente que el
(k)
resto de Taylor de la funcion Rn (x) = f (x) nk=0 f k!(a) (x x0 )k ,
P
tienda a cero para todo x de dicho entorno.

Series de potencias en C
Teorema (Condicion necesaria y suficiente de analiticidad de una
funcion real)
Para que una funcion f (x) infinitamente derivable en todo un
entorno de x = x0 sea analtica es necesario y suficiente que el
(k)
resto de Taylor de la funcion Rn (x) = f (x) nk=0 f k!(a) (x x0 )k ,
P
tienda a cero para todo x de dicho entorno.
El caso complejo es mucho mas sencillo. De hecho se tiene el

siguiente sorprendente resultado
Teorema (Goursat)
Sea C una region (abierto y conexo) y sea f : 7 C una
funcion diferenciable (holomorfa). Entonces, para cada punto
z0 , Pf (z) admite una serie de potencias
f (z) = n
n=0 an (z z0 ) con radio de convergencia R > 0.

Aprendiendo algo mas

Consultar los apuntes del curso para profundizar el:

1 Funciones de variable compleja
2 Funciones elementales de variable compleja
3 Funciones holomorfas o analticas: Condicion de Cauchy
Rieamann.

Consultar los apuntes del curso para profundizar el:

1 Funciones de variable compleja
2 Funciones elementales de variable compleja
3 Funciones holomorfas o analticas: Condicion de Cauchy
Rieamann.
Bibliografa
J.E. Marsden y M.J. Hoffman. Basic Complex Analysis. W. H.

Freeman & Co. 1987.
D. Zill y P. Shanahan. A first course in complex analysis with
applications. Jones and Bartlett Publishers, 2003.

Analisis Funcional PDF

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Analisis Funcional PDF

Încărcat de

Drepturi de autor:

Formate disponibile

Programa de la Asignatura

Los conjuntos numericos R y C www.cienciamatematica.com

Metodos Matematicos: Analisis Funcional

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

2 Los conjuntos numericos R y C

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Los conjuntos numericos R y C

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

La asignatura esta dividida en 3 horas teoricas y 2 horas practicas

Las horas de teora se dedicaran a la explicacion de los principales

Las horas practicas se dedicaran a proponer y resolver diversos

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Introduccion a los espacios R y C y las principales propiedades

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Introduccion a los espacios R y C y las principales propiedades

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Introduccion a los espacios R y C y las principales propiedades

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Introduccion a los espacios R y C y las principales propiedades

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Introduccion a los espacios R y C y las principales propiedades

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Introduccion a los espacios R y C y las principales propiedades

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

A. Bobrowski. Functional Analysis for Probability and

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Horario de Clases y Tutoras

Horario de Clases: Lunes y Miercoles de 12:00 14:00, Martes de

Horario de Tutoras: Lunes y Miercoles de 10:30 12:00, Martes

Lugar: Despacho 15-07 (Modulo 15, 1o piso de la Facultad de

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Horario de Clases y Tutoras

Horario de Clases: Lunes y Miercoles de 12:00 14:00, Martes de

Horario de Tutoras: Lunes y Miercoles de 10:30 12:00, Martes

Lugar: Despacho 15-07 (Modulo 15, 1o piso de la Facultad de

Cambios de clase, etc

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Profesor Renato Alvarez Nodarse.

Despacho: 1er piso, Mod 15, No. 15-07 Facultad de Matematicas.

E-mail: ran@us.es Telefono: 954 55 79 94

Web del curso: http://euler.us.es/renato/clases.html

Se puede acceder desde la WebCT de la Universidad:

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Los conjuntos numericos R y C

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Estructura algebraica: Cuerpo

Un conjunto de elementos es un cuerpo si a, b A a + b y

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Un conjunto de elementos A es un conjunto ordenado si existe

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Cotas. Infimo y Supremo de un conjunto numerico.

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Cotas. Infimo y Supremo de un conjunto numerico.

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Los numeros complejos: C

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Los numeros complejos: C

Renato Alvarez-Nodarse Universidad de Sevilla Metodos Matematicos: Analisis Funcional Licenciatur

Los numeros complejos: C