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.
Datos: Q320370