You are on page 1of 21

INTRODUCCIN A LA MECNICA INTRODUCCIN A LA MECNICA

CUNTICA CUNTICA
Fundamentos matemticos.
Los Postulados de la Mecnica Cuntica Los Postulados de la Mecnica Cuntica.
11
FUNDAMENTOS MATEMTICOS FUNDAMENTOS MATEMTICOS FUNDAMENTOS MATEMTICOS FUNDAMENTOS MATEMTICOS
La Mecnica Cuntica se desarrolla en La Mecnica Cuntica se desarrolla en
espacios vectoriales denominados espacios espacios vectoriales denominados espacios espacios vectoriales denominados espacios espacios vectoriales denominados espacios
de Hilbert. de Hilbert.
P b t P b t Para comenzar, repasaremos brevemente Para comenzar, repasaremos brevemente
las ideas fundamentales relativas al espacio las ideas fundamentales relativas al espacio
eucldeo tridimensional eucldeo tridimensional EE
3. 3.
22
v

OPERACIONES BSICAS
v
OPERACIONES BSICAS
1) SUMA DE VECTORES
E E D d

3 2 1
3 2 3 1
E v v SUMA la
E v y E v Dados
e +
e e

3
, E v y R r Dado e e

2) MULTIPLICACIN POR UN ESCALAR
3
3
,
E v r
y
e

3 2 2 1 1
E v r v r e +

COMBINACIONES LINEALES
33
3 2 2 1 1
E v r v r e +
3) PRODUCTO ESCALAR
1
v

1
v
u
2
v

| || |cos v v v v u =

1 2 1 2
1 2 2 1
| || |cos
( )
v v v v
v v v v conmutativo
u =
=

1 2 3 1 2 1 3
( ) ( ) v rv sv r v v s v v linealidad + = +

2
| | 0
| |
v v v = >
s


1 2 1 1 2 2
| |
( )
v v v v v v
desig Cauchy Schwarz
s

44
( . ) desig Cauchy Schwarz
BASE ORTONORMAL
ij j i
e e o =

3
e

ij j i
e r e r e r v

+ + =
3 3 2 2 1 1
2
e

i i
e v r siendo

=
1
e

+ + =
3 3 2 2 1 1
e a e a e a a

+ + =
3
3 3 2 2 1 1
e b e b e b b

=
= + + =
3
1
3 3 2 2 1 1 i
i
i
b a b a b a b a b a

55

=
=
3
1
2
i
i
a a a

ESPACIOS DE HILBERT ESPACIOS DE HILBERT
Estudiaremos espacios vectoriales Estudiaremos espacios vectoriales
lineales complejos de dimensin finita lineales complejos de dimensin finita
(para el desarrollo de la informacin (para el desarrollo de la informacin (p (p
cuntica). cuntica).
Los escalares son nmeros complejos Los escalares son nmeros complejos Los escalares son nmeros complejos. Los escalares son nmeros complejos.
Usaremos la notacin bra Usaremos la notacin bra--ket de Dirac. ket de Dirac.
Cada vector estar representado por un Cada vector estar representado por un
ket: ket: ket : ket :
o
66
SUMA DE VECTORES
V
V
e
e
|
o
o | | o + = +
s propiedade
V e + | o | o | o + + = + + ) ( ) (
V o
MULTIPLICACIN POR UN ESCALAR
complejo nmero C c
V
e
e o
( )
propiedades
c c c o | o | + = +
V c e o
( )
( )
( ) ( )
c d c d
cd c d
| |
o o o
o o
+ = +
= ( ) ( )
77
PRODUCTO ESCALAR
y Dados | o
C e | o
Propiedades
linealidad d c d c
symmetry skew
) ( + = +
=
-
o | o | o
o | | o
d positivida 0
) (
> o o
| |
Norma de un vector
o o o =
Vector normalizado
o
o o o =
o
bra o dual vector " "
C V d A
bra o dual vector

| |
o o
88
C V cada A e e | o |
A partir de las propiedades del producto escalar, se puede demostrar que:
| |
-
| o | o
-
= c c
- -
Demostracin:
| o o | o | o | | o
-
-
- -
-
= = = = c c c c c ] [
DESIGUALDAD DE CAUCHY SCHWARZ DESIGUALDAD DE CAUCHY-SCHWARZ
| | o o | o s
2
| |
99
INDEPENDENCIA LINEAL
V
0 ... 0 .....
,.......,
2 1 1 1
1
= = = = = + +
e
m m m
m
c c c c c
V
o o
o o
DIMENSIN DEL ESPACIO VECTORIAL = nmero mximo (n) de
vectores linealmente independientes
BASE DEL ESPACIO VECTORIAL: n vectores linealmente independientes BASE DEL ESPACIO VECTORIAL: n vectores linealmente independientes
(conjunto completo de vectores). Cualquier vector puede expresarse como
combinacin lineal de los vectores de la base.
BASE ORTONORMAL
n
,......., ,
2 1
o o o
n j i
ij j i
n
,.... 2 , 1 , ;
, , ,
2 1
= = o o o
o o o o
i i i
n
i
i
a a = =

;
1
10 10
i=1
Expresin del producto escalar y la norma a partir de las componentes.
i
n
i
i i
n
i
i
b y a o | o o

= =
= =
1 1

= =
-
= =
n
i
i i
n
i
i
a b a
1
2
1
| | ; o | o
Demostracin:
i i ij j i j i j i j j i i
b a b a b a b a

- - - -
= = =
|
|
.
|

\
|
|
.
|

\
|
= o o o o o | o
Demostracin:
i j i j i j i
|
.

\
. \ , ,

= = =
-
i i i
a a a
2
| | o o o

i
i
i
i i
| |
11 11
OPERADORES LINEALES
A Operador

linealidad
| o = A
A Operador

| o | o A b A a b a A

) (

+ = +
= o o I identidad operador
0 = o N nulo operador

o o o o B A B A C
B A C operadores de suma

)

(


+ = + =
+ =
o o o o B A B A C ) ( + = + =
operadores de producto
)

(

;

B A B A B A C
ope ado es de p oducto
= = o o
12 12
!

A B B A OJO =
REPRESENTACIN MATRICIAL
Un operador est representado en cierta base a partir de una
matriz cuadrada
| o = A
A Operador


n
Base ,......., ,
2 1
j
n
j
j
a o

=
=
1
n
n n n
A A b A A


| |
? ;
1
i i
n
i
i
b b |

=
=
j
j
ij j i
j
j i i j
j
j
a A A a b A a A

= = =
= = = = =
1 1 1
| o |
A A

=
j i ij
A A =
|
|

|
b
1
|
|

|
a
1
|
|

|
n
A A A . .
1 12 11
=
|
|
|
|
|

b
.
2
|
|
|
|
|

a
.
2
|
|
|
|
|

n
A A A
. . . . .
. .
2 22 21
13 13
|
|
.

\ n
b
.
|
|
.

\ n
a
.
|
|
.

\ nn n n
A A A . .
. . . . .
2 1
o eV unitario vector
PROYECTORES
( ) o o o o
o o
o
= =
=
P
P

Propiedades
( ) o o o o
o
= = P
o
o o P

) 1 =
o
| o |
P P
P Si

) 3
0 0 ) 2
2
=
= =
o o
P P ) 3 =
PROYECTORES SOBRE ESPACIOS MULTIDIMENSIONALES
l
k
l
l
P o o

=
1

P P

2
=
l =1
RELACIN DE CIERRE
la suma de los proyectores asociados a los vectores de una base ortonormal es
i l l id tid d
14 14
1
n
i i
i
I
=
=

igual a la identidad:
n
Base ,......., ,
2 1
AUTOVALORES Y AUTOVECTORES
o o a A =

o
a
Vector propio o autovector
Valor propio o autovalor p p
Los autovalores de un operador no dependen de su representacin matricial.
La ecuacin de autovalores siempre tiene solucin
Los autovectores de un operador lineal, correspondientes a autovalores distintos,
son linealmente independientes
p p p
p
E i t ti
0
. .
. .
d
2 22 21
1 12 11
|
|
|
|

A a A A
A A a A
n
n
Ecuacin caracterstica
0
. .
. . . . .
. . . . . det
2 1
=
|
|
|
|
.

\
a A A A
nn n n
15 15
Tiene n races complejas (autovalores)
n
a a a ., .......... , ,
2 1
OPERADOR ADJ UNTO O HERMTICO CONJ UGADO
A

A
+
A
| o | o
+
= A A

A
+

( ) A B A B
+ + +
+ = +
PROPIEDADES
( )

( )

( )
AB B A
A A
+ + +
+ +
=
=
Representacin
matricial: traspuesta
conjugada
ij ji
A A
+ -
=
A A

=
+
OPERADOR AUTOADJ UNTO (O HERMTICO)
( ) A A
PROPIEDADES DE LOS OPERADORES AUTOADJ UNTOS:
1. Sus autovalores son nmeros reales
PROPIEDADES DE LOS OPERADORES AUTOADJ UNTOS:
Demostracin: Demostracin:
o o a A =

R a A e = o o o o o o ;

R
16 16
-
+
= = = o o o o o o o o A A A A

R ae
2. Los vectores propios correspondientes a autovalores distintos
son ortogonales entre s son ortogonales entre s.
Demostracin:
i i i
a A o o =

i j i i j
a A o o o o =

i j i i j
a A o o o o =

i j i i j
-

i j i j i
a A o o o o =
i j i j i j
a a o o o o =
-
0 0 ) ( = =
i j i j i j
a a o o o o
Siempre es posible encontrar, a
partir de los vectores propios de
17 17
un operador hermtico, una base
ortonormal del espacio de Hilbert.


OPERADOR INVERSO
A
1


A B

I B A A B = =
OPERADOR UNITARIO

U


UU U U I
+ +
= =
U
Es decir:
1

U U
+
=
Un operador es unitario cuando su adjunto es igual a su inverso
Propiedades: p
A) El producto de dos operadores unitarios es unitario.
B) El producto escalar es invariante bajo transformaciones
18 18
) p j
unitarias.
REPASO DE LOS FUNDAMENTOS MATEMTICOS
(con grficos no riguroso para mejor comprensin)
Bases ortonormales en el espacio de Hilbert
(con grficos no riguroso- para mejor comprensin)
0 | ; 1 | |
2 1 2 2 1 1
>= < >= >=< < u u u u u u
> |
>
2
|u
>
2
|v
p
0 | ; 1 | |
2 1 2 2 1 1
>= < >= >=< < v v v v v v
>
1
|u
>
1
|v
>
1
|u
Ejemplo grfico
en el espacio E
2
| ' | ' | | |
Las componentes de un ket dependen de la base
ortonormal en la que se exprese. Tomando n=2:
> + > >= + > >=
2 2 1 1 2 2 1 1
| ' | ' | | | v c v c u c u c
NMEROS
COMPLEJ OS!
19 19
1 | >= <
Supondremos que el ket est normalizado
COMPLEJ OS!
Operadores en Operadores en H H : matrices 2 X 2 : matrices 2 X 2
' | |

A |
|

|
|
|

|
|
|

|
1 1 12 11
' c c a a

>
2
|u
> ' |
> >= ' | | A
|
|
.
|

\
|
=
|
|
.
|

\
|
|
|
.
|

\
|
2
1
2
1
22 21
12 11
' c c a a

A
Valores propios y vectores propios Valores propios y vectores propios
1 1 1

| | A a o o >= >
|
> | A
Si el operador es hermtico:
2 2 2

| | A a o o >= >
>
1
|u
1. Sus valores propios son nmeros reales
(supondremos que no hay degeneracin):
1 Los correspondientes vectores propios al ser ortogonales
2 1 2 1
, , a a R a a = e
1. Los correspondientes vectores propios, al ser ortogonales,
constituyen una base ortonormal de H.
1
|o >
| | | c c o o > > + >
1 1 2 2
| | | c c o o >= > + >
20 20
2
|o >
Ejercicios Ejercicios Ejercicios Ejercicios
1. 1. Encontrar la condicin para que el Encontrar la condicin para que el
vector vector
1 ) ( 0 ) cos (cos
2 1 2 1
u u u u o sen sen + + + =
est normalizado. est normalizado. est o a ado est o a ado
{ } 1 , 0
es la base computacional es la base computacional
(espacio de Hilbert de dimensin 2). (espacio de Hilbert de dimensin 2).
2. Demostrar la desigualdad de Cauchy 2. Demostrar la desigualdad de Cauchy--Schwarz Schwarz
| | o o | o s
2
| |
Ayuda: sese que el producto escalar de un vector por s mismo es
| | | o | o = c siendo c ;
Ayuda: sese que el producto escalar de un vector por s mismo es
definido positivo, y defnase el vector
21 21
| | | | ;

You might also like