Liniowa niezależność wektorów Defincja 1. (kombinacja liniowa

Transkrypt

Liniowa niezależność wektorów Defincja 1. (kombinacja liniowa
Liniowa niezależność wektorów
Defincja 1. (kombinacja liniowa wektorów)
Kombinacją liniową wektorów ~v1 , ~v2 , . . . , ~vm ∈ Rn , o współczynnikach
a1 , a2 , . . . , am ∈ R nazywamy wektor
w
~ = a1~v1 + a2~v2 + · · · + am~vm .
Definicja 2. (liniowa niezależność i zależność wektorów)
Mówimy, że wektory ~v1 , ~v2 , . . . , ~vm ∈ Rn są liniowo niezależne, jeżeli dla
dowolnych współczynników a1 , a2 , . . . , am ∈ R z warunku
a1~v1 + a2~v2 + · · · + am~vm = ~0
wynikają równości
a1 = a2 = · · · = am = 0.
W przeciwnym przypadku mówimy, że wektory ~v1 , ~v2 , . . . , ~vm ∈ Rn są
liniowo zależne. Dokładniej: wektory ~v1 , ~v2 , . . . , ~vm ∈ Rn są liniowo zależne,
jeżeli istnieją współczynniki a1 , a2 , . . . , am ∈ R, nie wszystkie równe 0 takie,
że
a1~v1 + a2~v2 + · · · + am~vm = ~0
Uwaga. Wektory ~v1 , ~v2 , . . . , ~vm ∈ Rn są liniowo zależne, gdy jeden z nich
np. ~vk zależy od pozostałych, tzn., że można go przedstawić jako
kombinację liniową pozostałych.
Fakt 1. (o liniowej niezależności wektorów w R2 i R3 )
1. Dwa wektory ~u, ~v na płaszczyźnie π są liniowo niezależne wtedy i tylko
wtedy, gdy nie są współliniowe.
2. Trzy wektory w przestrzeni są liniowo niezależne wtedy i tylko wtedy,
gdy nie są współpłaszczyznowe.
Fakt 2. (własności wektorów liniowo niezależnych i liniowo zależnych)
1. wektor ~v jest liniowo niezależny wtedy i tylko wtedy, gdy ~v 6= ~0;
2. wektory ~0, w
~ 1, w
~ 2, . . . , w
~ m są liniowo zależne;
3. jeżeli wektory w
~ 1, w
~ 2, . . . , w
~ m ∈ Rn są liniowo zależne i ~v ∈ Rn , to
również wektory ~v , w
~ 1, w
~ 2, . . . , w
~ m są liniowo zależne;
4. jeżeli wektory w
~ 1, w
~ 2, . . . , w
~ m są liniowo niezależne, to również wektory
w
~ 1, w
~ 2, . . . , w
~ k , k < m są liniowo niezależne;
5. wektory w
~ 1, w
~ 2, . . . , w
~ m , gdzie m ­ 2 są liniowo zależne wtedy i tylko
wtedy, gdy co najmniej jeden z nich (np. w
~ k , gdzie 1 < k < m) jest
kombinacją liniową pozostałych
w
~ k = a1 w
~ 1 + a2 w
~ 2 + · · · + ak−1 w
~ k−1 + ak+1 w
~ k+1 + · · · + am~vm ,
gdzie a1 , a2 , . . . , ak−1 , ak+1 , . . . , am ∈ R.
6. jeżeli wektory w
~ 1, w
~ 2, . . . , w
~ m są liniowo niezależne, a wektory
~v , w
~ 1, w
~ 2, . . . , w
~ m są liniowo zależne, to wektor ~v jest kombinacją liniową
wektorów w
~ 1, w
~ 2, . . . , w
~ m:
~v = a1 w
~ 1 + a2 w
~ 2 + · · · + ak−1 w
~ k−1 + ak w
~ k + ak+1 w
~ k+1 + · · · + am~vm ,
gdzie a1 , a2 , . . . , ak−1 , ak , ak+1 , . . . , am ∈ R.
Baza przestrzeni liniowej Rn
Definicja 1. (operacja generowania)
Niech ~v1 , ~v2 , . . . , ~vm będą dowolnymi wektorami w przestrzeni Rn . Zbiór
wektorów będących kombinacjami liniowymi wektorów ~v1 , ~v2 , . . . , ~vm
oznaczamy przez
lin{~v1 , ~v2 , . . . , ~vm }
Zatem
lin{~v1 , ~v2 , . . . , ~vm } = {a1~v1 + a2~v2 + · · · + am~vm : ai ∈ R dla 1 ¬ i ¬ m}.
Jeżeli B = lin A, to mówimy, że zbiór B jest generowany przez zbiór A.
Elementy zbioru A nazywamy wtedy generatorami zbioru B.
Fakt 4. (własności operacji generowania)
Niech A i B będą zbiorami wektorów w Rn . Wtedy prawdziwe są
stwierdzenia:
1. jeżeli A ⊂ B, to linA ⊂ linB
2. jeżeli zbiór wektorów A jest liniowo niezleżny oraz ~v 6∈ linA, to zbiór
{~v } ∪ A jest także liniowo niezależny.
Twierdzenie 1. (Steinitza)
Niech ~v1 , ~v2 , . . . , ~vm bedą wektorami w Rn oraz niech
w
~ 1, w
~ 2, . . . , w
~ k ∈ lin{~v1 , ~v2 , . . . , ~vm } bedą liniowo niezależne. Wówczas
k ¬ m.
Uwaga. Z twierdzenia Steinitza wynika, że liczba wektorów liniowo
niezależnych w przestrzeni Rn nie przekracza liczby jej generatorów.
Np. w R3 mamy generatory: ~e1 = (1, 0, 0), ~e2 = (0, 1, 0), ~e3 = (0, 0, 1), bo
dowolny wektor w
~ = (x, y, z) = x~e1 + y~e2 + z~e3 . Wniosek, w R3 każdy zbiór
wektorów liniowo niezależnych ma co najwyżej 3 elementy. w R2 mamy
generatory: ~e1 = (1, 0), ~e2 = (0, 1). Wniosek, w R2 każdy zbiór wektorów
liniowo niezależnych ma co najwyżej 2 elementy.
Definicja 5. (baza przestrzeni liniowej)
Bazą przestrzeni liniowej Rn nazywamy zbiórB = {~v1 , ~v2 , . . . , ~vm } wektorów
z tej przestrzeni spełniający warunki:
1. zbiór wektorów B jest liniowo niezależny;
2. zbiór B generuje przestrzeń Rn , tzn. dla każdego wektora w
~ ∈ Rn istnieją
współczynniki a1 , a2 , . . . , am takie, że
w = a1~v1 + a2~v2 + · · · + am~vm
Uwaga
Na płaszczyźnie R2 dowolne dwa niewspółliniowe wektory tworzą jej bazę.
Podobnie w przestrzeni R3 dowolne trzy niewspółpłaszczyznowe wektory
tworzą jej bazę.
Fakt 6 (o uzupełnianiu bazy)
Dowolny zbiór wektorów liniowo niezależnych w przestrzeni liniowej można
uzpełnić do bazy tej przestrzeni.
Fakt 7. (o równoliczności baz)
Jeżeli baza przestrzeni wektorowej składa się z n wektorów, gdzie n ∈ N , to
każda inna baza tej przestrzeni także składa się z n wektorów.
Definicja 6. (wymiar przestrzeni liniowej)
Niech V będzie przestrzenią wektorową oraz niech wektory ~b1 , ~b2 , . . . , ~bm
tworzą bazę tej przestrzeni. Wymiar przestrzeni V określamy
dim V = m.
Mówimy wtedy, że przestrzeń V jest m-wymiarowa. Ponadto przyjmujemy
dim{~0} = 0
Mówimy wtedy, że przestrzeń {~0} jest zerowymiarowa.
Współrzędne wektora w bazie
Twierdzenie 2 (o jednoznacznosci przedstawienia wektora w bazie)
Niech B = {~b1 , ~b2 , . . . , ~bm } będzie bazą przestrzeni wektorowej V oraz niech
~v bedzie dowolnym wektorem tej przestrzeni. Wtedy przedstawienie
wektora ~v w postaci kombinacji liniowej wektorów z bazy B jest
jednoznaczne, tzn. istnieją jednoznacznie określone liczby ai ∈ R takie, że
~v = a1~b1 + a2~b2 + · · · + am~bm .
Definicja 7 (współrzędne wektora w bazie)
Niech B = {~b1 , ~b2 , . . . , ~bm } będzie bazą przestrzeni wektorowej V .
Współrzędnymi wektora ~v ∈ V w bazie B nazywamy współczynniki ai ∈ R,
i = 1, 2, . . . , m kombinacji liniowej przedstawiającej ten wektor w tej bazie:
~v = a1~b1 + a2~b2 + · · · + am~bm .
Współrzędne wektora ~v w ustalonej bazie zapisujemy w postaci
(a1 , a2 , . . . , am ) lub [a1 , a2 , . . . , am ].
Fakt 4(o bazie przestrzeni skończenie wymiarowej)
Jeżeli przestrzeń liniowa V jest n-wymiarowa, to dowolny układ n liniowo
niezależnych wektorów tej przestrzeni jest jej bazą.