Teorema del grafo cerrado (análisis funcional)

En matemáticas, particularmente en análisis funcional y topología, el teorema del grafo cerrado es un resultado que conecta la continuidad de ciertos tipos de funciones con una propiedad topológica de su grafo. En su forma más elemental, el teorema del grafo cerrado establece que una función lineal entre dos espacios de Banach es continuo si y solo si el grafo de dicha función es cerrado.

El teorema del grafo cerrado tiene una amplia aplicación en todo el análisis funcional, porque puede controlar si un operador lineal parcialmente definido admite extensiones continuas. Por esta razón, se ha generalizado a muchas circunstancias más allá de la formulación elemental anterior.

Preliminares

El teorema del grafo cerrado es el resultado de la aplicación lineal $f:X\to Y$ entre dos espacios vectoriales dotados de topologías, convirtiéndolos en espacios vectoriales topológicos (EVT). De ahora en adelante se supondrá que $X$ e $Y$ son espacios vectoriales topológicos, como los espacios de Banach, por ejemplo, y que los productos cartesianos, como $X\times Y,$, están dotados de topología producto.

El Plantilla:Enf de esta función es el subconjunto

$\mathrm{grafo}(f)=\{(x,f(x)):x\in \mathrm{dom}f\}$, de $\mathrm{dom}(f)\times Y=X\times Y$,

donde $\mathrm{dom}f=X$ denota el dominio de la función.

Se dice que la aplicación $f:X\to Y$ tiene un grafo cerrado (en $X\times Y$) si su grafo $\mathrm{grafo}f$ es un subconjunto cerrado del espacio producto $X\times Y$ (con la habitual topología producto). De manera similar, se dice que $f$ tiene un grafo secuencialmente cerrado si $\mathrm{grafo}f$ es un subconjunto secuencialmente cerrado de $X\times Y$.

Un operador lineal cerrado es una aplicación lineal cuyo grafo es cerrado (no es necesario que sea continuo o acotado). Es común en el análisis funcional llamar a dichas aplicaciones "cerradas", pero esto no debe confundirse con la noción no equivalente de una "aplicación cerrada" que aparece en la topología general.

Funciones parciales

Es común en el análisis funcional considerar funciones parciales, que son aquellas definidas en un subconjunto denso de algún espacio $X$. Se declara una función parcial $f$ con la notación $f:D\subseteq X\to Y$, que indica que $f$ tiene el prototipo $f:D\to Y$ (es decir, su dominio es $D$ y su codominio es $Y$) y que $\mathrm{dom}f=D$ es un subconjunto denso de $X$. Dado que el dominio se denota por $\mathrm{dom}f,$, no siempre es necesario asignar un símbolo (como $D$) al dominio de una función parcial, en cuyo caso se puede usar la notación $f:X\rightarrowtail Y$ o $f:X\rightharpoonup Y$ para indicar que $f$ es una función parcial con codominio $Y$, cuyo dominio $\mathrm{dom}f$ es un subconjunto denso de $X$.Plantilla:Sfn. Un operador lineal densamente definido entre espacios vectoriales es una función parcial $f:D\subseteq X\to Y$ cuyo dominio $D$ es un subespacio vectorial denso de un EVT $X$ tal que $f:D\to Y$ es una aplicación lineal. Un ejemplo prototípico de una función parcial es el operador derivada, que solo se define en el espacio $D:=C^1([0,1])$ de una función función diferenciable, un subconjunto denso del espacio $X:=C([0,1])$ de funciones continuas.

Cada función parcial es, en particular, una función, y por lo tanto, se les puede aplicar toda la terminología para funciones. Por ejemplo, el grafo de una función parcial $f$ es (como antes) el conjunto

$\mathrm{grafo}(f)=\{(x,f(x)):x\in \mathrm{dom}f\}$.

Sin embargo, una excepción a este principio es la definición de "grafo cerrado". Se dice que una función Plantilla:Enf $f:D\subseteq X\to Y$ tiene un grafo cerrado (respectivamente, un grafo secuencialmente cerrado) si $\mathrm{grafo}f$ es un grafo cerrado subconjunto (respectivamente, cerrado secuencialmente) de $X\times Y$ en la topología producto. Es importante tener en cuenta que el espacio del producto es $X\times Y$ y Plantilla:Enf $D\times Y=\mathrm{dom}f\times Y$, como se definió anteriormente para funciones ordinarias.

Aplicacións que se pueden cerrar y cierres

Un operador lineal $f:D\subseteq X\to Y$ es cerrable en $X\times Y$' si existe un subespacio vectorial Plantilla:Enf $E\subseteq X$ que contiene $D$ y una función (respectivamente, multifunción) $F:E\to Y$ cuya grafo es igual al cierre del conjunto $\mathrm{grafo}f$ en $X\times Y$. Tal $F$ se llama cierre de $f$ en $X\times Y$ , se denota por $\bar{f},$ y necesariamente extiende $f$.

Si $f:D\subseteq X\to Y$ es un operador lineal que se puede cerrar entonces un núcleo o un dominio esencial de $f$ es un subconjunto $C\subseteq D$ tal que el cierre en $X\times Y$ del grafo de la restricción $f{|}_C:C\to Y$ de $f$ a $C$ es igual al cierre del grafo de $f$ en $X\times Y$ (es decir, el cierre del $\mathrm{grafo}f$ en $X\times Y$ es igual al cierre del $\mathrm{grafo}f{|}_C$ en $X\times Y$).

Caracterizaciones de grafos cerrados (topología general)

En todo momento, sean $X$ y $Y$ espacios topológicos y $X\times Y$ esté dotado de la topología del producto.

Función con grafo cerrado

Si $f:X\to Y$ es una función, entonces se dice que tiene un Plantilla:Enf si satisface cualquiera de las siguientes condiciones equivalentes:

1. (Definición): El grafo $\mathrm{grafo}f$ de $f$ es un subconjunto cerrado de $X\times Y$.
2. Para cada $x\in X$ y red $x_{\bullet }={\left(x_i\right)}_{i\in I}$ en $X$ tal que $x_{\bullet }\to x$ en $X,$ si $y\in Y$ es tal que $f\left(x_{\bullet }\right)={\left(f\left(x_i\right)\right)}_{i\in I}\to y$ red en $Y$ entonces $y=f(x)$.Plantilla:Sfn
   • Compárese esto con la definición de continuidad en términos de redes, que se recuerda que es la siguiente: para cada $x\in X$ y $x_{\bullet }={\left(x_i\right)}_{i\in I}$ neto en $X$ tal que $x_{\bullet }\to x$ en $X$, $f\left(x_{\bullet }\right)\to f(x)$ en $Y$.
   • Así, para mostrar que la función $f$ tiene un grafo cerrado, "se puede" suponer que $f\left(x_{\bullet }\right)$ converge en $Y$ a algún $y\in Y$ (y luego mostrar que $y=f(x)$), mientras que para mostrar que $f$ es continua, se puede "no" suponer que $f\left(x_{\bullet }\right)$ converge en $Y$ a algún $y\in Y$ y, en cambio, debe demostrarse que esto es cierto (y además, debe demostrarse más específicamente que $f\left(x_{\bullet }\right)$ converge a $f(x)$ en $Y$).

y si $Y$ es un espacio compacto de Hausdorff, entonces se puede agregar a esta lista que:

3. $f$ es continua.Plantilla:Sfn

y si tanto $X$ como $Y$ son espacios que cumplen el primer axioma de numerabilidad, entonces se puede agregar a esta lista:

4. $f$ tiene un grafo secuencialmente cerrado en $X\times Y$.

Función con un grafo secuencialmente cerrado

Si $f:X\to Y$ es una función, entonces las siguientes proposiciones son equivalentes:

1. $f$ tiene un grafo secuencialmente cerrado en $X\times Y$.
2. Definición: el grafo de $f$ es un subconjunto secuencialmente cerrado de $X\times Y$.
3. Para cada $x\in X$ y cada secuencia $x_{\bullet }={\left(x_i\right)}_{i=1}^{\mathrm{\infty }}$ en $X$ tal que $x_{\bullet }\to x$ en $X,$ si $y\in Y$ es tal que el $f\left(x_{\bullet }\right):={\left(f\left(x_i\right)\right)}_{i=1}^{\mathrm{\infty }}\to y$ red en $Y$, entonces $y=f(x)$.Plantilla:Sfn

Propiedades básicas de aplicacións con grafos cerrados

Supóngase que $f:D(f)\subseteq X\to Y$ es un operador lineal entre espacios de Banach.

• Si $A$ está cerrado, entonces $A-s{\mathrm{Id}}_{D(f)}$ está cerrado donde $s$ es un escalar y ${\mathrm{Id}}_{D(f)}$ es la función identidad.
• Si $f$ es cerrada, entonces su núcleo (o espacio nulo) es un subespacio vectorial cerrado de $X$.
• Si $f$ es cerrada e inyectiva, entonces su inversa $f^{-1}$ también es cerrada.
• Un operador lineal $f$ admite un cierre si y solo si para cada $x\in X$ y cada par de secuencias $x_{\bullet }={\left(x_i\right)}_{i=1}^{\mathrm{\infty }}$ y $z_{\bullet }={\left(z_i\right)}_{i=1}^{\mathrm{\infty }}$ en $D(f)$ ambas convergen a $x$ en $X$, de manera que tanto $f\left(x_{\bullet }\right)={\left(f\left(x_i\right)\right)}_{i=1}^{\mathrm{\infty }}$ como $f\left(z_{\bullet }\right)={\left(f\left(z_i\right)\right)}_{i=1}^{\mathrm{\infty }}$ convergen en $Y$, entonces se tiene que $\underset{i\to \mathrm{\infty }}{\lim }f\left(x_i\right)=\underset{i\to \mathrm{\infty }}{\lim }f\left(z_i\right)$.

Ejemplos y contraejemplos

Aplicaciones continuas pero no cerradas

• Sea $X$ el conjunto de los números reales $ℝ$ con la topología euclídea habitual, e $Y$ denote $ℝ$ con la topología trivial (donde $Y$ Plantilla:Enf es de Hausdorff y que cada función valorada en $Y$ es continua). Hágase que $f:X\to Y$ esté definida por $f(0)=1$ y $f(x)=0$ para todos los $x\ne 0$. Entonces, $f:X\to Y$ es continua pero su grafo no está cerrado en $X\times Y$.Plantilla:Sfn
• Si $X$ es cualquier espacio, entonces la aplicación de identidad $\mathrm{Id}:X\to X$ es continua pero su grafo, que es la diagonal $\mathrm{grafo}\mathrm{Id}=\{(x,x):x\in X\}$, está cerrada en $X\times X$ si y solo si $X$ es de Hausdorff.Plantilla:Sfn En particular, si $X$ no es de Hausdorff, entonces $\mathrm{Id}:X\to X$ es continua pero "no" cerrada.
• Si $f:X\to Y$ es una aplicación continua cuyo grafo no está cerrado, entonces $Y$ "no" es un espacio de Hausdorff.

Aplicacións cerradas pero no continuas

• Si $(X,\tau )$ es un EVT de Hausdorff y $\nu$ es una topología vectorial en $X$ que es estrictamente más fina que $\tau$, entonces la aplicación de identidad $\mathrm{Id}:(X,\tau )\to (X,\nu )$ es un operador lineal discontinuo cerrado.Plantilla:Sfn
• Considérese el operador derivada $A=\frac{d}{dx}$, donde $X=Y=C([a,b])$ es el espacio de Banach de todas las funciones continuas en un intervalo $[a,b]$. Si se toma su dominio $D(f)$ como $C^1([a,b]),$, entonces $f$ es un operador cerrado, que no está acotado. Por otro lado, si $D(f)$ es el espacio $C^{\mathrm{\infty }}([a,b])$ de las funciones diferenciables escalarmente valuadas, entonces $f$ ya no estará cerrada, pero se podrá cerrar, siendo el cierre su extensión definida en $C^1([a,b])$.
• Sean $X$ e $Y$ los números reales $ℝ$ con la topología euclídea habitual. Sea $f:X\to Y$ definida por $f(0)=0$ y $f(x)=\frac{1}{x}$ para todo $x\ne 0$. Entonces, $f:X\to Y$ tiene un grafo cerrado (y un grafo cerrado secuencialmente) en $X\times Y={ℝ}^2$ pero "no" es continua (ya que tiene una discontinuidad en $x=0$).Plantilla:Sfn
• Sea $X$ el conjunto de los números reales $ℝ$ con la topología euclídea habitual, sea $Y$ el conjunto $ℝ$ con la topología discreta y sea $\mathrm{Id}:X\to Y$ la función identidad (es decir, $\mathrm{Id}(x):=x$ para cada $x\in X$). Entonces, $\mathrm{Id}:X\to Y$ es una aplicación lineal cuyo grafo está cerrado en $X\times Y$ pero claramente "no" es continua (ya que los conjuntos unitarios están abiertos en $Y$ pero no en $X$).Plantilla:Sfn

Teoremas de grafo cerrado

Entre espacios de Banach

Se requiere que el operador esté definido en todas partes, es decir, el domain $D(T)$ de $T$ es $X$. Esta condición es necesaria, ya que existen operadores lineales cerrados que no están acotados (no son continuos). Un ejemplo prototípico lo proporciona el operador derivado en $C([0,1])$, cuyo dominio es un subconjunto estricto de $C([0,1])$.

La prueba habitual del teorema del grafo cerrado emplea el teorema de la aplicación abierta. De hecho, el teorema del grafo cerrado, el teorema de la aplicación abierta y el teorema inverso acotado son todos equivalentes. Esta equivalencia también sirve para demostrar la importancia de que $X$ y $Y$ sean espacios de Banach, y se pueden construir aplicaciones lineales que tengan inversas ilimitadas en este entorno, por ejemplo, usando funciones continuas con soporte compacto o usando secuencias con un número finito de términos distintos de cero junto con la norma del supremo.

Codominio metrizable completo

El teorema del grafo cerrado se puede generalizar desde espacios de Banach a espacios vectoriales topológicos más abstractos de las siguientes maneras.

Entre espacios F

Hay versiones que no requieren que $Y$ sea localmente convexo.

Este teorema se reformula y se amplía con algunas condiciones que se pueden utilizar para determinar si un grafo es cerrado:

Codominio pseudometrizable completo

Cada espacio topológico metrizable es pseudometrizable. Un espacio pseudométrico es metrizable si y solo si es de Hausdorff.

Codominio no completo o (pseudo) metrizable

{{teorema|título=Teorema del grafo cerradoPlantilla:Sfn|1= Una aplicación lineal sobreyectiva cerrada desde un EVT pseudometrizable sobre un [[espacio ultrabarrilado] localmente convexo es continua.}}

Una versión aún más general del teorema del grafo cerrado es

Teorema del grafo de Borel

El teorema del grafo de Borel, demostrado por L. Schwartz, permite afirmar que el teorema del grafo cerrado es válido para aplicaciones lineales definidas y valoradas en la mayoría de los espacios encontrados en el análisis.Plantilla:Sfn Recuérdese que un espacio topológico se llama espacio polaco si es un espacio metrizable completo separable y que un espacio de Souslin es la imagen continua de un espacio polaco. El dual débil de un espacio de Fréchet separable y el dual fuerte de un espacio de Fréchet-Montel separable son espacios de Souslin. Además, el espacio de distribuciones y todos los espacios Lp sobre subconjuntos abiertos del espacio euclidiano, así como muchos otros espacios que aparecen en análisis matemático, son espacios de Souslin.

El teorema del grafo de Borel establece que:

Una mejora de este teorema, demostrada por A. Martineau, utiliza espacios K-analíticos.

Un espacio topológico $X$ se llama $K_{\sigma \delta }$ si es la intersección numerable de uniones numerables de conjuntos compactos.

Un espacio topológico de Hausdorff $Y$ se llama K-analítico si es la imagen continua de un espacio $K_{\sigma \delta }$ (es decir, si hay un espacio $K_{\sigma \delta }$ $X$ y una aplicación continua de $X$ en $Y$).

Todo conjunto compacto es K-analítico, por lo que existen espacios K-analíticos no separables. Además, cada espacio reflexivo polaco, de Souslin y de Fréchet es K-analítico al igual que el dual débil de un espacio de Fréchet.

El teorema generalizado del grafo de Borel establece que:

Resultados relacionados

Si $F:X\to Y$ es un operador lineal cerrado de un EVT localmente convexo y de Hausdorff $X$ sobre un EVT $Y$ de dimensión finita de Hausdorff, entonces $F$ es continuo.Plantilla:Sfn

Bibliografía

• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro

Enlaces externos

• Plantilla:Planetmath reference