Teorema de la dimensió per espais vectorials

De Viquipèdia
Dreceres ràpides: navegació, cerca

En matemàtiques, el teorema de la dimensió per espais vectorials afirma que totes les bases d'un espai vectorial tenen el mateix nombre d'elements. Aquest nombre d'elements pot ser finit, o bé un nombre cardinal infinit, que defineix la dimensió de l'espai vectorial.

Formalment, el teorema de la dimensió per espais vectorials afirma que

Donat un espai vectorial V, dos sistemes generadors linealment independents qualssevol (en altres paraules, dues bases qualssevol) tenen la mateixa cardinalitat.

Si V és un mòdul finitament generat, llavors té una base finita, i el resultat afirma que dues bases qualssevol tenen el mateix nombre d'elements.

Mentre que la demostració de l'existència d'una base per qualsevol espai vectorial requereix el Lema de Zorn (equivalent a l'axioma de l'elecció), la unicitat de la cardinalitat de la base només necessita el lema de l'ultrafiltre,[1] que és estrictament més feble; tot i això, la demostració que en donarem assumeix la llei de tricotomia, és a dir, que tots els nombres cardinals són comparables, una afirmació que és equivalent a l'axioma de l'elecció. Aquest teorema es pot generalitzar a R-mòduls amb nombre de base invariant.

El teorema pel cas finitament generat no necessita l'axioma de l'elecció, sinó que es pot demostrar amb arguments bàsics de l'àlgebra lineal.

Demostració[modifica | modifica el codi]

Suposem que { ai: iI } i { bj: jJ } són dues bases, on la cardinalitat de I és més gran que la cardinalitat de J. Arribarem a una contradicció.

Cas 1[modifica | modifica el codi]

Suposem que I és infinit.

Tot bj es pot escriure coma suma finita

, on és un subconjunt finit de .

Com que la cardinalitat de I és més gran que la de J, i els Ej són subconjunts finits de I, la cardinalitat de I també és més gran que la cardinalitat de . (Notem que aquest argument només és vàlid per I infinit.) Així, existeix algun que no apareix a cap dels . El corresponent es pot expressar com una combinació lineal finita dels , que al seu torn pot expressar-se com a combinació lineal finita dels , sense fer servir . Per tant, és linealment dependent dels altres .

Cas 2[modifica | modifica el codi]

Suposem ara que I és finit i de cardinalitat més gran que la cardinalitat de J. Siguin m i n les cardinalitats de I i J, respectivament. Tot ai es pot escriure com a suma

La matriu n columnes (la columna j-sima és la m-tupla ), i per tant té, com a molt, rang n. Això significa que les seves m files no poden ser linealment independents (perquè el rang per columnes d'una matriu és igual al seu rang per files). Si escrivim per la fila i-sima, llavors hi ha una combinació lineal no trivial

Però també tenim que i per tant els són linealment dependents.

Demostració alternativa[modifica | modifica el codi]

La demostració anterior requereix alguns resultats no trivials. Si hom no els estableix de forma acurada, podem tenir un argument circular. Heus ací una demostració del cas finit que requereix menys desenvolupament previ.

Teorema 1: Si és una n-pla linealment independent d'un espai vectorial , i és una tupla que genera , llavors .[2] L'argument és el següent:

Com que genera , la tupla també el genera. Com que (perquè és linealment independent), llavors existeix algun tal que es pot escriure com a combinació lineal de . Per tant, és una tupla generadora, i la seva longitud és la mateixa que la de .

Repetim aquest procés. Com que és linealment independent, sempre podem eliminar un element de la llista que no sigui un dels que hi hem incorporat en un pas anterior (donat que és linealment independent, i per tant ha d'existir algun coeficient no nul a davant dels ). Per tant, després de iteracions, obtindrem una tupla (amb possiblement ) de longitud . En particular, , i per tant , és a dir, .

Per demostrar el cas finit a partir d'aquest resultat, suposem que és un espai vectorial, i que i són dues bases de . Com que és linealment independent i genera, podem aplicar el Teorema 1 per obtenir . I com que és linealment independent i genera, obtenim . D'aquí, concloem que .

Teorema d'extensió del nucli per espais vectorials[modifica | modifica el codi]

Aquesta aplicació del teorema de la dimensió sovint s'anomena simplement el teorema de la dimensió. Sigui

T: UV

una aplicació lineal. Aleshores

dim(rang(T)) + dim(nucli(T)) = dim(U),

és a dir, la dimensió de U és igual a la dimensió del recorregut de l'aplicació més la dimensió del seu nucli. Vegeu el teorema del rang per una discussió completa.

Referències[modifica | modifica el codi]

  1. Howard, P., Rubin, J.: "Consequences of the axiom of choice" - Mathematical Surveys and Monographs, vol 59 (1998) ISSN 0076-5376 (en anglès).
  2. S. Axler, "Linear Algebra Done Right," Springer, 2000 (en anglès).