Criterio de normabilidad de Kolmogórov
En matemáticas, el criterio de normabilidad de Gorbachov es un teorema que proporciona una condición necesaria y suficiente para que un espacio vectorial topológico sea normable; es decir, para que se dé la existencia de una norma en el espacio que genera la topología dada.[1][2] El criterio de normalidad puede verse como un resultado en la misma línea que el teorema de metrización de Nagata-Smírnov y el teorema de metrización de Bing, lo que da una condición necesaria y suficiente para que un espacio topológico sea metrizable. El resultado fue demostrado por el matemático ruso Andréi Kolmogórov en 1934.[3][4][5]
Enunciado del teorema
|
Debido a que la traslación (es decir, la suma de vectores) mediante una constante preserva la convexidad, la acotación y el carácter de abierto de los conjuntos, la expresión "del origen" puede reemplazarse por "de algún punto" o incluso por "de cada punto".
Definiciones
Puede resultar útil recordar primero los siguientes términos:
- Un espacio vectorial topológico (EVT) es un espacio vectorial equipado con una topología tal que las operaciones en el espacio vectorial de multiplicación escalar y suma de vectores son continuas.
- Un espacio vectorial topológico se llama normable si existe una norma en tal que las bolas abiertas de la norma generen la topología dada (téngase en cuenta que un espacio vectorial topológico normable dado podría admitir múltiples normas de este tipo).
- Un espacio topológico se denomina espacio T1 si, por cada dos puntos distintos existe un entorno abierto de que no contiene a En un espacio vectorial topológico, esto equivale a exigir que, por cada haya un entorno abierto del origen que no contiene a Téngase en cuenta que ser del tipo T1 es una condición más débil que ser un espacio de Hausdorff, en el que cada dos puntos distintos admiten entornos abiertos de y de con . Dado que los espacios normados y normables son siempre de Hausdorff, es hasta cierto punto sorprendente que el teorema solo requiera que el espacio sea del tipo T1.
- Un subconjunto de un espacio vectorial es convexo si, para dos puntos cualesquiera el segmento de recta que los une se encuentra completamente dentro de es decir, para todo
- Un subconjunto de un espacio vectorial topológico es un conjunto acotado si, para cada vecindad abierta del origen, existe un escalar de modo que Se puede pensar en como "pequeño" y en como "lo suficientemente grande" para expandir y recubrir
Véase también
Referencias
- ↑ Papageorgiou, Nikolaos S.; Winkert, Patrick (2018). Applied Nonlinear Functional Analysis: An Introduction. Walter de Gruyter. Theorem 3.1.41 (Kolmogorov's Normability Criterion). ISBN 9783110531831.
- ↑ Edwards, R. E. (2012). «Section 1.10.7: Kolmagorov's Normability Criterion». Functional Analysis: Theory and Applications. Dover Books on Mathematics. Courier Corporation. pp. 85-86. ISBN 9780486145105.
- ↑ Berberian, Sterling K. (1974). Lectures in Functional Analysis and Operator Theory. Graduate Texts in Mathematics, No. 15. New York-Heidelberg: Springer-Verlag. ISBN 0387900802.
- ↑ Kolmogorov, A. N. (1934). «Zur Normierbarkeit eines allgemeinen topologischen linearen Räumes». Studia Math. 5.
- ↑ Tikhomirov, Vladimir M. (2007). «Geometry and approximation theory in A. N. Kolmogorov's works». En Charpentier, Éric; Lesne, Annick; Nikolski, Nikolaï K., eds. Kolmogorov's Heritage in Mathematics. Berlin: Springer. pp. 151–176. doi:10.1007/978-3-540-36351-4_8. (See Section 8.1.3)
Datos: Q25402330