Propiedad del grafo cerrado

característica de las aplicaciones entre espacios vectoriales topológicos
(Redirigido desde «Operador lineal cerrado»)

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,[1][2]​ de manera que se dice que una función f : XY entre espacios topológicos posee un grafo cerrado si su grafo es un conjunto cerrado perteneciente al espacio producto X × Y. Una propiedad relacionada es la de grafo abierto.[3]

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

editar

Grafos y funciones de valores establecidos

editar
Definición y notación: El grafo de una función f : XY es el conjunto
Gr f := {(x, f(x)) : xX }= {(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 2Y o 𝒫(Y).
Definición: Si X e Y son conjuntos, una función de conjunto valorado de Y en X (también llamada multifunción con valor Y en X) es una función F : X → 2Y con diminio X que se valora en 2Y. Es decir, F es una función en X tal que para cada xX, F(x) es un subconjunto de Y.
  • Algunos autores llaman a una función F : X → 2Y una función con valores establecidos solo si satisface el requisito adicional de que F(x) no esté vacía para cada xX; en este artículo no se requiere esta condición.
Definición y notación: Si F : X → 2Y es una función con valores establecidos en un conjunto Y, entonces el grafo de F es el conjunto
Gr F := {(x, y) ∈ X × Y : yF(x) }.
Definición: Una función f : XY se puede identificar canónicamente con la función con valores establecidos F : X → 2Y definida por F(x) := {f(x) } para cada xX, donde F se denomina función canónica con valores establecidos inducida por (o asociado con) f.
  • Debe tenerse en cuenta que en este caso, Gr f= Gr F.

Grafos abiertos y cerrados

editar

Se da la definición más general de cuándo una función con valores Y o una función con valores establecidos definida en un subconjunto S de X 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 S de un espacio vectorial topológico X (y no necesariamente definido en todo X). 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, X y Y son espacios topológicos, SX y f es una función con valores Y o una función con valores establecidos en S (es decir, f : SY o f : S → 2Y). X × Y siempre estará dotado de topología producto.
Definición:[4]​ Se dice que f  tiene un grafo cerrado (respectivamente, grafo abierto, grafo secuencialmente cerrado, grafo secuencialmente abierto) en X × Y si el grafo de f, Gr f, es un subconjunto closed (respectivamente abierto, secuencialmente cerrado, secuencialmente abierto) de X × Y cuando X × Y está dotado de topología producto. Si S= X o si X se desprende del contexto, entonces se puede omitir escribir "en X × Y"
Observación: Si g : SY es una función y G es la función canónica con valores establecidos inducida por g  (es decir, G : S → 2Y está definido por G(s) := {g(s) } para cada sS), entonces, dado que Gr g= Gr G, g tiene un grafo cerrado (respectivamente, secuencialmente cerrado, abierto, secuencialmente abierto) en X × Y si y solo si lo mismo ocurre con G.

Aplicaciones que se pueden cerrar y cierres

editar
Definición: Se dice que la función (respectivamente, función con valores establecidos) f se puede cerrar en X × Y si existe un subconjunto DX que contiene a S y una función (respectivamente, función con valores establecidos) F : DY cuya grafo es igual al cierre del conjunto Gr f en X × Y. Un F de este tipo se denomina cierre de f en X × Y, se denota por f y necesariamente se extiende a f.
  • Supuestos adicionales para aplicacións lineales: Si además, S, X y Y son espacios vectoriales topológicos y f : SY es una aplicación lineal, entonces para llamar a f cerrable también se requiere que el conjunto D sea un subespacio vectorial de X y el cierre de f sea un aplicación lineal.
Definición: Si f se puede cerrar en S, entonces un núcleo o dominio esencial de f es un subconjunto DS tal que el cierre en X × Y del grafo de la restricción f |D : DY 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).

Aplicaciones cerradas y operadores lineales cerrados

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

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

Definición: Un aplicación f : XY se llama cerrada si su grafo está cerrado en X × Y. 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, "f es cerrada" puede significar lo siguiente:

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

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

editar

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

Función con grafo cerrado

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

  1. f  tiene un grafo cerrado (en X × Y);
  2. (Definición) el grafo de f, Gr f, es un subconjunto cerrado de X × Y;
  3. Para cada xX y red x= (xi)iI en X tal que xx en X, si yY es tal que la red f(x) := (f(xi))iIy en Y, entonces y= f(x);[4]
    • Compárese esto con la definición de continuidad en términos de redes, que se recuerda que es la siguiente: para cada xX y x= (xi)iI neto en X tal que xx en X, f(x) → f(x) en Y.
    • Por lo tanto, para mostrar que la función f tiene un grafo cerrado, se puede suponer que f(x) converge en Y a algún yY (y luego mostrar que y= f(x)), mientras que para mostrar que f es continua, se puede no asumir que f(x) converge en Y a algún yY y, en cambio, se debe demostrar que esto es cierto (y además, se debe demostrar más específicamente que f(x) converge a f(x) en Y).

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

  1. f  es continua;[5]

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

  1. f  tiene un grafo secuencialmente cerrado (en X × Y);
Función con grafo secuencialmente cerrado

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

  1. f  tiene un grafo secuencialmente cerrado (en X × Y);
  2. (Definición) el grafo de f es un subconjunto secuencialmente cerrado de X × Y;
  3. Para cada xX y para cada sucesión x= (xi)
    i=1
    en X tal que xx en X, si yY es tal que la red f(x) := (f(xi))
    i=1
    y
    en Y, entonces y= f(x);[4]
Función de valor establecido con un grafo cerrado

Si F : X → 2Y es una función con valores establecidos entre los espacios topológicos X e Y, entonces las siguientes proposiciones son equivalentes:

  1. F  tiene un grafo cerrado (en X × Y);
  2. (Definición) el grafo de F es un subconjunto cerrado de X × Y;

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

  1. F es hemicontinua superior y F(x) es un subconjunto cerrado de Y para todos los xX;[6]

Y si tanto X como Y son espacios metrizables, entonces se pueden agregar a esta lista los enunciados siguientes:

  1. para todos los xX, yY y las secuencias x= (xi)
    i=1
    en X y y= (yi)
    i=1
    en Y, de modo que xx en X e yy en Y, e yiF(xi) para todos los i, luego yF(x).

Condiciones suficientes para un grafo cerrado

editar
  • Si f : XY es una función continua entre espacios topológicos y si Y es de Hausdorff, entonces f tiene un grafo cerrado en X × Y.[4]
    • Téngase en cuenta que si f : XY es una función entre espacios topológicos de Hausdorff, entonces es posible que f  tenga un grafo cerrado en X × Y, pero "no" ser continuo.

Teoremas de grafo cerrado: cuando un grafo cerrado implica continuidad

editar

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 f : XY es una función entre espacios topológicos cuyo grafo es cerrado en X × Y y si Y es un espacio compacto, entonces f : XY es continua. [4]

Ejemplos

editar

Aplicaciones continuas pero no cerradas

editar
  • Sea X el conjunto de los números reales con la topología euclídea habitual, e Y denota con la 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 : XY se defina por f(0)= 1, y que f(x)= 0 para todo x ≠ 0. Entonces, f : XY es continua pero su grafo "no" está cerrado en X × Y.[4]
  • Si X es cualquier espacio, entonces la aplicación identidad Id : XX es continua, pero su grafo, que es la diagonal Gr Id := {(x, x) : xX }, está cerrado en X × X si y solo si X es de Hausdorff.[7]​ En particular, si X no es de Hausdorff, entonces Id : XX es continua pero "no" cerrada.
  • Si f : XY es una aplicación continua cuyo grafo no está cerrado, entonces Y "no" es un espacio de Hausdorff.

Aplicaciones cerradas pero no continuas

editar
  • Sean X y Y los números reales con la topología euclídea habitual. Considérese ahora que f : XY se define por f(0)= 0, y que f(x)= 1/x para todo x ≠ 0. Entonces, f : XY tiene un grafo cerrado (y un grafo secuencialmente cerrado) en X × Y= ℝ2, pero "no" es continua (ya que tiene una discontinuidad en x= 0).[4]
  • Sea X el conjunto de los números reales con la topología euclídea habitual, sea Y el con la topología discreta y sea Id : XY la función identidad (es decir, Id(x) := x para cada xX). Entonces, Id : XY es una aplicación lineal cuyo grafo está cerrado en X × Y pero claramente "no" es continua (ya que los conjuntos unitarios están abiertos en Y pero no en X).[4]
  • Sea (X, 𝜏) un EVT de Hausdorff y sea 𝜐 una topología vectorial en X que es estrictamente más fina que 𝜏. Entonces, la aplicación identidad Id : (X, 𝜏) → (X, 𝜐) es un operador lineal discontinuo cerrado.[8]

Operadores lineales cerrados

editar

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 X e Y son espacios vectoriales topológicos (EVTs), entonces se denomina a la aplicación lineal f : D(f) ⊆ XY un operador lineal cerrado si su grafo está cerrado en X × Y.

Teorema del grafo cerrado

editar

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

Propiedades básicas

editar

Las siguientes propiedades se verifican fácilmente para un operador lineal f : D(f) ⊆ XY entre espacios de Banach:

  • Si A está cerrado, entonces AλIdD(f) está cerrada, siendo λ un escalar e IdD(f) es la función identidad;
  • Si f está cerrada, entonces su núcleo (o espacio nulo) es un subespacio vectorial cerrado de X;
  • Si f está cerrada y es injectiva, entonces su inversa f−1 también está cerrada;
  • Un operador lineal f admite una clausura si y solo si para cada xX y cada par de sucesiones x= (xi)
    i=1
    y y= (yi)
    i=1
    en D(f), ambas convergen a x en X, de modo que tanto f(x)= (f(xi))
    i=1
    como f(y)= (f(yi))
    i=1
    convergen en Y, se tiene que limi → ∞ fxi= limi → ∞ fyi.

Ejemplo

editar

Considérese el operador derivada A= 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 C1([a, b]), entonces f es un operador cerrado, que no está acotado.[9]​ Por otro lado, si es D(f)= C([a, b]), entonces f ya no estará cerrada, pero se podrá cerrar, siendo el cierre su extensión definida en C1([a, b]).

Véase también

editar

Referencias

editar
  1. Baggs, Ivan (1974). «Functions with a closed graph». Proceedings of the American Mathematical Society (en inglés) 43 (2): 439-442. ISSN 0002-9939. doi:10.1090/S0002-9939-1974-0334132-8. 
  2. Ursescu, Corneliu (1975). «Multifunctions with convex closed graph». Czechoslovak Mathematical Journal 25 (3): 438-441. ISSN 0011-4642. doi:10.21136/CMJ.1975.101337. 
  3. Shafer, Wayne; Sonnenschein, Hugo (1 de diciembre de 1975). «Equilibrium in abstract economies without ordered preferences». Journal of Mathematical Economics 2 (3): 345-348. ISSN 0304-4068. doi:10.1016/0304-4068(75)90002-6. hdl:10419/220454. 
  4. a b c d e f g h Narici y Beckenstein, 2011, pp. 459-483.
  5. Munkres, 2000, p. 171.
  6. Aliprantis, Charlambos; Kim C. Border (1999). «Chapter 17». Infinite Dimensional Analysis: A Hitchhiker's Guide (3rd edición). Springer. 
  7. Rudin p.50
  8. Narici y Beckenstein, 2011, p. 480.
  9. Kreyszig, Erwin (1978). Introductory Functional Analysis With Applications. USA: John Wiley & Sons. Inc. pp. 294. ISBN 0-471-50731-8. 

Bibliografía

editar