Tw. o istnieniu bazy
- neworder
- Użytkownik
- Posty: 364
- Rejestracja: 11 lis 2004, o 11:01
- Płeć: Mężczyzna
- Lokalizacja: MISMaP UW
- Podziękował: 4 razy
- Pomógł: 8 razy
Tw. o istnieniu bazy
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
- Użytkownik
- Posty: 11413
- Rejestracja: 9 maja 2006, o 12:35
- Płeć: Mężczyzna
- Lokalizacja: Kraków
- Podziękował: 3155 razy
- Pomógł: 748 razy
Tw. o istnieniu bazy
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