Espacio vectorial topológico ordenado

En matemáticas, específicamente en análisis funcional y en la teoría del orden, un espacio vectorial topológico ordenado, también llamado EVT ordenado, es un espacio vectorial topológico (EVT) ${\displaystyle X}$ que tiene un orden parcial (≤) en un espacio vectorial ordenado cuyo cono positivo ${\displaystyle C:=\left\{x\in X:x\geq 0\right\}}$ es un subconjunto cerrado de ${\displaystyle X}$. ^[1]​ Los EVT ordenados tienen aplicaciones importantes en teoría espectral.

Cono normal

Artículo principal: Cono normal (análisis funcional)

Si C es un cono en un EVT ${\displaystyle X}$ , entonces C es normal si ${\displaystyle {\mathcal {U}}=\left[{\mathcal {U}}\right]_{C}}$ , donde ${\displaystyle {\mathcal {U}}}$  es el filtro de entornos en el origen, ${\displaystyle \left[{\mathcal {U}}\right]_{C}=\left\{\left[U\right]:U\in {\mathcal {U}}\right\}}$  y ${\displaystyle [U]_{C}:=\left(U+C\right)\cap \left(U-C\right)}$  es el entorno C-saturado de un subconjunto ${\displaystyle U}$  de ${\displaystyle X}$ . ^[2]​

Si C es un cono en un EVT ${\displaystyle X}$  (sobre los números reales o complejos), entonces los siguientes enunciados son equivalentes:^[2]​

1. C es un cono normal.
2. Para cada filtro ${\displaystyle {\mathcal {F}}}$  en ${\displaystyle X}$ , si ${\displaystyle \lim {\mathcal {F}}=0}$  entonces ${\displaystyle \lim \left[{\mathcal {F}}\right]_{C}=0}$ .
3. Existe una base de entornos ${\displaystyle {\mathcal {B}}}$  en ${\displaystyle X}$  tal que ${\displaystyle B\in {\mathcal {B}}}$  implica que ${\displaystyle \left[B\cap C\right]_{C}\subseteq B}$ .

y si ${\displaystyle X}$  es un espacio vectorial sobre los números reales, entonces también:^[2]​

1. Existe una base de entornos en el origen que consta de conjuntos convexos, equilibrados y C-saturados.
2. Existe una familia generadora ${\displaystyle {\mathcal {P}}}$  de semi-normas en ${\displaystyle X}$  tal que ${\displaystyle p(x)\leq p(x+y)}$  para todos los ${\displaystyle x,y\in C}$  y ${\displaystyle p\in {\mathcal {P}}}$ .

Si la topología en ${\displaystyle X}$  es localmente convexa, entonces el cierre de un cono normal es un cono normal.^[2]​

Propiedades

Si C es un cono normal en ${\displaystyle X}$ , y B es un subconjunto acotado de ${\displaystyle X}$ , entonces ${\displaystyle \left[B\right]_{C}}$  está acotado. En particular, cada intervalo ${\displaystyle [a,b]}$  está acotado.^[2]​ Si ${\displaystyle X}$  es de Hausdorff, entonces todo cono normal en ${\displaystyle X}$  es un cono propio.^[2]​

Propiedades

• Sea ${\displaystyle X}$  un espacio vectorial ordenado sobre los números reales que es de dimensión finita. Entonces, el orden de ${\displaystyle X}$  es arquimediano si y solo si el cono positivo de ${\displaystyle X}$  está cerrado para la topología única bajo la cual ${\displaystyle X}$  es un EVT de Hausdorff.^[1]​
• Sea ${\displaystyle X}$  un espacio vectorial ordenado sobre los reales con cono positivo C. Entonces, los siguientes enunciados son equivalentes:^[1]​

1. El orden de ${\displaystyle X}$  es regular.
2. C se cierra secuencialmente para alguna topología de un EVT localmente convexo de Hausdorff en ${\displaystyle X}$ ; y ${\displaystyle X^{+}}$  distingue puntos en ${\displaystyle X}$ 
3. El orden de ${\displaystyle X}$  es arquimediano, y C es normal para algunas topologías de un EVT localmente convexo de Hausdorff en ${\displaystyle X}$ .

Véase también

• Métrica generalizada
• Orden de topología (análisis funcional)
• Cuerpo ordenado
• Grupo ordenado
• Anillo ordenado
• Espacio vectorial ordenado
• Espacio parcialmente ordenado
• Espacio de Riesz
• Red vectorial topológica
• Espacio de Riesz

Referencias

1. Schaefer y Wolff, 1999, pp. 222–225.
2. Schaefer y Wolff, 1999, pp. 215–222.

Bibliografía

• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. 
• Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM 8 (Second edición). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. 

•   Datos: Q96397674