Transpuesta conjugada de un operador en infinitas dimensiones
En matemáticas , específicamente en teoría de operadores , cada operador lineal en un espacio de producto interno define un operador adjunto (o adjunto ) hermitiano en ese espacio de acuerdo con la regla
¿Dónde está el producto interno en el espacio vectorial ?
El adjunto también puede denominarse conjugado hermitiano o simplemente hermitiano [1] en honor a Charles Hermite . A menudo se denota con A † en campos como la física , especialmente cuando se usa junto con la notación de soporte en mecánica cuántica . En dimensiones finitas donde los operadores pueden representarse mediante matrices , el adjunto hermitiano viene dado por la transpuesta conjugada (también conocida como transpuesta hermitiana).
La definición anterior de operador adjunto se extiende palabra por palabra a 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
Considere un mapa lineal entre espacios de Hilbert . Sin cuidar ningún detalle, el operador adjunto es el operador lineal (en la mayoría de los casos definido de forma única) que cumple
donde está el producto interno en el espacio de Hilbert , que es lineal en la primera coordenada y lineal conjugado en la segunda coordenada. Tenga en cuenta el caso especial en el que ambos espacios de Hilbert son idénticos y es un operador en ese espacio de Hilbert.
Cuando se cambia el producto interno por el emparejamiento dual , se puede definir el adjunto, también llamado transposición , de un operador , donde están los espacios de Banach con las normas correspondientes . Aquí (nuevamente sin considerar ningún tecnicismo), su operador adjunto se define como con
Es decir, para .
La definición anterior en el marco del espacio de Hilbert es en realidad sólo una aplicación del caso del espacio de Banach cuando se identifica un espacio de Hilbert con su dual. 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 tal que
Definición de operadores ilimitados entre espacios de Banach
Sean espacios de Banach . Supongamos que y , y supongamos 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 lo configuramos con . Por elección y definición de , f es (uniformemente) continua en as . Luego, según el teorema de Hahn-Banach , o alternativamente mediante extensión por continuidad, esto produce una extensión de , llamada , definida en todos . Este tecnicismo es necesario para obtenerlo posteriormente como operador en lugar de Observar también que esto no significa que se pueda extender a todos, sino que la extensión solo funcionó para elementos específicos .
Ahora, podemos definir el adjunto de como
La identidad fundamental que define es, por tanto,
- para
Definición de operadores acotados entre espacios de Hilbert
Supongamos que H es un espacio de Hilbert complejo , con producto interno . Considere un operador lineal continuo A : H → H (para operadores lineales, la continuidad equivale a ser un operador acotado ). Entonces el adjunto de A es el operador lineal continuo A ∗ : H → H que satisface
La existencia y unicidad de este operador se deriva 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 hermitiano de operadores acotados son inmediatas: [2]
- Involutividad : A ∗∗ = A
- Si A es invertible, entonces también lo es A ∗ , con
- Linealidad conjugada :
- " 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 mayor", extrapolando del caso de 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 álgebra C* .
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 desde un espacio de Hilbert complejo H hacia 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 y ∈ H para los cuales existe un z ∈ H que satisface
Debido a la densidad de y al teorema de representación de Riesz , está definido de forma única y, por definición, [4]
Propiedades 1.–5. mantener con cláusulas apropiadas sobre dominios y codominios . [ se necesita aclaración ] 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]
ker A * =(estoy A) ⊥
Para cada uno, el funcional lineal es idénticamente cero y, por tanto,
Por el contrario, el supuesto que hace que el funcional sea idénticamente cero. Dado que lo funcional es obviamente acotado, la definición de asegura que El hecho de que, para cada muestra que dado eso es denso.
Esta propiedad muestra 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
dónde y
Sea el mapeo simpléctico , 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 la gráfica está topológicamente cerrada en La gráfica del operador adjunto es el complemento ortogonal de un subespacio y, por lo tanto, es cerrada.
A * está densamente definido ⇔ A se puede cerrar
Un operador se puede cerrar si el cierre topológico del gráfico es el gráfico de una función. Dado que es un subespacio lineal (cerrado), la palabra "función" puede reemplazarse por "operador lineal". Por la misma razón, se puede cerrar si y sólo si a menos que
El adjunto está densamente definido si y sólo si se puede cerrar. Esto se desprende del hecho de que, por cada
lo cual, a su vez, se prueba a través de la siguiente cadena de equivalencias:
A ** = A cl
El cierre de un operador es el operador cuya gráfica es si esta gráfica representa una función. Como se indicó anteriormente, la palabra "función" puede sustituirse por "operador". Además, significa que
Para probar esto, observe que es decir, para cada hecho,
En particular, para todos y cada uno de los subespacios si y sólo si Así, y Sustituyendo se obtiene
A * = (A cl ) *
Para un operador que se puede cerrar, lo que significa que, de hecho,
Contraejemplo donde el adjunto no está densamente definido
Sea donde está la medida lineal. Seleccione una función medible, acotada y no idéntica a cero y seleccione Definir
De ello se deduce que el subespacio contiene todas las funciones con soporte compacto. Dado que está densamente definido. para todos y
Por lo tanto, la definición de operador adjunto requiere que Dado que esto sólo es posible si Por esta razón, por lo tanto, no está densamente definido y es idénticamente cero. Como resultado, no se puede cerrar y no tiene un segundo operador adjunto.
Operadores hermitianos
Un operador acotado A : H → H se llama hermitiano 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 ∗ : H → H con la propiedad:
Otros adjuntos
La ecuacion
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.
Ver también
- Conceptos matemáticos
- Aplicaciones físicas
Referencias
- ^ Molinero, David AB (2008). Mecánica cuántica para científicos e ingenieros . Prensa de la Universidad de Cambridge. págs.262, 280.
- ^ abcd Reed y Simon 2003, págs. 186-187; Rudin 1991, §12.9
- ^ Consulte operador ilimitado para obtener más detalles.
- ^ Reed y Simon 2003, pág. 252; Rudin 1991, §13.1
- ^ Rudin 1991, Thm 13.2
- ^ Reed y Simon 2003, págs.187; Rudin 1991, §12.11
- Brezis, Haim (2011), Análisis funcional, espacios de Sobolev y ecuaciones diferenciales parciales (primera ed.), Springer, ISBN 978-0-387-70913-0.
- Caña, Michael; Simon, Barry (2003), Análisis funcional , Elsevier, ISBN 981-4141-65-8.
- Rudin, Walter (1991). Análisis funcional. Serie Internacional en Matemática Pura y Aplicada. vol. 8 (Segunda ed.). Nueva York, NY: McGraw-Hill Ciencias/Ingeniería/Matemáticas . ISBN 978-0-07-054236-5. OCLC 21163277.