Conjunto que se puede "inflar" para alcanzar cualquier punto
En el análisis funcional y áreas relacionadas de las matemáticas, un conjunto absorbente en un espacio vectorial es un conjunto que se puede "inflar" o "ampliar" para que eventualmente siempre incluya cualquier punto dado del espacio vectorial. Los términos alternativos son conjunto radial o absorbente . Cada entorno del origen en cada espacio vectorial topológico es un subconjunto absorbente.
Definición
Notación para escalares
Supóngase que es un espacio vectorial sobre el campo de los números reales o complejos y para cualquier sea
la bola abierta (respectivamente, la bola cerrada ) de radio en centrado en
Defina el producto de un conjunto de escalares con un conjunto de vectores como y defina el producto de con un solo vector como
Preliminares
Núcleo equilibrado y casco equilibrado
Se dice que un subconjunto de esequilibrado sipara todosy todos los escalaresque satisfacenesta condición se puede escribir de manera más sucinta comoy se cumple si y solo si
Dado un conjunto, el conjunto equilibrado más pequeño que contiene denotado por se llamacasco equilibrado demientras que el conjunto equilibrado más grande contenido dentrodenotado porse llamanúcleo equilibrado de
Estos conjuntos se dan mediante las fórmulas
y
(estas fórmulas muestran que la envoltura equilibrada y el núcleo equilibrado siempre existen y son únicos). Un conjuntoestá equilibrado si y solo si es igual a su envoltura equilibrada () o a su núcleo equilibrado (), en cuyo caso los tres conjuntos son iguales:
Si es cualquier escalar entonces
mientras que si es distinto de cero o si entonces también
Un conjunto que absorbe a otro
Si y son subconjuntos de entonces se dice queabsorber si cumple alguna de las siguientes condiciones equivalentes:
- Definición : Existe un real tal que para cada escalar que satisface O dicho de manera más sucinta, para algún
- Si el campo escalar es entonces intuitivamente, " absorbe ", lo que significa que si se "escala" o "infla" perpetuamente (refiriéndose a como ), entonces eventualmente (para todos los positivos suficientemente grandes), todos contendrán y, de manera similar, también deben contener eventualmente para todos los negativos suficientemente grandes en magnitud.
- Esta definición depende de la norma canónica del campo escalar subyacente (es decir, del valor absoluto ), lo que vincula esta definición a la topología euclidiana habitual en el campo escalar. En consecuencia, la definición de un conjunto absorbente (que se da a continuación) también está vinculada a esta topología.
- Existe un real tal que para cada escalar distinto de cero [nota 1] que satisface O dicho de manera más sucinta, para algún
- Como esta unión es igual a donde está la bola cerrada con el origen eliminado, esta condición puede reformularse como: para algunos
- La desigualdad no estricta se puede reemplazar por la desigualdad estricta, que es la siguiente caracterización.
- Existe un real tal que para cada escalar distinto de cero [nota 1] que satisface O dicho de manera más sucinta, para algún
- Aquí está la bola abierta con el origen eliminado y
Si es un conjunto equilibrado , esta lista se puede ampliar para incluir:
- Existe un escalar distinto de cero tal que
- En tal caso, se podrá suprimir el requisito .
- Existe un escalar distinto de cero [nota 1] tal que
Si (una condición necesaria para ser un conjunto absorbente, o para ser un vecindario del origen en una topología), entonces esta lista se puede ampliar para incluir:
- Existe tal que para cada escalar que satisface O, dicho de manera más sucinta,
- Existe tal que para cada escalar que satisface O, dicho de manera más sucinta,
- La inclusión es equivalente a (ya que ). Porque esto puede reescribirse, lo que da la siguiente declaración.
- Existe tal que
- Existe tal que
- Existe tal que
- Las siguientes caracterizaciones se derivan de las anteriores y del hecho de que para cada escalar la envoltura equilibrada de satisface y (ya que ) su núcleo equilibrado satisface
- Existe tal que En palabras, un conjunto es absorbido por si está contenido en algún múltiplo escalar positivo del núcleo equilibrado de
- Existe tal que
- Existe un escalar distinto de cero [nota 1] tal que En palabras, el núcleo equilibrado de contiene algún múltiplo escalar distinto de cero de
- Existe un escalar tal que En palabras, se puede escalar para contener la envoltura equilibrada de
- Existe un escalar tal que
- Existe un escalar tal que En palabras, se puede escalar de modo que su núcleo equilibrado contenga
- Existe un escalar tal que
- Existe un escalar tal que En palabras, el núcleo equilibrado de se puede escalar para contener la envoltura equilibrada de
- El núcleo equilibrado absorbe el casco equilibrado (de acuerdo a cualquier condición definitoria de "absorbe" distinta a ésta).
Si es así, esta lista se puede ampliar para incluir:
- absorbe (de acuerdo a cualquier condición definitoria de "absorbe" distinta de ésta).
- En otras palabras, puede reemplazarse por en las caracterizaciones anteriores si (o trivialmente, si ).
Un conjunto que absorbe un punto
Se dice que un conjuntoabsorber un punto si absorbe elconjunto singletonUn conjuntoabsorbe el origen si y solo si contiene el origen; es decir, si y solo si
Como se detalla a continuación, se dice que un conjuntoabsorbe ensi absorbe cada punto de
Esta noción de un conjunto que absorbe a otro también se utiliza en otras definiciones: un subconjunto de un espacio vectorial topológico se denomina acotado si es absorbido por cada entorno del origen. Un conjunto se denomina bornívoro si absorbe cada subconjunto acotado.
Primeros ejemplos
Todo conjunto absorbe al conjunto vacío, pero el conjunto vacío no absorbe ningún conjunto no vacío. El conjunto singleton que contiene el origen es el único subconjunto singleton que se absorbe a sí mismo.
Supongamos que es igual a o Si es el círculo unitario (centrado en el origen ) junto con el origen, entonces es el único conjunto no vacío que absorbe. Además, no existe ningún subconjunto no vacío de que sea absorbido por el círculo unitario. Por el contrario, cada entorno del origen absorbe cada subconjunto acotado de (y, en particular, absorbe cada subconjunto/punto singular).
Conjunto absorbente
Un subconjunto de un espacio vectorial sobre un campo se denominaSe dice que el subconjunto absorbente (o absorbente ) deabsorbiendo en si satisface alguna de las siguientes condiciones equivalentes (aquí ordenadas de manera que cada condición sea una consecuencia fácil de la anterior, empezando por la definición):
- Definición : absorbe cada punto de es decir, para cada absorbe
- Así, en particular, no puede ser absorbente si Todo conjunto absorbente debe contener el origen.
- absorbe cada subconjunto finito de
- Para cada existe un real tal que para cualquier escalar que satisfaga
- Para cada existe un real tal que para cualquier escalar que satisfaga
- Para cada existe un real tal que
- Aquí está la bola abierta de radio en el campo escalar centrado en el origen y
- La bola cerrada se puede utilizar en lugar de la bola abierta.
- Porque la inclusión es válida si y sólo si Esto prueba la siguiente afirmación.
- Para cada existe un real tal que donde
- Conexión con la topología : Si se da su topología euclidiana de Hausdorff habitual, entonces el conjunto es un entorno del origen en por lo tanto, existe un real tal que si y solo si es un entorno del origen en En consecuencia, satisface esta condición si y solo si para cada es un entorno de en cuando se da la topología euclidiana. Esto da la siguiente caracterización.
- Las únicas topologías TVS [nota 2] en un espacio vectorial unidimensional son la topología trivial (no Hausdorff) y la topología euclidiana de Hausdorff. Todo subespacio vectorial unidimensional de es de la forma para algún valor distinto de cero y si este espacio unidimensional está dotado con el (único) Topología vectorial de Hausdorff , entonces el mapadefinido pores necesariamente un isomorfismo TVS (donde como es habitual,está dotado de su topología euclidiana estándar inducida por la métrica euclidiana ).
- contiene el origen y para cada subespacio vectorial unidimensional de es un vecindario del origen en cuando se da su topología vectorial de Hausdorff única (es decir, la topología euclidiana ).
- La razón por la cual la topología euclidiana se distingue en esta caracterización se deriva en última instancia del requisito definitorio de las topologías TVS [nota 2] de que la multiplicación escalar sea continua cuando al campo escalar se le da esta topología (euclidiana).
- -Los vecindarios son absorbentes : esta condición da una idea de por qué cada vecindario del origen en cada espacio vectorial topológico (TVS) es necesariamente absorbente: si es un vecindario del origen en un TVS entonces para cada subespacio vectorial unidimensional es un vecindario del origen en cuando está dotado de la topología de subespacio inducida en él por Esta topología de subespacio es siempre una topología vectorial [nota 2] y debido a que es unidimensional, las únicas topologías vectoriales en él son la topología euclidiana de Hausdorff y la topología trivial , que es un subconjunto de la topología euclidiana. Entonces, independientemente de cuál de estas topologías vectoriales esté en el conjunto, será un vecindario del origen en con respecto a su topología vectorial única de Hausdorff (la topología euclidiana). [nota 3]
Por lo tanto, es absorbente.
- contiene el origen y para cada subespacio vectorial unidimensional de es absorbente en (de acuerdo con cualquier condición definitoria de "absorción" distinta de esta).
- Esta caracterización muestra que la propiedad de ser absorbente en depende sólo de cómo se comporta con respecto a subespacios vectoriales de dimensión 1 (o 0) de En cambio, si un subespacio vectorial de dimensión finita de tiene dimensión y está dotado de su topología TVS de Hausdorff única, entonces ser absorbente en ya no es suficiente para garantizar que sea un entorno del origen en (aunque seguirá siendo una condición necesaria). Para que esto suceda, basta con que sea un conjunto absorbente que también sea convexo, equilibrado y cerrado en (tal conjunto se llama barril y será un entorno del origen en porque todo espacio euclidiano de dimensión finita, incluido es un espacio en barril ).
A esta lista se le puede añadir:
- El interior algebraico de contiene el origen (es decir, ).
Si está equilibrado entonces a esta lista se le puede añadir:
- Para cada existe un escalar tal que (o equivalentemente, tal que ).
- Para cada existe un escalar tal que
Si es convexo o equilibrado entonces a esta lista se le puede añadir:
- Para cada existe un real positivo tal que
- La prueba de que un conjunto equilibrado que satisface esta condición es necesariamente absorbente se sigue inmediatamente de la condición (10) anterior y del hecho de que para todos los escalares (donde es real).
- La prueba de que un conjunto convexo que satisface esta condición es necesariamente absorbente es menos trivial (pero no difícil). En esta nota al pie se ofrece una prueba detallada [prueba 1] y a continuación se ofrece un resumen.
- Resumen de la prueba : Por suposición, para cualquier distinto de cero es posible elegir reales positivos y tales que y de modo que el conjunto convexo contenga el subintervalo abierto que contiene el origen ( se llama intervalo ya que identificamos con y todo subconjunto convexo no vacío de es un intervalo). Dé su topología vectorial de Hausdorff única de modo que quede por demostrar que es un vecindario del origen en Si entonces hemos terminado, entonces supongamos que El conjunto es una unión de dos intervalos, cada uno de los cuales contiene un subintervalo abierto que contiene el origen; además, la intersección de estos dos intervalos es precisamente el origen. De modo que la envoltura convexa en forma de cuadrilátero de que está contenida en el conjunto convexo contiene claramente una bola abierta alrededor del origen.
- Para cada existe un real positivo tal que
- Esta condición es equivalente a: todo pertenece al conjunto Esto sucede si y sólo si que da la siguiente caracterización.
- Se puede demostrar que para cualquier subconjunto de si y sólo si para cada donde
- Para cada
Si (lo cual es necesario para que sea absorbente) entonces basta con comprobar cualquiera de las condiciones anteriores para todos los valores distintos de cero en lugar de todos.
Ejemplos y condiciones suficientes
Para que un conjunto absorba a otro
Sea una función lineal entre espacios vectoriales y sean y conjuntos balanceados. Entonces absorbe si y solo si absorbe
Si un conjunto absorbe a otro conjunto , entonces cualquier superconjunto de también absorbe.
Un conjunto absorbe el origen si y solo si el origen es un elemento de
Un conjunto absorbe una unión finita de conjuntos si y solo si absorbe cada individualidad del conjunto (es decir, si y solo si absorbe para cada ). En particular, un conjunto es un subconjunto absorbente de si y solo si absorbe cada subconjunto finito de
Para que un conjunto sea absorbente
La bola unitaria de cualquier espacio vectorial normado (o espacio vectorial semirregulado ) es absorbente. En términos más generales, si es un espacio vectorial topológico (TVS), entonces cualquier entorno del origen en es absorbente en Este hecho es una de las motivaciones principales para definir la propiedad "absorbente en "
Todo superconjunto de un conjunto absorbente es absorbente. En consecuencia, la unión de cualquier familia de (uno o más) conjuntos absorbentes es absorbente. La intersección de un número finito de subconjuntos absorbentes es, una vez más, un subconjunto absorbente. Sin embargo, las bolas abiertas de radio son todas absorbentes aunque su intersección no lo sea.
Si es un disco (un subconjunto convexo y equilibrado) entonces y por lo tanto en particular, un disco es siempre un subconjunto absorbente de
Por lo tanto, si es un disco en entonces es absorbente en si y solo si
Esta conclusión no está garantizada si el conjunto es equilibrado pero no convexo; por ejemplo, la unión de los ejes y en es un conjunto equilibrado no convexo que no es absorbente en
La imagen de un conjunto absorbente bajo un operador lineal sobreyectivo es nuevamente absorbente. La imagen inversa de un subconjunto absorbente (del codominio) bajo un operador lineal es nuevamente absorbente (en el dominio). Si es absorbente, entonces lo mismo es cierto para el conjunto simétrico.
Espacios auxiliares normados
Si es convexo y absorbente en entonces el conjunto simétrico será convexo y equilibrado (también conocido como un conjunto absolutamente convexo o un disco ) además de ser absorbente en
Esto garantiza que la funcional de Minkowski de será una seminorma en por lo que se convierte en un espacio seminormado que lleva su topología seudometrizable canónica . El conjunto de múltiplos escalares como rangos sobre (o sobre cualquier otro conjunto de escalares distintos de cero que tengan como punto límite) forma una base de vecindad de discos absorbentes en el origen para esta topología localmente convexa . Si es un espacio vectorial topológico y si este subconjunto absorbente convexo es también un subconjunto acotado de entonces todo esto también será cierto para el disco absorbente si además no contiene ningún subespacio vectorial no trivial entonces será una norma y formará lo que se conoce como un espacio normado auxiliar . Si este espacio normado es un espacio de Banach entonces se llama disco de Banach .
Propiedades
Todo conjunto absorbente contiene el origen. Si es un disco absorbente en un espacio vectorial entonces existe un disco absorbente en tal que
Si es un subconjunto absorbente de entonces y, de manera más general, para cualquier secuencia de escalares tales que En consecuencia, si un espacio vectorial topológico es un subconjunto no magro de sí mismo (o equivalentemente para TVS, si es un espacio de Baire ) y si es un subconjunto absorbente cerrado de entonces necesariamente contiene un subconjunto abierto no vacío de (en otras palabras, el interior topológico de no estará vacío), lo que garantiza que es un vecindario del origen en
Todo conjunto absorbente es un conjunto total , lo que significa que todo subespacio absorbente es denso .
Véase también
Notas
- ^ abcd El requisito de que un escalar sea distinto de cero no puede eliminarse de esta caracterización.
- ^ abc Una topología en un espacio vectorial se denomina topología vectorial o topología TVS si hace que la suma de vectores y la multiplicación escalar sean continuas cuando al campo escalar se le da su topología euclidiana inducida por norma habitual (siendo esa norma el valor absoluto ). Dado que las restricciones de las funciones continuas son continuas, si es un subespacio vectorial de un TVS, entonces las operaciones de suma de vectores y multiplicación escalar de también serán continuas. Por lo tanto, la topología de subespacio que cualquier subespacio vectorial hereda de un TVS volverá a ser una topología vectorial.
- ^ Si es un vecindario del origen en un TVS entonces sería patológico si existiera cualquier subespacio vectorial unidimensional en el que no fuera un vecindario del origen en al menos alguna topología TVS en Las únicas topologías TVS en son la topología euclidiana de Hausdorff y la topología trivial , que es un subconjunto de la topología euclidiana. En consecuencia, esta patología no ocurre si y solo si ser un vecindario de en la topología euclidiana para todos los subespacios vectoriales unidimensionales que es exactamente la condición de que sea absorbente en El hecho de que todos los vecindarios del origen en todos los TVS sean necesariamente absorbentes significa que este comportamiento patológico no ocurre.
Pruebas
- ^ Prueba : Sea un espacio vectorial sobre el cuerpo con ser o y dote al cuerpo con su topología euclidiana normada usual. Sea un conjunto convexo tal que para cada existe un real positivo tal que
Porque si entonces la prueba es completa así que supóngase
Claramente, cada subconjunto convexo no vacío de la recta real es un intervalo (posiblemente abierto, cerrado o semicerrado; posiblemente degenerado (es decir, un conjunto singleton ); posiblemente acotado o ilimitado). Recordemos que la intersección de conjuntos convexos es convexa de modo que para cada los conjuntos y son convexos, donde ahora la convexidad de (que contiene el origen y está contenido en la recta ) implica que es un intervalo contenido en la recta Lema : Si entonces el intervalo contiene un subintervalo abierto que contiene el origen. Prueba del lema : Por suposición, dado que podemos elegir algunos tales que y (porque ) también podemos elegir algunos tales que donde y (ya que ). Porque es convexo y contiene los puntos distintos y contiene la envoltura convexa de los puntos que (en particular) contiene el subintervalo abierto donde este subintervalo abierto contiene el origen (para ver por qué, tome que satisface ), lo que prueba el lema.
Ahora fijemos sea Porque era arbitrario, para probar que es absorbente en es necesario y suficiente mostrar que es un entorno del origen en cuando se da su topología euclidiana de Hausdorff habitual, donde recordemos que esta topología convierte la función definida por en un isomorfismo TVS. Si entonces el hecho de que el intervalo contenga un subintervalo abierto alrededor del origen significa exactamente que es un entorno del origen en que completa la prueba. Así que supongamos que
Escribimos de modo que y (ingenuamente, es el " -eje" y es el " -eje" de ). El conjunto está contenido en el conjunto convexo de modo que la envoltura convexa de está contenida en
Por el lema, cada uno de y son segmentos de línea (intervalos) con cada segmento que contiene el origen en un subintervalo abierto; además, se intersecan claramente en el origen. Elija un real tal que y
Sea la envoltura convexa de la cual está contenida en la envoltura convexa de y por lo tanto también está contenida en el conjunto convexo
Para terminar la prueba, basta con mostrar que es un entorno de en
Visto como un subconjunto del plano complejo tiene la forma de un cuadrado abierto con sus cuatro esquinas en los ejes positivo y negativo y (es decir, en y ). Por lo tanto, se verifica fácilmente que contiene la bola abierta de radio centrada en el origen de
Por lo tanto, es un entorno del origen en como se desea.
Citas
Referencias
- Berberian, Sterling K. (1974). Lecciones de análisis funcional y teoría de operadores . Textos de posgrado en matemáticas. Vol. 15. Nueva York: Springer. ISBN. 978-0-387-90081-0.OCLC 878109401 .
- Bourbaki, Nicolás (1987) [1981]. Espacios vectoriales topológicos: capítulos 1 a 5 . Elementos matemáticos . Traducido por Eggleston, HG; Madan, S. Berlín Nueva York: Springer-Verlag. ISBN 3-540-13627-4.OCLC 17499190 .
- Nicolas, Bourbaki (2003). Espacios vectoriales topológicos Capítulo 1-5 (Traducción al inglés) . Nueva York: Springer-Verlag. p. I.7. ISBN 3-540-42338-9.
- Conway, John (1990). Un curso de análisis funcional . Textos de posgrado en matemáticas . Vol. 96 (2.ª ed.). Nueva York: Springer-Verlag . ISBN. 978-0-387-97245-9.OCLC 21195908 .
- Diestel, Joe (2008). La teoría métrica de los productos tensoriales: una revisión del currículum de Grothendieck . Vol. 16. Providence, RI: American Mathematical Society . ISBN 9781470424831.OCLC 185095773 .
- Dineen, Seán (1981). Análisis complejo en espacios localmente convexos . North-Holland Mathematics Studies. Vol. 57. Ámsterdam, Nueva York. Nueva York: North-Holland Pub. Co., Elsevier Science Pub. Co. ISBN 978-0-08-087168-4.OCLC 16549589 .
- Dunford, Nelson ; Schwartz, Jacob T. (1988). Operadores lineales . Matemáticas puras y aplicadas. Vol. 1. Nueva York: Wiley-Interscience . ISBN 978-0-471-60848-6.OCLC 18412261 .
- Edwards, Robert E. (1995). Análisis funcional: teoría y aplicaciones . Nueva York: Dover Publications. ISBN 978-0-486-68143-6.OCLC 30593138 .
- Grothendieck, Alexander (1973). Espacios vectoriales topológicos . Traducido por Chaljub, Orlando. Nueva York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7.OCLC 886098 .
- Hogbe-Nlend, Henri (1977). Bornologías y análisis funcional: Curso introductorio sobre la teoría de la dualidad Topología-Bornología y su uso en el análisis funcional . Estudios matemáticos de Holanda Septentrional. Vol. 26. Ámsterdam, Nueva York, Nueva York: Holanda Septentrional. ISBN 978-0-08-087137-0. Sr. 0500064. OCLC 316549583.
- Hogbe-Nlend, Henri ; Moscatelli, VB (1981). Espacios nucleares y connucleares: Curso introductorio sobre espacios nucleares y connucleares a la luz de la dualidad "topología-bornología" . Estudios matemáticos de Holanda Septentrional. Vol. 52. Ámsterdam Nueva York Nueva York: Holanda Septentrional. ISBN 978-0-08-087163-9.OCLC 316564345 .
- Husain, Taqdir; Khaleelulla, SM (1978). Barrelización en espacios vectoriales topológicos y ordenados . Lecture Notes in Mathematics . Vol. 692. Berlín, Nueva York, Heidelberg: Springer-Verlag . ISBN. 978-3-540-09096-0.OCLC 4493665 .
- Jarchow, Hans (1981). Espacios localmente convexos . Stuttgart: BG Teubner. ISBN 978-3-519-02224-4.OCLC 8210342 .
- Keller, Hans (1974). Cálculo diferencial en espacios localmente convexos . Lecture Notes in Mathematics . Vol. 417. Berlín, Nueva York: Springer-Verlag . ISBN. 978-3-540-06962-1.OCLC 1103033 .
- Khaleelulla, SM (1982). Contraejemplos en espacios vectoriales topológicos . Lecture Notes in Mathematics . Vol. 936. Berlín, Heidelberg, Nueva York: Springer-Verlag . ISBN. 978-3-540-11565-6.OCLC 8588370 .
- Jarchow, Hans (1981). Espacios localmente convexos . Stuttgart: BG Teubner. ISBN 978-3-519-02224-4.OCLC 8210342 .
- 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.
- Köthe, Gottfried (1979). Espacios vectoriales topológicos II . Grundlehren der mathematischen Wissenschaften. vol. 237. Nueva York: Springer Science & Business Media. ISBN 978-0-387-90400-9.OCLC 180577972 .
- 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 .
- Pietsch, Albrecht (1979). Espacios nucleares localmente convexos . Ergebnisse der Mathematik und ihrer Grenzgebiete. vol. 66 (Segunda ed.). Berlín, Nueva York: Springer-Verlag. ISBN 978-0-387-05644-9.OCLC 539541 .
- 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 .
- Robertson, AP; WJ Robertson (1964). Espacios vectoriales topológicos . Cambridge Tracts in Mathematics. Vol. 53. Cambridge University Press . pág. 4.
- 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 .
- Thompson, Anthony C. (1996). Geometría de Minkowski . Enciclopedia de matemáticas y sus aplicaciones. Cambridge University Press . ISBN 0-521-40472-X.
- Schaefer, Helmut H. (1971). Espacios vectoriales topológicos . GTM . Vol. 3. Nueva York: Springer-Verlag. p. 11. ISBN. 0-387-98726-6.
- 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 .
- Schechter, Eric (1996). Manual de análisis y sus fundamentos . San Diego, CA: Academic Press. ISBN 978-0-12-622760-4.OCLC 175294365 .
- Schaefer, HH (1999). Espacios vectoriales topológicos . 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 .
- Wong, Yau-Chuen (1979). Espacios de Schwartz, espacios nucleares y productos tensoriales . Apuntes de clase de matemáticas . Vol. 726. Berlín, Nueva York: Springer-Verlag . ISBN. 978-3-540-09513-2.OCLC 5126158 .