Algebra liniowa z geometrią analityczną/Wykład 4: Odwzorowania liniowe: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Pitab (dyskusja | edycje)
Anulowanie wersji 82977 autorstwa Luki (dyskusja)
Znacznik: Anulowanie edycji
 
(Nie pokazano 19 wersji utworzonych przez 3 użytkowników)
Linia 6: Linia 6:
L 1) dla każdych wektorów <math>u,v\in Vf(u+v)=f(u)+f(v)</math>,
L 1) dla każdych wektorów <math>u,v\in Vf(u+v)=f(u)+f(v)</math>,


L 2) dla każdych <math>\lambda \in \mathbb K</math> i <math> v\in Vf(\lambda
L 2) dla każdych <math>\lambda \in \mathbb K</math> i <math>v\in Vf(\lambda
v)=\lambda f(v)</math>.
v)=\lambda f(v)</math>.


Linia 16: Linia 16:
warunków L 3) lub L4).
warunków L 3) lub L4).


L 3) Dla każdych <math>\lambda ,\mu \in \mathbb K</math> i dla każdych <math>u,v\in V </math> zachodzi równość <math> f(\lambda u+\mu v)=\lambda f(u)
L 3) Dla każdych <math>\lambda ,\mu \in \mathbb K</math> i dla każdych <math>u,v\in V</math> zachodzi równość <math>f(\lambda u+\mu v)=\lambda f(u)
+\mu f(v)</math>.
+\mu f(v)</math>.


L 4) Dla każdych skalarów <math>\lambda _1,...,\lambda _k\in \mathbb K </math>, wektorów <math>v_1,...,v_k\in V</math> i każdego <math>k\in \mathbb N</math>, zachodzi równość
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ść




<center><math>f(\lambda _1v_1+...+\lambda _kv_k) =\lambda _1f(v_1)+...+\lambda
<center><math>f(\lambda _1v_1+...+\lambda _kv_k) =\lambda _1f(v_1)+...+\lambda
_kf(v_k).</math></center>
_kf(v_k)</math>.</center>




Linia 47: Linia 47:
Rozważmy jeszcze przestrzeń <math>U</math> funkcji różniczkowalnych na przedziale <math>(a,b)\subset \mathbb R</math> i odwzorowanie przyporządkowujące funkcji z <math>U</math> jej pochodną. Odwzorowanie to jest liniowe.
Rozważmy jeszcze przestrzeń <math>U</math> funkcji różniczkowalnych na przedziale <math>(a,b)\subset \mathbb R</math> i odwzorowanie przyporządkowujące funkcji z <math>U</math> jej pochodną. Odwzorowanie to jest liniowe.
}}
}}
[[File:ag4_1a.mp4|253x253px|thumb|right|Sprzężenie w <math>\mathbb C</math> nie jest liniowe]]


{{przyklad|1.4 ||
{{przyklad|1.4 ||
Rozważmy odwzorowanie <math>f:\mathbb C\ni z \longrightarrow \overline z\in \mathbb C</math>. Jeśli potraktujemy odwzorowanie <math>f</math> jako odwzorowanie przestrzeni wektorowych nad ciałem <math>\mathbb C</math>, to odwzorowanie to nie jest liniowe, bo nie jest jednorodne.
Rozważmy odwzorowanie <math>f:\mathbb C\ni z \longrightarrow \overline z\in \mathbb C</math>. Jeśli potraktujemy odwzorowanie <math>f</math> jako odwzorowanie przestrzeni wektorowych nad ciałem <math>\mathbb C</math>, to odwzorowanie to nie jest liniowe, bo nie jest jednorodne.


Linia 64: Linia 67:


{{dowod|||
{{dowod|||
Tezy pierwszej dowodzi się bezpośrednim rachunkiem, co zostawiamy czytelnikowi. Dla sprawdzenia drugiej tezy ustalmy, że <math>f:V\longrightarrow W</math> jest liniową bijekcją. Niech <math>w,w'\in W</math>. Wtedy istnieją jedne jedyne wektory <math>v,v'\in V</math> takie, że <math>w=f(v)</math> i <math>w'=f(v')</math>. Zatem <math>v=f^{-1}(w)</math> i <math>v' =f^{-1}(w')</math>. Niech <math>\lambda, \mu </math> będą dowolnymi skalarami. Zachodzą równości
Tezy pierwszej dowodzi się bezpośrednim rachunkiem, co zostawiamy czytelnikowi. Dla sprawdzenia drugiej tezy ustalmy, że <math>f:V\longrightarrow W</math> jest liniową bijekcją. Niech <math>w,w' \in W</math>. Wtedy istnieją jedne jedyne wektory <math>v,v'\in V</math> takie, że <math>w=f(v)</math> i <math>w'=f(v')</math>. Zatem <math>v=f^{-1}(w)</math> i <math>v' =f^{-1}(w')</math>. Niech <math>\lambda, \mu</math> będą dowolnymi skalarami. Zachodzą równości




Linia 72: Linia 75:


<center><math>=\lambda v+\mu v'=\lambda
<center><math>=\lambda v+\mu v'=\lambda
f^{-1}(w)+\mu f^{-1} (w').</math></center>}}  
f^{-1}(w)+\mu f^{-1} (w')</math>.</center>}}  




Linia 82: Linia 85:
}}
}}
{{dowod|||
{{dowod|||
Niech <math>v\in V</math> będzie dowolnym wektorem. Istnieją wektory <math>v_1,...,v_n</math> ze zbioru <math>A</math> oraz skalary <math>\lambda _1,...,\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>.
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 93: Linia 96:


{{dowod|||
{{dowod|||
Dla dowolnego <math>v</math> istnieją wektory <math>e_1,..., e_n</math> należące do bazy i skalary <math>\lambda _1,..., \lambda _n</math> takie, że
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 114: Linia 117:
Jeżeli <math>w, z\in f(U)</math>, to <math>w=f(v)</math> i <math>z=f(u)</math> dla pewnych <math>u, v\in U</math>. Zatem <math>v+u\in U</math> i <math>w+z=f(v)+f(u)=f(v+u)\in f(U)</math>. Ponieważ <math>\lambda u\in U</math>, więc <math>\lambda z= \lambda f(u)=f(\lambda u)\in f(U)</math> dla dowolnego skalara <math>\lambda</math>.
Jeżeli <math>w, z\in f(U)</math>, to <math>w=f(v)</math> i <math>z=f(u)</math> dla pewnych <math>u, v\in U</math>. Zatem <math>v+u\in U</math> i <math>w+z=f(v)+f(u)=f(v+u)\in f(U)</math>. Ponieważ <math>\lambda u\in U</math>, więc <math>\lambda z= \lambda f(u)=f(\lambda u)\in f(U)</math> dla dowolnego skalara <math>\lambda</math>.


Niech <math>u,v\in  f^{-1}(W)</math>. Wtedy <math>f(u),f(v)\in W</math> i, w konsekwencji, <math>f(u)+f(v)\in W</math>. Zatem <math>f(u+v)=f(u)+f(v)\in W </math>. Podobnie <math>f(\lambda u)=\lambda f(u)\in W</math> dla dowolnego <math>\lambda</math>.
Niech <math>u,v\in  f^{-1}(W)</math>. Wtedy <math>f(u),f(v)\in W</math> i, w konsekwencji, <math>f(u)+f(v)\in W</math>. Zatem <math>f(u+v)=f(u)+f(v)\in W</math>. Podobnie <math>f(\lambda u)=\lambda f(u)\in W</math> dla dowolnego <math>\lambda</math>.
}}
}}
Dla odwzorowania liniowego definiuje się dwie ważne podprzestrzenie - obraz i jądro odwzorowania liniowego.
Dla odwzorowania liniowego definiuje się dwie ważne podprzestrzenie - obraz i jądro odwzorowania liniowego.
Linia 120: Linia 123:
{{definicja|2.5 [Jądro odwzorowania]||
{{definicja|2.5 [Jądro odwzorowania]||
Niech <math>f:V\longrightarrow W</math> będzie odwzorowaniem liniowym. ''Jądrem odwzorowania'' <math>f</math> nazywamy podprzestrzeń
Niech <math>f:V\longrightarrow W</math> będzie odwzorowaniem liniowym. ''Jądrem odwzorowania'' <math>f</math> nazywamy podprzestrzeń
<math>f^{-1}(\{0\})</math>. Jądro oznaczamy symbolem <math>\ker f</math>. ''Obrazem'' <math>f</math> nazywamy podprzestrzeń <math>f(V)</math> przestrzeni <math>W</math>. Przestrzeń tę oznaczamy <math>\textnormal im f</math>. Wymiar przestrzeni <math>\textnormal im f</math> nazywamy ''rzędem odwzorowania'' <math>f</math> i oznaczamy <math>\textnormal rk f</math>.
<math>f^{-1}(\{0\})</math>. Jądro oznaczamy symbolem <math>\ker f</math>. ''Obrazem'' <math>f</math> nazywamy podprzestrzeń <math>f(V)</math> przestrzeni <math>W</math>. Przestrzeń tę oznaczamy <math>im f</math>. Wymiar przestrzeni <math>im f</math> nazywamy ''rzędem odwzorowania'' <math>f</math> i oznaczamy <math>rk f</math>.
}}
}}
<div class="thumb tright"><flashwrap>file=Ag4_2b.swf|size=large</flashwrap>
 
<div.thumbcaption>Ag4_2b.swf</div></div>
[[File:ag4_2b.mp4|253x253px|thumb|left|Rzutowanie równolegle do podprzestrzeni]]
 
{{przyklad|2.6 ||
{{przyklad|2.6 ||
Jeśli dana jest suma prosta <math>V=U\oplus W</math>, to rzutowanie  <math>P_U</math> na U równolegle do <math>W</math> jest liniowe. Ponadto <math>\ker P_U=W</math> oraz <math>\textnormal im P_U=U</math>.
Jeśli dana jest suma prosta <math>V=U\oplus W</math>, to rzutowanie  <math>P_U</math> na U równolegle do <math>W</math> jest liniowe. Ponadto <math>\ker P_U=W</math> oraz <math>im P_U=U</math>.
}}
}}
   
   
Linia 131: Linia 135:


{{lemat|2.7 |lemat 2.7|
{{lemat|2.7 |lemat 2.7|
Jeśli zbiór <math>A</math> generuje przestrzeń <math>V</math> i <math>f:V\longrightarrow W</math> jest odwzorowaniem liniowym, to <math>f(A)</math> generuje przestrzeń <math>\textnormal im f</math>.
Jeśli zbiór <math>A</math> generuje przestrzeń <math>V</math> i <math>f:V\longrightarrow W</math> jest odwzorowaniem liniowym, to <math>f(A)</math> generuje przestrzeń <math>im f</math>.
}}
}}


{{dowod|||
{{dowod|||
Oczywiście <math>f(A)\subset \textnormal im f</math>, a więc <math>\textnormal lin f(A)\subset \textnormal im f</math>. Niech <math>w\in \textnormal 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,...,\lambda _n\in \K</math> oraz wektory <math>v_1,...,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 \textnormal lin f(A)</math>.  
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>.  
}}
}}


==Monomorfizmy. epimorfizmy, izomorfizmy==
==Monomorfizmy. epimorfizmy, izomorfizmy==


{{definicja|3.1 ||
{{definicja|3.1 [Monomorfizm]||
Niech <math>f</math> będzie odwzorowaniem liniowym Odwzorowanie <math>f</math> nazywa się monomorfizmem, jeśli jest różnowartościowe. Odwzorowanie <math>f</math> nazywa się epimorfizmem, jeśli jest surjekcją. Odwzorowanie, które jest jednocześnie monomorfizmem i epimorfizmem (czyli liniowa bijekcja) nazywa się izomorfizmem.
Niech <math>f</math> będzie odwzorowaniem liniowym Odwzorowanie <math>f</math> nazywa się monomorfizmem, jeśli jest różnowartościowe. Odwzorowanie <math>f</math> nazywa się epimorfizmem, jeśli jest surjekcją. Odwzorowanie, które jest jednocześnie monomorfizmem i epimorfizmem (czyli liniowa bijekcja) nazywa się izomorfizmem.
}}
}}
Linia 172: 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,...,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,...,v_n\in B</math> (różne między sobą, bo <math>f</math> jest injekcją) takie, że <math>w_1=f(v_1),...,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,...,v_n</math> są liniowo niezależne, wszystkie <math>\lambda _i</math>, dla <math>i=1,...,n</math>, są równe zeru.
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,...,\lambda _n\in \mathbb K</math> oraz wektory <math>v_1,...,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),...,f(v_n)</math> są  różne między sobą. A zatem <math>f(v_1),...,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>,...,<math>\lambda _n</math> są równe <math>0</math> i, w konsekwencji, <math>v=0</math>.
_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 182: 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,...,e_n</math> przestrzeni <math>V</math> układ <math>f(e_1),...,f(e_n)</math> jest liniowo niezależny.''
''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 213: Linia 217:




<center><math>\textnormal rk f + \dim\ker f =\dim V.</math></center>
<center><math>rk f + \dim\ker f =\dim V</math>.</center>




Linia 220: 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,..., 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,...,e_k,e_{k+1},..., e_{n}</math> będzie bazą rozszerzoną. Twierdzimy, że wektory <math>f(e_{k+1}),..., f(e_{n}) </math> stanowią bazę przestrzeni <math>\textnormal im f</math>.
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>\textnormal im f</math>. Jeśli <math>w\in \textnormal 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,..., e_n</math>, tzn. <math>v=\lambda _1e_1 +...+\lambda _ne_n</math>. Zatem  
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  




<center><math>w=f(v) =\lambda _1\cdot 0+...+\lambda _k\cdot 0+ \lambda _{k+1}f(e_{k+1})+...+ \lambda _{n}f(e_{n}).</math></center>
<center><math>w=f(v) =\lambda _1\cdot 0+...+\lambda _k\cdot 0+ \lambda _{k+1}f(e_{k+1})+...+ \lambda _{n}f(e_{n})</math>.</center>




Linia 235: 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,...,\lambda _k</math> takie, że  
_{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  




<center><math>\lambda _{k+1}e_{k+1}+...+ \lambda _{n}e_{n} = \lambda _1e_1+...+ \lambda _{k}e_{k} .</math></center>
<center><math>\lambda _{k+1}e_{k+1}+...+ \lambda _{n}e_{n} = \lambda _1e_1+...+ \lambda _{k}e_{k}</math>.</center>




Ponieważ układ wektorów <math>e_1,...,e_k, e_{k+1},..., e_n</math> jest liniowo niezależny, wszystkie skalary w powyższej równości, w szczególności skalary <math>\lambda _{k+1},..., \lambda _n</math>, są równe <math>0</math>.
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>.
}}
}}


Z Twierdzenia ([[#lemat_2.7|2.7]]) otrzymujemy natychmiast
Z [[#lemat_2.7|Twierdzenia 2.7]] otrzymujemy natychmiast


{{wniosek|4.2 ||
{{wniosek|4.2 ||
Linia 250: Linia 254:




<center><math>\textnormal rk f\le min\{\dim V, \dim W\}.</math></center>
<center><math>rk f\le min\{\dim V, \dim W\}</math>.</center>




Linia 261: Linia 265:




<center><math>(f+h)(v)=f(v)+h(v),</math></center>
<center><math>(f+h)(v)=f(v)+h(v)</math>,</center>




Linia 272: Linia 276:




<center><math>V^*=\{\alpha :V\longrightarrow \mathbbK \ |\ \alpha \ \  {\rm liniowe}\}.</math></center>
<center><math>V^*=\{\alpha :V\longrightarrow \mathbb{K} \ |\ \alpha \ \  {\rm liniowe}\}</math>.</center>




Załóżmy teraz, że przestrzeń <math>V</math> jest skończenie wymiarowa i ma wymiar <math>n</math>. Niech <math>e_1,..., e_n</math> będzie bazą tej przestrzeni. Zdefiniujemy ciąg <math>e^*_1,..., 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
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




{{wzor|wzor_5.2|5.2|
{{wzor|wzor_5.2|5.2|
<math>
<math>
e^*_i(e_j)=\delta _{ij},
e^*_i(e_j)=\delta _{ij}</math>,}}
</math>}}




Linia 289: Linia 292:


{{twierdzenie|5.1||
{{twierdzenie|5.1||
Ciąg <math>e^*_1,..., e^*_n</math>  jest bazą przestrzeni <math>V^*</math>.
Ciąg <math>e^*_1,\ldots, e^*_n</math>  jest bazą przestrzeni <math>V^*</math>.
}}
}}


{{dowod|||
{{dowod|||
Układ <math>e^*_1,..., e^*_n</math>  jest liniowo niezależny. Istotnie, niech
Układ <math>e^*_1,\ldots, e^*_n</math>  jest liniowo niezależny. Istotnie, niech
}}
}}


Linia 303: 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,...,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,..., e_n</math> stwierdzamy, że <math>\lambda _1</math>,..., <math>\lambda _n</math> są równe zeru.
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,..., e^*_n</math> stanowię zbiór generatorów
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 317: 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,...,e_n</math>.
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.
Linia 325: Linia 328:




<center><math>f^* (\alpha) =\alpha\circ f,</math></center>
<center><math>f^* (\alpha) =\alpha\circ f</math>,</center>




Linia 337: Linia 340:




<center><math>(h \circ f)^* = f^* \circ h^* .</math></center>
<center><math>(h \circ f)^* = f^* \circ h^*</math>.</center>


}}
}}

Aktualna wersja na dzień 21:17, 29 lip 2024

Definicja odwzorowania liniowego

Definicja 1.1 [Odwzorowanie liniowe]

Niech V, W będą przestrzeniami wektorowymi nad ciałem 𝕂 i niech f:VW będzie odwzorowaniem. Mówimy, że f jest liniowe, jeśli spełnione są następujące warunki

L 1) dla każdych wektorów u,vVf(u+v)=f(u)+f(v),

L 2) dla każdych λ𝕂 i vVf(λv)=λf(v).

Własność pierwszą nazywamy addytywnością odwzorowania f, drugą - jednorodnością f.

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 u,vV zachodzi równość f(λu+μv)=λf(u)+μf(v).

L 4) Dla każdych skalarów λ1,,λk𝕂, wektorów v1,,vkV i każdego k, zachodzi równość


f(λ1v1+...+λkvk)=λ1f(v1)+...+λkf(vk).


Dowód równoważności warunków L 3) i L 4) polega na zastosowaniu indukcji.

Zauważmy od razu, że f(0)=f(0v)=0f(v), gdzie v jest dowolnym wektorem przestrzeni V. A zatem, dla odwzorowania liniowego zawsze mamy f(0)=0.

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 I.

Przykład 1.3

Weźmy przestrzeń V wszystkich funkcji ciągłych na przedziale (a,b) o wartościach w . Odwzorowanie


Vff(a,b)


jest odwzorowaniem liniowym.

Podobny przykład otrzymuje się dla całki oznaczonej.

Rozważmy jeszcze przestrzeń U funkcji różniczkowalnych na przedziale (a,b) i odwzorowanie przyporządkowujące funkcji z U jej pochodną. Odwzorowanie to jest liniowe.

Plik:Ag4 1a.mp4
Sprzężenie w nie jest liniowe

Przykład 1.4

Rozważmy odwzorowanie f:zz. Jeśli potraktujemy odwzorowanie f 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 f jest liniowe. Mówimy, że f 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 f:VW jest liniową bijekcją. Niech w,wW. Wtedy istnieją jedne jedyne wektory v,vV takie, że w=f(v) i w=f(v). Zatem v=f1(w) i v=f1(w). Niech λ,μ będą dowolnymi skalarami. Zachodzą równości


f1(λw+μw)=f1(λf(v)+μf(v))=f1(f(λv+μv))


=λv+μv=λf1(w)+μf1(w).


Istotne cechy odwzorowań liniowych, często wykorzystywane w dalszej części wykładu, opisują następujące lematy

Lemat 2.2

Niech A będzie zbiorem generującym przestrzeń V i odwzorowania f,h:VW będą liniowe. Jeśli f|A=h|A, to f=h.

Dowód

Niech vV będzie dowolnym wektorem. Istnieją wektory v1,,vn ze zbioru A oraz skalary λ1,,λn takie, że v=λ1v1+...+λnvn. Ponieważ obydwa odwzorowania f i h są liniowe, więc f(v)=λ1f(v1)+...+λnf(vn)=λ1h(v1)+...+λnh(vn)=h(v).

Lemat 2.3

Niech B będzie bazą przestrzeni V i f~:BW będzie dowolnym odwzorowaniem.

Istnieje dokładnie jedno odwzorowanie liniowe f:VW takie, że f~=f|B

Dowód

Dla dowolnego v istnieją wektory e1,,en należące do bazy i skalary λ1,,λn takie, że v=λ1e1+...+λnen. Wybór wektorów z bazy i skalarów jest jednoznaczny. A zatem f zadane formułą

f(v)=λ1f~(e1)+...+λnf~(en)      (2.1)


jest dobrze określone. Łatwo sprawdzić, że jest liniowe. Jest też oczywiste, że f musi być zadane formułą (2.1). Stąd jedyność f (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 f:VW będzie odwzorowaniem liniowym. Jeżeli U jest podprzestrzenią V, to obraz podprzestrzeni U przez odwzorowanie f, czyli f(U), jest podprzestrzenią W. Jeżeli U jest podprzestrzenią W, to przeciwobraz podprzestrzeni U przez odwzorowanie f, czyli f1(U), jest podprzestrzenią V.

Dowód

Jeżeli w,zf(U), to w=f(v) i z=f(u) dla pewnych u,vU. Zatem v+uU i w+z=f(v)+f(u)=f(v+u)f(U). Ponieważ λuU, więc λz=λf(u)=f(λu)f(U) dla dowolnego skalara λ.

Niech u,vf1(W). Wtedy f(u),f(v)W i, w konsekwencji, f(u)+f(v)W. Zatem f(u+v)=f(u)+f(v)W. Podobnie f(λu)=λf(u)W dla dowolnego λ.

Dla odwzorowania liniowego definiuje się dwie ważne podprzestrzenie - obraz i jądro odwzorowania liniowego.

Definicja 2.5 [Jądro odwzorowania]

Niech f:VW będzie odwzorowaniem liniowym. Jądrem odwzorowania f nazywamy podprzestrzeń f1({0}). Jądro oznaczamy symbolem kerf. Obrazem f nazywamy podprzestrzeń f(V) przestrzeni W. Przestrzeń tę oznaczamy imf. Wymiar przestrzeni imf nazywamy rzędem odwzorowania f i oznaczamy rkf.

Plik:Ag4 2b.mp4
Rzutowanie równolegle do podprzestrzeni

Przykład 2.6

Jeśli dana jest suma prosta V=UW, to rzutowanie PU na U równolegle do W jest liniowe. Ponadto kerPU=W oraz imPU=U.

Kolejny lemat wykorzystamy w dalszej części wykładu.

Lemat 2.7

Jeśli zbiór A generuje przestrzeń V i f:VW jest odwzorowaniem liniowym, to f(A) generuje przestrzeń imf.

Dowód

Oczywiście f(A)imf, a więc linf(A)imf. Niech wimf i niech vV będzie takim wektorem, że f(v)=w. Istnieją skalary λ1,,λnK oraz wektory v1,,vnA takie, że v=λ1v1+...+λnvn. Zatem w=f(v)=λ1f(v1)+...+λnf(vn)linf(A).

Monomorfizmy. epimorfizmy, izomorfizmy

Definicja 3.1 [Monomorfizm]

Niech f będzie odwzorowaniem liniowym Odwzorowanie f nazywa się monomorfizmem, jeśli jest różnowartościowe. Odwzorowanie f 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 f:VW będzie odwzorowaniem liniowym. Odwzorowanie to jest monomorfizmem wtedy i tylko wtedy, gdy kerf={0}.

Dowód

Oczywiście 0kerf. Niech f będzie monomorfizmem. Jeśli v0, to f(v)f(0)=0. Oznacza to, że jedynym elementem zbioru kerf jest wektor zerowy. Odwrotnie, jeśli kerf składa się tylko z elementu zerowego i f(v)=f(u), to f(vu)=f(v)f(u)=0, a więc uvkerf. Ponieważ kerf={0}, więc u=v. Zatem f jest różnowartościowe.

Kolejne twierdzenie zawiera pewną charakteryzację monomorfizmów, epimorfizmów i izomorfizmów.

Twierdzenie 3.3

Niech f:VW będzie odwzorowaniem liniowym.

  1. Jeżeli f jest monomorfizmem, to f przekształca każdy zbiór liniowo niezależny na zbiór liniowo niezależny.
  2. Jeżeli f przekształca injektywnie pewną bazę przestrzeni V na zbiór liniowo niezależny, to f jest monomorfizmem.
  3. Jeżeli f jest epimorfizmem, to f przekształca każdy zbiór generujący V na zbiór generujący przestrzeń W.
  4. Jeżeli f przekształca pewien zbiór generujący V na zbiór generujący W, to f jest epimorfizmem.
  5. Jeżeli f jest izomorfizmem, to przekształca każdą bazę przestrzeni V na bazę przestrzeni W.
  6. Jeżeli f przekształca injektywnie pewną bazę przestrzeni V na bazę przestrzeni W, to f jest izomorfizmem.

Dowód

Rozważmy implikację 1.

Niech B będzie zbiorem liniowo niezależnym w V. Niech w1,,wn będą różnymi między sobą wektorami z f(B) takimi, że λ1w1+...+λnwn=0. Istnieją v1,,vnB (różne między sobą, bo f jest injekcją) takie, że w1=f(v1),,wn=f(vn). Mamy równości: f(λ1v1+...+λnvn)=λ1f(v1)+...+λnf(vn)=0. Ponieważ f jest monomorfizmem, więc λ1v1+...+λnvn=0. Wobec tego, ponieważ v1,,vn są liniowo niezależne, wszystkie λi, dla i=1,,n, są równe zeru.

Dla dowodu drugiej implikacji, załóżmy, że B jest bazą przestrzeni V, przekształconą injektywnie na zbiór liniowo niezależny. Niech f(v)=0. Istnieją skalary λ1,,λn𝕂 oraz wektory v1,,vnB takie, że v=λ1v1+...+λnvn. Mamy więc równość: 0=λ1f(v1)+...+λn(vn). Ponieważ f jest injekcją na bazie, więc wektory f(v1),,f(vn) są różne między sobą. A zatem f(v1),,f(vn) jest skończonym podzbiorem f(B). Jest liniowo niezależny, a więc wszystkie skalary λ1,\ldots,λn są równe 0 i, w konsekwencji, v=0.

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 e1,,en przestrzeni V układ f(e1),,f(en) 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 V,W będą przestrzeniami skończenie wymiarowymi tego samego wymiaru. Niech f:VW będzie odwzorowaniem liniowym. Następujące warunki są równoważne

  1. f jest monomorfizmem.
  2. f jest epimorfizmem.
  3. f jest izomorfizmem.

Z twierdzenia (3.3) wynika także

Wniosek 3.5

Jeżeli f:VW jest izomorfizmem liniowym i przestrzeń V jest skończenie wymiarowa, to W jest też skończenie wymiarowa oraz dimV=dimW.

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 f:VW będzie odwzorowaniem liniowym. Jeżeli V jest skończenie wymiarowa, to


rkf+dimkerf=dimV.


Dowód

Jeżeli kerf=V lub kerf={0}, twierdzenie jest trywialne. Załóżmy, że kerfV i kerf{0}. Niech e1,,ek będzie bazą kerf. Rozszerzmy tę bazę do bazy całej przestrzeni V. Niech e1,,ek,ek+1,,en będzie bazą rozszerzoną. Twierdzimy, że wektory f(ek+1),,f(en) stanowią bazę przestrzeni imf.

Sprawdźmy najpierw, że wektory te generują przestrzeń imf. Jeśli wimf, to istnieje vV taki, że f(v)=w. Wektor v da się przedstawić jako kombinacja liniowa wektorów bazy e1,,en, tzn. v=λ1e1+...+λnen. Zatem


w=f(v)=λ10+...+λk0+λk+1f(ek+1)+...+λnf(en).


Aby sprawdzić liniową niezależność tych wektorów, załóżmy, że


λk+1f(ek+1)+...+λnf(en)=0


dla pewnych skalarów λk+1,...λn. Wtedy f(λk+1ek+1+...+λnen)=0, czyli λk+1ek+1+...+λnenkerf. Wobec tego istnieją skalary λ1,,λk takie, że


λk+1ek+1+...+λnen=λ1e1+...+λkek.


Ponieważ układ wektorów e1,,ek,ek+1,,en jest liniowo niezależny, wszystkie skalary w powyższej równości, w szczególności skalary λk+1,,λn, są równe 0.

Z Twierdzenia 2.7 otrzymujemy natychmiast

Wniosek 4.2

Niech V i W będą skończenie wymiarowe. Dla odwzorowania liniowego f:VW jego rząd spełnia nierówność


rkfmin{dimV,dimW}.


Przestrzeń dualna

Przypomnijmy sobie Przykład 7. z Wykładu 2. Wiemy z niego, że ogół odwzorowań prowadzących z niepustego zbioru V do przestrzeni wektorowej W jest przestrzenią wektorową z działaniami wprowadzonymi w Przykładzie 7. Przypomnijmy, że


(f+h)(v)=f(v)+h(v),


(λf)(v)=λ(f(v))


dla f,hWV, vV i λ𝕂. Niech V,W będą, jak w całym tym wykładzie, przestrzeniami wektorowymi nad jednym ciałem 𝕂 i f,h:VW - 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 V do W stanowi podprzestrzeń wektorową przestrzeni WV.

Rozważmy sytuację szczególną. Za W weźmy ciało 𝕂. Przestrzeń odwzorowań liniowych prowadzących z V do 𝕂 oznaczmy przez V*. Przestrzeń tę nazywamy przestrzenią dualną do V. A zatem


V*={α:V𝕂 | α  liniowe}.


Załóżmy teraz, że przestrzeń V jest skończenie wymiarowa i ma wymiar n. Niech e1,,en będzie bazą tej przestrzeni. Zdefiniujemy ciąg e1*,,en* elementów przestrzeni V* następująco. Pamiętając o tym, że odwzorowanie liniowe możemy zadać na bazie, określamy


ei*(ej)=δij,      (5.2)


gdzie δij jest tzw. deltą Kroneckera. Symbol ten zdefiniowany jest następująco: δij=0 dla ij oraz δij=1 dla i=j.

Udowodnimy teraz

Twierdzenie 5.1

Ciąg e1*,,en* jest bazą przestrzeni V*.

Dowód

Układ e1*,,en* jest liniowo niezależny. Istotnie, niech


λ1e1*+...+λnen*=0.      (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 vV mamy α(v)=0. W szczególności dla każdego wektora ei bazy e1,,en mamy α(ei)=0. Wstawiając do obu stron równości (5.3) kolejne wektory bazy e1,,en stwierdzamy, że λ1,\ldots, λn są równe zeru.

Aby stwierdzić że e1*,,en* stanowię zbiór generatorów przestrzeni V* wystarczy sprawdzić, że dla każdego αV* mamy


α=α(e1)e1*+...+α(en)en*.      (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 e1,,en.

Formuła (5.4) jest sama w sobie ważna i bardzo pożyteczna.

Zauważmy jeszcze, że jeśli f:VW jest liniowe, to

definiując odwzorowanie

f*:W*V*

formułą


f*(α)=αf,


otrzymujemy odwzorowanie liniowe. Sprawdzenie zostawiamy czytelnikowi. Odwzorowanie to nazywamy odwzorowaniem dualnym (lub transponowanym) do f.

Korzystając bezpośrednio z definicji odwzorowania dualnego, łatwo sprawdzić następujący fakt

Twierdzenie 5.2

Niech f:VW,h:WZ będą odwzorowaniami liniowymi. Zachodzi równość odwzorowań


(hf)*=f*h*.