Teorema de intercambio de Steinitz
# Teorema de intercambio de Steinitz

El teorema de intercambio de Steinitz es un teorema básico del álgebra lineal que se utiliza, por ejemplo, para demostrar que dos bases cualesquiera de un espacio vectorial de dimensión finita tienen el mismo número de elementos. El teorema recibe el nombre del matemático alemán Ernst Steinitz.

# Teorema de intercambio de Steinitz
## Enunciado

Sea $V$ un espacio vectorial sobre un cuerpo $\mathbb {K}$. Sean $U$ y $W$ subconjuntos finitos de $V$ tales que $U$ es linealmente independiente y $W$ es generador de $V$. Entonces,
* $\left\vert U\right\vert \leq \left\vert W\right\vert$
* Existe un subconjunto $W'\subseteq W$ de cardinal $\left\vert W'\right\vert =\left\vert W\right\vert -\left\vert U\right\vert$ tal que $U\cup W'$ genera $V$.

# Teorema de intercambio de Steinitz
## Demostración

Como, por hipótesis, $U$ y $W$ son finitos, podemos definir $m:=\left\vert U\right\vert$ y $n:=\left\vert W\right\vert$. Por tanto, podemos suponer que $U=\{u_{1},...,u_{m}\}$ y $W=\{w_{1},...,w_{n}\}$. Para demostrar el teorema, procedemos por inducción sobre $m$:
Caso base ($m=0$):
Vemos que (1) es cierto, pues $\left\vert W\right\vert \geq 0=m=\left\vert U\right\vert$. Además, (2) es cierto porque podemos tomar $W'=W$ y tenemos que
* $\left\vert W'\right\vert =\left\vert W\right\vert =\left\vert W\right\vert -0=\left\vert W\right\vert -m=\left\vert W\right\vert -\left\vert U\right\vert$,
* $U\cup W'=\emptyset \cup W'=W'=W$, que es, por hipótesis, generador de $V$.
Paso inductivo:
Para el paso inductivo vamos a suponer que el enunciado del teorema es cierto para $m-1$ y vamos a ver que lo es para $m$. Por tanto, tomamos $U=\{u_{1},...,u_{m}\}$, que es linealmente independiente y vamos a demostrar lo que dice el teorema, suponiendo, por hipótesis de inducción, que podemos afirmar lo que dice este para conjuntos linealmente independientes de cardinal $m-1$.
Así, tenemos que $U=\{u_{1},...,u_{m}\}$ es linealmente independiente y entonces $\{u_{1},...,u_{m-1}\}\subset U$ es linealmente independiente. El cardinal de este conjunto es $m-1$, por lo que podemos aplicarle la hipótesis de inducción. Haciéndolo obtenemos que
(a) $m-1\leq n$
(b) $\exists W''\subseteq W$ de cardinal $\left\vert W''\right\vert =n-(m-1)=n-m+1$ tal que $\{u_{1},...,u_{m-1}\}\cup W''$ genera $V$.
Por (b), tenemos que $W''$ consta de $n-m+1$ vectores de $W$. Podemos suponer, sin pérdida de generalidad, que estos vectores son los últimos de la lista de elementos de $W$, pues si no lo fueran, podríamos reordenar esa lista para ponerlos en último lugar. Así pues, consideramos $W''=\{w_{m},...,w_{n}\}$. Por lo tanto, (b) se puede reescribir como $\{u_{1},...,u_{m-1},w_{m},...,w_{n}\}$ y genera a $V$.
Consideremos ahora el vector $u_{m}\in U\subseteq V$. Como el anterior conjunto es generador de $V$, existen ciertos $\alpha _{1},...,\alpha _{m-1},\beta _{m},...,\beta _{n}\in \mathbb {K}$ tales que
$u_{m}=\alpha _{1}u_{1}+...+\alpha _{m-1}u_{m-1}+\beta _{m}w_{m}+...+\beta _{n}w_{n}$ $(*)$
Entonces tenemos que $\left\vert W''\right\vert \geq 1$, pues si fuera vacío tendríamos que $u_{m}=\alpha _{1}u_{1}+...+\alpha _{m-1}u_{m-1}$ y entonces $U$ no sería linealmente independiente, con lo que llegaríamos a contradicción. Por tanto, obtenemos de la relación de cardinales en (b) que $n-m+1=$$\left\vert W''\right\vert \geq 1\Rightarrow n+1\geq m+1\Rightarrow n\geq m\Rightarrow \left\vert U\right\vert \leq \left\vert W\right\vert$, con lo que (1) queda ya demostrado.
Sólo nos queda, pues, demostrar (2). Con el mismo razonamiento de antes, tenemos que $\beta _{i}\neq 0$ para algún $i=m,...,n$, pues si no tendríamos que $u_{m}=\alpha _{1}u_{1}+...+\alpha _{m-1}u_{m-1}$ y llegaríamos a contradicción igual que antes. Como algún $\beta _{i}\neq 0$, podemos suponer, sin pérdida de generalidad, que $\beta _{m}\neq 0$, pues si fuera otro coeficiente el $\beta _{i}\neq 0$ podríamos reordenar los términos. Si denotamos $[A]$ el subespacio generado por un conjunto de vectores $A$, vamos a ver que $[U\cup \{w_{m+1},...,w_{n}\}]=[u_{1},...,u_{m-1},u_{m},w_{m+1},...,w_{n}]=[u_{1},...,u_{m-1},w_{m},w_{m+1},...,w_{n}]=\{u_{1},...,u_{m-1}\}\cup W''=V$.
La primera y la penúltima igualdad se dan por definición de $U$ y $W''$, respectivamente, y la última por (b). Sólo tenemos que probar, pues, la segunda.
Por $(*)$ tenemos que $u_{m}$ es combinación lineal de $\{u_{1},...,u_{m-1},w_{m},...,w_{n}\}$, por lo que $[u_{1},...,u_{m-1},u_{m},w_{m},w_{m+1},...,w_{n}]=[u_{1},...,u_{m-1},w_{m},w_{m+1},...,w_{n}]$.
Por otro lado, como $\beta _{m}\neq 0$, en $(*)$ podemos despejar $w_{m}$ como $w_{m}={\frac {1}{\beta _{m}}}u_{m}-\sum _{i=1}^{m-1}{{\frac {\alpha _{i}}{\beta _{m}}}u_{i}}-\sum _{i=m+1}^{n}{{\frac {\beta _{i}}{\beta _{m}}}w_{i}}$, por lo que $w_{m}$ es combinación lineal de $\{u_{1},...,u_{m-1},u_{m},w_{m+1},...,w_{n}\}$, de lo que obtenemos que $[u_{1},...,u_{m-1},u_{m},w_{m},w_{m+1},...,w_{n}]=[u_{1},...,u_{m-1},u_{m},w_{m+1},...,w_{n}]$. Por lo tanto,
$[u_{1},...,u_{m-1},u_{m},w_{m+1},...,w_{n}]=[u_{1},...,u_{m-1},u_{m},w_{m},w_{m+1},...,w_{n}]=[u_{1},...,u_{m-1},w_{m},w_{m+1},...,w_{n}]$, la igualdad que quedaba por probar.
Así pues, tenemos que $[U\cup \{w_{m+1},...,w_{n}\}]=V$, y si tomamos $W'=\{w_{m+1},...,w_{n}\}$, tenemos que $W'\subseteq W$, $\left\vert W'\right\vert =n-m=\left\vert W\right\vert -\left\vert U\right\vert$ y $U\cup W'$ genera a $V$, es decir, hemos demostrado (2), y con esto concluye la demostración. $\square$

# Teorema de intercambio de Steinitz
## Corolarios

Como consecuencia del teorema de intercambio de Steinitz se obtienen los siguientes resultados:
* Todas las bases de un mismo espacio vectorial tienen igual número de elementos.
* Supongamos que tenemos dos bases $B_{1}$ y $B_{2}$ de cierto espacio vectorial $E.$
* $B_{1}$ es una base y, en particular, es un conjunto generador de $E$. $B_{2}$ es también una base, y en particular, es un conjunto linealmente independiente. Aplicando el teorema de intercambio de Steinitz obtenemos que $\vert B_{1}\vert \geq \vert B_{2}\vert$.
* Simétricamente, $B_{2}$ es generador de $E$ y $B_{1}$ es linealmente independiente, luego $\vert B_{2}\vert \geq \vert B_{1}\vert$.
* De las dos desigualdades anteriores obtenemos que $\vert B_{1}\vert =\vert B_{2}\vert .\quad \square$
Este resultado motiva la definición de dimensión de un espacio vectorial como la cantidad de elementos que tiene cualquier base suya que consideremos.
* Dado un espacio vectorial $E$ de dimensión $n$ y un conjunto de $n$ vectores $S\subseteq E$,
* (1) $S$ genera a $E\Rightarrow S$ es base de $E$
* (2) $S$ linealmente independiente $\Rightarrow S$ es base de $E$
* (1) Por hipótesis, $S$ es generador, así que $S$ contiene una base. Pero la dimensión de $E$ es $n$, así que todas sus bases tienen $n$
* elementos. Como $S$ tiene por hipótesis $n$ elementos, la base que $S$ contiene es necesariamente $S$, de forma que $S$ es una base de $E$.
* (2) Consideramos $B$ una base de $E$. Por el primer corolario, $\vert B\vert =n$.
* En particular, $B$ es generador de $E$. Por el teorema de Steinitz, existe un subconjunto de $A\subseteq B$ de tamaño $\vert A\vert =\vert B\vert -\vert S\vert =n-n=0$ tal que $S\cup A$ es generador. Pero como $\vert A\vert =0$, necesariamente $A$ es el conjunto vacío, y $S\cup A=S$ es generador. Como, por hipótesis, $S$ también es linealmente independiente, $S$ es una base.
* $\square$
Por lo tanto, dado un subconjunto $S$ de cardinal igual a la dimensión del espacio vectorial al que pertenece, solo hace falta comprobar una de las dos propiedades que tienen por definición las bases para demostrar que $S$ es una base.