¿Qué se entiende por los "componentes" del operador?

Hasta ahora he entendido que los vectores se representan en una base, y los operadores son mapas lineales que asignan un vector a otro en el mismo espacio o en un espacio diferente.

Lo que no entiendo es esto: cuando tomamos el producto interno de operadores con vectores base, da componentes del operador, así que puedo multiplicar los componentes con la base correspondiente para dar un vector, pero los operadores son diferentes de los vectores.

¿Cuáles son estos "componentes" de los operadores que obtengo? ¿Hay una interpretación geométrica para esto?

A | mi j = i = 1 norte A i j | mi i

Estrictamente hablando, los "operadores" son solo "mapas lineales que asignan un vector a otro en el mismo espacio", no a otros espacios. Si el mapeo es entre dos espacios diferentes, entonces el objeto más general es una "transformación" lineal. En otras palabras, una transformación lineal T : V V es un operador lineal si y solo si V = V .
@Buzz En una forma muy sucia de hacer las cosas, para espacios de productos internos, siempre tomé un operador para definir también un mapeo desde V × V a F porque dado un producto interno único, un mapeo O : V V induce naturalmente un mapa de V × V a F ?

Respuestas (6)

Nota: utilizo la notación de suma de Einstein en todo momento. Debe entenderse que cualquier expresión que tenga un índice repetido dos veces tiene un sumatorio omitido, pero implícito, sobre ese índice.

Configuración

Considere la expresión

T | v

dónde | v H es un vector abstracto de dimensión finita que vive en un espacio de Hilbert y T : H H es un operador en el espacio de Hilbert que asigna vectores antiguos a vectores nuevos. Trate de resistir la tentación de imaginar | v como vector columna y T como matriz. Todavía no hemos elegido una base, por lo que aún no podríamos completar estas matrices con números. Eso seguirá en breve.

El álgebra lineal nos enseña que en un espacio vectorial de dimensión finita (el espacio de Hilbert es un espacio vectorial) podemos encontrar un conjunto ortonormal de vectores { | mi i } que son linealmente independientes y abarcan el espacio vectorial. Este último hecho significa que cualquier vector puede escribirse

Expansión de un vector en componentes

| v = | mi i mi [ v ] i

Aquí mi [ v ] i es el i t h componente de v con respecto a la base { mi i } .

Recuerde que los sujetadores como mi i | son vectores duales que actúan sobre vectores (kets) y devuelven escalares. Actuar un sostén en un ket es como tomar el producto punto de los vectores correspondientes, pero un poco más generalmente para espacios no euclidianos (que de todos modos no tratamos en la mecánica cuántica normal).

Podemos actuar el sostén mi j | a la izquierda de esta expresión y ver

mi j | v = mi j | mi i mi [ v ] i = d j i mi [ v ] i = mi [ v ] j

| v = | mi i mi i | v

He usado la ortonormalidad de la base para mi j | mi i = d j i . Entonces vemos que el j t h componente del vector | v con respecto a la base { mi i } (que llamamos mi [ v ] j ) es exactamente mi j | v . En la notación de Dirac, encontramos los componentes de las cosas mediante la construcción de estructuras de soporte "cerradas".

Expansión de un operador en componentes

¿Cómo funciona esto para los operadores?

T | v = T | mi j mi j | v

Aquí acabo de expandir | v en sus componentes. Tenga en cuenta que parece que acabo de "apretar" al operador | mi j mi j | = j | mi j mi j | entre T y | v . Resulta que, debido a la integridad de la base { | mi j } , eso | mi j mi j | es equivalente a la identidad I para que puedas exprimirlo en cualquier lugar. Esto es de una utilidad indescriptible cuando se trata de hacer álgebra lineal en notación de Dirac.*

Nótese que la construcción ( T | v ) = | v es simplemente equivalente a otro ket. Encontremos las componentes de este ket actuando sobre la izquierda con mi i | (Como tomar el producto escalar con mi i | ).

mi i | T | mi j mi j | v

ahora la cantidad mi i | T | mi j es un escalar y mi j | v es también un escalar. A la primera cantidad la llamamos i , j componente de la matriz que representa al operador T en el mi base. Suponer { | F i } es otra base ortonormal completa. Entonces definimos

F mi [ T ] i j = mi i | T | F j

En caso de que usemos la misma base a la izquierda y a la derecha tenemos mi mi [ T ] i j y podríamos omitir el pre-subíndice.**

Expresiones Matriciales

Entonces podemos escribir

mi i | T | mi j mi j | v = mi mi [ T ] i j mi [ v ] j

Lo que hemos hecho aquí es que hemos tomado la expresión original, abstracta e independiente de la base T | v y lo representó como una fórmula matricial más concreta con respecto a una base particular.

Incluso podemos escribirlo como una expresión matricial verdadera (a diferencia de una expresión en los componentes escalares):

mi mi [ T ] mi [ v ]

Dónde mi mi [ T ] es un norte × norte matriz y mi [ v ] es una longitud norte vector columna, cuyos componentes se describen arriba.

mi mi [ T ] = ( mi mi [ T ] 11 mi mi [ T ] 1 norte mi mi [ T ] norte 1 mi mi [ T ] norte norte ) = ( mi 1 | T | mi i mi 1 | T | mi norte mi norte | T | mi 1 mi norte | T | mi norte )

mi [ v ] = ( mi [ v ] 1 mi [ v ] norte ) = ( mi 1 | v mi norte | v )

Discusión

Tanto las expresiones abstractas como las concretas tienen su utilidad. La expresión abstracta es útil para manipulaciones y exploraciones teóricas, mientras que la expresión concreta es mejor para encontrar soluciones numéricas reales a problemas. Se podría argumentar que la representación de coordenadas es intuitivamente más clara, pero yo diría que la representación sin coordenadas brinda más flexibilidad y que es mejor si uno puede generar tanta intuición para las expresiones abstractas como para las expresiones de coordenadas.

Respuesta directa a la pregunta

Para responder concretamente a la pregunta: "¿Qué se entiende por componentes de un operador?".

La respuesta intuitiva es que los componentes de un operador son los elementos de la matriz del operador cuando se representa como una matriz con respecto a una base particular. Matemáticamente, los componentes de un operador son los resultados escalares de apretar un operador entre un sujetador y un ket. Específicamente,

mi mi [ T ] i j = mi i | T | mi j

Este es el i , j componente de T con respecto a la base { | mi i } .

Una interpretación geométrica

Una interpretación geométrica para los componentes de un operador:

mi mi [ T ] i j = mi i | T | mi j

Podemos ver eso mi mi [ T ] i j nos da la i t h componente de | mi j = T | mi j . Es decir, ¿cuánto cuesta T sesgar el | mi j vector base en el | mi i dirección.

notas al pie

*También es importante para el uso de la resolución de la identidad que puede llevar el operador ( | mi i mi j | y "dividirlo" para que el ket de la izquierda se "pegue" a lo que sea que esté a la izquierda de la resolución y el sostén de la derecha se "pegue" a lo que sea que esté a la derecha. Para probar esto, necesita definir algunas cosas y probar algunas cosas sobre los paréntesis. No lo hago aquí, pero solo quiero decir que hay un poco más debajo del capó que se ve a simple vista. Esta fluidez de paréntesis (y la capacidad de no preocuparse por ellos) es la otra cosa que hace que la notación de Dirac sea tan buena.

**Y, de hecho, la mayoría de los autores nunca escriben ni los presub ni los superíndices ni los corchetes ni nada. Lo que escribo como mi mi [ T ] i j será visto como T i j . Si bien por lo general está claro en qué base estamos trabajando por el contexto, puede ser confuso para las personas nuevas en el estudio entender la diferencia entre T y T i j sin la notación adicional que he incluido. De ahí esta pregunta.

¿Hay una interpretación geométrica para esto?

Sí. Sin ser demasiado riguroso aquí, si identifica un operador con una matriz y un ket con un vector de columna, luego del álgebra lineal, cuando multiplica una matriz con un vector de columna de base (asumiendo la base estándar), simplemente selecciona el columna en la matriz correspondiente al índice de la entrada distinta de cero. P.ej

METRO mi ^ 1 = [ a b C d ] [ 1 0 ] = [ a C ] = ε 1 ,

METRO mi ^ 2 = [ a b C d ] [ 0 1 ] = [ b d ] = ε 2 ,

eran ε 1 & ε 2 son los transformados mi ^ 1 & mi ^ 2 , respectivamente. En otras palabras, las columnas de la matriz son los nuevos vectores base, expresados ​​en componentes base estándar. La acción de la matriz puede entenderse como una reorientación y un reescalado de los ejes de coordenadas. Transformar un vector lo lleva a su lugar correspondiente en la nueva base.

ingrese la descripción de la imagen aquí

Tenga en cuenta que un vector v = ( X , y ) Se puede escribir como v = X mi ^ 1 + y mi ^ 2 , o en notación matricial:

[ X y ] = X [ 1 0 ] + y [ 0 1 ]

y entonces

METRO [ X y ] = X METRO [ 1 0 ] + y METRO [ 0 1 ] = X ε 1 + y ε 2

Puede hacer lo mismo con los vectores base transformados, que a su vez recuperan la expresión sobre la que preguntó.

Si

A = a i j = a ( r o w ) ( C o yo ) = [ a 11 a 12 a 21 a 22 ]

entonces el j = 1 caso, iterando sobre i )

A mi ^ 1 = [ a 11 a 12 a 21 a 22 ] [ 1 0 ] = [ a 11 a 21 ] = a 1 1 [ 1 0 ] + a 2 1 [ 0 1 ] = a 1 1 mi ^ 1 + a 2 1 mi ^ 2

y el j = 2 caso, iterando sobre i )

A mi ^ 2 = [ a 11 a 12 a 21 a 22 ] [ 0 1 ] = [ a 12 a 22 ] = a 1 2 [ 1 0 ] + a 2 2 [ 0 1 ] = a 1 2 mi ^ 1 + a 2 2 mi ^ 2

En otras palabras

A | mi j = i = 1 norte a i j | mi i

es corto para

A | mi 1 = a 1 1 | mi 1 + a 2 1 | mi 2 A | mi 2 = a 1 2 | mi 1 + a 2 2 | mi 2

(Nota: en su pregunta, originalmente iteró incorrectamente sobre j en la suma).


Por cierto, tratar los sostenes como vectores de fila, hacer mi ^ i T METRO elige una fila y mi ^ i T METRO mi ^ j elige el metro i j componente:

[ 1 0 ] [ metro 11 metro 12 metro 21 metro 22 ] [ 0 1 ] = metro 12

Entonces, a i j = mi i | A | mi j .

La forma de un operador expresada bajo vectores base es una matriz. Los "componentes del operador" son los elementos de la matriz.

Elementos de matriz de un operador

Lo que está describiendo es lo que se llama los componentes de la matriz de un operador, no sus componentes. Un operador lineal en un d El espacio dimensional de Hilbert se puede describir completa y consistentemente especificando el d × d productos internos mi i | A | mi j en cualquier base ortonormal completa { mi i } dónde i , j = 1 , 2 , . . . , d . Estos números pueden ser vistos como formando un d × d matriz con su i j t h componente A i j dada por mi i | A | mi j . Entonces, naturalmente, la mi i | A | mi j s se llaman los elementos de la matriz del operador A . Una vez que especifique estos elementos de la matriz en una base dada, por supuesto, puede representar el operador de una manera independiente de la base como A = i , j A i j | i j | .

No creo que haya una forma independiente del contexto de atribuirles un significado geométrico.

Componentes de un operador

Curiosamente, hay un sentido en el que puede hablar sobre los componentes de un operador definido sobre el espacio de Hilbert si lo desea.

El conjunto de todos los operadores en un espacio de dimensión de Hilbert d formar un 2 d 2 espacio vectorial dimensional propio sobre el campo de números complejos con el producto interno de dos operadores A , B (que son vectores en este espacio vectorial de operadores) viene dada por la traza T r ( B A ) . Por lo tanto, puede elegir un conjunto base de 2 d 2 operadores ortonormales O i para este espacio vectorial de operadores y puede describir completa y consistentemente un operador A especificando su expansión en la base establecida como A = i T r ( O i A ) O i . Ahora, puede tratar el T r ( O i A ) como los componentes del operador A en la base { O i } .

Seguramente te lo enseñaron A i j mi i | A | mi j , así como

I = i = 1 norte | mi i mi i |     .
Como consecuencia,
I A | mi j = i = 1 norte | mi i A i j ,
por lo que su expresión que corregí,
A | mi j = i = 1 norte A i j | mi i   .

Los componentes (elementos de la matriz en una base) son números que pueden colocarse en cualquier lugar en lugar de vectores. Multiplican en matriz todos los componentes de un vector para obtener todos los componentes del vector de imagen lineal.

Es simplemente álgebra lineal, sin apenas más significado que la operación estándar de una matriz en vectores: rotaciones, reflexiones, cortes y escalas, extendidas al dominio complejo.

¿Cuáles son estos "componentes" de los operadores que obtengo? ¿Hay una interpretación geométrica para esto?

Ya has escrito lo que obtienes cuando el operador A opera sobre una base vectorial | mi j :

A | mi j = i = 1 norte A i j | mi i

Podemos representar al operador A por su matriz (con elementos de matriz A k yo = mi k | A | mi yo ) y los estados base | mi k por vectores columna (con 1 en fila k , y 0 en otra parte). Usando la multiplicación de matrices obtenemos:

( A 11 A 12 A 1 j A 1 norte A 21 A 22 A 2 j A 2 norte A j 1 A j 2 A j j A j norte A norte 1 A norte 2 A norte j A norte norte ) ( 0 0 1 0 ) = ( A 1 j A 2 j A j j A norte j )

Así que tienes una interpretación geométrica de la j ª columna de los elementos de la matriz de A . Son los componentes vectoriales de A | mi j en la base { | mi 1 , . . . , | mi norte } .