Pa, pošto ne znamo baš svojstva beskonačno dimenzionalnih, najlakše je pretpostaviti suprotno - on je konačno dimenzionalan. A to znači da ima bazu. Recimo da mu je dimenzija n. Definirajmo niz nizova () td. da i-ti niz ima sve članove nula, osim i-tog koji je jedan. Dakle, npr. će biti niz 1, 0, 0, 0..., će biti niz 0, 1, 0, 0, 0... itd.
Lako se pokaže da su svi linearno nezavisni - primjerice indukcijom. Sad uzmemo n takvih nizova, do . Pošto su linearno nezavisni, i n ih je, oni čine bazu. No, ako uzmemo niz , njega ne možemo prikazati preko prethodnih, što znači da oni nisu baza, a kako jesu linearno nezavisni, znači da nisu sistem izvodnica. No, to je kontradikcija s pretpostavkom da je taj prostor konačno dimenzionalan. |