Guia Hilbert

GUA
DE ESTUDIO DE LA ASIGNATURA
GRADO
INTRODUCCIN A LOS ESPACIOS DE HILBERT

2 PARTE | PLAN DE TRABAJO Y ORIENTACIONES PARA SU DESARROLLO
2016-2017
Mara Jos Muoz Bouzo
GRADO EN MATEMTICAS
UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA
Introduccin a los espacios de Hilbert
| Mara Jos Muoz Bouzo

En la Gua de la asignatura (1 parte) encontrar informacin general de la
asignatura sobre aspectos tales como conocimientos previos necesarios,
contenidos de la asignatura, bibliografa, etc. Se recomienda leer previamente
dicha gua.
1.- PLAN DE TRABAJO
El tiempo que cada alumno debe destinar a una asignatura de 6 crditos como sta debe ser de,
aproximadamente, 150 horas, pero se trata solamente de un tiempo estandarizado y aproximativo
puesto que depende de la disponibilidad del estudiante, de su inters por la asignatura, de su
rapidez de lectura, de su formacin previa; es decir, de una serie de factores. en este apartado el
plan de actividades a realizar, as como el cronograma previsto para su realizacin.
Por ello, aunque se proponga una secuenciacin del trabajo a lo largo de los meses que se dediquen
a la asignatura, entendemos que cualquier planificacin es slo indicativa, y que el alumno deber
modificarla segn sus condicionantes de tiempo y disponibilidad. Adems, es muy probable que
cada alumno establezca su propio Plan de Trabajo.
El curso est planificado en 15 semanas, que son aproximadamente la duracin de un cuatrimestre.
Como normal general le recomendamos que vaya leyendo el Texto Base y haciendo los ejercicios
y ejemplos resueltos, que se desarrollan a lo largo del texto bsico. Un consejo: cuando se intenta
un ejercicio para afianzar la teora, se est proponiendo que el estudiante lea el enunciado y lo
intente hacer por sus propios medios, sin mirar la solucin directamente, pues el aprendizaje no
slo viene del estudio si no de la reflexin sobre los problemas y de la bsqueda de respuestas.
Varios intentos de resolucin, aun fallidos, son ms importantes que una solucin correcta leda y
aprendida de memoria. Este mtodo de reflexin producir una interiorizacin de los
conocimientos que no puede surgir de un estudio lineal del texto.
En esto consiste lo que denominamos Autoevaluacin.
CRONOGRAMA (Sugerencia)
SEMANA
CAPTULO
DEL TEXTO
BASE
ACTIVIDADES
OTRAS
ACTIVIDADES
PRIMERA
Captulo 1
Autoevaluacin
SEGUNDA y TERCERA
Captulo 2
Autoevaluacin
Ejercicios recomendados
CUARTA
Captulo 3
Autoevaluacin
QUINTA
Captulo 4
Autoevaluacin
SEXTA y SPTIMA
Captulo 5
Autoevaluacin
OCTAVA y NOVENA
Captulo 6
Autoevaluacin

DCIMA y NDECIMA
Captulo 7
Autoevaluacin
DUODCIMA
Captulo 8
Autoevaluacin
El resto del tiempo debe dedicarse a repasar y a resolver ejercicios.
2.- ORIENTACIONES PARA EL ESTUDIO DE LOS CONTENIDOS

A continuacin damos algunas orientaciones para el estudio de cada tema del Programa de la
asignatura. Las referencias que se citan se refieren al texto de la bibliografa bsica:
Espacios de Hilbert y Anlisis de Fourier: los primeros pasos
2 Edicin, revisada y ampliada con ejercicios resueltos.
Autores: A. Garca Garca y M.J. Muoz Bouzo
Editorial Sanz y Torres
Al final de cada captulo de dicho texto base aparecen ejercicios propuestos de los que
recomendamos que al menos se hagan cinco en cada semana. Como ya he comentado, es muy
importante que se intente hacer insistentemente antes de consultar las soluciones propuestas en el
apartado final del libro.
Captulo 1 (1 semana)
Este captulo es un captulo de introduccin donde se ponen de manifiesto algunas de las
diferencias y similitudes entre los espacios vectoriales de dimensin finita e infinita.
En primer lugar se destaca la extensin de ciertos conceptos del marco de los espacios de
dimensin finita al marco de los espacios de dimensin infinita. As se introducen los espacios
normados, el concepto de equivalencia de normas, las sucesiones de Cauchy, los espacios
completos, los conjuntos abiertos, cerrados o compactos, las funciones continuas, se generalizan
los espacios eucldeos, etc.
Respecto de las diferencias destacamos las siguientes propiedades que se cumplen en un espacio de
dimensin finita y que dejan de ser ciertas en dimensin infinita:
Todas las normas en un espacio de dimensin finita son equivalentes.
Teorema de Heine-Borel: en Rd un conjunto es compacto si y slo si es cerrado y acotado.
Teorema de Bolzano-Weierstrass: de cualquier sucesin acotada Rd en se puede extraer una
subsucesin convergente.
Veremos alguna diferencia ms adelante.
Se introduce el concepto de espacio separable, que ser de utilidad en captulos posteriores.

Este captulo sirve tambin de introduccin a ejemplos importantes de espacios de dimensin
infinita tales como:
l1(N), l2(N) y l (N)
C[a,b] con las normas || ||1, || ||2 y || ||
En este captulo de introduccin es importante que se empiece a manejar con soltura espacios
vectoriales donde los elementos son bien sucesiones (de nmeros reales o complejos) o funciones
valoradas en R o C. Del estudio de espacios de funciones surge la rama de matemticas del anlisis
funcional.
Conocimientos previos: Conceptos de espacio vectorial, base, base ortonormal, espacio eucldeo,
que se estudia en las asignaturas de lgebra lineal I y II. Nociones bsicas de topologa de la recta
real y de Rd, conjuntos abiertos, cerrados, compactos, convergencia de sucesiones, sucesiones de
Cauchy, continuidad de funciones, conjuntos densos, que se estudia en las asignaturas de
Funciones de una variable I y Funciones varias variables II.
Actividades de autoevaluacin: deben trabajarse con esmero los ejemplos propuestos en el texto
y en particular los ejemplos 1.10, 1.11, 1.13, 1.14, 1.15, 1.16, 1.17, 1.18. Ntese que el ejemplo
1.16 pone adems de manifiesto que en espacios normados de dimensin infinita existen
aplicaciones lineales que no son continuas.
Captulo 2 (2 semanas)
El texto se centra ya en un caso particular de espacios normados: los espacios de Hilbert. En el
captulo anterior se pona de manifiesto que ciertas propiedades vlidas en espacios de dimensin
dos y tres pierden su validez en espacios normados de dimensin infinita. Los espacios de Hilbert
generalizan a los espacios eucldeos y en ellos ciertas nociones geomtricas o tcnicas algebraicas
de los espacios de dimensin finita tambin tendrn sentido. El captulo 2 introduce los conceptos
bsicos relativos a los espacios de Hilbert y que sern de continuo uso en todo lo que sigue.
En la seccin 2.1 se introduce el concepto de producto interno y de espacio prehilbertiano. Conviene resaltar que, salvo indicacin contraria, estamos trabajando indistintamente en un espacio
vectorial real o complejo. Se establece la desigualdad de Cauchy-Schwartz que permite
demostrar que la norma inducida por un producto interno es efectivamente una norma. Conviene
prestar especial atencin a los ejemplos de espacios prehilbertianos concretos, 2.1, 2.2, 2.4, 2.5,
2.6 y 2.7. En 2.8 se ve cmo se puede definir un producto interno en el producto de dos espacios
prehilbertianos. En el ejemplo 2.10 se demuestran mediante la desigualdad de Cauchy-Schwartz
algunas desigualdades entre nmeros complejos o reales.
En la seccin 2.2 se estudian propiedades geomtricas de un espacio prehilbertiano que hay que
manejar con soltura.
Identidad del paralelogramo
Concepto de ortogonalidad y de subespacio ortogonal a un subconjunto.

Teorema de Pitgoras.
Todo espacio prehilbertiano es normado mientras que el recproco no es cierto (ejemplo 2.15). De
hecho, el cumplimiento de la identidad del paralelogramo permite caracterizar los espacios
normados cuya norma proviene de un producto interno. Debe saberse reconocer si un determinado
espacio normado, la norma proviene de un producto interno.
La seccin 2.3 se dedica a las propiedades topolgicas. Estas propiedades son comunes a los
espacios normados y la mayora han sido introducidas en el captulo anterior. Se definen pues en
un espacio prehilbertiano los conceptos de bola abierta y cerrada, conjunto abierto y cerrado,
convergencia de sucesiones, adherencia de un conjunto y su caracterizacin mediante sucesiones.
Todo estos conceptos son la extensin natural de los mismos conceptos ya estudiados en las
asignaturas de Funciones de una variable I y Funciones varias variables II. Ocurre lo mismo con el
concepto de continuidad de una funcin entre espacios prehilbertianos que generaliza el concepto
de continuidad de funciones reales de variables reales.
La nocin de separabilidad que se introduce ser fundamental para obtener bases numerables en el
captulo 4.
La seccin 2.4 se dedica a los espacios de Hilbert: espacios prehilbertianos completos. Un espacio
completo es un espacio donde toda sucesin de Cauchy es convergente. El conjunto Q de los
nmeros es un conjunto que no es completo y de hecho el conjunto R de los nmeros reales, que s
es completo, se puede obtener completando Q. El teorema 2.40, teorema de la compleccin,
establece lo mismo para cualquier espacio prehilbertiano: todo espacio prehilbertiano se puede
completar a un espacio de Hilbert. Este teorema permite definir formalmente los espacios L2[a,b] y
L2(R). Es importante saber manejar las propiedades bsicas de la integral de Lebesgue. Debe leerse
con especial cuidado el ejemplo 2.41 donde se explicitan.
Adems de los ejemplos ya citados anteriormente se han definido los espacios c00 (ejemplos 2.19 y
2.29) y C00(R) (ejemplo 2.42) y en ellos un producto interno.
Conocimientos previos: Conceptos de espacio vectorial, espacio eucldeo, que se estudia en las
asignaturas de lgebra lineal I y II. Nociones bsicas de topologa de la recta real y de Rd,
conjuntos abiertos, cerrados, compactos, convergencia de sucesiones, sucesiones de Cauchy,
continuidad de funciones, conjuntos densos, que se estudia en las asignaturas de Funciones de una
variable I y Funciones varias variables II. Clculo bsico con nmeros complejos, que se estudia en
la asignatura de Lenguaje matemtico, conjuntos y nmeros.
Contenidos bsicos: todos los contenidos de este captulo son bsicos.
Actividades de autoevaluacin: deben trabajarse con esmero los ejemplos propuestos en el texto a
lo largo del captulo. Intente resolver los ejercicios 2.11, 2.13, 2.23, 2.24 sin consultar las
soluciones propuestas en el texto.
Actividades de aprendizaje. De los ejercicios del final del captulo resuelva los siguientes: 2, 3, 5,
6, 7, 8, 10, 11, 13, 14, 17, 19, y 22.
Lecturas complementarias: se recomienda leer la primera parte del apndice hasta la pgina 197

sobre la integral de Lebesgue. En ningn caso la construccin de la integral de Lebesgue ser
objeto de examen.
Los espacios prehilbertianos tienen un comportamiento ptimo en relacin con la teora de la
aproximacin: dado un subconjunto convexo y completo C de un espacio prehilbertiano y dado un
punto x del espacio existe un punto y de C que est a distancia mnima de x. Adems ese punto es
nico. En otros trminos cada punto de un espacio prehilbertiano tiene una nica mejor
aproximacin en un subconjunto convexo y completo, que se denomina proyeccin de x sobre el
convexo C. Es en el teorema 3.6 donde se recoge esta importante propiedad geomtrica. Como en
un espacio de Hilbert un subconjunto cerrado es completo, en un espacio de Hilbert, bastar ver
que el subconjunto C es convexo y cerrado para obtener una nica aproximacin.
Previamente, en el teorema 3.2 se halla la mejor aproximacin cuando el conjunto es el espacio
generado por un sistema ortonormal finito de vectores.
Posteriormente, en la seccin 3.3, se particulariza el teorema 3.6 al caso en el que el subconjunto
convexo completo sea un subespacio vectorial completo F. En este caso, se caracteriza la mejor
aproximacin y de x como el nico punto y de F tal que x-y es ortogonal de F (teorema 3.9). El
punto y se denomina proyeccin ortogonal del espacio sobre F. Como consecuencia de esta
caracterizacin se descompone ortogonalmente el espacio como suma directa (ortogonal) del
subespacio completo F y su ortogonal (teorema 3.11). El corolario 3.10 es importante por su
aplicacin prctica pues permite comprobar si un determinado subespacio de un espacio de Hilbert
es denso mediante el estudio del subespacio ortogonal.
lo largo del captulo. Intente resolver los ejercicios 3.4, 3.5, 3.12, 3.13 sin consultar las soluciones
propuestas en el texto.
Actividades de aprendizaje. De los ejercicios del final del captulo resuelva los siguientes: 1, 5,
8, 10, 14, 15 y 20.
Los antecedentes de las bases ortonormales y de los espacios de Hilbert remontan a Bernoulli en el
siglo XVIII en el estudio de la cuerda vibrante. Plantea que la oscilacin de la cuerda puede verse
como un caso lmite de la oscilacin de un sistema de n masas puntuales cuando n aumenta
indefinidamente y que la oscilacin de la cuerda debe descomponerse en superposicin de
oscilaciones ms simples; esto es, que la solucin general de la ecuacin de las cuerdas vibrantes
se pueda desarrollar en forma de serie.

La idea del desarrollo en serie conducen a Gram y a Schmidt que estudian la relacin entre los
desarrollos en series de funciones ortogonales y el problema de las mejores aproximaciones
cuadrticas, a entre otros resultados, a lo que hoy conocemos como proceso de ortonormalizacin
de Gram-Schmidt. Gram realiza primero el estudio de un sistema ortonormal finito y
posteriormente lo extiende al caso infinito, imponiendo como condicin sobre las funciones
consideradas el que fueran de cuadrado integrable sobre el intervalo correspondiente.
A lo largo de este captulo el espacio es un espacio de Hilbert separable.
En este captulo se generaliza el concepto de base ortonormal de un espacio eucldeo a un espacio
de Hilbert separable. Un sistema ortonormal de vectores es un conjunto de vectores unitarios dos a
dos ortogonales. Una base es un sistema ortonormal de vectores completo, esto es, tales que el
nico vector ortogonal a todos los vectores del sistema es el vector nulo.
En la seccin 4.1 se estudian los sistemas ortonormales y el mtodo de Gram-Schmidt: algoritmo
que permite obtener un sistema ortonormal a partir de una sucesin de vectores linealmente
independientes. La seccin 4.2 extiende el teorema 3.2 al caso de un sistema numerable de
vectores. Se obtiene la mejor aproximacin en la clausura del subespacio vectorial generado por el
sistema ortonormal (Proposicin 4.8). El teorema 4.11 de la seccin 4.3 caracteriza las bases
ortonormales. Este resultado, en particular la identidad de Parseval, es fundamental en las
aplicaciones prcticas.
Actividades de autoevaluacin: deben trabajarse con esmero los ejemplos de bases ortonormales
4.15, 4.16, 4.17, 4.19, 4.20 y 4.21. En todos hay que comprobar que forman un sistema ortonormal
completo (la completitud en los ejercicios 4.17 y 4.21 se harn en el captulo 5 y en el captulo 7)
9, 10 y 12.
El captulo 5 se centra en el estudio de las series de Fourier clsicas. En las secciones 5.1 y 5.2 se
introducen para la representacin de funciones T-peridicas, cuya restriccin a (0,T) pertenece a
L2(0,T). Partiendo de la base ortonormal de L2(0,T), { (1/T)1/2 e 2\pi int/T | n Z}, cuya completitud
se demostrar en la seccin 5.3, se tiene el desarrollo
f=
siendo cn (f ) =
1
T
RT
0
f (t)e
P1
n= 1 cn (f )
2int/T
e2int/T
en L2 (0, T )
dt , n 2 Z.
Utilizando las frmulas de Euler, la serie de Fourier se puede reescribir como una serie
trigonomtrica.
En la seccin 5.3, se observa que para que los coeficientes cn(f) existan basta que f sea una funcin

de L1(0,T) y se define entonces la serie de Fourier de f como
Z
1
X
1 T
int
f
cn e
con cn =
f (t)e
T
0
n= 1
int
dt , n 2 Z .
Se nos plantean las siguientes preguntas:

Bajo qu condiciones se puede asegurar que la serie de Fourier converge puntualmente?
Si converge en t, es su lmite f(t)?
Si su lmite es f(t), se puede derivar trmino a trmino la serie para obtener la derivada de
f?
Para resolver estas cuestiones se introducen el ncleo de Dirichlet que permite expresar las sumas
parciales de la serie de Fourier y el ncleo de Fjer que permite expresar la media aritmtica de las
sumas parciales de la serie de Fourier. Los resultados ms relevantes son los siguientes:
El teorema de Fjer que asegura que si la funcin peridica es continua entonces la media
aritmtica de las sumas parciales de la serie de Fourier converge uniformemente a la
funcin en R. Como consecuencia se obtiene que { (1/T)1/2 e 2\pi int/T | n Z}, es un sistema
completo.
El teorema de Dirichlet que asegura que si la funcin es integrable en [-, ) y existen
lmites laterales y las derivadas laterales en un punto t0, entonces la serie de Fourier
converge en ese punto a la media de los lmites laterales. En particular, si adems f es
continua en t entonces la serie de Fourier converge en ese punto t a f(t).
El teorema 5.7 que asegura que si la funcin peridica es continua y su derivada es continua
a trozos entonces la derivada de f se puede obtener derivando trmino a trmino la serie de
Fourier y la serie de Fourier converge uniformemente en R a la funcin. Como
consecuencia, se establece que una funcin peridica continua es una funcin de clase
infinito si y slo si sus coeficientes de Fourier son de decrecimiento rpido.
La demostracin del teorema de Dirichlet utiliza la integral de Lebesgue y el lema de RiemannLebesgue que se demuestra en el captulo 7. Si se impone que la funcin sea continua a trozos se
demuestra sin utilizar la integracin Lebesgue ni el lema de Riemann-Lebesgue.
Finalmente en el punto 1 de la seccin 5.4 se estudia la transformada discreta de Fourier. El
clculo aproximado a partir de muestras equiespaciadas de los coeficientes de Fourier, mediante la
frmula de los trapecios, conduce de manera natural a la transformada discreta de Fourier.
Conocimientos previos. Series numricas y funcionales: convergencia puntual y uniforme.
Contenidos bsicos: todos los contenidos de este captulo salvo los epgrafes 5.4.2 y 5.4.3 son
bsicos.
lo largo del captulo. Comprubese en el ejemplo 5.6 los desarrollos en serie de la funcin f(t)=t
en las distintas extensiones.

9, 10, 11 y 12.
Lecturas complementarias: Se recomienda leer los epgrafes 5.4.2 y 5.4.3. La transformada
rpida de Fourier es un algoritmo de clculo que permite reducir el nmero de operaciones en el
clculo de una transformada discreta de Fourier. El fenmeno de Gibbs resalta el comportamiento
de las sumas parciales de Fourier de una funcin alrededor de un punto de discontinuidad de salto:
aparece una magnificacin del salto de la discontinuidad que se mantiene aunque se aumente el
nmero de trminos de la suma parcial. En ningn caso estos puntos sern materia de examen.
En este tema trabajamos con aplicaciones lineales entre espacios prehilbertianos.
En la seccin 6.1 se definen los operadores lineales acotados como aquellos que transforman
conjuntos acotados del espacio de partida en conjuntos acotados del espacio de llegada. Se define
la norma de estos operadores. El ejemplo 6.2 destaca que los operadores lineales entre espacios de
dimensin finita son siempre acotados hecho que no es siempre cierto en dimensin infinita como
se ve en el ejemplo 6.3. Termina la seccin con dos resultados importantes. Por un lado, un
operador lineal es continuo si y slo si es acotado, y la continuidad en un punto equivale a la
continuidad en todo punto (teorema 6.4). Por otro lado, si el espacio de llegada es completo,
entonces todo operador lineal acotado definido sobre un subespacio denso se extiende de manera
nica a un operador lineal acotado del espacio de partida.
En la seccin 6.2, estudiamos proyecciones lineales. En el captulo 3 vimos como el se poda
asociar a un conjunto convexo y completo una proyeccin. Esta aplicacin idempotente no es
siempre lineal pero s lo es cuando el conjunto sea un subespacio vectorial completo. Un operador
lineal idempotente o proyeccin lineal
conlleva una descomposicin del espacio en suma directa. La descomposicin ortogonal del
teorema 3.11 se corresponde con un tipo especfico de proyecciones: las proyecciones ortogonales.
El teorema 6.11 pone de manifiesto que en un espacio de Hilbert existe una correspondencia
biunvoca entre los subespacios vectoriales cerrados y las proyecciones ortogonales.
La seccin 6.3 se centra sobre los operadores lineales acotados en los que el espacio de llegada es
el cuerpo base del espacio de Hilbert, esto es, las formas lineales. Una consecuencia importante del
teorema 3.11 es el teorema de representacin de Riesz: existe una correspondencia biunvoca entre
las formas lineales continuas y los elementos del espacio.
La seccin 6.4 estudia la generalizacin de conceptos como matriz adjunta, simtrica o hermtica ,
ortogonal o unitaria a espacios de Hilbert. Se introducen los siguientes conceptos estudiando sus
propiedades bsicas:
Operador adjunto.
Operadores autoadjuntos.
Operadores unitarios.
10

lo largo del captulo. Intente resolver los ejercicios 6.8, 6.13, 6.17, 6.23 sin consultar las soluciones
propuestas en el texto.
4, 9, 10, 11, 14, 18 y 19.
En este captulo se estudia algunos operadores definidos mediante una integral paramtrica. Este
es el caso de los operadores de convolucin en L1(R) y L2(R), y la transformada de Fourier en
L1(R). Los operadores de convolucin son operadores acotados en L1(R) (proposicin 7.5) y en
L2(R) (proposicin 7.7).
Debido a las propiedades regularizantes de la convolucin (proposicin 7.6), sta se emplea para
construir aproximantes, suficientemente regulares, de funciones en L1(R) o L2(R) (teoremas 7.11 y
7.12).
Las series de Fourier permiten representar funciones peridicas en R. Para representar una funcin
en R que no sea peridica se sustituye por la transformada de Fourier. En la seccin 7.2.1 se
estudia la transformada de Fourier en L1(R) y sus propiedades ms importantes:
Comportamiento en el infinito: lema de Riemann-Lebesgue.
Estudio de las propiedades de la transformada de Fourier: relacin con la derivacin
(teorema 7.18), relacin con la dilatacin, la traslacin y la modulacin (proposicin 7.21),
y relacin con la convolucin (proposicin 7.30).
Estudio de la inversin de la transformada de Fourier en L1(R) (teorema 7.23).
El estudio de la transformada de Fourier en L2(R) tiene un problema inicial: una funcin de
cuadrado integrable no tiene por qu ser integrable as que la definicin de transformada de Fourier
en L1(R) podra no tener sentido para una funcin de L2(R). Mediante la transformada de Fourier
en L1(R) restringida a un subespacio denso de L2(R), por ejemplo al espacio C200 (R) de las
funciones con dos derivadas continuas y que se anulan fuera de un intervalo acotado, se define, en
la seccin 7.2.2, la transformada de Fourier en el espacio de Hilbert L2(R). La transformada de
Fourier en L2(R) coincide con la transformada de Fourier en L1(R) en la interseccin de ambos
espacios (proposicin 7.33). La transformada de Fourier en L2(R) es un operador unitario en L2(R)
(teorema de Plancherel-Parseval, teorema 7.34).
Finalmente, en la seccin 7.3 se define, a partir de la transformada de Fourier en L2(R), la
transformada de Hilbert en L2(R). Se obtiene un operador unitario cuyas propiedades ms
importante quedan recogidas en la proposicin 7.38.
Conocimientos previos. En la teora de la transformada de Fourier hemos trabajado con la integral
de Lebesgue. La integral de Lebesgue ahorra esfuerzos en las demostraciones pues tiene resultados
ms potentes que los de la integral de Riemann y ms fciles de usar, como el teorema de la
convergencia dominada y el teorema de Fubini. Ahora bien, el captulo se puede estudiar con los
conocimientos bsicos sobre la integral de Lebesgue introducidos en el captulo 2. Tambin se
podrn consultar los enunciados de los teoremas citados en el apndice.
El ejemplo 7.36 requiere ciertos conocimientos de variable compleja: concepto de funcin
11

holomofa en C y el teorema de Morera que asegura que una funcin de variable compleja, cuya
integral a lo largo de cualquier curva cerrada de clase 1 en C vale cero, es holomorfa en C.
lo largo del captulo.
6, 9, 10, 13, 15, 16 y 17.
Lecturas complementarias: Se recomienda leer el apndice sobre la integral de Lebesgue. En
ningn caso la construccin de la integral de Lebesgue ser objeto de examen.
En este captulo se estudian una clase particular de espacios de Hilbert de funciones, los
denominados espacios de Hilbert con ncleo reproductor. La definicin de estos espacios resulta
de una aplicacin del teorema de representacin de Riesz, teorema 6.16. En estos espacios, los
funcionales de evaluacin son acotados y como consecuencia la convergencia en norma implica la
convergencia puntual. Se estudian algunas propiedades de estos espacios, as como algunos
ejemplos en los que stas se ponen de manifiesto. En particular, los espacios de Paley-Wiener en
los que se cumple la frmula de muestreo de Shannon (Seccin 8.3). Los espacios de Paley-Wiener
son espacios de funciones cuya transformada de Fourier se anulan fuera de un intervalo acotado y
en teora de la seal modelizan seales de energa finita cuyas frecuencias se mueven en un
intervalo finito.
Conocimientos previos. El ejemplo 8.10 requiere ciertos conocimientos de variable compleja. De
hecho, el espacio de Hardy en el disco unidad es un subespacio del espacio de funciones de
variable compleja analticas en D.
lo largo del captulo.
6 y 12.
3.- ORIENTACIONES PARA LA REALIZACIN DEL PLAN DE

ACTIVIDADES
Se recomienda la realizacin de las siguientes actividades:
3.1 Curso virtual

Lo primero es familiarizarse con el uso del Curso virtual: contenidos, herramientas y posibilidades.
3.2 Estudio
12

Estudio de los temas correspondientes en el texto de la bibliografa bsica de la asignatura:
Espacios de Hilbert y Anlisis de Fourier: los primeros pasos.
Se aconseja realizar una primera lectura de los contenidos dedicando mucho tiempo a las
definiciones y resultados principales as como a los ejemplos detalladamente expuestos en el texto.
3.3 Ejercicios
Se recomienda resolver los ejercicios propuestos en la seccin Orientaciones para el Estudio de
los Contenidos. Es muy importante enfrentarse a los problemas dedicndoles esfuerzo y tiempo,
antes de plantear sus dudas en alguno de los foros o de mirar las soluciones.
3.4 Tutoras y foros

Como medio para comunicarse con sus compaeros, con el Tutor y con el Equipo Docente, se
deben utilizar los foros del Curso virtual. Este medio es muy importante pues ayuda a resolver
dudas de forma rpida y a contrastar el estudio. El esfuerzo que se realiza para la exposicin de las
dudas ayuda a entender mejor el origen de sus problemas.
3.5 Complementos
El texto incluye un apndice final sobre la construccin de la integral de Lebesgue. No se
construye exhaustivamente la integral de Lebesgue pero son unas notas que pretenden dar una idea
intuitiva de la integral de Lebesgue as como exponer los resultados y propiedades bsicas de sta.
Como ya se ha precisado a lo largo de esta gua la construccin de la integral no ser objeto de
preguntas de examen. Sin embargo se recomienda la lectura del apndice pues la integral de
Lebesgue es una herramienta matemtica que desempea un papel importante en muchas ramas de
las matemticas, como el Anlisis Matemtico, la Teora de la Probabilidad, etc.
Este apndice puede servir de introduccin a aquellos alumnos que cursen la asignatura optativa de
la Integral de Lebesgue en el cuarto curso del grado de Matemticas donde se estudia el tema
con mayor profundidad. Para aquellos alumnos que no vayan a cursar dicha asignatura creemos
tambin que el apndice puede ser de utilidad en las aplicaciones.
Hay muchas extensiones posibles de los contenidos expuestos en esta asignatura. Por ejemplo, la
teora espectral de los operadores lineales autoadjuntos compactos que extiende la teora de
autovalores de las matrices y que surge del estudio de ecuaciones integrales. Puede leer una
versin bastante sencilla en el libro de Berberian (en la bibliografa complementaria). O la
aplicacin de las series de Fourier a la resolucin de ecuaciones en derivadas parciales que
estudiar en la asignatura de Ecuaciones en Derivadas Parciales.
Finalmente, quisiera comentar que los espacios de Hilbert forman un subconjunto de una categora
ms amplia de espacios, que son los espacios de Banach donde la norma no siempre est asociada
a un producto interno. Se estudian en una asignatura optativa de cuarto curso: Espacios
normados.
Evaluacin
La evaluacin de los conocimientos de esta asignatura se llevar acabo de acuerdo con el siguiente
procedimiento:
13

- La Prueba Presencial en los Centros Asociados y en las fechas fijadas por la UNED tendr el
mayor peso en la nota final del alumno. La Prueba consistir en un examen escrito con cuatro o
cinco problemas tericos o prcticos, que podrn tener diversos apartados, y que no superarn en
dificultad a los del Texto base. Representar al menos un 90% de la calificacin final,
dependiendo de la realizacin de la prueba de evaluacin continua.
- La notacin utilizada en las Pruebas Presenciales ser la del texto base, existiendo la
obligacin de conocerla.
- En las Pruebas Presenciales no se permitir ningn material ni calculadora.
- La prueba de evaluacin continua ser opcional para los alumnos. Se realizar mediante:
Cuestionario en lnea, accesible a travs de la plataforma virtual de la UNED.
La prueba se realizar el mircoles 14 de diciembre de 20:00h a 21:00 (hora peninsular)
- En caso de que el alumno decida no realizar el cuestionario de evaluacin continua la nota final
ser la de la Prueba Presencial.
- Para que las actividades de evaluacin continua tengan incidencia en la calificacin final, ser
imprescindible haber obtenido 4,5 o ms puntos en la calificacin del examen de la Prueba
Presencial.
- La calificacin final se obtendr de la manera siguiente: si N es la nota obtenida en la Prueba
Presencial y T es la nota obtenida en la prueba de Diciembre, la nota final es:

si N es estrictamente menor que 4,5, la nota es N.
si N 4,5, la nota es: mximo( N, 0,9 N+ 0,1 T), es decir, el mximo entre la nota de la Prueba
Presencial y la media ponderada (con pesos de 90% y 10%) de la Prueba Presencial y la Prueba de
Diciembre.
Criterios de Evaluacin de la Prueba Presencial
Se evaluarn los siguientes aspectos:
- Comprensin de los aspectos bsicos
- Resolucin de problemas en los que se demuestren las habilidades adquiridas.
- Formulacin correcta en lenguaje matemtico (claridad y precisin)
- Desarrollo de argumentos lgicos con clara identificacin de las hiptesis y las
conclusiones.
De manera general conviene recordar de que todas las soluciones de los ejercicios de la Prueba
Presencial debern estar suficientemente justificadas. Tambin se tendr en cuenta la presentacin
de los ejercicios de la Prueba Presencial.
4.- GLOSARIO
14

Existe un ndice terminolgico en el Texto Base de la asignatura. En este ndice, cada trmino
remite a la pgina donde se define el propio trmino.
A su vez, tambin encontrar en el Texto Base de la asignatura una lista de smbolos con
explicaciones de las notaciones utilizadas as como una referencia a la pgina donde se definen o
se utilizan por primera vez.
15

Guia Hilbert

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Guia Hilbert

Hochgeladen von

Copyright:

Verfügbare Formate

GUA

INTRODUCCIN A LOS ESPACIOS DE HILBERT

Mara Jos Muoz Bouzo

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

Introduccin a los espacios de Hilbert

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

| Mara Jos Muoz Bouzo

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

Introduccin a los espacios de Hilbert

El resto del tiempo debe dedicarse a repasar y a resolver ejercicios.

2.- ORIENTACIONES PARA EL ESTUDIO DE LOS CONTENIDOS

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

| Mara Jos Muoz Bouzo

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

Introduccin a los espacios de Hilbert

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

| Mara Jos Muoz Bouzo

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

Introduccin a los espacios de Hilbert

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

| Mara Jos Muoz Bouzo

Se nos plantean las siguientes preguntas:

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

Introduccin a los espacios de Hilbert

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

| Mara Jos Muoz Bouzo

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

Introduccin a los espacios de Hilbert

3.- ORIENTACIONES PARA LA REALIZACIN DEL PLAN DE

3.1 Curso virtual

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

| Mara Jos Muoz Bouzo

3.4 Tutoras y foros

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

Introduccin a los espacios de Hilbert

Presencial y T es la nota obtenida en la prueba de Diciembre, la nota final es:

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

| Mara Jos Muoz Bouzo

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

Das könnte Ihnen auch gefallen