En matemáticas y específicamente en análisis funcional, los operadores lineales cerrados son un importante tipo de operadores lineales en los espacios de Banach. Son los más generales de los operadores acotados y, por tanto, no es necesario que la función sea continua, pero conserva suficientes buenas propiedades que pueden definir el espectro y partiendo de algún supuesto, el cálculo funcional para tales operadores. Muchos operadores lineales importantes no son acotados ni cerrados, tales como la derivada y ¿sus clases de operadores diferenciales?
Sea un espacios de Banach. Un operador lineal
es cerrado si para cada sucesión en que converge a tal que cuando se tiene que y Equivalentemente, es cerrada si su gráfico es cerrado en la suma directa suma directa
Dado un operador lineal , no necesariamente cerrado, si la clausura de su gráfico es cerrado en para a ser la gráfica de algún operador, tal operador se llamado clausura de , y decimos que is clausurable. Denotamos la clausura de por Se sigue que es la restricción de a
A core of a closable operator is a subset of such that the closure of the restriction of to is
Las siguientes propiedades se pueden probar fácilmente:
- Cualquier operador linear cerrado definido en todo es acotado. Este es el Teorema del grafo cerrado;
- Si es cerrado entonces es cerrado, donde es un escalar e es la función identidad;
- Si es cerrado e inyectiva, entonces su inversa es también cerrada;
- Un operador admite su clausura si y sólo si para cada par de sucesiones y en convergentes a e , respectivamente, tales que y convergen, se cumple que si .
Como ejemplo, consideramos el operador derivada
cuando el espacio de Banach B es el espacio C[a, b] para todas las funciones continuas en el intervalo [a, b]. Si uno toma su dominio como el conjunto más grande posible, esto es, entonces A es un operador cerrado, el cual no es acotado.
Si consideramos to be en vez del conjunto de todas las funciones con derivadas de todos los órdenes, A no será cerrada, pero si clausurable, con la clausura proveniente de su extensión maximal definida sobre
Closed operator en PlanetMath.