En teoría de operadores , un operador de multiplicación es un operador T f definido en algún espacio vectorial de funciones y cuyo valor en una función φ se da por la multiplicación por una función fija f . Es decir,
para todo φ en el dominio de T f , y todo x en el dominio de φ (que es el mismo que el dominio de f ). [1]
Los operadores de multiplicación generalizan la noción de operador dada por una matriz diagonal . [2] Más precisamente, uno de los resultados de la teoría de operadores es un teorema espectral que establece que cada operador autoadjunto en un espacio de Hilbert es unitariamente equivalente a un operador de multiplicación en un espacio L 2 . [3]
Estos operadores se contrastan a menudo con los operadores de composición , que son inducidos de manera similar por cualquier función fija f . También están estrechamente relacionados con los operadores de Toeplitz , que son compresiones de operadores de multiplicación en el círculo al espacio de Hardy .
Propiedades
- Un operador de multiplicación en , donde X es -finito , está acotado si y solo si f está en . En este caso, su norma de operador es igual a . [1]
- El adjunto de un operador de multiplicación es , donde es el conjugado complejo de f . En consecuencia, es autoadjunto si y solo si f es de valor real. [4]
- El espectro de un operador de multiplicación acotado es el rango esencial de f ; fuera de este espectro, el inverso de es el operador de multiplicación [1]
- Dos operadores de multiplicación acotados y son iguales si f y g son iguales casi en todas partes . [4]
Ejemplo
Considérese el espacio de Hilbert X = L 2 [−1, 3] de funciones integrables cuadradas de valores complejos en el intervalo [−1, 3] . Con f ( x ) = x 2 , defina el operador
para cualquier función φ en X . Este será un operador lineal autoadjunto acotado , con dominio todo X = L 2 [−1, 3] y con norma 9 . Su espectro será el intervalo [0, 9] (el rango de la función x ↦ x 2 definida en [−1, 3] ). De hecho, para cualquier número complejo λ , el operador T f − λ está dado por
Es invertible si y sólo si λ no está en [0, 9] , y entonces su inverso es
que es otro operador de multiplicación.
Este ejemplo se puede generalizar fácilmente para caracterizar la norma y el espectro de un operador de multiplicación en cualquier espacio L p .
Véase también
Referencias