Extensión de vectores independientes a bases
El lema de intercambio de Steinitz es un teorema básico en álgebra lineal que se utiliza, por ejemplo, para demostrar que dos bases cualesquiera para un espacio vectorial de dimensión finita tienen el mismo número de elementos. El resultado recibe el nombre del matemático alemán Ernst Steinitz . El resultado se denomina a menudo lema de intercambio de Steinitz-Mac Lane , reconociendo también la generalización [1]
de Saunders Mac Lane
del lema de Steinitz a las matroides . [2]
Declaración
Sean y subconjuntos finitos de un espacio vectorial . Si es un conjunto de vectores linealmente independientes , y genera , entonces:
1. ;
2. Existe un conjunto con tal que abarca .
Prueba
Supongamos y . Queremos demostrar que , y que después de reorganizar los si es necesario, el conjunto genera . Procedemos por inducción en .
Para el caso base, supongamos que es cero. En este caso, la afirmación es válida porque no hay vectores y el conjunto abarca la hipótesis.
Para el paso inductivo, supongamos que la proposición es verdadera para . Por la hipótesis inductiva podemos reordenar de modo que abarque . Como , existen coeficientes tales que
- .
Al menos uno de los debe ser distinto de cero, ya que de lo contrario esta igualdad contradiría la independencia lineal de ; se deduce que . Si reordenamos si es necesario, podemos suponer que es distinto de cero. Por lo tanto, tenemos
- .
En otras palabras, está en el lapso de . Como este lapso contiene cada uno de los vectores , por la hipótesis inductiva contiene .
Aplicaciones
El lema de intercambio de Steinitz es un resultado básico en matemáticas computacionales , especialmente en álgebra lineal y en algoritmos combinatorios . [3]
Referencias
- ^ Mac Lane, Saunders (1936), "Algunas interpretaciones de la dependencia lineal abstracta en términos de geometría proyectiva", American Journal of Mathematics , 58 (1), The Johns Hopkins University Press: 236–240, doi :10.2307/2371070, JSTOR 2371070.
- ^ Kung, Joseph PS, ed. (1986), Un libro de consulta sobre teoría de matroides , Boston: Birkhäuser, doi :10.1007/978-1-4684-9199-9, ISBN 0-8176-3173-9, Sr. 0890330.
- ^ Página v en Stiefel: Stiefel, Eduard L. (1963). Introducción a las matemáticas numéricas (traducido por Werner C. Rheinboldt y Cornelie J. Rheinboldt de la segunda edición alemana). Nueva York: Academic Press. pp. x+286. MR 0181077.
Enlaces externos