Algebra liniowa z geometrią analityczną/Wykład 4: Odwzorowania liniowe: Różnice pomiędzy wersjami
Znaczniki: Anulowanie edycji Wycofane |
Znacznik: Anulowanie edycji |
||
Linia 19: | Linia 19: | ||
+\mu f(v)</math>. | +\mu f(v)</math>. | ||
L 4) Dla każdych skalarów <math>\lambda _1, | L 4) Dla każdych skalarów <math>\lambda _1,\ldots,\lambda _k\in \mathbb K</math>, wektorów <math>v_1,\ldots,v_k\in V</math> i każdego <math>k\in \mathbb N</math>, zachodzi równość | ||
Linia 85: | Linia 85: | ||
}} | }} | ||
{{dowod||| | {{dowod||| | ||
Niech <math>v\in V</math> będzie dowolnym wektorem. Istnieją wektory <math>v_1, | Niech <math>v\in V</math> będzie dowolnym wektorem. Istnieją wektory <math>v_1,\ldots,v_n</math> ze zbioru <math>A</math> oraz skalary <math>\lambda _1,\ldots,\lambda _n</math> takie, że <math>v=\lambda _1v_1+...+\lambda _nv_n</math>. Ponieważ obydwa odwzorowania <math>f</math> i <math>h</math> są liniowe, więc <math>f(v)=\lambda _1f(v_1)+...+\lambda _nf(v_n)= \lambda _1h(v_1)+...+\lambda _nh(v_n)=h(v)</math>. | ||
}} | }} | ||
Linia 96: | Linia 96: | ||
{{dowod||| | {{dowod||| | ||
Dla dowolnego <math>v</math> istnieją wektory <math>e_1, | Dla dowolnego <math>v</math> istnieją wektory <math>e_1,\ldots, e_n</math> należące do bazy i skalary <math>\lambda _1,\ldots, \lambda _n</math> takie, że | ||
<math>v=\lambda _1e_1+...+\lambda _ne_n</math>. Wybór wektorów z bazy i skalarów jest jednoznaczny. A zatem <math>f</math> zadane formułą | <math>v=\lambda _1e_1+...+\lambda _ne_n</math>. Wybór wektorów z bazy i skalarów jest jednoznaczny. A zatem <math>f</math> zadane formułą | ||
}} | }} | ||
Linia 139: | Linia 139: | ||
{{dowod||| | {{dowod||| | ||
Oczywiście <math>f(A)\subset im f</math>, a więc <math>lin f(A)\subset im f</math>. Niech <math>w\in im f</math> i niech <math>v\in V</math> będzie takim wektorem, że <math>f(v)=w</math>. Istnieją skalary <math>\lambda _1, | Oczywiście <math>f(A)\subset im f</math>, a więc <math>lin f(A)\subset im f</math>. Niech <math>w\in im f</math> i niech <math>v\in V</math> będzie takim wektorem, że <math>f(v)=w</math>. Istnieją skalary <math>\lambda _1,\ldots,\lambda _n\in K</math> oraz wektory <math>v_1,\ldots,v_n\in A</math> takie, że <math>v=\lambda _1v_1+...+\lambda _nv_n</math>. Zatem <math>w= f(v)= \lambda _1 f(v_1)+...+\lambda _n f(v_n)\in lin f(A)</math>. | ||
}} | }} | ||
Linia 176: | Linia 176: | ||
Rozważmy implikację 1. | Rozważmy implikację 1. | ||
Niech <math>B</math> będzie zbiorem liniowo niezależnym w <math>V</math>. Niech <math>w_1, | Niech <math>B</math> będzie zbiorem liniowo niezależnym w <math>V</math>. Niech <math>w_1,\ldots,w_n</math> będą różnymi między sobą wektorami z <math>f(B)</math> takimi, że <math>\lambda _1 w_1+...+\lambda _nw_n =0</math>. Istnieją <math>v_1,\ldots,v_n\in B</math> (różne między sobą, bo <math>f</math> jest injekcją) takie, że <math>w_1=f(v_1),\ldots,w_n=f(v_n)</math>. Mamy równości: <math>f(\lambda _1 v_1+...+\lambda _nv_n) =\lambda _1 f(v_1)+...+\lambda _nf(v_n)=0</math>. Ponieważ <math>f</math> jest monomorfizmem, więc <math>\lambda _1 v_1+...+\lambda _nv_n =0</math>. Wobec tego, ponieważ <math>v_1,\ldots,v_n</math> są liniowo niezależne, wszystkie <math>\lambda _i</math>, dla <math>i=1,\ldots,n</math>, są równe zeru. | ||
Dla dowodu drugiej implikacji, załóżmy, że <math>B</math> jest bazą przestrzeni <math>V</math>, przekształconą injektywnie na zbiór liniowo niezależny. Niech <math>f(v)=0</math>. Istnieją skalary <math>\lambda | Dla dowodu drugiej implikacji, załóżmy, że <math>B</math> jest bazą przestrzeni <math>V</math>, przekształconą injektywnie na zbiór liniowo niezależny. Niech <math>f(v)=0</math>. Istnieją skalary <math>\lambda | ||
_1, | _1,\ldots,\lambda _n\in \mathbb K</math> oraz wektory <math>v_1,\ldots,v_n\in B</math> takie, że <math>v=\lambda _1v_1+...+\lambda _nv_n</math>. Mamy więc równość: <math>0=\lambda _1f(v_1)+...+\lambda _n(v_n)</math>. Ponieważ <math>f</math> jest injekcją na bazie, więc wektory <math>f(v_1),\ldots,f(v_n)</math> są różne między sobą. A zatem <math>f(v_1),\ldots,f(v_n)</math> jest skończonym podzbiorem <math>f(B)</math>. Jest liniowo niezależny, a więc wszystkie skalary <math>\lambda _1</math>,\ldots,<math>\lambda _n</math> są równe <math>0</math> i, w konsekwencji, <math>v=0</math>. | ||
Dowód pozostałych implikacji zostawiamy czytelnikowi. | Dowód pozostałych implikacji zostawiamy czytelnikowi. | ||
Linia 186: | Linia 186: | ||
Założenie w implikacji 2. w przypadku przestrzeni skończenie wymiarowych można sformułować tak: | Założenie w implikacji 2. w przypadku przestrzeni skończenie wymiarowych można sformułować tak: | ||
''Dla pewnej bazy <math>e_1, | ''Dla pewnej bazy <math>e_1,\ldots,e_n</math> przestrzeni <math>V</math> układ <math>f(e_1),\ldots,f(e_n)</math> jest liniowo niezależny.'' | ||
Podobnie formułuje się założenie w implikacji 6. | Podobnie formułuje się założenie w implikacji 6. | ||
Linia 224: | Linia 224: | ||
{{dowod||| | {{dowod||| | ||
Jeżeli <math>\ker f=V</math> lub <math>\ker f=\{0\}</math>, twierdzenie jest | Jeżeli <math>\ker f=V</math> lub <math>\ker f=\{0\}</math>, twierdzenie jest | ||
trywialne. Załóżmy, że <math>\ker f\ne V</math> i <math>\ker f\ne\{0\}</math>. Niech <math>e_1, | trywialne. Załóżmy, że <math>\ker f\ne V</math> i <math>\ker f\ne\{0\}</math>. Niech <math>e_1,\ldots, e_k</math> będzie bazą <math>\ker f</math>. Rozszerzmy tę bazę do bazy całej przestrzeni <math>V</math>. Niech <math>e_1,\ldots,e_k,e_{k+1},\ldots, e_{n}</math> będzie bazą rozszerzoną. Twierdzimy, że wektory <math>f(e_{k+1}),\ldots, f(e_{n})</math> stanowią bazę przestrzeni <math>im f</math>. | ||
Sprawdźmy najpierw, że wektory te generują przestrzeń <math>im f</math>. Jeśli <math>w\in im f</math>, to istnieje <math>v\in V</math> taki, że <math>f(v)=w</math>. Wektor <math>v</math> da się przedstawić jako kombinacja liniowa wektorów bazy <math>e_1, | Sprawdźmy najpierw, że wektory te generują przestrzeń <math>im f</math>. Jeśli <math>w\in im f</math>, to istnieje <math>v\in V</math> taki, że <math>f(v)=w</math>. Wektor <math>v</math> da się przedstawić jako kombinacja liniowa wektorów bazy <math>e_1,\ldots, e_n</math>, tzn. <math>v=\lambda _1e_1 +...+\lambda _ne_n</math>. Zatem | ||
Linia 239: | Linia 239: | ||
dla pewnych skalarów <math>\lambda _{k+1},...\lambda _n</math>. Wtedy <math>f(\lambda _{k+1}e_{k+1}+...+ \lambda _{n}e_{n})=0</math>, czyli <math>\lambda | dla pewnych skalarów <math>\lambda _{k+1},...\lambda _n</math>. Wtedy <math>f(\lambda _{k+1}e_{k+1}+...+ \lambda _{n}e_{n})=0</math>, czyli <math>\lambda | ||
_{k+1}e_{k+1}+...+ \lambda _{n}e_{n} \in \ker f</math>. Wobec tego istnieją skalary <math>\lambda _1, | _{k+1}e_{k+1}+...+ \lambda _{n}e_{n} \in \ker f</math>. Wobec tego istnieją skalary <math>\lambda _1,\ldots,\lambda _k</math> takie, że | ||
Linia 245: | Linia 245: | ||
Ponieważ układ wektorów <math>e_1, | Ponieważ układ wektorów <math>e_1,\ldots,e_k, e_{k+1},\ldots, e_n</math> jest liniowo niezależny, wszystkie skalary w powyższej równości, w szczególności skalary <math>\lambda _{k+1},\ldots, \lambda _n</math>, są równe <math>0</math>. | ||
}} | }} | ||
Linia 279: | Linia 279: | ||
Załóżmy teraz, że przestrzeń <math>V</math> jest skończenie wymiarowa i ma wymiar <math>n</math>. Niech <math>e_1, | Załóżmy teraz, że przestrzeń <math>V</math> jest skończenie wymiarowa i ma wymiar <math>n</math>. Niech <math>e_1,\ldots, e_n</math> będzie bazą tej przestrzeni. Zdefiniujemy ciąg <math>e^*_1,\ldots, e^*_n</math> elementów przestrzeni <math>V^*</math> następująco. Pamiętając o tym, że odwzorowanie liniowe możemy zadać na bazie, określamy | ||
Linia 292: | Linia 292: | ||
{{twierdzenie|5.1|| | {{twierdzenie|5.1|| | ||
Ciąg <math>e^*_1, | Ciąg <math>e^*_1,\ldots, e^*_n</math> jest bazą przestrzeni <math>V^*</math>. | ||
}} | }} | ||
{{dowod||| | {{dowod||| | ||
Układ <math>e^*_1, | Układ <math>e^*_1,\ldots, e^*_n</math> jest liniowo niezależny. Istotnie, niech | ||
}} | }} | ||
Linia 306: | Linia 306: | ||
Zero występujące z prawej strony tej równości oznacza odwzorowanie tożsamościowo równe zeru. Oznaczmy przez <math>\alpha</math> odwzorowanie określone przez lewą stroną równości ([[#wzor_5.3|5.3]]). Dla każdego <math>v\in V</math> mamy <math>\alpha (v)=0</math>. W szczególności dla każdego wektora <math>e_i</math> bazy <math>e_1, | Zero występujące z prawej strony tej równości oznacza odwzorowanie tożsamościowo równe zeru. Oznaczmy przez <math>\alpha</math> odwzorowanie określone przez lewą stroną równości ([[#wzor_5.3|5.3]]). Dla każdego <math>v\in V</math> mamy <math>\alpha (v)=0</math>. W szczególności dla każdego wektora <math>e_i</math> bazy <math>e_1,\ldots,e_n</math> mamy <math>\alpha (e_i)=0</math>. Wstawiając do obu stron równości ([[#wzor_5.3|5.3]]) kolejne wektory bazy <math>e_1,\ldots, e_n</math> stwierdzamy, że <math>\lambda _1</math>,\ldots, <math>\lambda _n</math> są równe zeru. | ||
Aby stwierdzić że <math>e^*_1, | Aby stwierdzić że <math>e^*_1,\ldots, e^*_n</math> stanowię zbiór generatorów | ||
przestrzeni <math>V^*</math> wystarczy sprawdzić, że dla każdego <math>\alpha \in V^*</math> mamy | przestrzeni <math>V^*</math> wystarczy sprawdzić, że dla każdego <math>\alpha \in V^*</math> mamy | ||
Linia 320: | Linia 320: | ||
Dla sprawdzenia tej równości, wystarczy porównać wartości | Dla sprawdzenia tej równości, wystarczy porównać wartości | ||
odwzorowań liniowych znajdujących się po obydwu jej stronach na | odwzorowań liniowych znajdujących się po obydwu jej stronach na | ||
kolejnych wektorach bazy <math>e_1, | kolejnych wektorach bazy <math>e_1,\ldots,e_n</math>. | ||
Formuła ([[#wzor_5.4|5.4]]) jest sama w sobie ważna i bardzo pożyteczna. | Formuła ([[#wzor_5.4|5.4]]) jest sama w sobie ważna i bardzo pożyteczna. |
Aktualna wersja na dzień 21:17, 29 lip 2024
Definicja odwzorowania liniowego
Definicja 1.1 [Odwzorowanie liniowe]
Niech , będą przestrzeniami wektorowymi nad ciałem i niech będzie odwzorowaniem. Mówimy, że jest liniowe, jeśli spełnione są następujące warunki
L 1) dla każdych wektorów ,
L 2) dla każdych i .
Własność pierwszą nazywamy addytywnością odwzorowania , drugą - jednorodnością .
Zespół warunków L 1) i L 2) można zastąpić jednym z następujących warunków L 3) lub L4).
L 3) Dla każdych i dla każdych zachodzi równość .
L 4) Dla każdych skalarów , wektorów i każdego , zachodzi równość
Dowód równoważności warunków L 3) i L 4) polega na zastosowaniu indukcji.
Zauważmy od razu, że , gdzie jest dowolnym wektorem przestrzeni . A zatem, dla odwzorowania liniowego zawsze mamy .
Przykład 1.2
Odwzorowanie stale równe zeru jest liniowe. Odwzorowanie identycznościowe dowolnej przestrzeni wektorowej na siebie jest liniowe. Odwzorowanie to oznaczać będziemy przez .
Przykład 1.3
Weźmy przestrzeń wszystkich funkcji ciągłych na przedziale o wartościach w . Odwzorowanie
jest odwzorowaniem liniowym.
Podobny przykład otrzymuje się dla całki oznaczonej.
Rozważmy jeszcze przestrzeń funkcji różniczkowalnych na przedziale i odwzorowanie przyporządkowujące funkcji z jej pochodną. Odwzorowanie to jest liniowe.
Przykład 1.4
Rozważmy odwzorowanie . Jeśli potraktujemy odwzorowanie jako odwzorowanie przestrzeni wektorowych nad ciałem , to odwzorowanie to nie jest liniowe, bo nie jest jednorodne.
Jeśli jednak potraktujemy jako przestrzeń wektorową nad ciałem , to odwzorowanie jest liniowe. Mówimy, że jest -liniowe, ale nie jest -liniowe.
Własności odwzorowań liniowych. Obraz i jądro.
Omówimy teraz podstawowe własności odwzorowań liniowych.
Twierdzenie 2.1
Złożenie odwzorowań liniowych jest odwzorowaniem liniowym. Jeśli odwzorowanie liniowe jest bijekcją, to odwzorowanie odwrotne jest też liniowe.
Dowód
Tezy pierwszej dowodzi się bezpośrednim rachunkiem, co zostawiamy czytelnikowi. Dla sprawdzenia drugiej tezy ustalmy, że jest liniową bijekcją. Niech . Wtedy istnieją jedne jedyne wektory takie, że i . Zatem i . Niech będą dowolnymi skalarami. Zachodzą równości

Istotne cechy odwzorowań liniowych, często wykorzystywane w dalszej części wykładu, opisują następujące lematy
Lemat 2.2
Niech będzie zbiorem generującym przestrzeń i odwzorowania będą liniowe. Jeśli , to .
Dowód
Niech będzie dowolnym wektorem. Istnieją wektory ze zbioru oraz skalary takie, że . Ponieważ obydwa odwzorowania i są liniowe, więc .

Lemat 2.3
Niech będzie bazą przestrzeni i będzie dowolnym odwzorowaniem.
Istnieje dokładnie jedno odwzorowanie liniowe takie, że
Dowód
Dla dowolnego istnieją wektory należące do bazy i skalary takie, że . Wybór wektorów z bazy i skalarów jest jednoznaczny. A zatem zadane formułą

(2.1)
jest dobrze określone. Łatwo sprawdzić, że jest liniowe. Jest też oczywiste, że musi być zadane formułą (2.1). Stąd jedyność (lub z poprzedniego lematu).
Ostatni lemat mówi, że odwzorowanie liniowe może być zadane na bazie. Lemat dotyczy także przestrzeni nieskończenie wymiarowych.
Twierdzenie 2.4
Niech będzie odwzorowaniem liniowym. Jeżeli jest podprzestrzenią , to obraz podprzestrzeni przez odwzorowanie f, czyli , jest podprzestrzenią . Jeżeli jest podprzestrzenią , to przeciwobraz podprzestrzeni przez odwzorowanie , czyli , jest podprzestrzenią .
Dowód
Jeżeli , to i dla pewnych . Zatem i . Ponieważ , więc dla dowolnego skalara .
Niech . Wtedy i, w konsekwencji, . Zatem . Podobnie dla dowolnego .

Dla odwzorowania liniowego definiuje się dwie ważne podprzestrzenie - obraz i jądro odwzorowania liniowego.
Definicja 2.5 [Jądro odwzorowania]
Niech będzie odwzorowaniem liniowym. Jądrem odwzorowania nazywamy podprzestrzeń . Jądro oznaczamy symbolem . Obrazem nazywamy podprzestrzeń przestrzeni . Przestrzeń tę oznaczamy . Wymiar przestrzeni nazywamy rzędem odwzorowania i oznaczamy .
Przykład 2.6
Jeśli dana jest suma prosta , to rzutowanie na U równolegle do jest liniowe. Ponadto oraz .
Kolejny lemat wykorzystamy w dalszej części wykładu.
Lemat 2.7
Jeśli zbiór generuje przestrzeń i jest odwzorowaniem liniowym, to generuje przestrzeń .
Dowód
Oczywiście , a więc . Niech i niech będzie takim wektorem, że . Istnieją skalary oraz wektory takie, że . Zatem .

Monomorfizmy. epimorfizmy, izomorfizmy
Definicja 3.1 [Monomorfizm]
Niech będzie odwzorowaniem liniowym Odwzorowanie nazywa się monomorfizmem, jeśli jest różnowartościowe. Odwzorowanie nazywa się epimorfizmem, jeśli jest surjekcją. Odwzorowanie, które jest jednocześnie monomorfizmem i epimorfizmem (czyli liniowa bijekcja) nazywa się izomorfizmem.
Podamy teraz łatwe, ale bardzo ważne, twierdzenie charakteryzujące monomorfizmy.
Twierdzenie 3.2
Niech będzie odwzorowaniem liniowym. Odwzorowanie to jest monomorfizmem wtedy i tylko wtedy, gdy .
Dowód
Oczywiście . Niech będzie monomorfizmem. Jeśli , to . Oznacza to, że jedynym elementem zbioru jest wektor zerowy. Odwrotnie, jeśli składa się tylko z elementu zerowego i , to , a więc . Ponieważ , więc . Zatem jest różnowartościowe.

Kolejne twierdzenie zawiera pewną charakteryzację monomorfizmów, epimorfizmów i izomorfizmów.
Twierdzenie 3.3
Niech będzie odwzorowaniem liniowym.
- Jeżeli jest monomorfizmem, to przekształca każdy zbiór liniowo niezależny na zbiór liniowo niezależny.
- Jeżeli przekształca injektywnie pewną bazę przestrzeni na zbiór liniowo niezależny, to jest monomorfizmem.
- Jeżeli jest epimorfizmem, to przekształca każdy zbiór generujący na zbiór generujący przestrzeń .
- Jeżeli przekształca pewien zbiór generujący na zbiór generujący , to jest epimorfizmem.
- Jeżeli jest izomorfizmem, to przekształca każdą bazę przestrzeni na bazę przestrzeni .
- Jeżeli przekształca injektywnie pewną bazę przestrzeni na bazę przestrzeni , to jest izomorfizmem.
Dowód
Rozważmy implikację 1.
Niech będzie zbiorem liniowo niezależnym w . Niech będą różnymi między sobą wektorami z takimi, że . Istnieją (różne między sobą, bo jest injekcją) takie, że . Mamy równości: . Ponieważ jest monomorfizmem, więc . Wobec tego, ponieważ są liniowo niezależne, wszystkie , dla , są równe zeru.
Dla dowodu drugiej implikacji, załóżmy, że jest bazą przestrzeni , przekształconą injektywnie na zbiór liniowo niezależny. Niech . Istnieją skalary oraz wektory takie, że . Mamy więc równość: . Ponieważ jest injekcją na bazie, więc wektory są różne między sobą. A zatem jest skończonym podzbiorem . Jest liniowo niezależny, a więc wszystkie skalary ,\ldots, są równe i, w konsekwencji, .
Dowód pozostałych implikacji zostawiamy czytelnikowi.

Założenie w implikacji 2. w przypadku przestrzeni skończenie wymiarowych można sformułować tak:
Dla pewnej bazy przestrzeni układ jest liniowo niezależny.
Podobnie formułuje się założenie w implikacji 6.
Z powyższego twierdzenia, a także z dobrze już znanych faktów, że w skończenie wymiarowej przestrzeni każdy układ liniowo niezależny można uzupełnić do bazy i z każdego układu generatorów można wybrać bazę, dostajemy natychmiast
Wniosek 3.4
Niech będą przestrzeniami skończenie wymiarowymi tego samego wymiaru. Niech będzie odwzorowaniem liniowym. Następujące warunki są równoważne
- f jest monomorfizmem.
- f jest epimorfizmem.
- f jest izomorfizmem.
Z twierdzenia (3.3) wynika także
Wniosek 3.5
Jeżeli jest izomorfizmem liniowym i przestrzeń jest skończenie wymiarowa, to jest też skończenie wymiarowa oraz .
Rząd odwzorowania liniowego
Kolejne twierdzenie opisuje ważny związek między wymiarami jądra i obrazu danego odwzorowania liniowego.
Twierdzenie 4.1
Niech będzie odwzorowaniem liniowym. Jeżeli jest skończenie wymiarowa, to
Dowód
Jeżeli lub , twierdzenie jest trywialne. Załóżmy, że i . Niech będzie bazą . Rozszerzmy tę bazę do bazy całej przestrzeni . Niech będzie bazą rozszerzoną. Twierdzimy, że wektory stanowią bazę przestrzeni .
Sprawdźmy najpierw, że wektory te generują przestrzeń . Jeśli , to istnieje taki, że . Wektor da się przedstawić jako kombinacja liniowa wektorów bazy , tzn. . Zatem
Aby sprawdzić liniową niezależność tych wektorów, załóżmy, że
dla pewnych skalarów . Wtedy , czyli . Wobec tego istnieją skalary takie, że
Ponieważ układ wektorów jest liniowo niezależny, wszystkie skalary w powyższej równości, w szczególności skalary , są równe .

Z Twierdzenia 2.7 otrzymujemy natychmiast
Wniosek 4.2
Niech i będą skończenie wymiarowe. Dla odwzorowania liniowego jego rząd spełnia nierówność
Przestrzeń dualna
Przypomnijmy sobie Przykład 7. z Wykładu 2. Wiemy z niego, że ogół odwzorowań prowadzących z niepustego zbioru do przestrzeni wektorowej jest przestrzenią wektorową z działaniami wprowadzonymi w Przykładzie 7. Przypomnijmy, że
dla , i . Niech będą, jak w całym tym wykładzie, przestrzeniami wektorowymi nad jednym ciałem i - odwzorowaniami liniowymi. Łatwo widać, że suma tych odwzorowań, a także iloczyn odwzorowania liniowego przez skalar są odwzorowaniami liniowymi. Zatem ogół odwzorowań liniowych z przestrzeni do stanowi podprzestrzeń wektorową przestrzeni .
Rozważmy sytuację szczególną. Za weźmy ciało . Przestrzeń odwzorowań liniowych prowadzących z do oznaczmy przez . Przestrzeń tę nazywamy przestrzenią dualną do . A zatem
Załóżmy teraz, że przestrzeń jest skończenie wymiarowa i ma wymiar . Niech będzie bazą tej przestrzeni. Zdefiniujemy ciąg elementów przestrzeni następująco. Pamiętając o tym, że odwzorowanie liniowe możemy zadać na bazie, określamy
, (5.2)
gdzie jest tzw. deltą Kroneckera. Symbol ten zdefiniowany jest następująco: dla oraz dla .
Udowodnimy teraz
Twierdzenie 5.1
Ciąg jest bazą przestrzeni .
Dowód
(5.3)
Zero występujące z prawej strony tej równości oznacza odwzorowanie tożsamościowo równe zeru. Oznaczmy przez odwzorowanie określone przez lewą stroną równości (5.3). Dla każdego mamy . W szczególności dla każdego wektora bazy mamy . Wstawiając do obu stron równości (5.3) kolejne wektory bazy stwierdzamy, że ,\ldots, są równe zeru.
Aby stwierdzić że stanowię zbiór generatorów przestrzeni wystarczy sprawdzić, że dla każdego mamy
(5.4)
Dla sprawdzenia tej równości, wystarczy porównać wartości
odwzorowań liniowych znajdujących się po obydwu jej stronach na
kolejnych wektorach bazy .
Formuła (5.4) jest sama w sobie ważna i bardzo pożyteczna.
Zauważmy jeszcze, że jeśli jest liniowe, to
definiując odwzorowanie
formułą
otrzymujemy odwzorowanie liniowe. Sprawdzenie zostawiamy czytelnikowi. Odwzorowanie to nazywamy odwzorowaniem dualnym (lub transponowanym) do .
Korzystając bezpośrednio z definicji odwzorowania dualnego, łatwo sprawdzić następujący fakt
Twierdzenie 5.2
Niech będą odwzorowaniami liniowymi. Zachodzi równość odwzorowań