En matemáticas, especialmente en análisis funcional, un operador normal en un espacio de Hilbert complejo H es un operador lineal continuo N: HH que conmuta con su Operador hermítico N*, es decir: NN* = N*N.[1]

Los operadores normales son importantes porque el teorema espectral se sostiene en ellos. La clase de operadores normales es bien entendida. Ejemplos de operadores normales son:

Una matriz normal es la expresión matricial de un operador normal en el espacio de Hilbert Cn.

Propiedades

editar

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'.

Sea   un operador acotado. Los siguientes son equivalentes.

  •   es normal.
  •   es normal.
  •   para todo x (usar   ).
  • Las partes autoadjuntos y anti-autoadjuntos de T conmutan. Es decir, si escribimos   con   y  , luego  .[2]

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 requerida] 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 complejo   es 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.[3]​ 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 espectrales. El espectro residual de un operador normal está vacío.

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 requerida] y radio espectral .

Un operador normal coincide con su transformada Aluthge.

Propiedades en caso de dimensión finita

editar

Si un operador normal T en un real de dimensión finita[aclaración requerida] o el espacio de Hilbert complejo (espacio interior del producto) H estabiliza un subespacio V, luego también estabiliza su complemento ortogonal V . (Esta afirmación es trivial en el caso de que T sea autoadjunto. )

Prueba. Sea P V la proyección ortogonal sobre V. Entonces la proyección ortogonal sobre V es 1 H - P V. El hecho de que T estabilice V se puede expresar 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 notamos 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.[4]​ Sin embargo, para los operadores normales limitados, el complemento ortogonal a un subespacio estable puede no ser estable.[5]​ De ello se deduce que, en general, el espacio de Hilbert no puede ser generado 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

editar

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

editar

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[6]

 

con

 

El teorema espectral sigue siendo válido para los operadores ilimitados (normales). Las pruebas funcionan por reducción a operadores limitados (normales).[7][8]

Generalización

editar

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

editar
  1. Hoffman, Kenneth; Kunze, Ray (1971), Linear algebra (2nd edición), Englewood Cliffs, N.J.: Prentice-Hall, Inc., p. 312 .
  2. Por contraste, para la importante clase de operadores de creación y destrucción de, por ejemplo, quantum field theory, no conmutan.
  3. Naylor, Arch W.; Sell George R. (1982). Linear Operator Theory in Engineering and Sciences. New York: Springer. ISBN 978-0-387-95001-3. 
  4. Andô, Tsuyoshi (1963). «Note on invariant subspaces of a compact normal operator». Archiv der Mathematik 14: 337-340. doi:10.1007/BF01234964. 
  5. Garrett, Paul (2005). «Operators on Hilbert spaces». 
  6. Weidmann, Lineare Operatoren in Hilberträumen, Chapter 4, Section 3
  7. Alexander Frei, Spectral Measures, Mathematics Stack Exchange, Existence, Uniqueness
  8. John B. Conway, A Course in Functional Analysis, Second Edition, Chapter X, Section §4