En matemáticas, particularmente en análisis funcional y en topología, la propiedad del grafo cerrado es una característica que poseen determinadas aplicaciones, de manera que se dice que una función entre espacios topológicos posee un grafo cerrado si su grafo es un conjunto cerrado perteneciente al espacio producto . Una propiedad relacionada es la de grafo abierto.

Esta propiedad se estudia porque existen muchos teoremas, conocidos como teoremas del grafo cerrado, que dan condiciones bajo las cuales una función con grafo cerrado es necesariamente continua. Una clase particularmente conocida son los teoremas de grafos cerrados en análisis funcional.

Definiciones

Grafos y funciones de valores establecidos

Definición y notación: El grafo de una función es el conjunto

.

Notación: Si es un conjunto, entonces el conjunto potencia de , que es el conjunto de todos los subconjuntos de , se denota por o .

Definición: Si e son conjuntos, una función de conjunto valorado de en (también llamada multifunción con valor en ) es una función con diminio que se valora en . Es decir, es una función en tal que para cada , es un subconjunto de . Algunos autores llaman a una función una función con valores establecidos solo si satisface el requisito adicional de que no esté vacía para cada ; en este artículo no se requiere esta condición.

Definición y notación: Si es una función con valores establecidos en un conjunto , entonces el grafo de es el conjunto .

Definición: Una función se puede identificar canónicamente con la función con valores establecidos definida por para cada , donde se denomina función canónica con valores establecidos inducida por (o asociado con) . Debe tenerse en cuenta que en este caso, .

Grafos abiertos y cerrados

Se da la definición más general de cuándo una función con valores o una función con valores establecidos definida en un subconjunto de tiene un grafo cerrado, ya que esta generalización es necesaria en el estudio de operadores lineales cerrados que están definidos en un subespacio denso de un espacio vectorial topológico (y no necesariamente definido en todo ). Este caso particular es una de las principales razones por las que en análisis funcional se estudian funciones con grafos cerrados.

Supuestos: En todo momento, y son espacios topológicos, y es una función con valores o una función con valores establecidos en (es decir, o ). siempre estará dotado de topología producto.

Definición: Se dice que   tiene un grafo cerrado (respectivamente, grafo abierto, grafo secuencialmente cerrado, grafo secuencialmente abierto) en si el grafo de , , es un subconjunto closed (respectivamente abierto, secuencialmente cerrado, secuencialmente abierto) de cuando está dotado de topología producto. Si o si se desprende del contexto, entonces se puede omitir escribir "en "

Observación: Si es una función y es la función canónica con valores establecidos inducida por   (es decir, está definido por para cada ), entonces, dado que , tiene un grafo cerrado (respectivamente, secuencialmente cerrado, abierto, secuencialmente abierto) en si y solo si lo mismo ocurre con .

Aplicaciones que se pueden cerrar y cierres

Definición: Se dice que la función (respectivamente, función con valores establecidos) se puede cerrar en si existe un subconjunto que contiene a y una función (respectivamente, función con valores establecidos) cuya grafo es igual al cierre del conjunto en . Un de este tipo se denomina cierre de en , se denota por y necesariamente se extiende a . Supuestos adicionales para aplicacións lineales: Si además, , y son espacios vectoriales topológicos y es una aplicación lineal, entonces para llamar a cerrable también se requiere que el conjunto sea un subespacio vectorial de y el cierre de sea un aplicación lineal.

Definición: Si se puede cerrar en , entonces un núcleo o dominio esencial de es un subconjunto tal que el cierre en del grafo de la restricción de a es igual al cierre del grafo de en (es decir, el cierre de en es igual al cierre de en ).

Aplicaciones cerradas y operadores lineales cerrados

Definición y notación: Cuando se escribe se quiere decir que es una función valorada por con dominio , donde . Si se dice que está cerrado (respectivamente, cerrado secuencialmente) o tiene un grafo cerrado (respectivamente, tiene un grafo cerrado secuencialmente) entonces se quiere decir que el grafo de está cerrado (o cerrado secuencialmente) en (en lugar de en ).

En distintas fuentes bibliográficas de análisis funcional se puede leer que, si es una aplicación lineal entre espacios vectoriales topológicos (EVTs) (por ejemplo, espacios de Banach), entonces " está cerrada", lo que casi siempre significará lo siguiente:

Definición: Un aplicación se llama cerrada si su grafo está cerrado en . En particular, es casi seguro que el término "operador lineal cerrado" se referirá a una aplicación lineal cuyo grafo sea cerrado.

De lo contrario, especialmente en la literatura sobre topología general, " es cerrada" puede significar lo siguiente:

Definición: Un aplicación entre espacios topológicos se denomina cerrada si la imagen de un subconjunto cerrado de es un subconjunto cerrado de .

Estas dos definiciones de "aplicación cerrada" no son equivalentes. Si no está claro, se recomienda que el lector compruebe cómo se define "aplicación cerrada" en la literatura que está leyendo.

Caracterizaciones

En todo momento, sean e dos espacios topológicos.

Función con grafo cerrado

Si es una función, entonces los siguientes enunciados son equivalentes:

  tiene un grafo cerrado (en ); (Definición) el grafo de , , es un subconjunto cerrado de ; Para cada y red en tal que en , si es tal que la red en , entonces ; Compárese esto con la definición de continuidad en términos de redes, que se recuerda que es la siguiente: para cada y neto en tal que en , en . Por lo tanto, para mostrar que la función tiene un grafo cerrado, se puede suponer que converge en a algún (y luego mostrar que ), mientras que para mostrar que es continua, se puede no asumir que converge en a algún y, en cambio, se debe demostrar que esto es cierto (y además, se debe demostrar más específicamente que converge a en ).

Y si es un espacio compacto de Hausdorff, entonces se puede agregar a esta lista:   es continua;

y si tanto como son espacios que satisfacen el primer axioma de numerabilidad, entonces se puede agregar a esta lista que:   tiene un grafo secuencialmente cerrado (en );

Función con grafo secuencialmente cerrado

Si es una función, entonces los siguientes enunciados son equivalentes:   tiene un grafo secuencialmente cerrado (en ); (Definición) el grafo de es un subconjunto secuencialmente cerrado de ; Para cada y para cada sucesión en tal que en , si es tal que la red en , entonces ;

Función de valor establecido con un grafo cerrado

Si es una función con valores establecidos entre los espacios topológicos e , entonces las siguientes proposiciones son equivalentes:   tiene un grafo cerrado (en ); (Definición) el grafo de es un subconjunto cerrado de ;

y si es compacto y de Hausdorff, entonces se pueden agregar a esta lista los enunciados siguientes:

es hemicontinua superior y es un subconjunto cerrado de para todos los ;

Y si tanto como son espacios metrizables, entonces se pueden agregar a esta lista los enunciados siguientes: para todos los , y las secuencias en y en , de modo que en e en , e para todos los , luego .

Condiciones suficientes para un grafo cerrado

Si es una función continua entre espacios topológicos y si es de Hausdorff, entonces  tiene un grafo cerrado en . Téngase en cuenta que si es una función entre espacios topológicos de Hausdorff, entonces es posible que   tenga un grafo cerrado en , pero "no" ser continuo.

Teoremas de grafo cerrado: cuando un grafo cerrado implica continuidad

Las condiciones que garantizan que una función con grafo cerrado sea necesariamente continua se denominan teorema del grafo cerrado. Los teoremas de grafos cerrados son de particular interés en análisis funcional, donde hay muchos teoremas que dan condiciones bajo las cuales una aplicación lineal con un grafo cerrado es necesariamente continua.

Si es una función entre espacios topológicos cuyo grafo es cerrado en y si es un espacio compacto, entonces es continua.

Ejemplos

Aplicaciones continuas pero no cerradas

Sea el conjunto de los números reales con la topología euclídea habitual, e denota con la topología trivial (donde debe tenerse en cuenta que no es de Hausdorff y que cada función valorada en es continua). Ahora, considérese que se defina por , y que para todo . Entonces, es continua pero su grafo "no" está cerrado en . Si es cualquier espacio, entonces la aplicación identidad es continua, pero su grafo, que es la diagonal , está cerrado en si y solo si es de Hausdorff.Rudin p.50 En particular, si no es de Hausdorff, entonces es continua pero "no" cerrada. Si es una aplicación continua cuyo grafo no está cerrado, entonces "no" es un espacio de Hausdorff.

Aplicaciones cerradas pero no continuas

Sean y los números reales con la topología euclídea habitual. Considérese ahora que se define por , y que para todo . Entonces, tiene un grafo cerrado (y un grafo secuencialmente cerrado) en , pero "no" es continua (ya que tiene una discontinuidad en ). Sea el conjunto de los números reales con la topología euclídea habitual, sea el con la topología discreta y sea la función identidad (es decir, para cada ). Entonces, es una aplicación lineal cuyo grafo está cerrado en pero claramente "no" es continua (ya que los conjuntos unitarios están abiertos en pero no en ). Sea un EVT de Hausdorff y sea una topología vectorial en que es estrictamente más fina que . Entonces, la aplicación identidad es un operador lineal discontinuo cerrado.

Operadores lineales cerrados

Todo operador lineal continuo valorado en un espacio vectorial topológico (EVT) de Hausdorff tiene un grafo cerrado, y por otro lado, debe recordarse que un operador lineal entre dos espacios vectoriales normados es continuo si y solo si está acotado.

Definición: Si e son espacios vectoriales topológicos (EVTs), entonces se denomina a la aplicación lineal un operador lineal cerrado si su grafo está cerrado en .

Teorema del grafo cerrado

El teorema del grafo cerrada establece que cualquier operador lineal cerrado entre dos espacios F (como por ejemplo, dos espacios de Banach) es continuo, dado que si e son espacios de Banach, entonces que sea continua equivale a que esté acotada.

Propiedades básicas

Las siguientes propiedades se verifican fácilmente para un operador lineal entre espacios de Banach:

Si está cerrado, entonces está cerrada, siendo un escalar e es la función identidad; Si está cerrada, entonces su núcleo (o espacio nulo) es un subespacio vectorial cerrado de ; Si está cerrada y es injectiva, entonces su inversa también está cerrada; Un operador lineal admite una clausura si y solo si para cada y cada par de sucesiones y en , ambas convergen a en , de modo que tanto como convergen en , se tiene que .

Ejemplo

Considérese el operador derivada donde es el espacio de Banach de todas las funciones continuas en un intervalo . Si se toma su dominio como , entonces es un operador cerrado, que no está acotado. Por otro lado, si es , entonces ya no estará cerrada, pero se podrá cerrar, siendo el cierre su extensión definida en .

Véase también Aplicación lineal casi abierta Teorema de la gráfica cerrada Teorema del grafo cerrado (análisis funcional) Teorema del punto fijo de Kakutani Teorema de la función abierta Espacio reticulado

Referencias

Bibliografía

Categoría:Análisis funcional