##  [Espacio Localmente Convexo](/es/node/62509) 

 Definición

Un espacio vectorial topológico cuya topología admite una base local en el origen constituida por vecindarios convexos; equivalentemente, un TVS cuya topología puede generarse por una familia de seminormas.

 

 

 

 

 

 





## Principio

Principio

Los vecindarios convexos en torno a cero permiten el uso de técnicas lineales y convexas; las familias de seminormas codifican la topología y reducen las cuestiones de continuidad a estimaciones respecto a esas seminormas.

 

 

 

 

 





## Demostración

Demostración

El espacio C(K) de funciones continuas en un compacto K con la topología de la norma sup es localmente convexo porque las bolas de la norma son convexas; en general, productos y espacios definidos por familias de seminormas (por ejemplo espacios de sucesiones con seminormas coordenadas) son localmente convexos.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Suponer que la convexidad local implica reflexividad o normabilidad en general, o que todo funcional lineal es continuo; la convexidad local es una condición más débil y necesita estructura adicional para esas propiedades.

 

 

 

 

 





## Consecuencia

Consecuencia

Disponibilidad de funcionales lineales continuos separantes (Hahn–Banach) en muchos contextos, desarrollo de teoría del dual y posibilidad de construir topologías localmente convexas mediante familias de seminormas y límites proyectivos/inductivos.

 

 

 

 

## Inversión

Inversión

Los espacios no localmente convexos (p. ej. algunos provistos de F-normas) carecen de descripción por seminormas y resisten muchas herramientas clásicas del análisis funcional.

 

 

 

 

 





## Límite

Límite

Incluye espacios normados y metrizables generados por seminormas pero excluye espacios que no admiten una base de vecindarios convexos en cero; propiedades como barrelledness, bornologicidad o ser Montel son condiciones adicionales no garantizadas por la sola convexidad local.

 

 

 

 

 





## Tensión semántica

Tensión semántica

La convexidad local a veces se confunde con buen comportamiento del dual o con metrizabilidad; la tensión está entre la condición topológica débil de convexidad local y propiedades más fuertes (normabilidad, reflexividad) que requieren hipótesis extras.

 

 

 

 

 





## Síntesis

Síntesis

Un espacio localmente convexo es el marco topológico mínimo que preserva la geometría convexa necesaria para el análisis lineal, concretada por familias de seminormas que gobiernan la continuidad y la dualidad.