# Espacio vectorial ordenado

En matemáticas, un espacio vectorial ordenado o espacio vectorial parcialmente ordenado es un espacio vectorial equipado con un orden parcial que es compatible con las operaciones del espacio vectorial.

## Definición

Dado un espacio vectorial $X$ sobre los números reales $\mathbb {R}$ y un preorden $\,\leq \,$ sobre el conjunto $X,$ el par $(X,\leq )$ se llama espacio vectorial preordenado y se dice que el preorden $\,\leq \,$ es compatible con la estructura del espacio vectorial de $X$. Por otro lado, se denomina a $\,\leq \,$ un preorden vectorial en $X$ si para todos los $x,y,z\in X$ y $r\in \mathbb {R}$ con $r\geq 0$ se cumplen los dos axiomas siguientes:
* $x\leq y$ implica que $x+z\leq y+z,$
* $y\leq x$ implica que $ry\leq rx.$
Si $\,\leq \,$ es un preorden compatible con la estructura del espacio vectorial de $X$, entonces $(X,\leq )$ se denomina espacio vectorial ordenado y $\,\leq \,$ se denomina orden parcial vectorial en $X.$ Los dos axiomas implican que las traslaciones y las homotecias positivas son automorfismos de la estructura de orden, y que la asignación $x\mapsto -x$ es un isomorfismo sobre una estructura de orden dual. Los espacios vectoriales ordenados son grupos ordenados con respecto a la operación suma. Téngase en cuenta que $x\leq y$ si y solo si $-y\leq -x.$

## Conos positivos y su equivalencia con los ordenamientos

Un subconjunto $C$ de un espacio vectorial $X$ se llama cono si para todo $r>0,$ real $rC\subseteq C.$ Un cono se llama puntiagudo si contiene el origen. Un cono $C$ es convexo si y solo si $C+C\subseteq C.$ La intersección de cualquier familia de conos no vacía (respectivamente, conos convexos) es nuevamente un cono (respectivamente, cono convexo). Lo mismo ocurre con la unión de una familia de conos creciente (bajo la inclusión de conjuntos) (respectivamente, conos convexos). Se dice que un cono $C$ en un espacio vectorial $X$ es generador si $X=C-C.$
Dado un espacio vectorial preordenado $X,$ el subconjunto $X^{+}$ de todos los elementos $x$ en $(X,\leq )$ que satisfacen $x\geq 0$ es un cono convexo puntiagudo con vértice en $0$ (es decir, contiene $0$) llamado cono positivo de $X$ y denotado por $\operatorname {PosCone} X.$ Los elementos del cono positivo se llaman positivos. Si $x$ e $y$ son elementos de un espacio vectorial preordenado $(X,\leq ),$ entonces $x\leq y$ si y solo si $y-x\in X^{+}.$ El cono positivo se genera si y solo si $X$ es un conjunto dirigido bajo $\,\leq .$ Dado cualquier cono convexo puntiagudo $C$ con vértice en $0,$ se puede definir un preorden $\,\leq \,$ en $X$ que sea compatible con la estructura del espacio vectorial de $X$ declarando para todo $x,y\in X,$ que $x\leq y$ si y solo si $y-x\in C.$ El cono positivo de este espacio vectorial preordenado resultante es $C.$ Por lo tanto, existe una correspondencia uno a uno entre los conos convexos puntiagudos con vértice $0$ y los preórdenes de vectores en $X.$. Si $X$ está reservado, entonces se puede formar una relación de equivalencia en $X$ definiendo que $x$ es equivalente a $y$ si y solo si $x\leq y$ e $y\leq x$; si $N$ es la clase de equivalencia que contiene el origen, entonces $N$ es un subespacio vectorial de $X$ y $X/N$ es un espacio vectorial ordenado bajo la relación: $A\leq B$ si y solo existen $a\in A$ y $b\in B$ tales que $a\leq b.$
Un subconjunto de $C$ de un espacio vectorial $X$ se denomina cono convexo si es un cono convexo de vértice $0$ que satisface $C\cap (-C)=\{0\}.$ Explícitamente, $C$ es un cono propio si (1) $C+C\subseteq C,$ (2) $rC\subseteq C$ para todos los $r>0,$ y (3) $C\cap (-C)=\{0\}.$ La intersección de cualquier familia no vacía de conos propios es nuevamente un cono propio. Cada cono propio $C$ en un espacio vectorial real induce un orden en el espacio vectorial definiendo $x\leq y$ si y solo si $y-x\in C,$ y además, el cono positivo de este espacio vectorial ordenado será $C.$ Por lo tanto, existe una correspondencia uno a uno entre los conos convexos propios de $X$ y los órdenes parciales del vector en $X.$
Por ordenamiento total de vectores en $X$ se entiende un orden total en $X$ que es compatible con la estructura del espacio vectorial de $X.$ La familia de ordenamientos vectoriales totales en un espacio vectorial $X$ está en correspondencia uno a uno con la familia de todos los conos propios que son máximos bajo la inclusión de conjuntos. Un orden vectorial total no puede ser arquimediano si su dimensión, cuando se considera un espacio vectorial sobre los números reales, es mayor que 1.
Si $R$ y $S$ son dos ordenamientos de un espacio vectorial con conos positivos $P$ y $Q,$ respectivamente, entonces se dice que $R$ es más fino que $S$ si $P\subseteq Q.$

## Ejemplos

Los números reales con el orden habitual forman un espacio vectorial totalmente ordenado. Para todos los números enteros, $n\geq 0,$ el espacio euclídeo, $\mathbb {R} ^{n}$ considerado como un espacio vectorial sobre los reales con el orden lexicográfico, forma un espacio vectorial preordenado cuyo orden es arquimediano si y solo si $n=1$.

### Orden puntual

Si $S$ es cualquier conjunto y si $X$ es un espacio vectorial (sobre los números reales) de funciones con valor real en $S,$ entonces el orden puntual en $X$ viene dado por, para todo $f,g\in X,$ $f\leq g$ si y solo si $f(s)\leq g(s)$ para todos $s\in S.$
Los espacios a los que normalmente se les asigna este orden incluyen:
* El espacio $\ell ^{\infty }(S,\mathbb {R} )$ de aplicaciones de valor real acotado en $S.$
* El espacio $c_{0}(\mathbb {R} )$ de sucesiones de valor real que convergen a $0.$
* El espacio $C(S,\mathbb {R} )$ de funciones de valor real continuas en un espacio topológico $S.$
* Para cualquier entero no negativo $n,$ el espacio euclídeo $\mathbb {R} ^{n}$ cuando se considera como el espacio $C(\{1,\dots ,n\},\mathbb {R} )$ donde a $S=\{1,\dots ,n\}$ viene dado por una topología discreta.
El espacio ${\mathcal {L}}^{\infty }(\mathbb {R} ,\mathbb {R} )$ de todos las aplicaciones medibles casi en todas partes asigna valores reales acotados en $\mathbb {R} ,$ donde el preorden se define para todos los $f,g\in {\mathcal {L}}^{\infty }(\mathbb {R} ,\mathbb {R} )$ por $f\leq g$ si y solo si $f(s)\leq g(s)$ casi en cualquier parte.

## Intervalos y el orden vinculado dual

Un intervalo de orden en un espacio vectorial preordenado tiene la forma
    ${\begin{alignedat}{4}[a,b]&=\{x:a\leq x\leq b\},\\[0.1ex][a,b[&=\{x:a\leq x<b\},\\]a,b]&=\{x:a<x\leq b\},{\text{ o }}\\]a,b[&=\{x:a<x<b\}.\\\end{alignedat}}$
De los axiomas 1 y 2 anteriores se deduce que $x,y\in [a,b]$ y $0<t<1$ implican que $tx+(1-t)y$ pertenece a $[a,b];$ y por tanto, estos intervalos de orden son convexos. Se dice que un subconjunto está ordenado si está contenido en algún intervalo de orden. En un espacio vectorial real preordenado, si es para $x\geq 0$, entonces el intervalo de la forma $[-x,x]$ es equilibrado. Una unidad de orden de un espacio vectorial preordenado es cualquier elemento $x$ tal que el conjunto $[-x,x]$ sea absorbente.
El conjunto de todas las funciones lineales en un espacio vectorial preordenado $X$ que asigna cada intervalo de orden a un conjunto acotado se denomina dual de orden acotado de $X$ y se denota por $X^{\operatorname {b} }.$ Si un espacio es ordenado, entonces su dual de orden acotado es un subespacio vectorial de su espacio dual.
Un subconjunto $A$ de un espacio vectorial ordenado $X$ se llama de orden completo si para cada subconjunto $B\subseteq A$ no vacío tal que $B$ está orden acotado en $A,$ tanto $\sup B$ como $\inf B$ existen y son elementos de $A.$ Se dice que un vector ordenado el espacio $X$ posee orden completo si $X$ es un subconjunto de orden completo de $X.$

### Ejemplos

Si $(X,\leq )$ es un espacio vectorial preordenado sobre los números reales con unidad de orden $u,$ entonces la aplicación $p(x):=\inf\{t\in \mathbb {R} :x\leq tu\}$ es un funcional sublineal.

## Propiedades

Si $X$ es un espacio vectorial preordenado, entonces para todos los $x,y\in X,$
* $x\geq 0$ e $y\geq 0$ implican que $x+y\geq 0.$
* $x\leq y$ si y solo si $-y\leq -x.$
* $x\leq y$ y $r<0$ implican que $rx\geq ry.$
* $x\leq y$ si y solo si $y=\sup\{x,y\}$ si y solo si $x=\inf\{x,y\}$
* $\sup\{x,y\}$ existe si y solo si $\inf\{-x,-y\}$ existe, en cuyo caso $\inf\{-x,-y\}=-\sup\{x,y\}.$
* $\sup\{x,y\}$ existe si y solo si $\inf\{x,y\}$ existe, en cuyo caso para todos los $z\in X,$
** $\sup\{x+z,y+z\}=z+\sup\{x,y\},$ y
** $\inf\{x+z,y+z\}=z+\inf\{x,y\}$
** $x+y=\inf\{x,y\}+\sup\{x,y\}.$
* $X$ es un espacio de Riesz si y solo si $\sup\{0,x\}$ existe para todos los $x\in X.$

## Espacios de aplicaciones lineales

Se dice que un cono $C$ es generador si $C-C$ es igual a todo el espacio vectorial. Si $X$ y $W$ son dos espacios vectoriales ordenados no triviales con respectivos conos positivos $P$ y $Q,$ entonces $P$ se genera en $X$ si y solo si el conjunto $C=\{u\in L(X;W):u(P)\subseteq Q\}$ es un cono propio en $L(X;W),$ que es el espacio de todas las aplicaciones lineales desde $X$ hasta $W.$ En este caso, el orden definido por $C$ se denomina ordenamiento canónico de $L(X;W).$. De manera más general, si $M$ es cualquier subespacio vectorial de $L(X;W)$ tal que $C\cap M$ sea un cono propio, el orden definido por $C\cap M$ se denomina 'ordenamiento canónico de $M.$.

### Funcionales positivos y el orden dual

Una función lineal $f$ en un espacio vectorial preordenado se denomina positiva si satisface cualquiera de las siguientes condiciones equivalentes:
* $x\geq 0$ implica $f(x)\geq 0.$
* si $x\leq y$ entonces $f(x)\leq f(y).$
El conjunto de todas las formas lineales positivas en un espacio vectorial con cono positivo $C,$ llamado cono dual y denotado por $C^{*},$ es un cono igual al polar de $-C.$ El preorden inducido por el cono dual en el espacio de funcionales lineales en $X$ se llama preorden dual.
El dual de orden de un espacio vectorial ordenado $X$ es el conjunto, denotado por $X^{+},$ definido por $X^{+}:=C^{*}-C^{*}.$ Aunque $X^{+}\subseteq X^{b},$ existen espacios vectoriales ordenados para los cuales la igualdad de conjuntos no se cumple.

## Tipos especiales de espacios vectoriales ordenados

Sea $X$ un espacio vectorial ordenado. Se dice que un espacio vectorial ordenado $X$ está ordenado arquimedianamente y que el orden de $X$ es de Arquímedes si siempre que $x$ en $X$ es tal que $\{nx:n\in \mathbb {N} \}$ es mayorizado (es decir, si existe algún $y\in X$ tal que $nx\leq y$ para todos los $n\in \mathbb {N}$), y entonces $x\leq 0.$ Un espacio vectorial topológico (EVT) que es un espacio vectorial ordenado es necesariamente de Arquímedes si su cono positivo está cerrado.
Se dice que un espacio vectorial preordenado $X$ está regularmente ordenado y que su orden es regular si está ordenado arquimedianamente y $X^{+}$ distingue puntos en $X.$ Esta propiedad garantiza que haya suficientes formas lineales positivas para poder utilizar con éxito las herramientas de la dualidad para estudiar espacios vectoriales ordenados.
Un espacio vectorial ordenado se llama espacio de Riesz si para todos los elementos $x$ e $y,$ existen el supremo $\sup(x,y)$ y el ínfimo $\inf(x,y)$.

## Subespacios, cocientes y productos

Sea $X$ un espacio vectorial preordenado con cono positivo $C.$
Subespacios
Si $M$ es un subespacio vectorial de $X$, entonces el orden canónico en $M$ inducido por el cono positivo $X$ de $C$ es el orden parcial inducido por el cono convexo puntiagudo $C\cap M,$ donde este cono es propio si $C$ es propio.
Espacio de cociente
Sea $M$ un subespacio vectorial de un espacio vectorial ordenado $X,$ sea $\pi :X\to X/M$ la proyección canónica, y sea ${\hat {C}}:=\pi (C).$ Entonces, ${\hat {C}}$ es un cono en $X/M$ que induce un preorden canónico en el espacio cociente $X/M.$ Si ${\hat {C}}$ es un cono adecuado en $X/M$, entonces ${\hat {C}}$ convierte a $X/M$ en un espacio vectorial ordenado. Si $M$ es $C$ saturado, entonces ${\hat {C}}$ define el orden canónico de $X/M.$ Téngase en cuenta que $X=\mathbb {R} _{0}^{2}$ proporciona un ejemplo de un espacio vectorial ordenado en el que $\pi (C)$ no es un cono propio.
Si $X$ también es un espacio vectorial topológico (EVT), y si por cada entorno del origen $V$ en $X$ existe una vecindad $U$ del origen tal que $[(U+N)\cap C]\subseteq V+N$, entonces ${\hat {C}}$ es un cono normal para la topología cociente.
Si $X$ es un retículo vectorial topológico y $M$ es un subretículo sólido cerrado de $X$, entonces $X/L$ también es un retículo vectorial topológico.
Producto
Si $S$ es un conjunto cualquiera, entonces el espacio $X^{S}$ de todas las funciones desde $S$ hasta $X$ está ordenado canónicamente por el cono propio $\left\{f\in X^{S}:f(s)\in C{\text{for all }}s\in S\right\}.$.
Supóngase que $\left\{X_{\alpha }:\alpha \in A\right\}$ es una familia de espacios vectoriales preordenados, y que el cono positivo de $X_{\alpha }$ es $C_{\alpha }.$ Entonces, C:=∏$_α$C$_α${\textstyle C:=\prod _{\alpha }C_{\alpha }} es un cono convexo puntiagudo en ∏$_α$X$_α$, {\textstyle \prod _{\alpha }X_{\alpha }, } que determina un orden canónico en ∏$_α$X$_α$.{\textstyle \prod _{\alpha }X_{\alpha }.} $C$ es un cono propio si todos los $C_{\alpha }$ son conos propios.
Suma directa algebraica
La suma directa algebraica ⨁$_α$X$_α${\textstyle \bigoplus _{\alpha }X_{\alpha }} de $\left\{X_{\alpha }:\alpha \in A\right\}$ es un subespacio vectorial de ∏$_α$X$_α${\textstyle \prod _{\alpha }X_{\alpha }} al que se le da el ordenamiento del subespacio canónico heredado de ∏$_α$X$_α$.{\textstyle \prod _{\alpha }X_{\alpha }.} Si $X_{1},\dots ,X_{n}$ son subespacios vectoriales ordenados de un espacio vectorial ordenado $X$, entonces $X$ es la suma directa ordenada de estos subespacios si el isomorfismo algebraico canónico de $X$ sobre $\prod _{\alpha }X_{\alpha }$ (con el orden canónico del producto) es un isomorfismo de órdenes.

## Ejemplos

* Los números reales con el orden habitual es un espacio vectorial ordenado.
* $\mathbb {R} ^{2}$ es un espacio vectorial ordenado con la relación $\,\leq \,$ definida de cualquiera de las siguientes maneras (en orden de fuerza creciente, es decir, conjuntos de pares decrecientes):
** Orden lexicográfico: $(a,b)\leq (c,d)$ si y solo si $a<c$ o $(a=c{\text{and }}b\leq d).$ Este es un orden total. El cono positivo viene dado por $x>0$ o $(x=0{\text{ y }}y\geq 0),$ es decir, en Coordenadas polares, el conjunto de puntos cuya coordenada angular satisface que $-\pi /2<\theta \leq \pi /2,$ junto con el origen.
** $(a,b)\leq (c,d)$ si y solo si $a\leq c$ y $b\leq d$ (el orden del producto de dos copias de $\mathbb {R}$ con $\leq$). Este es un orden parcial. El cono positivo viene dado por $x\geq 0$ e $y\geq 0,$ es decir, en coordenadas polares $0\leq \theta \leq \pi /2,$ junto con el origen.
** $(a,b)\leq (c,d)$ si y solo si $(a<c{\text{ y }}b<d)$ o $(a=c{\text{ y }}b=d)$ (la clausura reflexiva del Producto directo de dos copias de $\mathbb {R}$ con "<"). Esto también es un orden parcial. El cono positivo está dado por $(x>0{\text{ e }}y>0)$ o $x=y=0),$ es decir, en coordenadas polares, $0<\theta <\pi /2,$ junto con el origen.
    Solo el segundo orden está cerrado, como subconjunto de $\mathbb {R} ^{4},$; véase órdenes parciales en espacios topológicos.
    Para el tercer orden, los intervalos bidimensionales "$p<x<q$" son conjuntos abiertos que generan la topología.
* $\mathbb {R} ^{n}$ es un espacio vectorial ordenado con la relación $\,\leq \,$ definida de manera similar. Por ejemplo, para el segundo orden mencionado anteriormente:
** $x\leq y$ si y solo si $x_{i}\leq y_{i}$ para $i=1,\dots ,n.$
* Un espacio de Riesz es un espacio vectorial ordenado, donde el orden da lugar a un retículo.
* El espacio de funciones continuas en $[0,1]$, donde $f\leq g$ si y solo si $f(x)\leq g(x)$ para todos los $x$ en $[0,1].$