Citat:
Ursprungligen postat av
Alexex
Låt U1 och U2 vara två underrum i ett linjärt rum V som bara har nollvektorn gemensamt.
Visa att dim U1 + dim U2 <= (mindre än eller lika med) dim V
Låt {u1,...,um} vara en bas för U1 och {v1,...,vn} vara en bas för U2.
Antag att c1,...cm och d1,...dn uppfyller
c1u1+...+cmum+d1v1+...+dnvn=0
Då måste alla c1,...cm och d1,...dn vara noll, för annars kommer någon nollskild vektor i U1 eller U2 vara en linjärkombination av vektorer i det andra rummet, dvs en vektor i det andra rummet.
Alltså är {u1,...,um, v1,...,vn} linjärt oberoende.
m+n<=dim V för annars finns en uppsättning linjärt beroende vektorer i V som är fler än dimensionen av V.