A partir de los campos de Dirac:
dónde .
La condición de quatización canónica dice:
Para derivar la condición de cuantización para los operadores de creación/aniquilación, tengo que reescribir en términos de y .
Por ejemplo, para derivar la condición de cuantificación canónica entre Puedo reescribirlos como:
y luego calcule explícitamente el anti-conmutador:
Pero aquí me falta algo: no entiendo por qué puedo cambiar y en el segundo término para recuperar el anticonmutador entre y .
Debe proceder en contracción de los índices de espinor y recordar que, por ejemplo, un par , con etiquetando el componente del espinor de Dirac . Por lo tanto,
Termine el ejercicio utilizando sus anticonmutadores canónicos de campo de cuantificación junto con las relaciones de ortogonalidad/completitud entre los 's.
Aquí es una matriz columna que tiene 4 componentes y es una matriz de fila con 4 elementos de fila (por supuesto, estos elementos son funciones de ).
Y cuando está tomando la anticonmutación, está eligiendo un componente (o elemento) de (4 1) matriz de columnas y de manera similar, debe elegir un componente de 1 4) matriz de filas .
O simplemente (o ) es el -th componente (o -ésimo elemento de la matriz) de los (4 1) matriz de columnas (o ).
Y de manera similar, (o ) es el -ésimo componente (o -ésimo elemento de la matriz) del (1 4) matriz de filas (o ).
De este modo , , , todos estos son solo números o los elementos de la matriz, no las matrices.
Por lo tanto, proceda de la forma en que iba y cambie fácilmente y (en su notación) ya que son solo los números o los componentes (o elementos) de las matrices correspondientes.
Jon