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 ; es decir, para que se dé la existencia de una norma en el espacio que genera la topología dada. 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. (See Section 8.1.3)
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 (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 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 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 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 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 Espacio localmente convexo Espacio vectorial normado Espacio vectorial topológico
Referencias
Categoría:Teoremas en análisis funcional