Et endelig-dimensjonalt vektorrom er selv utspent av en mengde av basisvektorer i rommet. Det vil si at alle vektorer i kan skrives som en lineærkombinasjon av basisvektorer.