Operador densamente definido

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 $T$ de un espacio vectorial topológico, $X$ a otro espacio vectorial $Y$ es un operador lineal que se define en un subespacio lineal denso $\operatorname {dom} (T)$ de $X$ y toma valores en $Y$, denotados como $T:\operatorname {dom} (T)\subseteq X\to Y$. A veces, esto se escriba como $T:X\to Y$ cuando el contexto deja claro que $X$ podría no ser el dominio teórico de $T$.

Ejemplos

Considérese el espacio $C^{0}([0,1];\mathbb {R} )$ de todas las funciones continuas de valores reales, definidas en el intervalo unitario; y sea $C^{1}([0,1];\mathbb {R} )$ el subespacio que consta de todas las funciones continuamente diferenciables. Una vez equipado $C^{0}([0,1];\mathbb {R} )$ con el norma del supremo $\|\,\cdot \,\|_{\infty }$, esto convierte a $C^{0}([0,1];\mathbb {R} )$ en un espacio de Banach real. El operador diferencial $D$ dado por $(\mathrm {D} u)(x)=u'(x)$ es un operador densamente definido desde $C^{0}([0,1];\mathbb {R} )$ hacia sí mismo, definido en el subespacio denso $C^{1}([0,1];\mathbb {R} )$. El operador $\mathrm {D}$ es un ejemplo de operador lineal no acotado, ya que

$u_{n}(x)=e^{-nx}\quad {\text{ tiene }}\quad {\frac {\left\|\mathrm {D} u_{n}\right\|_{\infty }}{\left\|u_{n}\right\|_{\infty }}}=n$

Esta ilimitación causa problemas si se desea de alguna manera extender continuamente el operador de diferenciación $D$ a todo $C^{0}([0,1];\mathbb {R} )$.

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 $i:H\to E$ con adjunto $j:=i^{*}:E^{*}\to H,$ existe un operador lineal continuo natural (de hecho, es la inclusión, y es una isometría) de $j\left(E^{*}\right)$ a $L^{2}(E,\gamma ;\mathbb {R} )$, bajo el que $j(f)\in j\left(E^{*}\right)\subseteq H$ va a la clase de equivalencia $[f]$ de $f$ en $L^{2}(E,\gamma ;\mathbb {R} )$. Se puede demostrar que $j\left(E^{*}\right)$ es denso en $H$. Dado que la inclusión anterior es continua, existe una extensión lineal continua única $I:H\to L^{2}(E,\gamma ;\mathbb {R} )$ de la inclusión $j\left(E^{*}\right)\to L^{2}(E,\gamma ;\mathbb {R} )$ a la totalidad de $H$. 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

Bibliografía

• Renardy, Michael; Rogers, Robert C. (2004). An introduction to partial differential equations. Texts in Applied Mathematics 13 (Second edición). New York: Springer-Verlag. pp. xiv+434. ISBN 0-387-00444-0. MR 2028503. 

• Datos: Q5259314