Tw. o istnieniu bazy

[neworder]

Mam taki problem - w którym momencie dowód, że dla każdej podprzestrzeni liniowej w R^n istnieje skończona baza, korzysta z aksjomatu wyboru? Czytam ten dowód (Kostrykin, "Wstęp do algebry") i jakoś nie widzę tego wprost.

[mol_ksiazkowy]

chyba chodzi tutaj o fakt, że: Każdy liniowo niezależny zbiór wektorów można dopełnić do bazy, co wynika z lematu K-Z