Espacios vectoriales

Transformaciones lineales
lgebras y lgebra de L(V)
Derivadas de funciones de operadores
Conjugacin de operadores
Operadores hermticos y unitarios
Operadores de proyeccin
lgebra de operadores
Fsica Matemtica III
7 de agosto de 2012
Fsica Matemtica III lgebra de operadores
ndice
1
Espacios vectoriales
2
Transformaciones lineales
3
lgebras y lgebra de L(1)
4
Derivadas de funciones de operadores
5
Conjugacin de operadores
6
Operadores hermticos y unitarios
7
Operadores de proyeccin
Espacio vectorial
Denicin 1
Un espacio vectorial 1 es un conjunto de objetos, llamados
vectores, con las propiedades siguientes:
1
Cierre bajo la operacin de suma
[a +[b = [b +[a
[a + ([b +[c) = ([a +[b) +[c
[a +[0 = [a
[a + ([a) = [0
2
Cierre bajo la multiplicacin por un escalar (que puede ser un
nmero complejo o un nmero real):
( [a) = () [a
1 [a = [a
3
La multiplicacin por un escalar es distributiva:
([a +[b) = [a + [b
( + ) [a = [a + [a
Ejemplos
R
n
, formado por el conjunto de las tuplas de nmeros reales
de longitud n n-tuplas (a
1
, a
2
, ..., a
n
) sobre los nmeros
reales.
R
n
sobre los nmeros complejos NO es un espacio vectorial.
C
n
, formado por el conjunto de las tuplas de nmeros
complejos de longitud n n-tuplas (z
1
, z
2
, ..., z
n
) sobre los
nmeros complejos.
/
mn
, formado por el conjunto de las matrices complejas
m n con m las y n columnas sobre los nmeros complejos.
T
c
[t], formado por el conjunto de todos los polinomios en la
variable t con coecientes complejos sobre los nmeros
complejos.
T
r
[t], formado por el conjunto de todos los polinomios en la
variable t con coecientes reales sobre los nmeros reales.
T
r
[t] sobre los nmeros complejos NO es un espacio vectorial.
Independencia lineal
Denicin 2
Un conjunto de vectores [a
1
, [a
2
, ..., [a
n
, son linealmente
independientes si cumplen
n

i =1

i
[a
i

. .
combinacin
lineal
= 0
i
= 0 para todo i
Denicin 3
Un subespacio J de un espacio vectorial 1 es un subconjunto no
vaco que cumple
[a , [b J [a + [b J,
Base
Teorema 4
Dado o 1, entonces el conjunto J
S
de todas las combinaciones
lineales de los vectores en o es un subespacio de 1. Se dice que
J
S
es generado (spanned) por o o que o genera (spans) a J
S
:
J
S
Span (o)
Denicin 5
Una base de un espacio vectorial 1 es un conjunto B de vectores
linealmente independientes que genera completamente a 1. Cuando
una base de 1 es nita, entonces 1 es de dimensin nita; mientras
que cuando es innita, entonces 1 es de dimensin innita.
Teorema 6
Todas las bases de un espacio vectorial de dimensin nita tienen el
mismo nmero de vectores linealmente independientes. Este
nmero se conoce con el nombre de dimensin.
Ejemplos
R es un subespacio de C sobre los nmeros reales.
T
c
n
[t], formado por el conjunto de todos los polinomios en la
variable t de grado menor o igual a n con coecientes
complejos sobre los nmeros complejos, es un subespacio de
T
c
[t].
C
n1
, formado por las n-tuplas complejas con el ltimo
elemento igual a cero, es un subespacio de C
n
.
El nmero 1 es una base para R sobre R.
Los nmeros 1 y i =

1 forman una base de C sobre R.

El nmero 1 es una base para C sobre C. En este caso la
dimensin del espacio vectorial es 1, aunque los vectores son
los mismos que en el ejemplo anterior, en donde la dimensin
era 2.
El conjunto formado por los monomios 1, t, t
2
, ..., t
n
forma
una base para T
c
n
[t], de donde se deduce que la dimensin es
n + 1.
Producto interno
Denicin 7
El producto interno de vectores pertenecientes a un espacio
vectorial 1 sobre C es una funcin que asocia un nmero complejo
a cada par de vectores [a y [b
g : 1 1 C,
donde g ([a , [b) se denotar tambin como a [ b, cumpliendo
1
a [ b = b [ a

a [ a R
2
a[ ( [b + [c) = a [ b + a [ c
3
a [ a 0, y a [ a = 0 [a = 0
Notas
La existencia de un producto interno en un espacio vectorial es
un problema no trivial.
Si el producto interno se ha denido, se le llama espacio
vectorial con producto interno y pueden existir diferentes
maneras de denirlo.
Para los espacios vectoriales de dimensin nita, puede
demostrarse que el producto interno es nico.
Adoptando la notacin [b + [c [b + c, tendremos
que
a [ b + c = a [ b + a [ c ,
mientras que
b + c [ a =

b [ a +

c [ a
Se dice que el producto interno es sesquilineal porque es
lineal complejo conjugado en el primer argumento, mientras
que es lineal en el segundo.
Ejemplos
Dados [a , [b C
n
con [a = (
1
,
2
, ...,
n
) y
[b = (
1
,
2
, ...,
n
), entonces el producto interno est bien
denido por
a [ b =
n

i =1

i

i
.
Sean f , g C(a, b), donde C(a, b) representa el conjunto de
todas las funciones complejas de variable real en el intervalo
(a, b) que poseen primera derivada continua. Entonces el
producto interno est bien denido por
f [ g =
_
b
a
w (x) f

(x) g (x) dx,

donde w (x) es positiva en el intervalo (a, b).
Ortogonalidad entre vectores
Teorema 8
Para cualquier par de vectores [a , [b 1 se satisface la
desigualdad de Schwarz
a [ a b [ b [a [ b[
2
.
La igualdad se satisface cuando [a y [b son proporcionales entre s.
Deniciones 9
Los vectores [a , [b 1 son ortogonales cuando a [ b = 0.
Una base ortogonal es aqulla cuyos vectores son ortogonales.
Ejemplo
Las funciones [e
k
= e
ikx
/

2 forman una base ortonormal en

C(0, 2) tomando w (x) = 1:
e
k
[ e
l
=
1
2
_
2
0
e
ikx
e
ilx
dx =
kl
Norma de un vector
Deniciones 10
La norma o longitud de un vector se dene como |a|
_
a [ a.
Un vector normalizado es aqul cuya norma es igual a 1.
Una base ortonormal es aqulla cuyos vectores son ortogonales y
normalizados.
Propiedades:
1
La norma del vector cero es nula: |0| = 0.
2
La norma de cualquier vector diferente del vector cero es
positiva: |a| > 0.
3
|a| = [[ |a|.
4
Desigualdad triangular: |a + b| |a| +|b|.
Denicin 11
Espacio lineal normado es aqul espacio vectorial donde hay
denida una norma.
Ley del paralelogramo
Los espacios vectoriales con un producto interno bien denido
son automticamente espacios normados.
Sin embargo no siempre los espacios normados son espacios
vectoriales. Para ello es necesario que se cumpla lo siguiente:
Denicin 12
Ley del paralelogramo
|a + b|
2
+|a b|
2
= 2 |a|
2
+ 2 |b|
2
Entonces es posible denir el producto interno a partir de las
normas de los vectores:
a [ b =
|a + b|
2
|a b|
2
i |a + ib|
2
+ i |a ib|
2
4
Ley del paralelogramo
Teorema 13
Un espacio lineal normado es un espacio vectorial con un producto
interno denido si y slo si la norma satisface la ley del
paralelogramo.
Escogiendo una base [a
i

N
i =1
, para cualquier vector [a con
componentes
i

N
i =1
en esta base puede comprobarse que la
siguiente denicin de norma
|a|
2

i =1
[
i
[
2
satisface la ley del paralelogramo.
Teorema 14
Todo espacio vectorial de dimensin nita admite la denicin de
un producto interno.
El mtodo Gram-Schmidt
Consiste en el proceso de obtencin de una base ortonormal a
partir de una base cualquiera en un espacio vectorial.
Primero construimos una base ortogonal:

1
_
= [a
1

2
_
= [a
2

[e

1
e

1
[ a
2

1
[ e

3
_
= [a
3

[e

1
e

1
[ a
3

1
[ e

[e

2
e

2
[ a
3

2
[ e

... ... ...

n
_
= [a
n

n1

k=1

k
_
e

a
n
_

k
_
... ... ...
Despus se normalizan los vectores utilizando la expresin
[e
n
=
[e

|e

n
|
Transformacin lineal
Deniciones 15
Una transformacin lineal consiste en una correspondencia entre
espacios vectoriales T : 1 J que preserva las combinaciones
lineales
T ([a + [b) = T ([a) + T ([b) .
Una transformacin lineal T : 1 1 se llama endomorsmo u
operador lineal en 1.
El conjunto de las transformaciones lineales de 1 a J se
denota por L(1, J) y resulta ser un espacio vectorial.
El conjunto de los endomorsmos de 1 se denota por L(1).
Dos transformaciones lineales, T : 1 J y U : 1 J son
iguales si y slo si T ([a
i
) = U ([a
i
) para todos los vectores
[a
i
de una base en 1.
Ejemplos
El operador derivada D en T
c
[t]: sea [x T
c
[t], con
x (t) =

n
k=0

k
t
k
, entonces deniendo la accin de D como:
D [x =
n

k=1
k
k
t
k1
convierte a D en una transformacin lineal.
El operador integral S en T
c
[t]: sea [x T
c
[t], con
x (t) =

n
k=0

k
t
k
, entonces deniendo la accin de S como:
S [x =
n

k=1

k
k + 1
t
k+1
convierte a S en una transformacin lineal.
Ncleo e imagen
Denicin 16
Sea la transformacin lineal T : 1 J. El conjunto de vectores
en 1 que se transforman en el vector cero en J forma un
subespacio en 1 que se denomina ncleo o kernel de T y se
denota por ker T
ker T 1.
Denicin 17
Sea la transformacin lineal T : 1 J. El conjunto de vectores
en J que se obtienen al aplicar T en 1 forma un subespacio en J
que se denomina imagen (range) de T y se denota por T (1)
T (1) J.
La dimensin de T (1) se conoce como rango de T.
Teorema de la dimensin
Teorema 18
Una transformacin lineal es inyectiva si y slo si su ncleo es el
vector cero.
Teorema 19
Sea la transformacin lineal T : 1 J. Entonces
dim 1 = dim ker T + dim T (1) .
Corolario 20
Un endomorsmo de un espacio vectorial de dimensin nita es
biyectivo si es inyectivo o sobreyectivo.
Ejemplo
Ejemplo 21
Ncleo de T : R
4
R
3
dado por
T (x
1
, x
2
, x
3
, x
4
) = (2x
1
+ x
2
+ x
3
x
4
,
x
1
+ x
2
+ 2x
3
+ 2x
4
,
x
1
x
3
3x
4
)
ker T = (1, 3, 1, 0) + (3, 5, 0, 1) con , R
T (x
1
, x
2
, x
3
, x
4
) = (2x
1
+ x
2
+ x
3
x
4
) (1, 0, 1)
+ (x
1
+ x
2
+ 2x
3
+ 2x
4
) (0, 1, 1)
Isomorsmo
Deniciones 22
Un espacio vectorial 1 es isomorfo a otro espacio vectorial J si
existe una transformacin lineal biyectiva T : 1 J. Entonces se
dice que T es un isomorsmo.
Denicin 23
Un transformacin lineal biyectiva de 1 hacia s mismo se denomina
automorsmo.
El conjunto de los automorsmos de 1 se denota por GL (1).
Isomorsmo
Teorema 24
Una transformacin lineal sobreyectiva es un isomorsmo si y slo si
su ncleo es el vector cero.
Teorema 25
Un isomorsmo T : 1 J transforma conjuntos de vectores de
1 linealmente independientes en conjuntos de vectores de J
linealmente independientes.
Teorema 26
Dos espacios vectoriales de dimensin nita son isomorfos si y slo
si tienen la misma dimensin.
Espacios duales
Denicin 27
Un funcional lineal consiste en una transformacin lineal
T : 1 J donde J coincide con R o C.
Denicin 28
El conjunto de los funcionales lineales L(1, C) (o L(1, R) si 1 es
un espacio vectorial real) se denomina espacio dual y se denota
por 1

.
Base dual
Teorema 29
Sea 1 un espacio vectorial de dimensin N con una base
B = [a
1
, [a
2
, ..., [a
N
y los funcionales lineales f
i
con la
propiedad f
i
[a
j
=
ij
. Entonces a la base B le corresponde una
base nica B

= f
1
, f
2
, ..., f
N
que es base del espacio dual 1

.
Demostracin. Consideremos un funcional arbitrario g 1

, que
estar unvocamente determinado por su accin sobre la base B:
g [a
i
=
i
C.
Consideremos ahora un vector arbitrario en 1 dado por
[a =

N
i =1

i
[a
i
. Entonces
g [a = g
_
N

i =1

i
[a
i

_
=
N

i =1

i
g [a
i
=
N

i =1

i
.
Base dual (continuacin)
que podemos reescribir como
N

i =1

i
=
N

i =1
N

j =1

ij

j
=
N

i =1
N

j =1

j
f
i
[a
j

=
_
N

i =1

i
f
i
_
_
_
N

j =1

j
[a
j

_
_
,
donde podemos identicar claramente que
g =
_
N

i =1

i
f
i
_
.
Vectores duales
As, a cada vector [a en 1 le corresponder un funcional lineal
f
a
nico en 1

que vendr dado por

[a =
N

i =1

i
[a
i
f
a
=
N

i =1

i
f
i
,
denominado dual de [a.
Esta correspondencia es lineal
[a + [b f
a
+ f
b
Conexin con el producto interno
Es posible conectar el producto interno y los funcionales
lineales. Sea
i
= f
b
[a
i
y supongamos que hay un vector [b
tal que
i
= b[ a
i
. Entonces:

i
= b[ a
i
= f
b
[a
i

y podemos identicar f
b
b[.
Esta correspondencia es sesquilineal
f
a
+ f
b

a[ +

b[
Tambin se emplea la notacin ([a)

a[ , donde el smbolo
daga signica dual. Entonces tenemos
([a + [b)

a[ +

b[ .
Notacin matricial
Es til representar en forma de vector columna a los vectores
[b y como vectores las a los funcionales a[
[b =
_
_
_
b
1
.
.
.
b
N
_
_
_
; a[ =
_
a

1
. . . a

N
_
.
El producto interno puede obtenerse como un producto
matricial:
a[ b =
_
a

1
. . . a

N
_
_
_
_
b
1
.
.
.
b
N
_
_
_
=
N

i =1
a

i
b
i
Los operadores lineales T : 1 J se pueden representar
mediante matrices m n donde m y n seran las dimensiones
de 1 y J respectivamente.
Operadores Duales
Sean dos espacios vectoriales 1 y | con la transformacin
lineal T
T : 1 |
[v
a
[u
a
= T [v
a

Dado un vector [u
b
| y [u
a
= T [v
a
, el producto interno
entre ambos estara denido en | y vendra dado por u
b
[ u
a
,
u
b
[ |

.
Consideremos el vector [v
b
1 tal que el producto interno
con [v
a
coincida con el producto interno anterior
v
b
[ v
a
= u
b
[ u
a
, v
b
[ 1

.
La transformacin dual T

se dene como la que permite

obtener v
b
[ a partir de u
b
[ para que se satisfaga la igualdad
anterior.
Transformacin dual
Denicin 30
Sea T : 1 | una transformacin lineal. Su transformacin dual
T

se dene como
T

: |

u
b
[ v
b
[ = T

u
b
[ u
b
[ T

sujeto a la condicin
v
b
[ v
a
= u
b
[ u
a

(u
b
[ T

) [v
a
= u
b
[ (T [v
a
)
para todo [v
a
1 y u
b
[ |

.
Producto tensorial
Denicin 31
Sean | y 1 dos espacios vectoriales de dimensin N y M con las
bases B
U
= [u
i

N
i =1
y B
V
= [v
i

M
i =1
. Consideremos el espacio
vectorial J de dimension NM con la base B
W
denida por
[u
i
, v
j
= ([u
i
, [v
j
) B
W
= [u
i
, v
j

N,M
i =1,j =1
Sean [a =

N
i =1

i
[u
i
| y [b =

M
i =1

i
[v
i
1. Entoces se
dene el vector [a, b J como
[a, b =
N

i =1
M

j =1

j
[u
i
, v
j

El espacio J se denomina producto tensorial de | y 1 y se

denota por J = | 1. Para los elementos de su base tambin se
emplea la misma notacin[u
i
, v
j
= [u
i
[v
j
.
lgebra
Denicin 32
Un lgebra / sobre C (o R) es un espacio vectorial sobre C (o R)
en donde se ha denido una operacin binaria : 1 1 1,
denominada producto o multiplicacin que tiene la propiedad de
cierre y satisface
a (b + c) = ab + ac a, b, c /, , C (o R).
La dimensin del lgebra es la dimensin del espacio vectorial.
El lgebra es asociativa cuando: a (bc) = (ab) c.
El lgebra es conmutativa cuando: ab = ba.
El lgebra posee la identidad si tiene el elemento 1 cumpliendo
a1 = 1a = a.
Para las lgebras con identidad el elemento inverso por la
izquierda de a, a
1
, cumple a
1
a = 1, mientras que el
elemento inverso por la derecha cumple aa
1
= 1.
Ejemplos
El producto (x
1
, x
2
) (y
1
, y
2
) = (x
1
y
1
x
2
y
2
, x
1
y
2
+ x
2
y
1
)
convierte a R
2
en lgebra conmutativa.
El producto vectorial en R
3
convierte a R
3
en un lgebra no
asociativa y no conmutativa.
El producto matricial convierte a /
mn
en un lgebra
asociativa no conmutativa.
El conjunto de las funciones reales denidas en el intervalo
(a, b) derivables a cualquier orden, (

(a, b), constituye un

lgebra de dimensin innita cuando se dene la multiplicacin
punto a punto.
Homomorsmo
Denicin 33
Sean T : / B una transformacin lineal entre dos lgebras / y
B. Si T (ab) = T (a) T (b), entonces T se conoce como un
homomorsmo de lgebras. Si es biyectivo, entonces se denomina
un isomorsmo de lgebras.
Denicin 34
Dada un lgebra / y un subespacio B de sta, se dice que B es una
sublgebra de / cuando B contiene los productos de todos sus
elementos.
Ejemplo
La transformacin T : R
3
/
33
con
T (a
1
, a
2
, a
3
) =
_
_
0 a
1
a
2
a
1
0 a
3
a
2
a
3
0
_
_
es un isomorsmo lineal, donde el producto entre vectores en R
3
es
el producto vectorial y el producto entre matrices en /
33
est
dado por
A B = AB BA,
utilizando el producto matricial ordinario en el segundo miembro.
Ejemplo
a = (a
1
, a
2
, a
3
)
b = (b
1
, b
2
, b
3
)
_
ab = (a
1
, a
2
, a
3
) (b
1
, b
2
, b
3
)
= (a
2
b
3
a
3
b
2
, a
3
b
1
a
1
b
3
, a
1
b
2
a
2
b
1
)
T (a) =
_
_
0 a
1
a
2
a
1
0 a
3
a
2
a
3
0
_
_
; T (b) =
_
_
0 b
1
b
2
b
1
0 b
3
b
2
b
3
0
_
_
T (ab) =
_
_
0 a
2
b
3
a
3
b
2
a
3
b
1
+ a
1
b
3
a
2
b
3
+ a
3
b
2
0 a
1
b
2
a
2
b
1
a
3
b
1
a
1
b
3
a
1
b
2
+ a
2
b
1
0
_
_
Ejemplo
T (a)T (b) =
_
_
0 a
1
a
2
a
1
0 a
3
a
2
a
3
0
_
_

_
_
0 b
1
b
2
b
1
0 b
3
b
2
b
3
0
_
_
_
_
0 a
1
a
2
a
1
0 a
3
a
2
a
3
0
_
_
_
_
0 b
1
b
2
b
1
0 b
3
b
2
b
3
0
_
_

_
_
0 b
1
b
2
b
1
0 b
3
b
2
b
3
0
_
_
_
_
0 a
1
a
2
a
1
0 a
3
a
2
a
3
0
_
_
_
_
0 a
2
b
3
a
3
b
2
a
3
b
1
+ a
1
b
3
a
2
b
3
+ a
3
b
2
0 a
1
b
2
a
2
b
1
a
3
b
1
a
1
b
3
a
1
b
2
+ a
2
b
1
0
_
_
Constantes de estructura
Denicin 35
Sea / un lgebra y B = e
i

N
i =1
una base de su espacio vectorial.
Entonces puede escribirse
e
i
e
j
=
N

k=1
c
k
ij
e
k
.
Los nmeros complejos c
k
ij
, que son las componentes del vector e
i
e
j
en la base B se denominan constantes de estructura de /.
Denicin 36
Sea D : / / el espacio vectorial formado por los
endomorsmos de / que cumplen
D (ab) = [aD (b) +D (a) b] .
D se conoce como la operacin derivada en /.
Ejemplo
Consideremos la base estndar en R
4
, formado por los vectores
e
1
= (1, 0, 0, 0)
e
2
= (0, 1, 0, 0)
e
3
= (0, 0, 1, 0)
e
4
= (0, 0, 0, 1)
con las constantes de estructura siguientes
e
2
1
= e
2
2
= e
2
3
= e
2
4
= e
1
e
1
e
i
= e
i
e
1
= e
i
para i = 2, 3, 4
e
i
e
j
=
4

k=1

ijk
e
k
para i , j = 2, 3, 4.
Este espacio constituye el lgebra de los cuaterniones (H).
lgebra de L(1)
Teniendo en cuenta que L(1) es un espacio vectorial podemos
pensar en la posibilidad de denir un producto entre sus
elementos, que son los operadores lineales que conectan los
vectores de 1 entre s.
Consideremos las transformaciones T : 1 1 y S : 1 1.
Entonces denamos el producto como la composicin de
ambas:
S T : 1 1 1
Denicin 37
L(1) con el producto denido como la composicin de
transformaciones lineales constituye el lgebra de operadores
lineales en 1.
Igualdad de operadores
Denicin 38
Dos operadores lineales T, S L(1) son iguales si T [a = S [a
para todo [a 1.
Dado que una base puede generar todo el espacio 1, dos
operadores sern iguales si T [a
i
= S [a
i
para los elementos
[a
i
de la base.
La accin de un operador sobre los elementos de la base
permite denirlo unvocamente.
Teorema 39
Un operador lineal T es cero si y slo si b [T[ a b[ Ta = 0
para todo [a y [b o bien a [T[ a = 0 para todo [a.
El operador identidad
Deniciones 40
El elemento identidad 1 est presente en L(1) y satisface
1 [a = [a para todo [a 1.
Dado un operador lineal T, se dene su inverso T
1
como el que
satisface T
1
T = TT
1
= 1.
En general slo las correspondencias biyectivas admiten la
correspondencia inversa, por lo que slo los automorsmos son
invertibles.
Teorema 41
El inverso de un operador lineal es nico. Si T, S L(1) son
invertibles, entonces su producto TS tambin lo es:
(TS)
1
= S
1
T
1
Ejemplos
Inverso del operador T : R
3
R
3
denido por
T (x
1
, x
2
, x
3
) = (x
1
+ x
2
, x
2
+ x
3
, x
1
+ x
3
) .
Potencias positivas y negativas del operadorT

: R
2
R
2
denido por
T (x
1
, x
2
) = (x
1
cos x
2
sen , x
1
sen + x
2
cos ) .
Funciones de operadores
Deniendo las potencias enteras de los operadores por
induccin T
m
= TT
m1
, donde T
0
= 1 y T
m
=
_
T
1
_
m
,
es posible construir funciones de operadores a partir de su
desarrollo en serie de Taylor:
f (x) =

k=0
(x x
0
)
k
k!
d
k
f
dx
k

x=x
0

f (T) =

k=0
(T x
0
1)
k
k!
d
k
f
dx
k

x=x
0
Conmutadores y anticonmutadores
Denicin 42
El conmutador [T, S] de dos operadores T, S L(1) es otro
operador de L(1) que se dene como
[T, S] = TS ST,
y el anticonmutador T, S es tambin otro operador L(1)
denido como
T, S = TS +ST.
[T, S] = [S, T]
[T, S] = [T, S]
[T, S +U] = [T, S] + [T, U]
[T +S, U] = [T, U] + [S, U]
[TS, U] = T [S, U] + [T, U] S
[T, SU] = [T, S] U +S [T, U]
[T, [U, S]] + [U, [S, T]] +
[S, [T, U]] = 0
Derivada de un operador lineal
Denicin 43
Consideremos la correspondencia H : R L(1), que toma un
nmero real y le asigna un operador lineal en 1. Si t R,
denotamos la imagen de t por H (t) y denimos su derivada como
dH
dt
= lim
t0
H (t + t) H (t)
t
,
que al igual que H (t) pertenece a L(1).
Las reglas de derivacin de funciones aplican igual a las
derivadas de operadores. Slo hay que respetar el orden de los
productos porque en general no son conmutativos
d
dt
(UT) =
dU
dt
T +U
dT
dt
d
dt
_
T
2
_
=
dT
dt
T +T
dT
dt
,= 2T
dT
dt
Frmula de Baker-Campbell-Hausdor
Teorema 44
Sean T, S L(1). Si [S, [S, T]] = [T, [S, T]] = 0, entonces se
cumple
e
tS
e
tT
= e
t(S+T)
e
1
2
t
2
[S,T]
.
Si adems se satisface [S, T] = 0, entonces
e
S
e
T
= e
(S+T)
Ejemplo: Derivada de e
tH
Utilizando el resultado e
tH
e
tH
= e
(t+t)H
, que es vlido porque
[tH, tH] = 0, tendremos
d
dt
e
tH
= lim
t0
e
(t+t)H
e
tH
t
= lim
t0
e
tH
e
tH
e
tH
t
,
desarrollando e
tH
= 1 +Ht +H
2
t
2
/2 + ... y sustituyendo
d
dt
e
tH
= lim
t0
e
tH
_
1 +Ht +H
2
t
2
/2 + ...
_
e
tH
t
= lim
t0
e
tH
Ht
t
+
e
tH
H
2
t
2
2t
+ ... = e
tH
H
Ejemplo: derivada de e
H(t)
Sean S = H (t) y T = t
dH
dt
y supongamos que
[S, [S, T]] = [T, [S, T]] = 0. Hasta el primer orden en t
tendremos
H (t + t) H (t) + t
dH
dt
= S +T.
Utilizando la frmula de Baker-Campbell-Hausdor para t = 1
e
H(t+t)
e
S+T
= e
S
e
T
e

1
2
[S,T]
que en el lmite t 0 conduce a
e
H(t+t)
e
H(t)
_
1 + t
dH
dt
__
1
1
2
t
_
H (t) ,
dH
dt
__
e
H(t)
_
1 + t
dH
dt

1
2
t
_
H (t) ,
dH
dt
__
Ejemplo: derivada de e
H(t)
Por tanto
d
dt
e
H(t)
= e
H(t)
dH
dt

1
2
e
H(t)
_
H (t) ,
dH
dt
_
Es posible obtener tambin el siguiente resultado
d
dt
e
H(t)
=
dH
dt
e
H(t)
+
1
2
e
H(t)
_
H (t) ,
dH
dt
_
,
que combinndolo con el anterior se obtiene nalmente
d
dt
e
H(t)
=
1
2
_
dH
dt
e
H(t)
+ e
H(t)
dH
dt
_
=
1
2
_
dH
dt
, e
H(t)
_
Frmula de Baker-Campbell-Hausdor generalizada
Sea F (t) = e
tA
Be
tA
, donde A y B son independientes de t.
Utilizando que
dF
dt
= [A, F (t)] y
d
dt
[A, F (t)] =
_
A,
dF
dt
_
,
se puede obtener
e
tA
Be
tA
=

n=0
t
n
n!
A
n
[B] B + t [A, B] +
t
2
2
[A, [A, B]] + . . .
donde A
n
[B] se dene inductivamente como
A
n
[B] = [A, A
n1
[B]]
siendo A
0
[B] = B.
Ejemplo
En Mecnica Cuntica es frecuente encontrarse con expresiones del
tipo
e
tA
Be
tA
donde
[A, B] = 1,
con R.
En estos casos
e
tA
Be
tA
= B + t1
que indica que B ha sido trasladado t unidades. En este caso e
tA
recibe el nombre de operador de traslacin y a A se le llama
generador de la traslacin.
Esto ocurre por ejemplo cuando B representa un observable y A la
cantidad de movimiento, el hamiltoniano, o el momento angular. El
primero induce traslaciones espaciales; el segundo, traslaciones
temporales y el tercero, rotaciones.
Operador hermtico conjugado
Denicin 45
Sean T L(1) y [a , [b 1. El operador adjunto o hermtico
conjugado de T, denotado por T

, se dene por
_
b

a
_
= a [T[ b

La idea es la siguiente: Si [c = T [b y a [b y [c le
corresponden sus duales b[ = ([b)

y c[ = ([c)

en 1

,
entonces T

L(1

) y se cumple que
c[ = ([c)

= (T [b)

= ([b)

(T)

= b[ T

Para el caso T = 1 se cumple 1

= 1.
Propiedades
Teorema 46
Sean T, U L(1) y C. Entonces:
1
(U +T)

= U

+T

2
(UT)

= T

3
(T)

4
_
(T)

= T (en espacios vectoriales de dimensin nita)

Ejemplo 47
Operador hermtico conjugado de T, denido por
T
_
_

3
_
_
=
_
_

1
i
2
+
3
i
1

2
+ i
3
_
_
Valores esperados
Denicin 48
Dado un operador lineal H L(1) y un estado [a 1, el nmero
complejo a [H[ a se denomina valor esperado de H y se denota
por H
a
:
H
a
= a [H[ a .
El operador hermtico conjugado de H tiene un valor esperado

_
a
=

a
_
= a [H[ a

.
La conjugacin de operadores tiene propiedades muy parecidas
a la conjugacin de nmeros complejos. Por ello es posible
plantearse si existen operadores que como los nmeros reales
bajo conjugacin permanezcan iguales o los nmeros
imaginarios, que cambian de signo.
Operadores hermticos
Denicin 49
Un operador lineal H L(1) se denomina hermtico o
autoadjunto si H

= H y es antihermtico si H

= H.
Los operadores hermticos tienen valores esperados que son
nmeros reales, mientras que aqullos antihermticos tienen
valores esperados imaginarios
Cualquier operador T puede reescribirse como suma de un
operador hermtico H y un operador antihermtico A
T =
T +T

2
. .
H
+
T T

2
. .
A
= H + i H

donde H

= i A.
Operadores positivos
Dados los operadores hermticos T y U, no siempre lo es su
producto:
(TU)

= U

= UT ,= TU
Teorema 50
Un operador lineal T L(1) es hermtico si y slo si
T
a
R [a 1.
Los operadores hermticos se representan mediante matrices
hermticas en notacin matricial (a
ij
= a

ji
).
Deniciones 51
Un operador lineal T L(1) se llama positivo (T 0) si es
hermtico y cumple que T
a
0 [a 1. Si adems cumple que
si T
a
= 0 se implica que [a = 0, se denomina denido positivo.
Operadores unitarios
Denicin 52
Sea 1 un espacio vectorial de dimensin nita con un producto
interior denido. Un operador T L(1) se llama unitario si
T

= T
1
.
Los operadores unitarios preservan el producto interior: sean
[a

= T [a y [b

= T [b ,entonces

_
=
_
a

b
_
=

T
1
T

b
_
= a [ b
Operador de proyeccin
Denicin 53
Un operador T L(1) hermtico se denomina operador de
proyeccin si cumple que T
2
= T.
El nico operador de proyeccin que tiene inverso es el
operador identidad.
Sean S,T L(1) dos operadores de proyeccin. Entonces su suma
S +T es un operador de proyeccin si y slo si ST = TS = 0.
Los operadores que satisfacen esta condicin se llaman operadores
de proyeccin ortogonales.
Relacin de clausura
Sea B = [e
i

N
i =1
una base ortonormal en 1. Entonces el conjunto
P
i
= [e
i
e
i
[
N
i =1
est formado por operadores de proyeccin
ortogonales entre s. Su suma es igual a la unidad y se le conoce
como relacin de clausura
N

i =1
P
i
=
N

i =1
[e
i
e
i
[ = 1.
Demostracin
Primero veremos que los operadores P
i
son operadores de
proyeccin y que son ortogonales:
P

i
= ([e
i
e
i
[)

= (e
i
[)

([e
i
)

= [e
i
e
i
[ = P
i
P
i
P
j
= ([e
i
e
i
[) ([e
j
e
j
[) = [e
i
e
i
[ e
j
[e
j
=
ij
[e
i
e
j
[ =
ij
P
i
A continuacin demostraremos la relacin de clausura. Para ello
consideremos un vector arbitrario [a expresado en la base B:
[a =
N

j =1

j
[e
j
.
Aplicando P
i
sobre l
P
i
[a =
N

j =1

j
P
i
[e
j
=
N

j =1

j
[e
i
e
i
[ e
j
=
N

j =1

j
[e
i

ij
=
i
[e
i
.
Demostracin
Sumando en i
_
N

i =1
P
i
_
[a =
N

i =1
P
i
[a =
N

i =1

i
[e
i
= [a ,
por lo tanto
N

i =1
P
i
= 1.
Ejemplo
Sea la base [e
i
R
3
dada por
[e
1
=
1

2
_
_
1
1
0
_
_
, [e
2
=
1

6
_
_
1
1
2
_
_
, [e
3
=
1

3
_
_
1
1
1
_
_
calcularemos los operadores de proyeccin y comprobaremos la
relacin de clausura.