Teorema de la gráfica cerrada
# Teorema de la gráfica cerrada

$f(x)=x^{3}-9x$
$[-4,4]$
$[-2,2]$
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.

# Teorema de la gráfica cerrada
## 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.

# Teorema de la gráfica cerrada
## Gráficos cerrados y aplicaciones con grafos cerrados
### 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 de la gráfica cerrada
## 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}}$.

# Teorema de la gráfica cerrada
## Teorema del grafo cerrado en topología de conjuntos de puntos
### 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$.

# Teorema de la gráfica cerrada
## 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.