Next: Relevancia fsica de los Up: El Modelo Matemtico Previous: Operadores Hermitios en espacio

Espacios de Hilbert y notacin de Dirac

Histricamente, un espacio de Hilbert es un espacio de dimensin infinita con escalares complejos. Por ejemplo el conjunto de funciones de variable
real y valor complejo en el intervalo [0,1]

es un espacio de Hilbert. Sin embargo, en fsica los modelos que utilizamos son de dimensin finita, y como son derivados de estos espacios tambin
se les llama espacios de Hilbert, en este caso espacios de Hilbert -dimensionales. Tambin, como pueden ser representados por una base finita, se
les llama espacios de Hilbert separables. La literatura de mecnica cuntica ha seguido la convencin de llamar un espacio eucldeo -dimensional
de variable compleja por el nombre de espacio de Hilbert -dimensional . Nosotros seguiremos aqu esta convencin.

Definicin 2.5.1 Utilizando notacin de Dirac. Un vector en un espacio de Hilbert se denota por un ket . Por convencin, vamos a

interpretar este valor como un vector columna2.1

Definicin 2.5.2 La contraparte de un ket es un bra que conjuntamente conforman un braket. Si tenemos un ket igual a
entonces el bra correspondiente se denota por y es igual al vector fila2.2

Definicin 2.5.3 La multiplicacin de un bra con un ket produce un escalar (nmero complejo). Si tenemos dos estados cunticos y tal

que

Entonces el braket formado por ambos se denota por y es igual a

Observacin 2.5.1 El braket tal como esta definido anteriormente es equivalente al producto interno en nmeros complejos. Se utiliza la notacin
en vez de por ser ms concisa.

Observacin 2.5.2 As como el producto interno produce un escalar, tambin podemos definir el producto externo. Este producto genera una matriz,
en mecnica cuntica a veces se utiliza indistintamente el ket de un estado con su matriz asociada.
Definicin 2.5.4 El producto externo de dos estados cunticos con componentes , y el estado con componentes es igual a la

matriz igual a:

Definicin 2.5.5 Un espacio de Hilbert -dimensional tiene una base cannica determinada por los kets , , hasta el ket tal

que

Observacin 2.5.3 Los bra tambin pueden expresarse de esta manera, tenemos entonces el conjunto de la base cannica denotado por , ,

, , , .

Observacin 2.5.4 Todo ket puede espresarse como una combinacin lineal de la base cannica
Observacin 2.5.5 Los vectores y se les llama duales y cumplen con la propiedad que

Teorema 2.5.1 El producto interno de vectores ket que representan estados cunticos satisfaces la desigualdad de Schwartz

Definicin 2.5.6 Dada una matriz u operador , se llaman valor propio y vector propio de la matriz a los valores que cumplen con que

Teorema 2.5.2 Los valores propios de una matriz u operador son las soluciones a la equacin del polinomio caracterstico de la matriz

Observacin 2.5.6 De acuerdo con el teorema fundamental del lgebra. Todo polinomio sobre los nmeros complejos tiene por lo menos una raz
compleja. En nuestro caso realmente tiene donde es la dimensin del espacio.

Observacin 2.5.7 Cualquier operador puede descomponerse de la siguiente como

con y arbitrarios y valores propios de la matriz.

Cuando un operador se puede descomponer en

donde es un valor propio asociado con entonces la descomposicin del operador es nica

Teorema 2.5.3 Los valores propios de un operador Hermitio son reales

Definicin 2.5.7 El producto tensor de dos matrices y , donde es una matriz de filas y columnas

y es una matriz de filas y columnas

es la matriz de filas y columnas definida por

donde y tal que representa divisin entera y representa el resto de la divisin entera.

t i
Next: Relevancia fsica de los Up: El Modelo Matemtico Previous: Operadores Hermitios en espacio
Jose Castro 2004-10-06