En matemáticas , especialmente el análisis funcional , un operador normal, en un complejo espacio de Hilbert H es un continuo operador lineal N : H → H que conmuta con su operador adjunto N * , que es: NN * = N * N . [1]
Los operadores normales son importantes porque el teorema espectral es válido para ellos. La clase de operadores normales es bien conocida. Ejemplos de operadores normales son
- operadores unitarios : N * = N −1
- Operadores hermitianos (es decir, operadores autoadjuntos): N * = N
- Operadores Skew-Hermitian : N * = - N
- operadores positivos : N = MM * para algunos M (por lo que N es autoadjunto).
Una matriz normal es la expresión matricial de un operador normal en el espacio de Hilbert C n .
Propiedades
Los operadores normales se caracterizan por el teorema espectral . Un operador normal compacto (en particular, un operador normal en un espacio lineal de dimensión finita) es unitariamente diagonalizable. [2]
Sea T un operador acotado. Los siguientes son equivalentes.
- T es normal.
- T * es normal.
- || Tx || = || T * x || para todo x (usar).
- Las partes autoadjuntos y anti-autoadjuntos de T conmutan. Es decir, si escribimos con y , luego . [3]
Si N es un operador normal, entonces N y N * tienen el mismo núcleo y el mismo rango. En consecuencia, el rango de N es denso si y solo si N es inyectivo. [ aclaración necesaria ] Dicho de otra manera, el núcleo de un operador normal es el complemento ortogonal de su rango. De ello se deduce que el núcleo del operador N k coincide con el de N para cualquier k . Todo valor propio generalizado de un operador normal es, por tanto, auténtico. λ es un valor propio de un operador normal N si y solo si su conjugado complejoes un valor propio de N * . Los autovectores de un operador normal correspondientes a diferentes autovalores son ortogonales, y un operador normal estabiliza el complemento ortogonal de cada uno de sus autoespacios. [4] Esto implica el teorema espectral habitual: todo operador normal en un espacio de dimensión finita es diagonalizable por un operador unitario. También hay una versión de dimensión infinita del teorema espectral expresada en términos de medidas con valores de proyección . El espectro residual de un operador normal está vacío. [4]
El producto de los operadores normales que se desplazan al trabajo vuelve a ser normal; esto no es trivial, pero se sigue directamente del teorema de Fuglede , que establece (en una forma generalizada por Putnam):
- Si y son operadores normales y si A es un operador lineal acotado tal que , luego .
La norma de operador de un operador normal es igual a su radio numérico [ aclaración necesaria ] y radio espectral .
Un operador normal coincide con su transformada Aluthge .
Propiedades en caso de dimensión finita
Si un operador normal T en un espacio de Hilbert real de dimensión finita [se necesita aclaración ] o complejo (espacio de producto interno) H estabiliza un subespacio V , entonces también estabiliza su complemento ortogonal V ⊥ . (Esta afirmación es trivial en el caso de que T sea autoadjunto).
Prueba. Deje P V sea la proyección ortogonal sobre V . A continuación, la proyección ortogonal sobre V ⊥ es 1 H - P V . El hecho de que T estabiliza V puede expresarse como ( 1 H - P V ) TP V = 0, o TP V = P V TP V . El objetivo es mostrar que P V T ( 1 H - P V ) = 0.
Sea X = P V T ( 1 H - P V ). Dado que ( A , B ) ↦ tr ( AB * ) es un producto interno en el espacio de endomorfismos de H , es suficiente mostrar que tr ( XX * ) = 0. Primero observamos que
- .
Ahora usando las propiedades de la traza y de las proyecciones ortogonales tenemos:
El mismo argumento se aplica a los operadores normales compactos en espacios de Hilbert de dimensión infinita, donde se hace uso del producto interno de Hilbert-Schmidt , definido por tr ( AB * ) interpretado adecuadamente. [5] Sin embargo, para los operadores normales limitados, el complemento ortogonal a un subespacio estable puede no ser estable. [6] De ello se deduce que, en general, el espacio de Hilbert no puede ser abarcado por vectores propios de un operador normal. Considere, por ejemplo, el cambio bilateral (o cambio bilateral) que actúa sobre, que es normal, pero no tiene valores propios.
Los subespacios invariantes de un desplazamiento que actúa sobre el espacio de Hardy se caracterizan por el teorema de Beurling .
Elementos normales de álgebras
La noción de operadores normales se generaliza a un álgebra involutiva:
Se dice que un elemento x de un álgebra involutiva es normal si xx * = x * x .
Los elementos autoadjuntos y unitarios son normales.
El caso más importante es cuando tal álgebra es un álgebra C * .
Operadores normales ilimitados
La definición de operadores normales se generaliza naturalmente a alguna clase de operadores ilimitados. Explícitamente, se dice que un operador cerrado N es normal si podemos escribir
Aquí, la existencia del adjunto N * requiere que el dominio de N sea denso, y la igualdad incluye la afirmación de que el dominio de N * N es igual al de NN * , lo que no es necesariamente el caso en general.
Los operadores normales equivalentes son precisamente aquellos para los que [7]
con
El teorema espectral sigue siendo válido para los operadores ilimitados (normales). Las pruebas funcionan por reducción a operadores limitados (normales). [8] [9]
Generalización
El éxito de la teoría de los operadores normales condujo a varios intentos de generalización al debilitar el requisito de conmutatividad. Las clases de operadores que incluyen operadores normales son (en orden de inclusión)
Referencias
- ^ Hoffman, Kenneth; Kunze, Ray (1971), Álgebra lineal (2ª ed.), Englewood Cliffs, Nueva Jersey: Prentice-Hall, Inc., p. 312, MR 0276251
- ^ Hoffman y Kunze (1971) , p. 317.
- ^ Por el contrario, para la clase importante de operadores de creación y aniquilación de, por ejemplo, la teoría cuántica de campos , no conmutan
- ^ a b Naylor, Arch W .; Vender a George R. (1982). Teoría del operador lineal en Ingeniería y Ciencias . Nueva York: Springer. ISBN 978-0-387-95001-3.
- ^ Andô, Tsuyoshi (1963). "Nota sobre subespacios invariantes de un operador normal compacto". Archiv der Mathematik . 14 : 337-340. doi : 10.1007 / BF01234964 .
- ^ Garrett, Paul (2005). "Operadores en espacios de Hilbert" (PDF) .
- ↑ Weidmann, Lineare Operatoren in Hilberträumen, Capítulo 4, Sección 3
- ^ Alexander Frei, medidas espectrales, intercambio de pila de matemáticas, existencia , singularidad
- ^ John B. Conway, Un curso de análisis funcional, segunda edición, capítulo X, sección §4