En matemáticas, un espacio LF, también escrito como (LF)-espacio, es un espacio vectorial topológico (EVT) X que es un límite directo localmente convexo de un sistema inductivo numerable de espacios de Fréchet.[1]​ Esto significa que X es un límite directo de un sistema directo en la categoría de los espacios vectoriales topológicos localmente convexos y cada es un espacio de Fréchet. El acrónimo LF significa Límite de espacios de Fréchet.

Si cada una de las aplicaciones de enlace es un embebido de EVTs, entonces el espacio LF se denomina espacio LF estricto. Esto significa que la topología subespacial inducida en Xn por Xn+1 es idéntica a la topología original en Xn.[1][2]​ Algunos autores (por ejemplo, Schaefer) definen el término "espacio LF" como "espacio LF estricto", por lo que al leer determinados textos matemáticos, se recomienda comprobar siempre cómo está definido el LF-espacio.

Definición

editar

Topología de límite inductivo/final/directo

editar

En todo momento se supone que:

  •   es una categoría de espacios topológicos o alguna subcategoría de una categoría de espacios vectoriales topológicos (EVTs);
    • Si todos los objetos de la categoría tienen una estructura algebraica, entonces se supone que todos los morfismos son homomorfismos para esa estructura algebraica.
  • I es un conjunto dirigido no vacío;
  • X= ( Xi )iI es una familia de objetos en  , donde (Xi, τXi) es un espacio topológico para cada índice i;
    • Para evitar posibles confusiones, τXi no debería denominarse "topología inicial" de Xi, ya que el término "topología inicial" ya tiene una definición bien conocida. La topología τXi se denomina topología original en Xi o topología dada de Xi.
  • X es un conjunto (y si los objetos en   también tienen estructuras algebraicas, entonces se supone automáticamente que X tiene cualquier estructura algebraica necesaria);
  • f= ( fi )iI es una familia de aplicaciones donde para cada índice i, la aplicación tiene el prototipo fi : (Xi, τXi) → X. Si todos los objetos de la categoría tienen una estructura algebraica, entonces también se supone que estas aplicaciones son homomorfismos para esa estructura algebraica.

Si existe, entonces la topología final sobre X en  , también llamado colímite o topología inductiva en  , y denotada por τf o τf, es la topología más fina en X tal que

  1. (X, τf) es un objeto en   y
  2. para cada índice i, la aplicación fi : (Xi, τXi) → (X, τf) es un morfismo continuo en  .

En la categoría de espacios topológicos, la topología final siempre existe y, además, un subconjunto UX está abierto (o cerrado) en (X, τf) si y solo si fi- 1 (U) está abierto (o cerrado) en (Xi, τXi) para cada índice i.

Sin embargo, la topología final no puede existir en la categoría de los espacios topológicos de Hausdorff debido al requisito de que (X, τXf) pertenezca a la categoría original (es decir, pertenezca a la categoría de espacios topológicos de Hausdorff).[3]

Sistemas directos

editar

Supóngase que (I, ≤) es un conjunto dirigido, y que para todos los índices ij hay morfismos (continuos) en  

fij : XiXj

de modo que si i= j, entonces fij es la aplicación de identidad en Xi y si ijk entonces se cumple la siguiente condición de compatibilidad:

fik= fjkfij,

donde esto significa que la composición

 

Si se cumplen las condiciones anteriores, entonces el triplete formado por las colecciones de estos objetos, los morfismos y el conjunto de indexación

 

se conoce como sistema directo en la categoría   que es dirigido (o indexado) por I. Dado que el conjunto de indexación I es un conjunto directo, se dice que el sistema directo está dirigido.[4]​ Las aplicaciones fij se denominan aplicaciones de enlace, de conexión o de enlace del sistema.

Si se sobreentiende el conjunto de indexación I, entonces I a menudo se omite de la tupla anterior (es decir, no se escribe). Lo mismo ocurre con los aplicaciones de vinculación si no se incluyen. En consecuencia, a menudo se ve escrito "X es un sistema directo", donde "X" en realidad representa un triplete con las aplicaciones de enlace y el conjunto de indexación definidos en otra parte (por ejemplo, aplicaciones de enlace canónicas, como inclusiones naturales) o bien los aplicaciones de enlace simplemente se supone que existen pero no es necesario asignarles símbolos (por ejemplo, los aplicaciones de enlace no son necesarios para enunciar un teorema).

Límite directo de un sistema directo

editar

Para la construcción de un límite directo de un sistema inductivo general, consúltese el artículo "límite directo".

Límites directos de los sistemas inyectivos

Si cada una de las aplicaciones de enlace   es inyectiva, entonces el sistema se llama inyectivo.[4]

Supuestos: En el caso en que el sistema directo es inyectivo, a menudo se supone sin pérdida de generalidad que para todos los índices ij, cada Xi es un subespacio vectorial de Xj (en particular, Xi se identifica con el rango de  ) y que el mapa de enlace   es la inclusión natural
Inj
i
 : XiXj
}}

(es decir, definida por xx) de modo que la topología del subespacio en Xi inducida por Xj sea weaker (i.e. coarser) que la topología original (es decir, dada) en Xi.

En este caso, tómese también

X := iI Xi.

Las aplicaciones límite son entonces las inclusiones naturales Ini : XiX. La topología de límite directo en X es la topología final inducida por estas aplicaciones de inclusión.

Si los Xi tienen una estructura algebraica, póngase por caso suma, por ejemplo, entonces para cualquier x, yX, se elige cualquier índice i tal que x, yXi y luego se define su suma usando el operador de suma de Xi. Esto es,

x + y := x +i y,

donde +i es el operador de suma de Xi. Esta suma es independiente del índice i que se elija.

En la categoría de espacios vectoriales topológicos localmente convexos, la topología en el límite directo X de un límite inductivo dirigido inyectivo de espacios localmente convexos se puede describir especificando que un subconjunto absolutamente convexo U de X ) es un entorno de 0 si y solo si UXi es un entorno absolutamente convexo de 0 en Xi para cada índice i.[4]

Límites directos en categorías de espacios topológicos

Los límites directos de los sistemas directos dirigidos siempre existen en las categorías de conjuntos, espacios topológicos, grupos y EVTs localmente convexos. En la categoría de espacios topológicos, si cada aplicación de enlace fij es inyectiva (respectivamente, sobreyectiva, biyectiva, homeomorfismo, embebido, o aplicación cociente), entonces también lo es cada fi : XiX.[3]

Problema con límites directos

editar

Los límites directos en las categorías de espacios topológicos, espacios vectoriales topológicos (EVTs) y EVTs localmente convexos de Hausdorff se "comportan mal".[4]​ Por ejemplo, el límite directo de una secuencia (es decir, indexada por los números naturales) de espacios de Fréchet nucleares localmente convexos puede no ser de Hausdorff (en cuyo caso, el límite directo no existe en la categoría de EVTs de Hausdorff). Por esta razón, en análisis funcional solo se estudian ciertos sistemas directos "de buen comportamiento". Estos sistemas incluyen a los espacios LF.[4]​ Sin embargo, los límites inductivos localmente convexos no de Hausdorff aparecen en cuestiones naturales de análisis.[4]

Límite inductivo estricto

editar

Si cada una de las aplicaciones de enlace   es un embebido de un EVT en subespacios vectoriales adecuados y si el sistema está dirigido por   con su ordenamiento natural, entonces el límite resultante se llama límite directo (numerable) estricto. En tal situación, se puede suponer sin pérdida de generalidad que cada Xi es un subespacio vectorial de Xi+1 y que la topología del subespacio inducida en Xi por Xi+1 es idéntica a la topología original en Xi.[1]

En la categoría de espacios vectoriales topológicos localmente convexos, la topología en un límite inductivo estricto de los espacios de Fréchet X se puede describir especificando que un subconjunto absolutamente convexo U es un entorno de 0 si y solo si UXn es un entorno absolutamente convexo de 0 en Xn por cada n.

Propiedades

editar

Un límite inductivo en la categoría de EVTs localmente convexos de una familia de espacios bornológicos (respectivamente, barrilado, cuasi barrilado) tiene esta misma propiedad.[5]

Espacios LF

editar

Cada espacio LF es un subconjunto exiguo de sí mismo.[6]​ El límite inductivo estricto de una secuencia de espacios localmente convexos completos (como los espacios de Fréchet) es necesariamente completo. En particular, cada espacio LF está completo.[7]​ Cada espacio LF es barrilado y bornológico, lo que junto con la integridad implica que cada espacio LF es ultrabornológico. Un espacio LF que es el límite inductivo de una secuencia numerable de espacios separables es separable.[8]​ Los espacios LF son distinguidos, y sus duales fuertes son bornológicos y barrilados (un resultado debido a Alexander Grothendieck).

Si X es el límite inductivo estricto de una secuencia creciente de espacios de Fréchet Xn, entonces un subconjunto B de X está acotado en X si y solo si existe algún n tal que B sea un subconjunto acotado de Xn.[7]

Una aplicación lineal desde un espacio LF a otro EVT es continua si y solo si es secuencialmente continua.[9]​ Una aplicación lineal desde un espacio LF X a un espacio de Fréchet Y es continua si y solo si su grafo está cerrada en X × Y.[10]​ Cada operador lineal acotado desde un espacio LF a otro EVT es continuo.[11]

Si X es un espacio LF definido por una secuencia  , entonces el espacio dual fuerte   de X es un espacio de Fréchet si y solo si todos los Xi son normables.[12]​ Por lo tanto, el espacio dual fuerte de un espacio LF es un espacio de Fréchet si y solo si es un espacio LB.

Ejemplos

editar

Espacio de funciones compactamente suaves soportadas

editar

Un ejemplo típico de un espacio LF es  , el espacio de todas las funciones infinitamente diferenciables en   con soporte compacto. La estructura del espacio LF se obtiene considerando una secuencia de conjuntos compactos   con   y para todo i,   es un subconjunto del interior de  . Tal secuencia podría ser el conjunto de las bolas de radio "i" centradas en el origen. El espacio   de funciones infinitamente diferenciables en   con soporte compacto contenido en   tiene una estructura natural de espacio de Fréchet y   hereda su estructura de espacio LF como se describió anteriormente. La topología del espacio LF no depende de la secuencia particular de conjuntos compactos  .

Con esta estructura de espacio LF,   se conoce como el espacio de funciones de prueba, de fundamental importancia en la teoría de distribuciones.

Límite directo de espacios de dimensión finita

editar

Supóngase que para cada entero positivo n, Xn :=  n y que m < n; considérese también Xm como un subespacio vectorial de Xn a través del embebido canónico XmXn definido por x := (x1, ..., xm) ↦ (x1, ..., xm, 0, ..., 0).

Denótese el espacio LF resultante por X. Dado que cualquier topología sobre un EVT X hace continuas las inclusiones de los Xm en X, este último espacio tiene el máximo entre todas las topologías del EVT en un espacio vectorial   con dimensión de Hamel numerable. Es una topología LC, asociada con la familia de todas las seminormas en X. Además, la topología del límite inductivo del EVT X coincide con el límite inductivo topológico; es decir, el límite directo de los espacios de dimensión finita Xn en la categoría de espacios topológicos y en la categoría de EVTs coinciden. El espacio dual continuo   de X es igual al espacio dual de X, es decir, el espacio de todas las secuencias con valores reales   y la topología débil en   es igual a la topología fuerte en   (es decir,  ).[13]​. De hecho, es la topología LC única en   cuyo espacio dual topológico es X. Además, la aplicación canónica de X en el espacio dual continuo de   es sobreyectiva.[13]

Véase también

editar

Referencias

editar
  1. a b c Schaefer y Wolff, 1999, pp. 55-61.
  2. Helgason, Sigurdur (2000). Groups and geometric analysis : integral geometry, invariant differential operators, and spherical functions (Reprinted with corr. edición). Providence, R.I: American Mathematical Society. p. 398. ISBN 0-8218-2673-5. 
  3. a b Dugundji, 1966, pp. 420-435.
  4. a b c d e f Bierstedt, 1988, pp. 41-56.
  5. Grothendieck, 1973, pp. 130-142.
  6. Narici y Beckenstein, 2011, p. 435.
  7. a b Schaefer y Wolff, 1999, pp. 59-61.
  8. Narici y Beckenstein, 2011, p. 436.
  9. Trèves, 2006, p. 141.
  10. Trèves, 2006, p. 173.
  11. Trèves, 2006, p. 142.
  12. Trèves, 2006, p. 201.
  13. a b Schaefer y Wolff, 1999, p. 201.

Bibliografía

editar