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.

Enunciado

Sea $V$ un espacio vectorial sobre un cuerpo $𝕂$. Sean $U$ y $W$ subconjuntos finitos de $V$ tales que $U$ es linealmente independiente y $W$ es generador de $V$. Entonces,

1. $\left|U\right|\le \left|W\right|$
2. Existe un subconjunto $W^{\prime }\subseteq W$ de cardinal $\left|W^{\prime }\right|=\left|W\right|-\left|U\right|$ tal que $U\cup W^{\prime }$ genera $V$.

Demostración

Como, por hipótesis, $U$ y $W$ son finitos, podemos definir $m:=\left|U\right|$ y $n:=\left|W\right|$. 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|W\right|\ge 0=m=\left|U\right|$. Además, (2) es cierto porque podemos tomar $W^{\prime }=W$ y tenemos que

• $\left|W^{\prime }\right|=\left|W\right|=\left|W\right|-0=\left|W\right|-m=\left|W\right|-\left|U\right|$,
• $U\cup W^{\prime }=\mathrm{\varnothing }\cup W^{\prime }=W^{\prime }=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\le n$

(b) $\mathrm{\exists }{W}^{″}\subseteq W$ de cardinal $\left|W^{″}\right|=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 𝕂$ 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|W^{″}\right|\ge 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|W^{″}\right|\ge 1\Rightarrow n+1\ge m+1\Rightarrow n\ge m\Rightarrow \left|U\right|\le \left|W\right|$, con lo que (1) queda ya demostrado.

Sólo nos queda, pues, demostrar (2). Con el mismo razonamiento de antes, tenemos que ${\beta }_i\ne 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\ne 0$, podemos suponer, sin pérdida de generalidad, que ${\beta }_m\ne 0$, pues si fuera otro coeficiente el ${\beta }_i\ne 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\ne 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^{\prime }=\{w_{m+1},...,w_n\}$, tenemos que $W^{\prime }\subseteq W$, $\left|W^{\prime }\right|=n-m=\left|W\right|-\left|U\right|$ y $U\cup W^{\prime }$ genera a $V$, es decir, hemos demostrado (2), y con esto concluye la demostración. $◻$

Corolarios

Como consecuencia del teorema de intercambio de Steinitz se obtienen los siguientes resultados: Plantilla:Demostración 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. Plantilla:Demostración 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.

Bibliografía

• Julio R. Bastida, Field extensions and Galois Theory, Addison–Wesley Publishing Company (1984).