En matemáticas, y más específicamente en teoría de operadores, un operador densamente definido o un operador parcialmente definido es un tipo de función parcialmente definido. Desde el punto de vista topológico, es una aplicación lineal que se define "casi en todas partes". Los operadores densamente definidos a menudo surgen en análisis funcional como operaciones que se desea aplicar a una clase de objetos mayor que aquellos para los cuales "a priori" "tienen sentido".
Definición
Un operador lineal densamente definido de un espacio vectorial topológico, a otro espacio vectorial es un operador lineal que se define en un subespacio lineal denso de y toma valores en , denotados como . A veces, esto se escriba como cuando el contexto deja claro que podría no ser el dominio teórico de .
Ejemplos
Considérese el espacio de todas las funciones continuas de valores reales, definidas en el intervalo unitario; y sea el subespacio que consta de todas las funciones continuamente diferenciables. Una vez equipado con el norma del supremo , esto convierte a en un espacio de Banach real. El operador diferencial dado por es un operador densamente definido desde hacia sí mismo, definido en el subespacio denso . El operador es un ejemplo de operador lineal no acotado, ya que
Esta ilimitación causa problemas si se desea de alguna manera extender continuamente el operador de diferenciación a todo .
La integral de Paley-Wiener, por otro lado, es un ejemplo de función continua de un operador densamente definido. En cualquier espacio de Wiener abstracto con adjunto existe un operador lineal continuo natural (de hecho, es la inclusión, y es una isometría) de a , bajo el que va a la clase de equivalencia de en . Se puede demostrar que es denso en . Dado que la inclusión anterior es continua, existe una extensión lineal continua única de la inclusión a la totalidad de . Esta extensión es la aplicación de Paley-Wiener.
Véase también Teorema de Blumberg Teorema del grafo cerrado (análisis funcional) Aplicación lineal Función parcial
Referencias
Bibliografía
Categoría:Análisis funcional Categoría:Espacio de Hilbert Categoría:Operadores lineales Categoría:Teoría de operadores