stringtranslate.com

Adjunto hermítico

En matemáticas , específicamente en teoría de operadores , cada operador lineal en un espacio de producto interno define un operador adjunto hermítico (o adjunto ) en ese espacio de acuerdo con la regla

¿Dónde está el producto interno en el espacio vectorial ?

El adjunto también puede llamarse conjugado hermítico o simplemente hermítico [1] en honor a Charles Hermite . A menudo se denota por A en campos como la física , especialmente cuando se usa junto con la notación bra-ket en mecánica cuántica . En dimensiones finitas donde los operadores pueden representarse mediante matrices , el adjunto hermítico viene dado por la transpuesta conjugada (también conocida como transpuesta hermítica).

La definición anterior de un operador adjunto se extiende textualmente a los operadores lineales acotados en espacios de Hilbert . La definición se ha ampliado aún más para incluir operadores ilimitados densamente definidos , cuyo dominio es topológicamente denso en, pero no necesariamente igual a,

Definición informal

Consideremos una función lineal entre espacios de Hilbert . Sin ocuparnos de ningún detalle, el operador adjunto es el operador lineal (en la mayoría de los casos definido de forma única) que cumple

donde es el producto interno en el espacio de Hilbert , que es lineal en la primera coordenada y lineal conjugado en la segunda coordenada. Nótese el caso especial donde ambos espacios de Hilbert son idénticos y es un operador en ese espacio de Hilbert.

Cuando se intercambia el producto interno por el emparejamiento dual , se puede definir el adjunto, también llamado transposición , de un operador , donde son espacios de Banach con normas correspondientes . Aquí (de nuevo sin considerar ningún tecnicismo), su operador adjunto se define como con

es decir, para .

La definición anterior en el contexto del espacio de Hilbert es en realidad solo una aplicación del caso del espacio de Banach cuando uno identifica un espacio de Hilbert con su dual (a través del teorema de representación de Riesz ). Entonces es natural que también podamos obtener el adjunto de un operador , donde es un espacio de Hilbert y es un espacio de Banach. El dual se define entonces como con tal que

Definición de operadores no acotados entre espacios de Banach

Sean espacios de Banach . Supóngase que y , y supóngase que es un operador lineal (posiblemente ilimitado) que está densamente definido (es decir, es denso en ). Entonces su operador adjunto se define de la siguiente manera. El dominio es

Ahora, para arbitrario pero fijo, establecemos con . Por elección de y definición de , f es (uniformemente) continua en como . Entonces, por el teorema de Hahn-Banach , o alternativamente a través de la extensión por continuidad, esto produce una extensión de , llamada , definida en todos los . Este tecnicismo es necesario para obtener más tarde como operador en lugar de Observe también que esto no significa que se pueda extender en todos los , sino que la extensión solo funcionó para elementos específicos .

Ahora, podemos definir el adjunto de como

La identidad definitoria fundamental es, pues,

para

Definición de operadores acotados entre espacios de Hilbert

Supóngase que H es un espacio de Hilbert complejo , con producto interno . Considérese un operador lineal continuo A  : HH (para operadores lineales, la continuidad es equivalente a ser un operador acotado ). Entonces el adjunto de A es el operador lineal continuo A  : HH que satisface

La existencia y unicidad de este operador se desprende del teorema de representación de Riesz . [2]

Esto puede verse como una generalización de la matriz adjunta de una matriz cuadrada que tiene una propiedad similar que involucra el producto interno complejo estándar.

Propiedades

Las siguientes propiedades del adjunto hermítico de operadores acotados son inmediatas: [2]

  1. Involutividad : A ∗∗ = A
  2. Si A es invertible, entonces también lo es A , con
  3. Linealidad conjugada :
  4. " Antidistributividad ": ( AB ) = B A

Si definimos la norma del operador de A por

entonces

[2]

Además,

[2]

Se dice que una norma que satisface esta condición se comporta como un "valor máximo", extrapolando del caso de los operadores autoadjuntos.

El conjunto de operadores lineales acotados en un espacio de Hilbert complejo H junto con la operación adjunta y la norma del operador forman el prototipo de un C*-álgebra .

Adjunto de operadores ilimitados densamente definidos entre espacios de Hilbert

Definición

Sea lineal el producto interno en el primer argumento. Un operador A densamente definido de un espacio de Hilbert complejo H a sí mismo es un operador lineal cuyo dominio D ( A ) es un subespacio lineal denso de H y cuyos valores se encuentran en H . [3] Por definición, el dominio D ( A ) de su adjunto A es el conjunto de todos los yH para los cuales hay un zH que satisface

Debido a la densidad de y el teorema de representación de Riesz , se define de forma única y, por definición, [4]

Las propiedades 1.–5. se cumplen con cláusulas apropiadas sobre dominios y codominios . [ aclaración necesaria ] Por ejemplo, la última propiedad ahora establece que ( AB ) es una extensión de B A si A , B y AB son operadores densamente definidos. [5]

quer A*=(soy A)⊥

Para cada funcional lineal es idénticamente cero, y por lo tanto

Por el contrario, el supuesto de que hace que el funcional sea idénticamente cero. Dado que el funcional está obviamente acotado, la definición de asegura que El hecho de que, para cada muestra que dado que es denso.

Esta propiedad demuestra que es un subespacio topológicamente cerrado incluso cuando no lo es.

Interpretación geométrica

Si y son espacios de Hilbert, entonces es un espacio de Hilbert con el producto interno

donde y

Sea la aplicación simpléctica , es decir Entonces el gráfico

de es el complemento ortogonal de

La afirmación se desprende de las equivalencias

y

Corolarios

A*está cerrado

Un operador es cerrado si el gráfico está topológicamente cerrado en El gráfico del operador adjunto es el complemento ortogonal de un subespacio y, por lo tanto, es cerrado.

A*está densamente definido ⇔ A se puede cerrar

Un operador es cerrable si el cierre topológico del grafo es el grafo de una función. Como es un subespacio lineal (cerrado), la palabra "función" puede reemplazarse por "operador lineal". Por la misma razón, es cerrable si y solo si a menos que

El adjunto está definido densamente si y sólo si es cerrable. Esto se deduce del hecho de que, para cada

lo cual, a su vez, se demuestra mediante la siguiente cadena de equivalencias:

A**= UnCláusula

La clausura de un operador es el operador cuyo gráfico es si este gráfico representa una función. Como se indicó anteriormente, la palabra "función" puede reemplazarse por "operador". Además, significa que

Para probar esto, observe que para cada hecho,

En particular, para cada subespacio si y sólo si Por lo tanto, y Sustituyendo obtenemos

A*= (UnCláusula)*

Para un operador cerrable que significa que , de hecho,

Contraejemplo donde el adjunto no está densamente definido

Sea donde es la medida lineal. Seleccione una función medible, acotada y no idéntica a cero y elija Definir

De ello se deduce que El subespacio contiene todas las funciones con soporte compacto. Puesto que está densamente definido. Para cada y

Por lo tanto, la definición de operador adjunto requiere que Dado que esto solo es posible si Por esta razón, Por lo tanto, no está definido densamente y es idénticamente cero en Como resultado, no es cerrable y no tiene un segundo adjunto

Operadores hermíticos

Un operador acotado A  : HH se llama hermítico o autoadjunto si

que es equivalente a

[6]

En cierto sentido, estos operadores desempeñan el papel de los números reales (siendo iguales a su propio "conjugado complejo") y forman un espacio vectorial real . Sirven como modelo de observables de valor real en mecánica cuántica . Consulte el artículo sobre operadores autoadjuntos para obtener un tratamiento completo.

Adjuntos de operadores lineales conjugados

Para un operador lineal conjugado, la definición de adjunto debe ajustarse para compensar la conjugación compleja. Un operador adjunto del operador lineal conjugado A en un espacio de Hilbert complejo H es un operador lineal conjugado A  : HH con la propiedad:

Otros adjuntos

La ecuación

es formalmente similar a las propiedades definitorias de pares de funtores adjuntos en la teoría de categorías , y de aquí es de donde los funtores adjuntos obtuvieron su nombre.

Véase también

Referencias

  1. ^ Miller, David AB (2008). Mecánica cuántica para científicos e ingenieros . Cambridge University Press. pp. 262, 280.
  2. ^ abcd Reed y Simon 2003, págs. 186-187; Rudin 1991, §12.9
  3. ^ Consulte el operador ilimitado para obtener más detalles.
  4. ^ Reed y Simon 2003, pág. 252; Rudin 1991, §13.1
  5. ^ Rudin 1991, Tesis 13.2
  6. ^ Reed y Simon 2003, págs. 187; Rudin 1991, §12.11