Teorema de la gráfica cerrada

La gráfica de la función cúbica $f(x)=x^{3}-9x$ en el intervalo $[-4,4]$ está cerrada, dado que la función es continua. En cambio, la gráfica de la función escalón de Heaviside sobre $[-2,2]$ no está cerrada debido a que la función no es continua.

En matemáticas, el teorema del grafo cerrado puede referirse a uno de varios resultados básicos que caracterizan a las funciones continuas en términos de sus gráficas. Cada uno establece condiciones para que las funciones con grafo cerrado sean necesariamente continuas.

Gráficos cerrados y aplicaciones con grafos cerrados

Si $f:X\to Y$ es una aplicación entre espacios topológicos, entonces el gráfico o grafo de $f$ es el conjunto $\operatorname {Gr} f:=\{(x,f(x)):x\in X\}$ o equivalentemente,

$\operatorname {Gr} f:=\{(x,y)\in X\times Y:y=f(x)\}$

Se dice que la gráfica de $f$ está cerrada si $\operatorname {Gr} f$ es un subconjunto cerrado de $X\times Y$ (con la topología producto).

Cualquier función continua en un espacio de Hausdorff tiene una gráfica cerrada.

Cualquier mapa lineal, $L:X\to Y,$ entre dos espacios vectoriales topológicos cuyas topologías sean completas (según el criterio de Cauchy) con respecto a las métricas invariantes de traslación, y si además (1a) $L$ es secuencialmente continua en el sentido de la topología del producto, entonces la aplicación $L$ es continua y su gráfica, Gr L, es necesariamente cerrada. Por el contrario, si $L$ es una aplicación lineal en la que, en lugar de (1a), se sabe que la gráfica de $L$ (1b) está cerrada en el espacio producto cartesiano $X\times Y$, entonces $L$ es continua y, por lo tanto, necesariamente secuencialmente continua.​

Ejemplos de aplicaciones continuas que no tienen un gráfico cerrado

Si $X$ es un espacio cualquiera, entonces la aplicación identidad $\operatorname {Id} :X\to X$ es continua, pero su gráfica, que es la diagonal $\operatorname {Gr} \operatorname {Id} :=\{(x,x):x\in X\},$, está cerrada en $X\times X$ si y solo si $X$ es de Hausdorff.​ En particular, si $X$ no es de Hausdorff, entonces $\operatorname {Id} :X\to X$ es continua pero no tiene un gráfico cerrado.

Sea $X$ el conjunto de los números reales $\mathbb {R}$ con la topología euclídea habitual, e $Y$ denota $\mathbb {R}$ con una topología trivial (donde debe tenerse en cuenta que $Y$ no es de Hausdorff, y que cada función valorada en $Y$ es continua). Ahora, considérese que $f:X\to Y$ se define por $f(0)=1$ y $f(x)=0$ para todo $x\neq 0$. Entonces, $f:X\to Y$ es continua, pero su gráfica es no está cerrada en $X\times Y$.​

Teorema del grafo cerrado en topología de conjuntos de puntos

En topología general, el teorema del grafo cerrado establece lo siguiente:

Teorema del grafo cerrado​ Si $f:X\to Y$ es una aplicación de un espacio topológico $X$ sobre un espacio de Hausdorff $Y$, entonces la gráfica de $f$ está cerrada si $f:X\to Y$ es continua. Lo contrario ocurre cuando $Y$ es compacto (téngase en cuenta que la compacidad y la condición de ser de Hausdorff no se implican entre sí).

Demostración

La primera parte es esencialmente por definición. Segunda parte: Para cualquier $V\subset Y$ abierto, se verifica que $f^{-1}(V)$ esté abierto. Entonces, tomando cualquier $x\in f^{-1}(V)$, se construye un entorno abierto $U$ de $x$, tal que $f(U)\subset V$. Dado que la gráfica de $f$ es cerrada, para cada punto $(x,y')$ en la "línea vertical en x", con $y'\neq f(x)$, dibújese un rectángulo abierto $U_{y'}\times V_{y'}$ disjunto de la gráfica de $f$. Estos rectángulos abiertos, cuando se proyectan sobre el eje y, cubren el eje y excepto en $f(x)$, así que agréguese un conjunto $V$ más. Intentar tomar $U:=\bigcap _{y'\neq f(x)}U_{y'}$ construiría un conjunto que contenga $x$, pero no se garantiza que esté abierto, por lo que aquí se usa el requisito de la compacidad. Dado que $Y$ es compacto, se puede tomar un recubrimiento abierto finito de $Y$ como $\{V,V_{y'_{1}},...,V_{y'_{n}}\}$. Ahora, tómese $U:=\bigcap _{i=1}^{n}U_{y'_{i}}$, que es un entorno abierto de $x$, ya que es simplemente una intersección finita. Se puede afirmar que este es el entorno abierto de $U$ buscado. Supóngase que esto no es cierto, entonces hay algún $x'\in U$ que no cumple la condición anterior tal que $f(x')\not \in V$, lo que implicaría que $f(x')\in V_{y'_{i}}$ para algún $i$ por ser el recubrimiento abierto, pero entonces $(x',f(x'))\in U\times V_{y'_{i}}\subset U_{y'_{i}}\times V_{y'_{i}}$, lo que constituye una contradicción, ya que se supone que está separado del gráfico de $f$.

Los espacios que no son de Hausdorff rara vez se ven, pero los espacios no compactos son comunes. Un ejemplo de $Y$ no compacto es la recta real, que permite la función discontinua con gráfica cerrada

$f(x)={\begin{cases}{\frac {1}{x}}{\text{ si }}x\neq 0,\\0{\text{ en caso contrario }}\end{cases}}$.

Para funciones con valores establecidos

Teorema del gráfico cerrado para funciones con valores establecidos​ Para un rango de espacio de Hausdorff compacto $Y$, una función con valores establecidos $F:X\to 2^{Y}$ tiene un gráfico cerrado si y solo si es hemicontinua superior y F(x) es un conjunto cerrado para todos los $x\in X$.

En análisis funcional

Si $T:X\to Y$ es un operador lineal entre espacios vectoriales topológicos (TVSs), entonces se dice que $T$ es un operador cerrado si la gráfica de $T$ está cerrada en $X\times Y$ cuando $X\times Y$ está dotado de la topología del producto.

El teorema del grafo cerrado es un resultado importante en el análisis funcional, que garantiza que un operador lineal cerrado es continuo bajo ciertas condiciones. El resultado original se ha generalizado muchas veces. Una versión bien conocida de los teoremas del grafo cerrado es la siguiente:

Teorema​​ Una aplicación lineal entre dos espacios F (por ejemplo, dos espacios de Banach) es continua si y sólo si su gráfico es cerrado.

Véase también

• Aplicación lineal casi abierta
• Espacio barrilado
• Grafo cerrado
• Operador lineal cerrado
• Aplicación lineal discontinua
• Teorema del punto fijo de Kakutani
• Teorema de la función abierta
• Teorema de Ursescu
• Espacio reticulado
• Teorema principal de Zariski

Bibliografía

• Bourbaki, Nicolas (1987) [1981]. Topological Vector Spaces: Chapters 1–5 (Eggleston, H.G.; Madan, S., trad.). Elementos de matemática. Berlin New York: Springer-Verlag. ISBN 3-540-13627-4. OCLC 17499190. 
• Folland, Gerald B. (1984). Real Analysis: Modern Techniques and Their Applications (1st edición). John Wiley & Sons. ISBN 978-0-471-80958-6. 
• Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342. 
• Köthe, Gottfried (1983) [1969]. Topological Vector Spaces I (Garling, D.J.H., trad.). Grundlehren der mathematischen Wissenschaften 159. New York: Springer Science & Business Media. ISBN 978-3-642-64988-2. MR 0248498. OCLC 840293704. 
• Munkres, James R. (2000). Topology (Second edición). Upper Saddle River: Prentice Hall, Inc. ISBN 978-0-13-181629-9. OCLC 42683260. 
• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. 
• Rudin, Walter (1991). Functional Analysis. International Series in Pure and Applied Mathematics 8 (Second edición). New York, NY: McGraw Hill Education. ISBN 978-0-07-054236-5. OCLC 21163277. 
• Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM 8 (Second edición). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. 
• Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322. 
• Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114. 
• Zălinescu, Constantin (30 de julio de 2002). Convex Analysis in General Vector Spaces (J). River Edge, N.J. London: World Scientific Publishing. ISBN 978-981-4488-15-0. MR 1921556. OCLC 285163112 – via Internet Archive. 

Enlaces externos

• Proof of closed graph theorem en PlanetMath.

• Datos: Q1068085