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.
Sea
un espacio vectorial sobre un cuerpo
. Sean
y
subconjuntos finitos de
tales que
es linealmente independiente y
es generador de
. Entonces,
![{\displaystyle \left\vert U\right\vert \leq \left\vert W\right\vert }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3891deab015a10286c6299fd30f3873e3e4ad6c6)
- Existe un subconjunto
de cardinal
tal que
genera
.
Como, por hipótesis,
y
son finitos, podemos definir
y
. Por tanto, podemos suponer que
y
. Para demostrar el teorema, procedemos por inducción sobre
:
Caso base (
):
Vemos que (1) es cierto, pues
. Además, (2) es cierto porque podemos tomar
y tenemos que
,
, que es, por hipótesis, generador de
.
Paso inductivo:
Para el paso inductivo vamos a suponer que el enunciado del teorema es cierto para
y vamos a ver que lo es para
. Por tanto, tomamos
, 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
.
Así, tenemos que
es linealmente independiente y entonces
es linealmente independiente. El cardinal de este conjunto es
, por lo que podemos aplicarle la hipótesis de inducción. Haciéndolo obtenemos que
(a)
(b)
de cardinal
tal que
genera
.
Por (b), tenemos que
consta de
vectores de
. Podemos suponer, sin pérdida de generalidad, que estos vectores son los últimos de la lista de elementos de
, pues si no lo fueran, podríamos reordenar esa lista para ponerlos en último lugar. Así pues, consideramos
. Por lo tanto, (b) se puede reescribir como
y genera a
.
Consideremos ahora el vector
. Como el anterior conjunto es generador de
, existen ciertos
tales que
Entonces tenemos que
, pues si fuera vacío tendríamos que
y entonces
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 ![{\displaystyle n-m+1=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e14efacd7f56aface34140b861037f29e0de53e)
, con lo que (1) queda ya demostrado.
Sólo nos queda, pues, demostrar (2). Con el mismo razonamiento de antes, tenemos que
para algún
, pues si no tendríamos que
y llegaríamos a contradicción igual que antes. Como algún
, podemos suponer, sin pérdida de generalidad, que
, pues si fuera otro coeficiente el
podríamos reordenar los términos. Si denotamos
el subespacio generado por un conjunto de vectores
, vamos a ver que
.
La primera y la penúltima igualdad se dan por definición de
y
, respectivamente, y la última por (b). Sólo tenemos que probar, pues, la segunda.
Por
tenemos que
es combinación lineal de
, por lo que
.
Por otro lado, como
, en
podemos despejar
como
, por lo que
es combinación lineal de
, de lo que obtenemos que
. Por lo tanto,
, la igualdad que quedaba por probar.
Así pues, tenemos que
, y si tomamos
, tenemos que
,
y
genera a
, es decir, hemos demostrado (2), y con esto concluye la demostración.
Como consecuencia del teorema de intercambio de Steinitz se obtienen los siguientes resultados:
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 de dimensión y un conjunto de vectores , (1) genera a es base de (2) linealmente independiente es base de |
(1) Por hipótesis, es generador, así que contiene una base. Pero la dimensión de es , así que todas sus bases tienen - elementos. Como
tiene por hipótesis elementos, la base que contiene es necesariamente , de forma que es una base de . (2) Consideramos una base de . Por el primer corolario, . - En particular,
es generador de . Por el teorema de Steinitz, existe un subconjunto de de tamaño tal que es generador. Pero como , necesariamente es el conjunto vacío, y es generador. Como, por hipótesis, también es linealmente independiente, es una base. |
Por lo tanto, dado un subconjunto
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
es una base.