54 UE FIR L2 zad 5 7 ALGEBRA lin niezależność, baza


dr Tadeusz Janaszak (Wrocław tel. 601 566200) UE listy Odcinek 5 (54); Kontynuujemy cykl odcinków poświęconych listom zadań dla WYDZIAŁU ZARZĄDZANIA I FINANSÓW; KIERUNEK FINANSE I RACHUNKOWOŚĆ. Podobne zadania przerabia się na prawie wszystkich zajęciach zarówno w Uniwersytecie Ekonomicznym jak i szkołach prywatnych, jak np. WYŻSZA SZKOŁA BANKOWA, ponadto UNIWRSYTET PRZYRODNICZY, POLITECHNIKA i inne uczelnie, gdzie matematyka jest przedmiotem pomocniczym. Omawiana lista pochodzi z roku akademickiego 2010/2011. Drogą mailową można nadsyłać pytania, zadania, problemy. Zapraszam na konsultacje, najlepiej zadzwonić tel. 601 566200.

LISTA 2

ZADANIA 5 - 7

ALGEBRA LINIOWA

0x08 graphic

Poznajemy pojęcie bazy przestrzeni liniowej i bazę jej podprzestrzeni; rozwiązujemy konkretne przykłady rachunkowe; badamy nadal pojęcie liniowej niezależności.

Zadanie 5a. Wykazać, że jeśli wektory 0x01 graphic
są liniowo niezależne, to wektory

  1. 0x01 graphic
    , 0x01 graphic
    , 0x01 graphic

również tworzą układ niezależny.

Dowód.

Niech będzie dana kombinacja liniowa wektorów 0x01 graphic
dająca w wyniku wektor zerowy:

  1. 0x01 graphic
    ;

trzeba pokazać, że wszystkie współczynniki kombinacji (2) są równe zeru.

Wstawiamy do wzoru (2) podane zależności (1):

  1. 0x01 graphic
    ;

układ (3) przepisujemy w równoważnej formie:

  1. 0x01 graphic
    .

Z założenia wiemy, że układ 0x01 graphic
jest liniowo niezależny, a więc wszystkie współczynniki kombinacji (4) są zerami, a więc spełniony jest jednorodny układ równań liniowych z niewiadomymi 0x01 graphic
:

  1. 0x01 graphic
    ;

układ równań (5) rozwiązuje się w banalny sposób; otrzymujemy wynik 0x01 graphic
, 0x01 graphic
, 0x01 graphic
, co kończy dowód.

Zadanie 5b Czy prawdziwe jest twierdzenie odwrotne?

Odwrotne wynikanie jest też prawdziwe: jeśli wektory 0x01 graphic
tworzą układ niezależny, to wektory 0x01 graphic
powiązane z wektorami 0x01 graphic
zależnościami (1) również są niezależne.

Dowód.

Związki (1) możemy przepisać w formie

  1. 0x01 graphic
    , 0x01 graphic
    , 0x01 graphic
    .

Niech teraz będzie dana kombinacja liniowa wektorów 0x01 graphic
dająca wektor zerowy:

  1. 0x01 graphic
    ;

trzeba pokazać, że 0x01 graphic
; w tym celu do równości (7) wstawiamy związki (6):

  1. 0x01 graphic
    ;

równość (8) jest równoważna następującej:

  1. 0x01 graphic
    ;

z tego, że układ 0x01 graphic
jest liniowo niezależny wnioskujemy, że wszystkie współczynniki kombinacji (9) są zerami, zapiszemy to w formie jednorodnego układu równań:

  1. 0x01 graphic
    ;

układ (10) rozwiązuje się równie łatwo, jak układ (5), jego jedyne rozwiązanie, to 0x01 graphic
, 0x01 graphic
, 0x01 graphic
; tak więc układ 0x01 graphic
jest liniowo niezależny.

Zadanie 5c Zaproponować uogólnienie powyższego faktu dla dowolnej liczby wektorów.

TWIERDZENIE

W przestrzeni liniowej E dany jest liniowo niezależny układ wektorów 0x01 graphic
; wektory 0x01 graphic
są kombinacjami liniowymi wektorów 0x01 graphic
:

  1. 0x01 graphic
    .

Jeśli wektory z przestrzeni 0x01 graphic
:

  1. 0x01 graphic

tworzą układ liniowo niezależny, wówczas układ wektorów 0x01 graphic
też jest liniowo niezależny.

DOWÓD

Niech będzie dana kombinacja liniowa wektorów 0x01 graphic
dająca w wyniku wektor zerowy

  1. 0x01 graphic
    ;

trzeba pokazać, że 0x01 graphic
. Wstawmy do równości (13) związki (11), dostajemy:

  1. 0x01 graphic
    .

Ponieważ wektory 0x01 graphic
są liniowo niezależne, więc wszystkie współczynniki kombinacji (14) są równe zero; fakt ten zapisujemy w formie jednorodnego układu równań:

  1. 0x01 graphic
    ;

układ ten możemy zapisać w formie:

  1. 0x01 graphic
    ,

co zgodnie z przyjętymi oznaczeniami (12) jest równoważne równości

  1. 0x01 graphic
    ;

ponieważ założyliśmy liniową niezależność wektorów 0x01 graphic
więc wszystkie lambdy są zerami, czyli 0x01 graphic
, czego należało dowieść.

Komentarz. Liniowa niezależność wektorów 0x01 graphic
jest równoważna faktowi, że wyznacznik z współrzędnych tych wektorów jest różny od zera:

  1. 0x01 graphic

Wniosek.

Zadanie 5a ma rozwiązanie natychmiastowe, ponieważ stosowna macierz ma wyznacznik równy jeden a więc jest on różny od zera; zadanie 5b również.

Zadanie 6. Które z następujących układów wektorów są bazami odpowiednich przestrzeni liniowych.

Dla każdego przykładu, gdzie występuje baza wybrać dwa wektory z odpowiedniej przestrzeni i przedstawić, jako kombinację wektorów bazy.

DEFINICJA BAZY I WYMIARU,

i pojęcia z tym związane

  1. Bazą przestrzeni wektorowej E nazywamy taki podzbiór 0x01 graphic
    , że każdy wektor tej przestrzeni daje się w sposób jednoznaczny wyrazić jako kombinacja liniowa elementów tego podzbioru.

  1. Bazy mogą mieć skończenie wiele, lub nieskończenie wiele elementów.

  1. W algebrze liniowej w zasadzie nie zajmujemy się przestrzeniami o bazach nieskończonych; ograniczamy się jedynie do takich przestrzeni, które mają bazy złożone ze skończonej ilości wektorów.

  1. Przestrzeń, która ma bazę złożoną ze skończonej ilości wektorów nazywa się przestrzenią skończenie wymiarową.

  1. Zachodzi twierdzenie, które głosi, że wszystkie bazy są równoliczne.

  1. Jeśli chodzi o zbiory nieskończone, równoliczność definiuje się na gruncie teorii mnogości i nie będziemy się tym zajmować.

  1. Dla tych przestrzeni, które mają bazy złożone ze skończonej ilości wektorów obowiązuje twierdzenie, że wszystkie bazy danej przestrzeni mają tyle samo elementów.

  1. Ilość elementów bazy nazywamy wymiarem przestrzeni.

  1. Przestrzeń 0x01 graphic
    jest n - wymiarowa, a więc każda baza przestrzeni 0x01 graphic
    składa się z n wektorów.

  1. W przestrzeni 0x01 graphic
    każdy układ wektorów złożony z więcej, niż n wektorów jest liniowo zależny.

  1. Dla przestrzeni skończenie wymiarowych można inaczej zdefiniować bazę: jest to liniowo niezależny zbiór wektorów taki, że każdy wektor z danej przestrzeni jest kombinacją liniową elementów bazy.

  1. W algebrze liniowej jest piękne twierdzenie Steinitza, które w uproszczeniu głosi, że każdy układ liniowo niezależny można rozszerzyć do bazy. Przykładowo, jeśli przestrzeń jest dziesięciowymiarowa i dany jest układ niezależny złożony z trzech wektorów, to do tych trzech wektorów możemy dorzucić siedem innych tak, by w rezultacie otrzymać bazę całej przestrzeni. Pełną wersję twierdzenia Steinitza można znaleźć w podręcznikach algebry.

KONIEC PREZENTACJI POJĘĆ TEORETYCZNYCH

Polecenie a)

0x01 graphic
; 0x01 graphic
; 0x01 graphic
w przestrzeni 0x01 graphic
.

Wektory te stanowią bazę w przestrzeni 0x01 graphic
, ponieważ są liniowo niezależne i są właśnie trzy, zob. punkty 9 i 7; aby podać dwa przykłady, weźmy wektor

  1. 0x01 graphic
    ; czyli 0x01 graphic

oraz

  1. 0x01 graphic
    ; czyli 0x01 graphic
    .

Polecenie b) 0x01 graphic
, 0x01 graphic
w przestrzeni 0x01 graphic
.

Układ nie jest bazą, bowiem zawiera tylko dwa wektory, a w przestrzeni 0x01 graphic
każda baza ma trzy elementy.

Polecenie c) 0x01 graphic
, 0x01 graphic
, 0x01 graphic
w przestrzeni 0x01 graphic
.

Układ trzech wektorów stanowi bazę przestrzeni 0x01 graphic
wtedy i tylko wtedy, gdy te wektory tworzą układ niezależny, a ten warunek jest z kolei równoważny temu, by wyznacznik zbudowany ze współrzędnych tych wektorów był różny od zera; obliczamy wyznacznik:

  1. 0x01 graphic
    .

Układ jest liniowo zależny, a więc nie stanowi bazy.

Zadanie to można rozwiązać również rozwiązując jednorodny układ równań liniowych:

  1. 0x01 graphic
    ,

czyli

  1. 0x01 graphic
    ;

układ ten rozwiązujemy analogicznie, jak w poprzednich odcinkach: metodą przeciwnych współczynników - Gaussa:

0x08 graphic

  1. 0x01 graphic
    , czyli 0x01 graphic

dalej

0x08 graphic

  1. 0x01 graphic
    , czyli 0x01 graphic

dalej

  1. 0x08 graphic
    0x01 graphic
    , czyli 0x01 graphic

0x08 graphic
dalej

  1. 0x01 graphic
    , czyli 0x01 graphic

moglibyśmy już zapisać rozwiązanie, lecz doprowadźmy rzecz do końca, matematyka to porządek

0x08 graphic

  1. 0x01 graphic
    , czyli 0x01 graphic
    ;

zapisujemy rozwiązanie z parametrem własnym γ

  1. 0x01 graphic
    ;

a teraz z parametrem zewnętrznym τ :

  1. 0x01 graphic
    .

Sprawdźmy jeszcze szybciutko, czy jednorodny układ równań liniowych (24) został dobrze rozwiązany:

pierwsze równanie układu (24)

  1. 0x01 graphic
    ; OK.

drugie równanie układu (24)

  1. 0x01 graphic
    ; OK.

trzecie równanie układu (24)

  1. 0x01 graphic
    ; OK.

Tak więc wektor zerowy można przedstawić, jako kombinację liniową podanych wektorów 0x01 graphic
z użyciem parametru τ :

  1. 0x01 graphic
    .

Widać zatem, że wektor zerowy daje się przedstawić na nieskończenie wiele sposobów jako kombinacja wektorów 0x01 graphic
, a zatem wektory te są zależne, więc nie stanowią bazy przestrzeni 0x01 graphic
.

Komentarz. Studenta nie trzeba specjalnie przekonywać, która metoda jest lepsza w wypadku tak małej ilości wektorów: z użyciem wyznaczników, czy też za pomocą rozwiązywania układów jednorodnych, zresztą niech student zadecyduje sam.

Polecenie d) 0x01 graphic
, 0x01 graphic
, 0x01 graphic
, 0x01 graphic
w przestrzeni 0x01 graphic
.

Posłużymy się metodą wyznaczników:

0x08 graphic

  1. 0x01 graphic
    , czyli 0x01 graphic
    ;

mamy tu do czynienia z tzw. macierzą blokową, wyznacznik ten obliczamy bardzo prosto:

  1. 0x01 graphic
    ;

stąd

  1. 0x01 graphic

Układ 0x01 graphic
stanowi bazę w przestrzeni 0x01 graphic
; jeśli ktoś ma cierpliwość, niech liczy za pomocą jednorodnego układu równań liniowych.

Podamy jeszcze dwa przykłady przedstawienia dowolnych wektorów, jako kombinacji liniowych bazy 0x01 graphic
:

  1. 0x01 graphic
    , czyli 0x01 graphic
    ;

  2. 0x01 graphic
    , czyli 0x01 graphic
    .

Polecenie e) 0x01 graphic
, 0x01 graphic
, 0x01 graphic
w przestrzeni wielomianów stopnia ≤ 2.

Każdy wielomian 0x01 graphic
należący do przestrzeni wielomianów stopnia ≤ 2 można przedstawić, jako wektor

  1. 0x01 graphic
    ;

przestrzeń ta ma wymiar równy trzy. Przedstawiamy podane wektory - wielomiany w tej konwencji:

  1. 0x01 graphic
    , 0x01 graphic
    , 0x01 graphic
    ,

ze współrzędnych tych wektorów budujemy wyznacznik:

  1. 0x01 graphic
    ,

podany układ wielomianów jest niezależny, a więc jest bazą przestrzeni wielomianów stopnia ≤ 2; oto dwa przykłady:

  1. 0x01 graphic
    , czyli 0x01 graphic
    ;

inaczej

  1. 0x01 graphic
    , czyli 0x01 graphic
    ;

  2. 0x01 graphic
    , czyli 0x01 graphic
    ;

inaczej

  1. 0x01 graphic
    , czyli 0x01 graphic
    .

Zadanie 7. Podać przykładowe bazy dla każdej podprzestrzeni opisanej w zadaniu 2 listy nr 1 i określić wymiary tych podprzestrzeni.

Polecenie a)

0x01 graphic
; 0x01 graphic
oznacza to, że wymiar podprzestrzeni wynosi 2.

Polecenie b)

0x01 graphic
; 0x01 graphic
.

Polecenie c)

0x01 graphic
; 0x01 graphic
.

Polecenie d)

0x01 graphic
; 0x01 graphic
.

Polecenie e)

0x01 graphic
; 0x01 graphic
.

Koniec listy drugiej i odcinka.

Wektory wiersze utożsamiamy z wektorami kolumnami, nie wprowadzamy oznaczeń transpozycji wektorów, by nie zaciemniać wywodu.

Nie może być tak, że jedna baza danej przestrzeni ma 5, a inna 6 elementów; jakiekolwiek weźmiemy dwie bazy danej przestrzeni, to będą one składać się z takiej samej ilości wektorów.

Jednoznaczność przedstawienia zapewnia założenie o liniowej niezależności elementów bazy.

Oczywiście można tego dokonać na nieskończenie wiele sposobów.

Student z łatwością to sprawdzi; wystarczy policzyć wyznacznik, który wynosi jeden, lub rozwiązać banalny jednorodny układ równań liniowych.

1

3 · I + II

2 · I + III

OK

: 10

: 2

(-1) · II + III

(-2) · II + I

OK

OK

OK

· (-1)



Wyszukiwarka

Podobne podstrony:
53 UE FIR L2 zad 1 4 ALGEBRA liniowa zależność wektorów
55 UE FIR L3 zad 1 4 ALGEBRA operatory, jądro, różnowartościowość
58 UE FIR L4 zad 7 ALGEBRA równania macierzowe
57 UE FIR L4 zad 1 6b ALGEBRA rachunki na macierzach
56 UE FIR L3 zad 5 7b ALGEBRA przestrzenie izomorficzne
52 FIR L1 zad 3 7 ALGEBRA podprzestrz zad teoretyczne
51 FIR L1 zad 2 ALGEBRA podprzestrzenie liniowe
50 FIR L1 zad 1 ALGEBRA kombinacje liniowe wektorów
45 UE egz 06 2012 FIR dz zad 1 układ równ Gauss
47 UE egz 06 2012 FIR dz zad
Algebra 1 03 wymiar i baza przestrzeni liniowej
zestaw05 Liniowa niezal baza
Algebra 1 03 wymiar i baza przestrzeni liniowej
zestaw05 Liniowa niezal baza
Modele następstwa szeregowego - zad, FIR UE Katowice, SEMESTR V, Analiza finansowa, Analiza finansow
4 niezależności Banku Centralnego, Studia UE Katowice FiR, I stopień, semestr II, Makroekonomia
ALGEBRA zad 2 id 57346 Nieznany (2)
Zad 4, UEK, FiR II SEMESTR, Standardy Sprawozdawczości Finansowej

więcej podobnych podstron