Retículo vectorial topológico
En matemáticas, específicamente en análisis funcional y en teoría del orden, un retículo vectorial topológico es un espacio vectorial topológico (EVT) de Hausdorff que tiene un orden parcial que lo convierte en un espacio de Riesz que posee una base de entornos en el origen que consta de conjuntos sólidos.Plantilla:Sfn Las redes vectoriales ordenadas tienen aplicaciones importantes en teoría espectral.
Definición
Si es un retículo vectorial, entonces se denominan operaciones de retículos vectoriales a las siguientes aplicaciones:
- Las tres aplicaciones de sobre sí mismo definidas por , , y
- Las dos aplicaciones de sobre definidas por y .
Si es un EVT sobre los números reales y un retículo vectorial, entonces es localmente sólido si y solo si (1) su cono positivo es un cono normal y (2) las operaciones del retículo vectorial son continuas.Plantilla:Sfn
Si es un retículo vectorial y un espacio vectorial topológico ordenado que también es un espacio de Fréchet en el que el cono positivo es un cono normal, entonces las operaciones del retículo son continuas.Plantilla:Sfn
Si es un espacio vectorial topológico (EVT) y un espacio vectorial ordenado, entonces se denomina localmente sólido si posee una base de entornos en el origen que consta de conjuntos sólidos.Plantilla:Sfn Un retículo vectorial topológico es un EVT de Hausdorff que tiene un orden parcial que lo convierte en un espacio de Riesz que es localmente sólido.Plantilla:Sfn
Propiedades
Cada retículo vectorial topológico tiene un cono positivo cerrado y, por lo tanto, es un espacio vectorial topológico ordenado.Plantilla:Sfn Sea el conjunto de todos los subconjuntos acotados de un retículo vectorial topológico con cono positivo y, para cualquier subconjunto , sea la envolvente saturado de . Entonces, el cono positivo del retículo vectorial topológico es un cono estricto,Plantilla:Sfn donde es un cono estricto significa que es una subfamilia fundamental de , es decir, cada está contenido como un subconjunto de algún elemento de ).Plantilla:Sfn
Si un retículo vectorial topológico posee orden completo, entonces cada banda está cerrada en .Plantilla:Sfn
Ejemplos
Los espacios Lᵖ () son retículos de Banach según su ordenamiento canónico. Estos espacios son órdenes completos para .