Linearna nezavisnost: razlika između inačica

Izbrisani sadržaj Dodani sadržaj
Oznake: mobilni uređaj m.wiki
Redak 15:
 
==== Steinitzov teorem ====
Svake dvije baze netrivijalnog konačnogeneriranog vektorskog prostora <math>V</math> su jednakobrojne (ili ekvipotentne). (Kažemo da je vektorski prostor <math>V</math> netrivijalan ako i samo ako vrijedi <math>V \neq \{0\}</math>.)
 
Dokaz. Netrivijalni konačnogenerirani vektorski prostor <math>V</math> ima bazu. Neka su sada <math>B_1, B_2 </math> bilo koje dvije baze prostora <math>V</math>. Označimo <math> B_1 = n_1, \text{card}B_2 = n_2 </math> (<math>\text{card}B</math> je kardinalni broj skupa <math>B</math>, dakle broj elemenata tog skupa).