Mecánica cuántica 2

Base ket y representación matricial

2. Base kets y representacion matricial
•Eigenkets
  de un observable
Consideremos los Eigenkets (autokets o autovectores) y los
eigenvalores (autovalores o valores propios) de un operador hermitiano
.
 
Usamos el símbolo , reservado anteriormente para un observable,
porque en la mecánica cuántica los operadores hermiticos de interés
resultan ser a menudo los operadores que representan algunos
observables físicos.
•Teorema.
  Los valores propios de un operador hermitiano son reales;
los autovectores de correspondientes a diferentes autovalores son
ortogonales.
 
Prueba: Primero, recuerde que
(2.1)
Como es hermitiano, también tenemos
(2.2)
donde , ... son autovalores de .
 
Si multiplicamos ambos lados de (2.1) por a la izquierda, ambos
lados de (2.2) por a la derecha, y restamos, obtenemos
(2.3)
 Ahora se puede considerar que y son iguales o diferentes.
 
Primero elijamos que sean iguales; luego deducimos la condición que
son reales (la primera mitad del teorema)
(2.4)
donde hemos utilizado el hecho de que no es un ket nulo.
 
Supongamos ahora que y son diferentes. Debido a la condición que
son reales recién probada, la diferencia que aparece en (2.3) es igual
a , que no puede desaparecer, por suposición.
 
El producto interno debe desaparecer:
, () (2.5)
que demuestra la propiedad de la ortogonalidad (la segunda mitad del
teorema).
Por motivos físicos, esperamos que un observable tenga autovalores
reales, donde aclararemos luego, donde se discutirán las medidas en
mecánica cuántica.
 
El teorema recién probado garantiza que los autovalores son reales
siempre que el operador sea hermitiano. Por eso hablamos de
observables hermitianos en mecánica cuántica. Es convencional
normalizar por lo que {} forman un conjunto ortonormal:
(2.6)
 
Lógicamente, podemos preguntarnos:
¿Está completo este conjunto de autovectores? Dado que comenzamos
nuestra discusión afirmando que todo el espacio ket está dividido en
los autovectores de , los autovectores de deben, por tanto, formar un
conjunto completo mediante la construcción de nuestro espacio ket.
•Autokets
  como kets base
Hemos visto que los autokets normalizados de forman un conjunto
ortonormal completo.
 
Un ket arbitrario en el espacio ket puede expandirse en términos de
los autoket de . En otras palabras, los autokets de A deben usarse
como kets base de la misma manera que un conjunto de vectores
unitarios mutuamente ortogonales se usa como base vectores en el
espacio euclidiano.
Dado un ket arbitrario en el espacio ket abarcado por los autokets
de , intentemos expandirlo de la siguiente manera:
(2.7)
 •Multiplicando
  a la izquierda y usando la propiedad de ortonormalidad ,
podemos encontrar inmediatamente el coeficiente de expansión,
(2.8)

 En otras palabras tenemos

(2.9)

 Donde podemos deducir que

(2.10)
donde el del lado derecho debe entenderse como el operador de
identidad. Lo ultimo se conoce como relación de completitud o cierre.
Ejemplo
•Dada
  la relación de completitud podemos determinar que

 Solución:

Como relación de completitud es un operador identidad

•Del
  ejemplo anterior si esta normalizado entonces los coeficientes en
deben satisfacer

 
Veamos ahora que aparece en debe ser un operador. Entonces
•Vemos
  que selecciona esa porción del ket paralela a , entonces se
conoce como el operador de proyección a lo largo del Ket base y es
denotado por

 
Por lo tanto la relación de completitud ahora se puede escribir como
 Representaciones matriciales
•Habiendo
  especificado las kets base, ahora mostramos cómo
representar un operador, digamos , mediante una matriz cuadrada.
Primero, usando dos veces, escribimos el operador como

 
Obs
• 
Obs

𝑋 ≐¿
 
•Hay
  en total números de forma , donde es la dimensionalidad del
espacio ket. Podemos organizarlos en una matriz cuadrada de modo
que los índices de columna y fila aparezcan como sigue:

 
Explícitamente podemos escribir la matriz como

donde el símbolo significa "está representado por".

Tambien podemos escribir
 Por
último, el adjunto se ha relacionado con el concepto (quizás más
familiar) de conjugado complejo transpuesto. Si un operador es
hermitiano, tenemos

 
La forma en que organizamos en una matriz cuadrada está en
conformidad con la regla habitual de multiplicación de matrices. Para
ver esto, solo tenga en cuenta que la representación matricial de la
relación del operador

Entonces
 • 

¿ ¿
   

¿¿
 
•Nuevamente,
  todo lo que hemos hecho es insertar el operador de
identidad, entre X e Y.
Examinemos ahora cómo la relación ket

 
se puede representar usando nuestros base kets . Los
coeficientes de expansión de se pueden obtener multiplicando
a la izquierda:
•   esto puede verse como una aplicación de la regla para multiplicar
Pero
una matriz cuadrada con una matriz columna que representa una vez
que los coeficientes de expansión de y se organizan para formar
matrices columna de la siguiente manera:

 
,
Del mismo modo para
 

•Podemos
  hacer

Entonces, un bra está representado por una matriz de filas de la

siguiente manera:

Observe la apariencia de conjugación compleja cuando los elementos

de la matriz de columnas se escriben asi.
•El  producto interno se puede escribir como el producto de la matriz de
filas que representa con la matriz de columnas que representa :

 
Si multiplicamos la matriz de filas que representa con la matriz de
columnas que representa , obtenemos solo el conjugado complejo
de la expresión anterior, que es consistente con la propiedad
fundamental del producto interno .
•Finalmente,
  la representación matricial del producto externo se puede
identificar fácilmente como

 
La representación matricial de un observable se vuelve
particularmente simple si los autokets de se utilizan como kets
base. Primero, tenemos

Entonces
•Pero
  la matriz cuadrada es obviamente diagonal,

Entonces

 
Obs:
Si tenemos los kets ,
Podemos generar diferentes operadores y operaciones donde
podemos intercambar representaciones
Ejemplo Espín 1/2
•Dadas
  las bases ,
Encuentre los siguientes operadores en su representacion de Dirac.
,,,