Liniowa niezależność

Liniowa niezależność – własność algebraiczna rodziny wektorów danej przestrzeni liniowej polegająca na tym, że żaden z nich nie może być przedstawiony jako kombinacja liniowa skończenie wielu innych wektorów ze zbioru. Rodzinę wektorów, która nie jest liniowo niezależna, nazywa się liniowo zależną.

DefinicjaEdytuj

Definicja dla zbiorów wektorówEdytuj

Niech   będzie przestrzenią liniową nad ciałem  . Podzbiór   przestrzeni   nazywany jest liniowo niezależnym, gdy dla każdego skończonego podzbioru różnych wektorów   ze zbioru   i każdego układu skalarów   zachodzi wynikanie:

Jeśli       to     dla  

przy czym symbol   oznacza wektor zerowy w  .

Implikację z definicji przedstawić równoważnie używając kontrapozycji:

Jeśli nie wszystkie skalary   są zerowe, to  

Zbiór wektorów, który nie jest liniowo niezależny, nazywany jest liniowo zależnym. Innymi słowy, podzbiór   przestrzeni liniowej   jest liniowo zależny wtedy i tylko wtedy, gdy istnieje taka skończona liczba różnych wektorów   ze zbioru   oraz takie skalary   nie wszystkie zerowe, że

 

Równoważnie, zbiór jest zależny, jeżeli pewien jego element należy do powłoki liniowej reszty zbioru, tzn. pewien jego element jest kombinacją liniową pozostałej części rodziny.

Definicja dla (indeksowanych) układów wektorówEdytuj

Niech   będzie układem wektorów w przestrzeni liniowej   (indeksowanym pewnym zbiorem  ). Układ ten jest liniowo niezależny, gdy dla każdego skończonego podzbioru   i każdego układu skalarów   zachodzi wynikanie:

Jeśli       to     dla wszelkich  .

Układ wektorów, który nie jest liniowo niezależny nazywany jest liniowo zależnym.

Interpretacja geometrycznaEdytuj

Wyjaśnieniu pojęcia liniowej niezależności może przysłużyć się przykład geograficzny. Osoba opisująca położenie pewnego miejsca może stwierdzić: „znajduje się ono 5 km na północ i 6 km na wschód stąd”. Informacja ta wystarczy do opisania położenia, ponieważ układ współrzędnych geograficznych może być postrzegany jako dwuwymiarowa przestrzeń liniowa (ignorując wzniesienie). Osoba ta może dodać: „miejsce leży 7,81 km na północny wschód stąd”. Choć jest to stwierdzenie prawdziwe, to nie jest ono niezbędne.

W powyższym przykładzie wektory „5 km na północ” oraz „6 km na wschód” są liniowo niezależne. Oznacza to, że wektor północny nie może być opisany za pomocą wektora wschodniego i na odwrót. Trzeci wektor „7,81 km na północny wschód” jest kombinacją liniową pozostałych dwóch, co czyni ten zbiór wektorów liniowo zależnym, tzn. jeden z tych trzech wektorów jest zbędny.

Jeżeli nie zaniedbywać wzniesienia, to niezbędne staje się dodanie trzeciego wektora do zbioru liniowo niezależnego. W ogólności potrzeba   liniowo niezależnych wektorów do opisania dowolnego położenia w  -wymiarowej przestrzeni.

Korzystając z równoważnego sformułowania liniowej niezależności można powiedzieć, że po wykonaniu (istotnego, niezerowego) ruchu z początku (przestrzeni) opisanego przy pomocy wektorów liniowo niezależnych (poprzez co najwyżej jednokrotne złożenie, czyli dodanie, każdego z nich) powrót do niego jest niemożliwy – osiągnięcie go wymaga braku ruchu w jakimkolwiek kierunku, co oznacza, że cały ruch może być opisany wyłącznie przez wektor zerowy.

WłasnościEdytuj

  • Układ zawierający wektor zerowy bądź zawierający dany wektor dwukrotnie jest liniowo zależny.
  • Dowolny podukład liniowo niezależnego układu wektorów jest liniowo niezależny.
  • Układ wektorów powstały z innego układu wektorów poprzez skończoną liczbę operacji elementarnych, tzn.
jest liniowo niezależny wtedy i tylko wtedy, gdy liniowo niezależny był układ wyjściowy układ.
  • Zbiór wektorów, który jest liniowo niezależny i generuje daną przestrzeń liniową jest jej bazą.

PrzykładyEdytuj

Przykład IEdytuj

Wektory   i   z   są liniowo niezależne. Rzeczywiście, niech   oraz   będą takimi liczbami rzeczywistymi, że

 

Biorąc każdą współrzędną z osobna uzyskuje się układ równań z niewiadomymi  

 

którego jedynymi rozwiązaniami są   i  

Przykład IIEdytuj

Niech   i niech dane będą następujące elementy z  

 

Wtedy   są liniowo niezależne. Rzeczywiście, niech   będą takimi elementami   że

 

Ponieważ

 

zatem   dla każdego  

Przykład IIIEdytuj

Niech   będzie przestrzenią liniową wszystkich funkcji zmiennej   Funkcje   i   należące do   są liniowo niezależne. Istotnie, niech   i   będą takimi liczbami rzeczywistymi, że

 

dla wszystkich wartości   Należy wykazać, że   oraz   Aby to wykazać, należy podzielić to równanie przez   (które nigdy nie przyjmuje zera) i przenieść pozostały wyraz na drugą stronę, co daje

 

Innymi słowy funkcja   musi być niezależna od   co zachodzi tylko, gdy   Wynika stąd, że również   jest równe zeru.

Przykład IVEdytuj

Podzbiór przestrzeni   złożony z wektorów

 

jest liniowo zależny. Istotnie, należy znaleźć takie liczby rzeczywiste   nie wszystkie równe zeru, że

 

Rozwiązując układ równań

 

(np. za pomocą eliminacji Gaussa) uzyskuje się

 

gdzie   może być dowolną liczbą: biorąc, na przykład,   dostaje się niezerowe rozwiązanie, co wykazuje liniową zależność wyjściowego zbioru wektorów.

Przykład VEdytuj

W przestrzeni liniowej wszystkich wielomianów zmiennej   nad ciałem liczb rzeczywistych zbiór wektorów

 

jest liniowo niezależny.

Dowód

Zgodnie z definicją, wystarczy wykazać, że dla dowolnego skończonego podukładu   kombinacja

 

zeruje się tylko wtedy, gdy

 

Rzeczywiście, równość

 

oznacza równość wielomianów, tzn. równość odpowiednich współczynników.

Metoda wyznacznikowa badania liniowej niezależnościEdytuj

W przestrzeniach skończenie wymiarowych do badania, czy układy wektorów są liniowo zależne, czy niezależne, można wykorzystać pojęcie wyznacznika i rzędu macierzy.

Ponieważ wyznacznik macierzy n×n jest równy zero wtedy i tylko wtedy, gdy układ kolumn jest liniowo zależny, więc w przestrzeni n-wymiarowej   układ   wektorów jest liniowo zależny wtedy i tylko wtedy, gdy wyznacznik macierzy, której kolumnami są współczynniki tych wektorów w dowolnej bazie, jest zerowy.

Np. dla wektorów   i   z   odpowiednia macierz ma postać

 

Ponieważ

 

więc wektory te są liniowo niezależne

Jeżeli w przestrzeni n-wymiarowej   weźmiemy   wektorów, gdzie   to układ taki jest liniowo zależny, bowiem rząd odpowiedniej macierzy nie przekracza n. Rząd zaś jest liczbą maksymalnie liniowo niezależnych wektorów, więc układ   wektorów jest liniowo zależny.

Np. dla wektorów   z   odpowiednia macierz ma postać

 

Układ jest oczywiście liniowo zależny, liniowo zależne są także wszystkie układy trzech wektorów.

Ponieważ rząd tej macierzy jest równy 2 i niezerującymi minorami stopnia są minory wszystkie z wyjątkiem minora zbudowanego na 1. i 3. kolumnie, więc wszystkie układy dwóch wektorów z wyjątkiem układu   są liniowo niezależne.

Jeśli w przestrzeni n-wymiarowej   weźmiemy   wektorów, gdzie   to – podobnie jak wyżej – rząd macierzy jest liczbą maksymalnie liniowo niezależnych wektorów. Wektory te ustalamy ustalając najpierw maksymalny niezerujący się minor tej macierzy. Jego stopień jest ilością liniowo niezależnych wektorów wśród wektorów badanych. Te liniowo niezależne wektory wybieramy z całego układu sprawdzając, czy „przechodzą” przez wyznaczony minor.

Np. dla wektorów   z   odpowiednia macierz ma postać

 

Układ jest oczywiście liniowo zależny bowiem rząd macierzy jest równy 2, tzn. każdy minor stopnia 3 jest zerowy. Każde dwa wektory spośród tych trzech tworzą układ liniowo niezależny, bowiem dowolne minory stopnia 2 zbudowane np. z dwóch pierwszych wierszy są niezerowe.

Uogólnienie na grupy abelowe i modułyEdytuj

Pojęcie liniowej niezależności można wprowadzić również w grupach abelowych (notacja addytywna) – należy jedynie zwrócić uwagę na ograniczoną możliwość skalowania wektorów: układ   niezerowych elementów grupy abelowej   nazywa się (liniowo) niezależnym, jeżeli

 

pociąga

 

gdzie  

Powyższy warunek jest równoważny temu, iż   o ile rząd   oraz   jeżeli   W przeciwieństwie do przestrzeni liniowych w ogólności nie jest prawdą, że elementy układu zależnego można zapisać jako kombinację liniową pozostałych: jeśli układ jest zależny, to z równości

 

wynika jedynie, iż co najmniej jeden z wyrazów tej kombinacji, np.   jest różny od   tzn. prawdziwa jest tylko zależność

 

Układ   jest niezależny wtedy i tylko wtedy, gdy podgrupa generowana przez   jest sumą prostą grup cyklicznych  

O elemencie   mówi się, iż jest zależny od podzbioru   zbioru   jeżeli dla pewnych   oraz liczb całkowitych   zachodzi relacja zależności

 

Podzbiór   zbioru   jest zależny od   jeżeli każdy element   jest zależny od   Jeżeli   jest zależny od   a   jest zależny od   to o   i   mówi się, że są równoważne.

Układ niezależny   elementów grupy   jest maksymalny, jeżeli nie istnieje układ niezależny elementów   zawierający   w sposób właściwy. Dowolne dwa maksymalne układy niezależne w grupie   są równoważne. Dowodzi się, że układ niezależny   elementów z   jest maksymalny wtedy i tylko wtedy, gdy   jest podgrupą istotną w   tzn. ma ona nietrywialne przecięcie z dowolną niezerową podgrupą (cykliczną) grupy   Każdy maksymalny układ niezależny w podgrupie istotnej grupy   jest maksymalnym układem niezależnym w  

Okazuje się, że moc wszystkich maksymalnych układów niezależnych grupy jest równa i zależy wyłącznie od   Wielkość tę nazywa się rangą danej grupy abelowej. Pojęcie rangi o analogicznych własnościach można zdefiniować dla modułów nad dowolną dziedziną całkowitości, przy czym przypadek grup abelowych odpowiada modułom nad pierścieniem liczb całkowitych.

Zobacz teżEdytuj

Linki zewnętrzneEdytuj