Metodos IIIcurso 1314

Mtodos Matemticos de la
Fsica III (Espacios de Hilbert)
Profesores:
Jos Santiago: Teora y problemas grupo 1

(jsantiago @ugr.es)
Tutoras: M y J (11:00-13:00 y 14:00-15:00) despacho A03.
Fernando Cornet: Problemas grupo 2 (cornet

@ugr.es)
Tutoras: L (17:00-18:30), X (12:00-13:00, 17:00-18:30), V

(10:00-12:00) despacho 02
Detalles del temario, informacin, apuntes en:
www.ugr.es/~jsantiago/Docencia/MMIII/
Curso 2013/2014 (2 cuatrimestre)
Mtodos Matemticos de la Fsica III
Mtodos Matemticos de la
Fsica III (Espacios de Hilbert)
Bibliografa principal:
L. Abellanas y A. Galindo, Espacios de Hilbert, Eudema, 1987.
A. Vera Lpez y P. Alegra Ezquerra, Un curso de Anlisis Funcional.

Teora y problemas, AVL, 1997.
G. Helmberg, Introduction to spectral theory in Hilbert space, Dover,

1997.
P. Roman, Some modern mathematics for physicists and other outsiders,

vol. 2, Pergamon, 1975.
P. Lax, Functional Analysis, Wiley 2002.
A. Galindo y P. Pascual, Mecnica Cuntica, Eudema, 1989.
E. Romera y otros, Mtodos Matemticos, Paraninfo, 2013.
Notas de clase muy esquemticas: ejemplos, demostraciones y

comentarios importantes en pizarra o de viva voz (tomad apuntes)
Motivacin
Postulados de la Mecnica Cuntica
Postulado I:
A cada sistema fsico corresponde un espacio de

Hilbert complejo separable y cada estado puro est
descrito por un rayo
en dicho espacio
Postulado II:
A cada observable de un sistema corresponde un

operador lineal autoadjunto en el espacio de
hilbert cuyos autovalores son los posibles valores
de una medida del observable
Postulado III: La probabilidad de que al medir un observable (A)

sobre un estado puro (
) se obtenga un valor ( )
es
donde
es el proyector al
subespacio propio de autovalores
No slo MC. Ecuaciones diferenciales, integrales, ...
Motivacin
No slo MC. Ecuaciones diferenciales,

integrales,
Ms en general, un espacio de Hilbert es la
estructura matemtica necesaria cuando uno
tiene que generalizar (o
), incluyendo su
geometra y las posibles operaciones sobre
vectores a espacios de dimensin infinita
Esquema del curso
Preliminares: Espacios lineales y espacios mtricos
Espacios normados y de Banach
Espacios con producto escalar y de Hilbert.
Espacios de funciones. Desarrollo en autovalores.
Funcionales y espacio dual. Teora de distribuciones
Operadores en Espacios de Hilbert
Teora espectral de operadores
Por qu espacios de Hilbert?
Generalizan propiedades de
Espacio
Lineal
Combinaciones lineales (finitas)

de vectores. Independencia lineal.
Base lineal.
Espacio
Mtrico
Distancia invariante bajo

traslaciones: basta conocer
distancia al origen (norma)
a espacios de dimensin infinita
Combinaciones infinitas
requieren lmites: nocin
de distancia
Espacio
Normado
Generalizacin de
: necesitamos
geometra (ortogonalidad, ngulos).
Producto escalar.
Espacio
(pre)Hilbert
6
Espacios Lineales
Definicin: Espacio lineal (o vectorial) sobre un cuerpo es una

terna (L, +, .) formada por un conjunto L no vaco y dos aplicaciones
(suma y producto por escalares) que satisfacen:
Espacios Lineales
Propiedades inmediatas:
Notacin:
Espacios Lineales
Definicin: Subespacio lineal. Subconjunto no vaco de espacio lineal con

estructura de espacio lineal.
Propiedades:
Definicin. Envolvente lineal:
Propiedades:
Espacios Lineales
Definicin: Independencia lineal.
Definicin: Base de Hamel. Conjunto l.i. Maximal (no contenido en ningn

otro conjunto l.i.).
Propiedades:
10
Espacios Lineales
Definicin: Suma directa de subespacios. Sean
Teorema: Sea L=M1+M2
En general si L=M1+...+Mn
subesps. de L
11
Espacios Lineales
Resumen resultados:
(Sub)espacio lineal: (L,+,.)
Envolvente lineal: [S]={combinaciones lineales FINITAS de S}
Independencia lineal: combinacin lineal finita=0
todos los coeficientes=0
Base de Hamel: Conjunto l.i. maximal. Cardinal nico (dimensin lineal).

Descomposicin de elementos de L en trminos de elementos de B nica.
Suma directa de subespacios: suma de subespacios con interseccin (a la suma
del resto) el cero de L.
Otros resultados y definiciones (operadores, operador inverso, isomorfismos,

proyectores, ) se pueden definir aqu pero los veremos directamente en espacios de
Hilbert
12
Espacios Mtricos
Definicin: Espacio mtrico es un par (X,d) donde X es un conjunto no vaco

arbitrario y
es una aplicacin (distancia o mtrica) que cumple:
Propiedades
13
Espacios Mtricos
Definiciones: Sea (X,d) un espacio mtrico.
Bola abierta de centro x y radio r:
Bola cerrada de centro x y radio r:
Interior de A:
Cierre de A:
Subespacio cerrado:
Subespacio denso:
14
Espacios Mtricos
Propiedades de abiertos y cerrados:
15
Espacios Mtricos
Definicin: Sucesin convergente
Definicin: Sucesin de Cauchy
Propiedad: Toda sucesin convergente es de Cauchy
Definicin: Un espacio mtrico es completo si toda sucesin de Cauchy es

convergente. Un subespacio
es completo si toda sucesin de Cauchy
en S converge en S
Propiedades: Sea
16
Espacios Mtricos
Resumen resultados:
(Sub)espacio mtrico: (X,d)
Bolas abiertas y cerradas
Punto interior: bola abierta centrada en x dentro de A
int A= conjunto de ptos interiores de A. Subespacio abierto.
Punto de adherencia de A, si toda bola abierta centrada en x tiene interseccin no

nula con A. Cierre de A. Subespacio cerrado. Subespacio denso en X
Sucesin convergente
Sucesin de Cauchy
Espacio mtrico completo: Cauchy
convergente
Otras propiedades (aplicaciones, continuidad, acotacin, ) se pueden definir

aqu pero las veremos directamente en espacios de Hilbert.
17
Espacios Normados
Definicin: Espacio normado, es un par (X,||.||) formado por un espacio lineal

X y una aplicacin
(norma) con las siguientes propiedades:
Todo subespacio lineal de X esp. normado, es subespacio normado con la norma de X.
Relacin entre espacios normados y mtricos
Todo espacio normado es mtrico con distancia d(x,y)=||x-y||
La distancia asociada satisface
Todo esp. lineal mtrico con estas propiedades es normado con ||x||=d(x,0)
Definicin: Espacio de Banach. Espacio normado completo.
18
Espacios Normados
Propiedades:
Teorema de Complecin:
Todo espacio lineal normado

admite una complecin , espacio lineal
normado completo, nica salvo isomorfismos en norma, tal que es denso en
y
Sumas infinitas en espacios normados
19
Espacios Normados
Desigualdad de Hlder (para sumas):
Desigualdad de Minkowski (para sumas):
20
Espacios Normados
Resumen resultados:
(Sub)espacio normado: (X,||.||)
Relacin norma
Espacios de Banach (normado completo)
Convergencia absoluta
Subespacio de espacio de Banach es Banach
Teorema de complecin: todo espacio normado es completable de manera nica
distancia
convergencia en espacios de Banach
cerrado
Una suma infinita converge en (X,||.||) a v si la sucesin de sumas parciales

converge a v
Desigualdades de Hlder y Minkowski
21
Espacios Hilbert
Definicin: Espacio pre-Hilbert es un espacio lineal con un producto escalar

asociado.
Producto escalar:
En particular se cumple
con las siguientes propiedades
22
Espacios Hilbert
Propiedad: Todo espacio pre-Hilbert es espacio normado con la norma

asociada al producto escalar
Definicin: Espacio de Hilbert es un espacio pre-Hilbert completo con la norma
asociada al producto escalar (propiamente distancia asociada a la norma).
Propiedades: Sea
espacio pre-Hilbert y
la norma asociada:
Relacin producto escalar-norma: Un espacio normado

que satisface la
identidad del paralelogramo es espacio pre-Hilbert con un producto escalar
que satisface
23
Espacios Hilbert
Propiedades: Sea
Desigualdad de Schwarz-Cauchy-Buniakowski
Desigualdad triangular
Continuidad del producto escalar
la norma asociada:
24
Espacios Hilbert
Propiedades: Sea
la norma asociada:
Teorema de Pitgoras (generalizado):
Teorema de Pitgoras
25
Espacios Hilbert
Propiedades:
Desigualdad finita de Bessel:
Desigualdad infinita de Bessel:
Teorema de complecin:
26
Espacios Hilbert
Definicin: complemento ortogonal
Propiedades del complemento ortogonal
27
Espacios Hilbert
Teorema de la proyeccin ortogonal
Enunciado equivalente:
28
Espacios Hilbert
Propiedades:
Definicin: Suma directa ortogonal
29
Espacios Hilbert
Teorema:
Teorema:
30
Espacios Hilbert
Teorema de ortogonalizacin de Gram-Schmidt:
Solucin:
Definicin: Base ortonormal
Teorema: Existencia de bases ortonormales
31
Espacios Hilbert
Teorema: Caracterizacin de bases ortonormales:
32
Espacios Hilbert
Definicin: Espacios topolgicos (y mtricos) separables:
Un espacio topolgico X se dice separable si posee algn subconjunto numerable

denso en X.
Un espacio mtrico M es separable si y slo si posee una base numerable de
abiertos.
Criterio de separabilidad en espacios de Hilbert
Proposicin:
Todas las bases ortonormales de un espacio de Hilbert H tienen el mismo cardinal

(dimensin Hilbertiana de H).
33
Espacios Hilbert
Teorema del Isomorfismo:

Definicin:
Teorema:
Corolarios:
34
Espacios Hilbert
Resumen de resultados:
Espacio (pre-)Hilbert: Espacio lineal con producto escalar completo
Hilbert
Identidades del paralelogramo y de polarizacin
Desigualdades de Schwarz y Triangular, continuidad producto escalar
Ortonormalidad. Teorema de Pitgoras y desigualdad de Bessel
Teorema de complecin
Complemento y proyector ortogonal. Aproximacin ptima a un vector.
Ortogonalizacin de Gram-Schmidt
Bases ortonormales. Espacios separables
Teorema del isomorfismo
Normado
35
Espacios de funciones
Algunos de los casos ms importantes de espacios de Hilbert.
Ejemplos:
Ejemplo de no completitud de
Podemos aumentar el espacio de funciones con los lmites de sucesiones de

Cauchy para completarlo. Necesitaremos un nuevo concepto de integral.
36
Integral de Riemann:
Particin del eje x y convergencia comn de integrales superior e inferior
Integral de Lebesgue:
Particin del eje y y medida de subconjuntos del eje x
37
Necesitamos desarrollar un nuevo concepto de medida
Boreliano:
Medida Borel-Lebesgue (de un boreliano B):
Propiedades:
38
Necesitamos desarrollar un nuevo concepto de medida
Funcin medible Borel:
f compleja es Borel si su parte real e imaginaria lo son
Caracterizacin de funciones medibles Borel:
Integral de Lebesgue
Fcil de extender a
funciones ms generales
39
Funciones integrables Lebesgue
Propiedades casi por doquier (c.d.).
Espacios L1.
40
Espacios Lp:
Definicin:
Propiedades:
41
Desigualdades (integrales) de Hlder y Minkowski
42
Algunas bases ortonormales importantes en L2:
Base de Legendre
Base de Hermite
43
Base de Laguerre
Bases ortonormales de polinomios asociados a funcin peso
44
Bases de Fourier
45
Bases de Fourier
Criterio de convergencia de Jordan (convergencia en media)
Bases solo en senos o cosenos
46
Desarrollos en autofunciones
Sea el operador diferencial
toda funcin
se puede desarrollar en autofunciones de
con
Autovalor
47
Borelianos. Medida de Borel-Lebesgue. Funciones medibles Borel.
Integral de Lebesgue.
Funciones integrables Lebesgue. Espacios
Propiedades casi por doquier. Espacios
es espacio de Hilbert (complecin de
Desigualdades integrales de Hlder y Minkowski
Bases de polinomios ortonormales en
Bases de Fourier. Desarrollo en serie de Fourier.
Desarrollo en autofunciones.
48
Funcionales Lineales
Definiciones:
Teorema: Sea F un funcional sobre un espacio normado
49
Definicin: Espacio dual de un espacio de Hilbert (H,<,>) es el conjunto de

funcionales continuos sobre H.
Tiene estructura de espacio de Hilbert (como veremos)
Proposicin: Sea (H,<,>) espacio de Hilbert de dimensin finita:
Todo funcional lineal en H es continuo
Teorema de Riesz-Frchet: Sea (H,<,>) espacio de Hilbert (separable o no)
50
Propiedades:
51
Formas Bilineales:
52
Convergencia fuerte
Convergencia dbil
Teoremas:
53
Teora de distribuciones
Espacios de funciones prueba:
Espacio de funciones de soporte acotado
Espacio de funciones de decrecimiento rpido
Convergencia
Convergencia
Propiedades
54
Definiciones y propiedades:
Distribucin:
Espacio de distribuciones:
Condicin suficiente de T continua
Distribucin temperada:
Espacio de distribuciones temperadas:
La condicin suficiente de continuidad aplica igual.
Propiedad:
55
Operaciones con distribuciones
Producto por una funcin:
Derivada de una distribucin:
Traslacin:
Estas operaciones son continuas respecto a la siguiente definicin de

convergencia de distribuciones
Con esta nocin de convergencia

son completos y
es denso en
56
Ejemplos de distribuciones:
Delta de Dirac
57
Ejemplos de distribuciones:
1
x
Valor principal de
Distribucin caracterstica (distribucin)
(distribucin temperada)
58
Teorema de la regularidad
Transformada de Fourier
Transformada de Fourier de distribuciones
59
Funcionales lineales
Espacio dual: funcionales lineales acotados
Teorema de Riesz-Frchet: representacin de funcionales en esp de Hilbert
Formas bilineales y su representacin en espacios de Hilbert
Espacios de funciones prueba (de soporte acotado y de decrecimiento rpido)
Distribucin (temperada): funcional lineal sobre espacio de funciones prueba
Operaciones con distribuciones: producto por funcin, derivada, traslacin
Ejemplos de distribuciones: delta, escaln, VP(1/x), distribucin caracterstica
Teorema de la regularidad
Transformada de Fourier (de distribuciones).
, acotados y continuos
60
Operadores en espacios de Hilbert
Definicin:
Propiedades:
61
Definicin:
Definicin:
Teorema:
Espacio dual:
62
Propiedad:
Definicin:
Teorema (de extensin de operadores acotados en dominio denso):
solucin
Propiedades:
63
Definicin:
Criterio de existencia de operador inverso
Nota:
Teorema (criterio de inversin manteniendo acotacin):
Corolario:
64
Topologas en
Topologa uniforme o de la norma
Topologa fuerte
Topologa dbil
En dimensin finita (dim H finita) son todas equivalentes
En dimensin infinita
65
Algunos operadores interesantes
Operadores en dimensin finita
Operadores destruccin, creacin y nmero (en
Operador rotacin (en
Operador traslacin (en
).
).
66
Algunos operadores interesantes
Operador posicin (en
).
Operador derivacin.
Propiedades: definamos los operadores posicin y momento en
se cumple
67
Operador adjunto
Propiedades:
68
Igualdad de operadores
Tipos especiales de operadores:
Operador simtrico o hermtico
Operador autoadjunto
Operador autoadjunto acotado
69
Propiedades de operadores autoadjuntos acotados
Operador isomtrico
propiedad
70
Operador unitario
Nota:
Caracterizacin de operador unitario.
71
Proyector ortogonal
Teorema:
Operador normal
Nota:
Propiedades:
72
Resumen de resultados
Operador
Operador continuo
Teorema de extensin de ops acotados con dominio denso
Operador inverso. Existencia del operador inverso (manteniendo acotacin)
Topologas uniforme, fuerte y dbil en
, acotado
y acotado en su dominio
acotado
Ejemplos de operadores (dim. finita, creacin, destruccin, nmero, posicin,

derivada)
Operador adjunto
Operador hermtico, autoadjunto, isomtrico, unitario, normal
Proyector ortogonal
73
Definicin: Espectro y resolvente de operadores lineales
se puede separar en los siguientes subconjuntos, segn el comportamiento del

operador
74
Propiedades:
Autovectores y autovalores
Independencia lineal de autovectores con autovalores distintos
Propiedades topolgicas de espectro y resolvente
Espectro del operador adjunto:
75
Propiedades:
Espectro operadores normales:
Espectro operadores unitarios (en particular normales):
Espectro operadores isomtricos (en general no normales):
76
Propiedades:
Espectro proyectores ortogonales:
Espectro operadores autoadjuntos:
77
Definicin:
Teorema:
78

Metodos IIIcurso 1314

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Metodos IIIcurso 1314

Uploaded by

Copyright:

Available Formats

Mtodos Matemticos de la

Fsica III (Espacios de Hilbert)

Jos Santiago: Teora y problemas grupo 1

Tutoras: M y J (11:00-13:00 y 14:00-15:00) despacho A03.

Fernando Cornet: Problemas grupo 2 (cornet

Tutoras: L (17:00-18:30), X (12:00-13:00, 17:00-18:30), V

Detalles del temario, informacin, apuntes en:

Curso 2013/2014 (2 cuatrimestre)

Mtodos Matemticos de la Fsica III

L. Abellanas y A. Galindo, Espacios de Hilbert, Eudema, 1987.

A. Vera Lpez y P. Alegra Ezquerra, Un curso de Anlisis Funcional.

G. Helmberg, Introduction to spectral theory in Hilbert space, Dover,

P. Roman, Some modern mathematics for physicists and other outsiders,

P. Lax, Functional Analysis, Wiley 2002.

A. Galindo y P. Pascual, Mecnica Cuntica, Eudema, 1989.

E. Romera y otros, Mtodos Matemticos, Paraninfo, 2013.

Notas de clase muy esquemticas: ejemplos, demostraciones y

Curso 2013/2014 (2 cuatrimestre)

Mtodos Matemticos de la Fsica III

Postulados de la Mecnica Cuntica

A cada sistema fsico corresponde un espacio de

A cada observable de un sistema corresponde un

Postulado III: La probabilidad de que al medir un observable (A)

No slo MC. Ecuaciones diferenciales, integrales, ...

Curso 2013/2014 (2 cuatrimestre)

Mtodos Matemticos de la Fsica III

No slo MC. Ecuaciones diferenciales,

Curso 2013/2014 (2 cuatrimestre)

Mtodos Matemticos de la Fsica III

Esquema del curso

Preliminares: Espacios lineales y espacios mtricos

Espacios normados y de Banach

Espacios con producto escalar y de Hilbert.

Espacios de funciones. Desarrollo en autovalores.

Funcionales y espacio dual. Teora de distribuciones

Operadores en Espacios de Hilbert

Teora espectral de operadores

Curso 2013/2014 (2 cuatrimestre)

Mtodos Matemticos de la Fsica III

Por qu espacios de Hilbert?

Combinaciones lineales (finitas)

Distancia invariante bajo

Curso 2013/2014 (2 cuatrimestre)

a espacios de dimensin infinita

Definicin: Espacio lineal (o vectorial) sobre un cuerpo es una

Curso 2013/2014 (2 cuatrimestre)

Mtodos Matemticos de la Fsica III

Curso 2013/2014 (2 cuatrimestre)

Mtodos Matemticos de la Fsica III

Definicin: Subespacio lineal. Subconjunto no vaco de espacio lineal con

Definicin. Envolvente lineal:

Curso 2013/2014 (2 cuatrimestre)

Mtodos Matemticos de la Fsica III

Definicin: Independencia lineal.

Definicin: Base de Hamel. Conjunto l.i. Maximal (no contenido en ningn

Curso 2013/2014 (2 cuatrimestre)

Mtodos Matemticos de la Fsica III

Definicin: Suma directa de subespacios. Sean

Teorema: Sea L=M1+M2

Curso 2013/2014 (2 cuatrimestre)

Mtodos Matemticos de la Fsica III

(Sub)espacio lineal: (L,+,.)

Envolvente lineal: [S]={combinaciones lineales FINITAS de S}