La teoría de operadores es una rama del análisis funcional que estudia las propiedades de las asignaciones lineales continuas entre espacios normados . En términos generales, un operador es un análogo de la función o matriz más común en un espacio de dimensión finita. Pero el operador también puede actuar en espacios de dimensión infinita.
Un mapeo de un espacio vectorial a un espacio vectorial se llama operador lineal si para cualquiera e in y cualquier escalar y . A menudo escrito en lugar de . Se dice que un operador lineal de un espacio normado a un espacio normado está acotado si existe un número real positivo tal que para todo en . La constante más pequeña que satisface esta condición se llama la norma del operador y se denota por . Es fácil ver que un operador lineal entre espacios normados está acotado si y sólo si es continuo . El término "operador" en el análisis funcional generalmente significa un operador lineal acotado .
El conjunto de todos los operadores (lineales acotados) de un espacio normado a un espacio normado se denota por . En el caso de que escriban en lugar de . Si es un espacio de Hilbert , generalmente se escribe en lugar de . En , se puede introducir la estructura de un espacio vectorial a través de y , donde , , y es un escalar arbitrario. Con la norma del operador introducida, se convierte en un espacio normado .
En particular, y para cualquier escalar arbitrario . Un espacio es Banach si y solo si es Banach .
Sean y sean espacios normados, y . La composición y se denota y se llama el producto de los operadores y . Al mismo tiempo y . Si es un espacio de Banach , entonces equipado con un producto es un álgebra de Banach .
Hay varias secciones principales en la teoría del operador: