31. Przestrzenie liniowe, Studia, Semestr VI, licencjat, Licencjat 2012, Licencjat po korekcie


31. Przestrzenie liniowe. Liniowa zależność i niezależność układu wektorów. Baza i wymiar przestrzeni liniowej.

Przestrzeń liniowa nad ciałem K to dowolny niepusty zbiór V na którym określone jest działanie dodawania wektorów i mnożenie przez skalar które spełniają aksjomaty dla wszystkich 0x01 graphic
oraz 0x01 graphic
:

Podzbiór S przestrzeni liniowej V nazywa się liniowo zależnym, jeżeli istnieje skończona liczba różnych wektorów 0x01 graphic
ze zbioru S oraz skalary 0x01 graphic
nie wszystkie zerowe, takie że 0x01 graphic
(Zero po prawej stronie oznacza wektor zerowy) Jeżeli takie skalary nie istnieją, to powyższe wektory nazywa się liniowo niezależnymi.

Przykład: Pokażemy, że wektory (1,1),(-3,2) są liniowo niezależne. Z definicji prowadzi to liniowego jednorodnego układu równań. Posiada on rozwiązanie 0x01 graphic

0x01 graphic
Ponieważ wyznacznik jest różny od zera, wektory0x01 graphic
i 0x01 graphic
są liniowo niezależne.

Baza przestrzeni liniowej to maksymalny zbiór wektorów liniowo niezależnych w danej przestrzeni.

Zbiór wektorów BV jest bazą, gdy spełnione są następujące warunki:

  1. wektory w B są liniowo niezależne.

  2. zbiór B generuje całą przestrzeń V, tzn. dowolny wektor y z przestrzeni V można przedstawić za pomocą kombinacji liniowej wektorów ze zbioru B.

Każda przestrzeń liniowa ma bazę. Przestrzeń, która ma bazę skończoną nazywana jest przestrzenią skończenie wymiarową, w przeciwnym wypadku mówimy o przestrzeni nieskończenie wymiarowej.

Przykład: Dany jest zbiór A = {(0, 1), (1, 1), (1, 0)} wektorów w R2. Zauważmy, że wektor (1, 1) można przedstawić jako: (1, 1) = 1·(1, 0) + 1·(0, 1) . Wynika stąd, że A nie jest bazą przestrzeni R2

Wymiar przestrzeni liniowej to moc dowolnej bazy liniowej tej przestrzeni. Gdy baza przestrzeni jest skończona, to wymiarem jest ilość elementów w tym zbiorze, zaś gdy jest nieskończona, to wymiar jest też nieskończony.

Przykład: Wymiar liniowej przestrzeni euklidesowej 0x01 graphic
wynosi n.

Magdalena Stefańska



Wyszukiwarka