Propiedad de gráfico cerrado

En matemáticas , particularmente en análisis funcional y topología , el grafo cerrado es una propiedad de las funciones . ^{[1] [2]} Una función f  : X → Y entre espacios topológicos tiene un grafo cerrado si su grafo es un subconjunto cerrado del espacio producto X ×  Y . Una propiedad relacionada es el grafo abierto . ^[3]

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

Definición y notación : La gráfica de una función f  : X → Y es el conjunto

Gr f  := { ( x , f ( x )) : x ∈ X  } = { ( x , y ) ∈ X ×  Y  : y = f ( x ) } .

Notación : Si Y es un conjunto, entonces el conjunto potencia de Y , que es el conjunto de todos los subconjuntos de Y , se denota por 2 ^Y o 𝒫( Y ) .

Definición : Si X e Y son conjuntos, una función con valor de conjunto en Y sobre X (también llamada multifunción con valor de Y sobre X ) es una función F  : X → 2 ^Y con dominio X que tiene valor en 2 ^Y . Es decir, F es una función sobre X tal que para cada x ∈ X , F ( x ) es un subconjunto de Y .

• Algunos autores llaman a una función F  : X → 2 ^Y una función de valor conjunto sólo si satisface el requisito adicional de que F ( x ) no esté vacía para cada x ∈ X ; este artículo no requiere esto.

Definición y notación : Si F  : X → 2 ^Y es una función de valor conjunto en un conjunto Y , entonces el gráfico de F es el conjunto

Gr F  := { ( x , y ) ∈ X ×  Y  : y ∈ F ( x ) } .

Definición : Una función f  : X → Y puede identificarse canónicamente con la función de valor conjunto F  : X → 2 ^Y definida por F ( x ) := { f ( x ) } para cada x ∈ X , donde F se denomina función de valor conjunto canónica inducida por (o asociada con) f .

• Nótese que en este caso, Gr f = Gr F .

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

Supuestos : En todo momento, X e Y son espacios topológicos, S ⊆ X , y f es una función con valor Y o una función con valor conjunto en S (es decir, f  : S → Y o f  : S → 2 ^Y ). X ×  Y siempre estará dotado de la topología de producto .

Definición : ^[4] Decimos que f   tiene un grafo cerrado en X ×  Y si el grafo de f , Gr f , es un subconjunto cerrado de X ×  Y cuando X ×  Y está dotado de la topología de producto. Si S = X o si X se desprende del contexto, entonces podemos omitir la escritura "en X ×  Y ".

Tenga en cuenta que podemos definir un gráfico abierto , un gráfico secuencialmente cerrado y un gráfico secuencialmente abierto de maneras similares.

Observación : Si g  : S → Y es una función y G es la función de valor conjunto canónico inducida por g   (es decir, G  : S → 2 ^Y se define por G ( s ) := { g ( s ) } para cada s ∈ S ) entonces, dado que Gr g = Gr G , g tiene un grafo cerrado (resp. secuencialmente cerrado, abierto, secuencialmente abierto) en X ×  Y si y solo si lo mismo es cierto para G .

Definición : Decimos que la función (resp. función de valor conjunto) f es cerrable en X ×  Y si existe un subconjunto D ⊆ X que contiene a S y una función (resp. función de valor conjunto) F  : D → Y cuyo gráfico es igual a la clausura del conjunto Gr f en X ×  Y . Tal F se llama clausura de f en X ×  Y , se denota por f , y necesariamente extiende f .

• Supuestos adicionales para mapas lineales : si además, S , X e Y son espacios vectoriales topológicos y f  : S → Y es un mapa lineal , entonces para llamar a f cerrable también requerimos que el conjunto D sea un subespacio vectorial de X y que el cierre de f sea un mapa lineal.

Definición : Si f es cerrable en S entonces un núcleo o dominio esencial de f es un subconjunto D ⊆ S tal que el cierre en X ×  Y del grafo de la restricción f  | _D  : D → Y de f a D es igual al cierre del grafo de f en X ×  Y (es decir, el cierre de Gr f en X ×  Y es igual al cierre de Gr f  | _D en X ×  Y ).

Definición y notación : Cuando escribimos f  : D ( f ) ⊆ X → Y entonces queremos decir que f es una función de valor Y con dominio D ( f ) donde D ( f ) ⊆ X . Si decimos que f  : D ( f ) ⊆ X → Y es cerrada (resp. secuencialmente cerrada ) o tiene un gráfico cerrado (resp. tiene un gráfico secuencialmente cerrado ) entonces queremos decir que el gráfico de f es cerrado (resp. secuencialmente cerrado) en X ×  Y (en lugar de en D ( f ) ×  Y ).

Al leer literatura sobre análisis funcional , si f  : X → Y es una función lineal entre espacios vectoriales topológicos (TVS) (por ejemplo, espacios de Banach ), entonces " f está cerrado" casi siempre significará lo siguiente:

Definición : Una función f  : X → Y se denomina cerrada si su grafo es cerrado en X ×  Y . En particular, el término " operador lineal cerrado " casi con certeza se referirá a una función lineal cuyo grafo es cerrado.

De lo contrario, especialmente en la literatura sobre topología de conjuntos de puntos , " f está cerrado" puede significar lo siguiente:

Definición : Una función f  : X → Y entre espacios topológicos se denomina función cerrada si la imagen de un subconjunto cerrado de X es un subconjunto cerrado de Y .

Estas dos definiciones de "mapa cerrado" no son equivalentes. Si no está claro, se recomienda que el lector compruebe cómo se define "mapa cerrado" en la bibliografía que está leyendo.

En todo caso, sean X e Y espacios topológicos.

Función con gráfico cerrado

Si f  : X → Y es una función entonces las siguientes son equivalentes:

1. f   tiene un gráfico cerrado (en X ×  Y );
2. (definición) la gráfica de f , Gr f , es un subconjunto cerrado de X ×  Y ;
3. para cada x ∈ X y neto x _• = ( x _i ) _{i ∈ I} en X tal que x _• → x en X , si y ∈ Y es tal que el neto f ( x _• ) := ( f ( x _i )) _{i ∈ I} → y en Y entonces y = f ( x ) ; ^[4]
   • Comparemos esto con la definición de continuidad en términos de redes, que recordemos es la siguiente: para cada x ∈ X y red x _• = ( x _i ) _{i ∈ I} en X tal que x _• → x en X , f ( x _• ) → f ( x ) en Y .
   • Así, para demostrar que la función f tiene un gráfico cerrado , podemos suponer que f ( x _• ) converge en Y a algún y ∈ Y (y luego demostrar que y = f ( x ) ), mientras que para demostrar que f es continua no podemos suponer que f ( x _• ) converge en Y a algún y ∈ Y y, en cambio, debemos demostrar que esto es cierto (y, además, debemos demostrar más específicamente que f ( x _• ) converge a f ( x ) en Y ).

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

y si tanto X como Y son espacios contables iniciales , entonces podemos agregar a esta lista:

Función con gráfico secuencialmente cerrado

Si f  : X → Y es una función entonces las siguientes son equivalentes:

1. f   tiene un gráfico secuencialmente cerrado (en X ×  Y );
2. (definición) la gráfica de f es un subconjunto secuencialmente cerrado de X ×  Y ;
3. para cada x ∈ X y secuencia x _• = ( x _i )^∞
   _{i = 1}en X tal que x _• → x en X , si y ∈ Y es tal que la red f ( x _• ) := ( f ( x _i ))^∞
   _{i = 1}→ y en Y entonces y = f ( x ) ; ^[4]

función de valor conjunto con un gráfico cerrado

Si F  : X → 2 ^Y es una función de valor conjunto entre los espacios topológicos X e Y , entonces las siguientes son equivalentes:

1. F   tiene un gráfico cerrado (en X ×  Y );
2. (definición) el gráfico de F es un subconjunto cerrado de X ×  Y ;

y si Y es compacto y Hausdorff entonces podemos agregar a esta lista:

y si tanto X como Y son espacios metrizables entonces podemos agregar a esta lista:

En su totalidad, sean y espacios topológicos y esté dotado de la topología del producto. ${\estilo de visualización X}$${\estilo de visualización Y}$${\displaystyle X\veces Y}$

Si es una función entonces se dice que tiene un gráfico cerrado si satisface alguna de las siguientes condiciones equivalentes: ${\displaystyle f:X\to Y}$

1. (Definición): El gráfico de es un subconjunto cerrado de${\displaystyle \operatorname {gráfico} f}$${\estilo de visualización f}$${\displaystyle X\veces Y.}$
2. Para cada y neto en tal que en si es tal que el neto en entonces ^[4]${\displaystyle x\en X}$${\displaystyle x_{\bullet}=\left(x_{i}\right)_{i\in I}}$${\estilo de visualización X}$${\displaystyle x_{\bullet}\to x}$${\estilo de visualización X,}$${\displaystyle y\en Y}$${\displaystyle f\left(x_{\bullet }\right)=\left(f\left(x_{i}\right)\right)_{i\in I}\to y}$${\estilo de visualización Y}$${\displaystyle y=f(x).}$
   • Comparemos esto con la definición de continuidad en términos de redes, que recordemos es la siguiente: para cada y red en tal que en en${\displaystyle x\en X}$${\displaystyle x_{\bullet}=\left(x_{i}\right)_{i\in I}}$${\estilo de visualización X}$${\displaystyle x_{\bullet}\to x}$${\estilo de visualización X,}$ ${\displaystyle f\left(x_{\bullet }\right)\to f(x)}$${\displaystyle Y.}$
   • Así, para demostrar que la función tiene un gráfico cerrado, se puede suponer que converge en a algún (y luego demostrar que ) mientras que para demostrar que es continua, no se puede suponer 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 ).${\estilo de visualización f}$${\displaystyle f\left(x_{\bullet }\right)}$${\estilo de visualización Y}$${\displaystyle y\en Y}$${\displaystyle y=f(x)}$${\estilo de visualización f}$${\displaystyle f\left(x_{\bullet }\right)}$${\estilo de visualización Y}$${\displaystyle y\en Y}$${\displaystyle f\left(x_{\bullet }\right)}$${\estilo de visualización f(x)}$${\estilo de visualización Y}$

y si es un espacio compacto de Hausdorff entonces podemos agregar a esta lista: ${\estilo de visualización Y}$

3. ${\estilo de visualización f}$es continua. ^[5]

y si ambos son espacios contables iniciales entonces podemos agregar a esta lista: ${\estilo de visualización X}$${\estilo de visualización Y}$

4. ${\estilo de visualización f}$tiene un gráfico secuencialmente cerrado en${\displaystyle X\veces Y.}$

Función con gráfico secuencialmente cerrado

Si es una función entonces las siguientes son equivalentes: ${\displaystyle f:X\to Y}$

1. ${\estilo de visualización f}$tiene un gráfico secuencialmente cerrado en${\displaystyle X\veces Y.}$
2. Definición: el gráfico de es un subconjunto secuencialmente cerrado de${\estilo de visualización f}$${\displaystyle X\veces Y.}$
3. Para cada secuencia y en tal que en si es tal que la red en entonces ^[4]${\displaystyle x\en X}$ ${\displaystyle x_{\bullet}=\left(x_{i}\right)_{i=1}^{\infty}}$${\estilo de visualización X}$${\displaystyle x_{\bullet}\to x}$${\estilo de visualización X,}$${\displaystyle y\en Y}$${\displaystyle f\left(x_{\bullet }\right):=\left(f\left(x_{i}\right)\right)_{i=1}^{\infty }\to y}$${\estilo de visualización Y}$${\displaystyle y=f(x).}$

• Si f  : X → Y es una función continua entre espacios topológicos y si Y es de Hausdorff , entonces f   tiene un gráfico cerrado en X ×  Y . ^[4] Sin embargo, si f es una función entre espacios topológicos de Hausdorff, entonces es posible que f   tenga un gráfico cerrado en X ×  Y pero no sea continua.

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

• Si f  : X → Y es una función entre espacios topológicos cuyo gráfico está cerrado en X ×  Y y si Y es un espacio compacto entonces f  : X → Y es continua. ^[4]

Para ver ejemplos de análisis funcional, consulte operador lineal continuo .

• Sea X el número real ℝ con la topología euclidiana usual y sea Y el número ℝ con la topología indiscreta (observe que Y no es Hausdorff y que toda función con valor en Y es continua). Sea f  : X → Y definida por f (0) = 1 y f ( x ) = 0 para todo x ≠ 0 . Entonces f  : X → Y es continua pero su grafo no es cerrado en X ×  Y . ^[4]
• Si X es cualquier espacio, entonces la función identidad Id : X → X es continua pero su grafo, que es la diagonal Gr Id := { ( x , x ) : x ∈ X  } , es cerrado en X × X si y sólo si X es Hausdorff. ^[7] En particular, si X no es Hausdorff, entonces Id : X → X es continua pero no cerrada.
• Si f  : X → Y es una función continua cuyo gráfico no está cerrado, entonces Y no es un espacio de Hausdorff.

• Sean X e Y los números reales ℝ con la topología euclidiana habitual . Sea f  : X → Y definida por f (0) = 0 y f ( x ) = ⁠1/incógnita⁠ para todo x ≠ 0 . Entonces f  : X → Y tiene un grafo cerrado (y un grafo secuencialmente cerrado) en X ×  Y = ℝ ² pero no escontinuo (ya que tiene una discontinuidad en x = 0 ). ^[4]
• Sea X el número real ℝ con la topología euclidiana usual , sea Y el ℝ con la topología discreta , y sea Id : X → Y la función identidad (es decir, Id( x ) := x para cada x ∈ X ). Entonces Id : X → Y es una función lineal cuyo grafo está cerrado en X ×  Y pero claramente no es continuo (ya que los conjuntos singleton son abiertos en Y pero no en X ). ^[4]
• Sea ( X , 𝜏) una topología vectorial de Hausdorff y sea 𝜐 una topología vectorial en X que es estrictamente más fina que 𝜏 . Entonces, la función identidad Id : ( X , 𝜏) → ( X , 𝜐) es un operador lineal discontinuo cerrado. ^[8]

• Mapa lineal casi abierto  – Mapa que satisface una condición similar a la de ser un mapa abierto.Páginas que muestran descripciones breves de los objetivos de redireccionamiento
• Teorema de grafos cerrados  – Teorema que relaciona la continuidad con los grafos
• Teorema de grafos cerrados (análisis funcional)  : teoremas que conectan la continuidad con el cierre de grafos
• Teorema del punto fijo de Kakutani  : Teorema del punto fijo para funciones con valores conjuntos
• Teorema de aplicación abierta (análisis funcional)  : condición para que un operador lineal sea abierto
• Espacio en red  : espacio donde se cumplen los teoremas de mapeo abierto y grafos cerrados

• Köthe, Gottfried (1983) [1969]. Espacios vectoriales topológicos I. Grundlehren der mathematischen Wissenschaften. vol. 159. Traducido por Garling, DJH Nueva York: Springer Science & Business Media. ISBN 978-3-642-64988-2. Sr.  0248498. OCLC  840293704.
• Kriegl, Andreas; Michor, Peter W. (1997). El marco conveniente del análisis global (PDF) . Encuestas y monografías matemáticas. Vol. 53. Providence, RI: American Mathematical Society . ISBN 978-0-8218-0780-4.OCLC 37141279  .
• Munkres, James R. (2000). Topología (segunda edición). Upper Saddle River, NJ : Prentice Hall, Inc. ISBN 978-0-13-181629-9.OCLC 42683260  .
• Narici, Lawrence; Beckenstein, Edward (2011). Espacios vectoriales topológicos . Matemáticas puras y aplicadas (segunda edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666.OCLC 144216834  .
• Robertson, Alex P.; Robertson, Wendy J. (1980). Espacios vectoriales topológicos . Cambridge Tracts in Mathematics. Vol. 53. Cambridge, Inglaterra: Cambridge University Press . ISBN 978-0-521-29882-7.OCLC 589250  .
• Rudin, Walter (1991). Análisis funcional. Serie internacional de matemáticas puras y aplicadas. Vol. 8 (segunda edición). Nueva York, NY: McGraw-Hill Science/Engineering/Math . ISBN 978-0-07-054236-5.OCLC 21163277  .
• Schaefer, Helmut H. ; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . Vol. 8 (Segunda ed.). Nueva York, NY: Springer New York Imprenta Springer. ISBN 978-1-4612-7155-0.OCLC 840278135  .
• Swartz, Charles (1992). Introducción al análisis funcional . Nueva York: M. Dekker. ISBN 978-0-8247-8643-4.OCLC 24909067  .
• Trèves, François (2006) [1967]. Espacios vectoriales topológicos, distribuciones y núcleos . Mineola, Nueva York: Publicaciones de Dover. ISBN 978-0-486-45352-1.OCLC 853623322  .
• Wilansky, Albert (2013). Métodos modernos en espacios vectoriales topológicos . Mineola, Nueva York: Dover Publications, Inc. ISBN 978-0-486-49353-4.OCLC 849801114  .