diff options
Diffstat (limited to 'šola')
-rw-r--r-- | šola/la/teor.lyx | 8825 |
1 files changed, 8778 insertions, 47 deletions
diff --git a/šola/la/teor.lyx b/šola/la/teor.lyx index ea3069a..fcb46f9 100644 --- a/šola/la/teor.lyx +++ b/šola/la/teor.lyx @@ -161,6 +161,15 @@ Povzeto po zapiskih s predavanj prof. Cimpriča. \end_layout +\begin_layout Standard +\begin_inset CommandInset toc +LatexCommand tableofcontents + +\end_inset + + +\end_layout + \begin_layout Part Teorija \end_layout @@ -2207,7 +2216,7 @@ Sistem je homogen, če je vektor desnih strani ničeln. \end_layout -\begin_layout Claim* +\begin_layout Standard Vedno ima rešitev \begin_inset Formula $\vec{0}$ \end_inset @@ -3817,7 +3826,7 @@ Dokazujemo ekvivalenco. \begin_inset Formula $\left(1\Rightarrow2\right)$ \end_inset - Že dokazano zgoraj. + Sledi iz definicije. \end_layout \begin_layout Labeling @@ -3825,7 +3834,7 @@ Dokazujemo ekvivalenco. \begin_inset Formula $\left(1\Rightarrow3\right)$ \end_inset - Že dokazano zgoraj. + Sledi iz definicije. \end_layout \begin_layout Labeling @@ -4352,7 +4361,9 @@ status open \begin_layout Plain Layout (tegale ne razumem zares dobro, - niti med predavanji nismo dokazali) + niti med predavanji nismo dokazali) mogoče čim ima stopnico, + daljšo od 1, + ima ničelno vrstico? \end_layout \end_inset @@ -4645,16 +4656,19 @@ To si lahko zapomnimo s Saurusovim pravilom. \begin_layout Example* Vektorski produkt. - -\begin_inset Formula $\left\langle \left(x,y,z\right),\left(a_{21},a_{22},a_{23}\right)\times\left(a_{31},a_{32},a_{33}\right)\right\rangle =\det\left[\begin{array}{ccc} + Velja: +\begin_inset Formula +\[ +\left\langle \left(x,y,z\right),\left(a_{21},a_{22},a_{23}\right)\times\left(a_{31},a_{32},a_{33}\right)\right\rangle =\det\left[\begin{array}{ccc} x & y & z\\ a_{21} & a_{22} & a_{23}\\ a_{31} & a_{32} & a_{33} -\end{array}\right]$ +\end{array}\right], +\] + \end_inset -. - Torej je +torej je \begin_inset Formula $\left[\left(a_{11},a_{12},a_{13}\right),\left(a_{21},a_{22},a_{23}\right),\left(a_{31},a_{32},a_{33}\right)\right]$ \end_inset @@ -4969,9 +4983,14 @@ Obravnavajmo še splošen primer: \end_inset +\begin_inset Formula $\det B$ +\end_inset + + zapišimo na dva načina ne levo in desno stran enačbe. + \begin_inset Formula \[ -\cancel{\det E_{n}}\cdots\cancel{\det E_{1}}\det AB=\det B=\cancel{\det E_{n}}\cdots\cancel{\det E_{1}}\det A\det B +\cancel{\det E_{n}}\cdots\cancel{\det E_{1}}\det AB=\cancel{\det E_{n}}\cdots\cancel{\det E_{1}}\det A\det B \] \end_inset @@ -6368,14 +6387,62 @@ Nekaj abelovih grup: . Nekaj neabelovih grup: -\begin_inset Formula $\left(\text{vse obrnljive matrike fiksne dimenzije},\cdot\right)$ -\end_inset - +\family roman +\series medium +\shape up +\size normal +\emph off +\nospellcheck off +\bar no +\strikeout off +\xout off +\uuline off +\uwave off +\noun off +\color none +vse obrnljive matrike fiksne dimenzije +\family default +\series default +\shape default +\size default +\emph default +\nospellcheck default +\bar default +\strikeout default +\xout default +\uuline default +\uwave default +\noun default +\color inherit , -\begin_inset Formula $\left(\text{vse permutacije neprazne končne množice},\circ\right)$ -\end_inset - +\family roman +\series medium +\shape up +\size normal +\emph off +\nospellcheck off +\bar no +\strikeout off +\xout off +\uuline off +\uwave off +\noun off +\color none +vse permutacije neprazne končne množice +\family default +\series default +\shape default +\size default +\emph default +\nospellcheck default +\bar default +\strikeout default +\xout default +\uuline default +\uwave default +\noun default +\color inherit . \end_layout @@ -11963,8 +12030,7 @@ mapsto \backslash left[ \backslash -begin{array}{ccc} -Le_{1} & +begin{array}{ccc}Le_{1} & \backslash cdots & Le_{n} \backslash @@ -12004,8 +12070,7 @@ udensdash{$ \backslash left[ \backslash -begin{array}{ccc} -L_{A}e_{1} & +begin{array}{ccc}L_{A}e_{1} & \backslash cdots & L_{A}e_{n} \backslash @@ -13706,7 +13771,7 @@ Kvadratni matriki \begin_inset Formula $P\ni:B=PAP^{-1}$ \end_inset -.ž +. \end_layout \begin_layout Claim* @@ -15135,7 +15200,14 @@ Algebraično večkratnost . \end_layout -\begin_layout Claim* +\begin_layout Claim +\begin_inset CommandInset label +LatexCommand label +name "claim:geom<=alg" + +\end_inset + + \begin_inset Formula $\forall i\in\left\{ 1..k\right\} :m_{i}\leq n_{i}$ \end_inset @@ -15202,7 +15274,7 @@ v_{1} & \cdots & v_{m_{i}} & v_{m_{i}+1} & \cdots & v_{n}\end{array}\right]$ ki je obrnljiva. \begin_inset Formula \[ -P^{-1}AP=\cdots=\left[\begin{array}{cc} +P^{-1}AP=\left[\begin{array}{cc} \lambda_{i}I_{m_{i}} & B\\ 0 & C \end{array}\right] @@ -15210,13 +15282,35 @@ P^{-1}AP=\cdots=\left[\begin{array}{cc} \end_inset +Ker je karakteristični polinom neodvisen od izbire baze, + velja +\begin_inset Formula +\[ +\det\left(A-xI_{n}\right)=\det\left(\lambda_{i}I_{m_{i}}-xI\right)\det\left(C-xI_{n-m_{i}}\right)=\left(\lambda_{i}-x\right)^{m_{i}}\det\left(C-xI_{n-m_{i}}\right) +\] -\series bold -Dokaza ne razumem. - Obupam. +\end_inset + +Ker +\begin_inset Formula $\left(\lambda-x\right)^{m_{i}}$ +\end_inset + + deli karakteristični polinom, + je algebraična večkratnost +\begin_inset Formula $\lambda_{i}$ +\end_inset + + vsaj tolikšna, + kot je geometrična. \end_layout -\begin_layout Claim* +\begin_layout Claim +\begin_inset CommandInset label +LatexCommand label +name "claim:mi=ni=>diag" + +\end_inset + Matriko s paroma različnimi lastnimi vrednostmi \begin_inset Formula $\lambda_{1},\dots,\lambda_{k}$ \end_inset @@ -15854,36 +15948,42 @@ Glede na definicijo \end_inset , - kajti vsebuje determinante matrik, - katerih elementi so polinomi stopnje -\begin_inset Formula $\leq1$ + kajti vsebuje determinante kofaktorskih matrik, + torej je takele oblike ( +\begin_inset Formula $\forall i\in\left\{ 1..\left(n-1\right)\right\} :B_{i}\in M_{n}\left(\mathbb{C}\right)$ \end_inset -, - torej takele oblike: -\begin_inset Formula -\[ -\tilde{\left(A-xI\right)}^{T}=B_{0}+B_{1}x+\cdots+B_{n-1}x^{n-1} -\] - -\end_inset - - +): \begin_inset Foot status open \begin_layout Plain Layout -Ne razumem, - zakaj so tu matrike -\begin_inset Formula $B$ +To si predstavljamo tako, + da iz vsake celice matrike, + ki vsebuje polinom, + izpostavimo (homogenost) spremenljivko (torej +\begin_inset Formula $x$ +\end_inset + + na fiksno potenco) in nato koeficiente v celicah pred to spremenljivvko zložimo v eno matriko. + Slednje ponovimo za vsako potenco in dobimo te matrike +\begin_inset Formula $B_{i}$ \end_inset - in ne skalarji. +. \end_layout \end_inset +\begin_inset Formula +\[ +\tilde{\left(A-xI\right)}^{T}=B_{0}+B_{1}x+\cdots+B_{n-1}x^{n-1} +\] + +\end_inset + + \end_layout \begin_layout Proof @@ -16051,18 +16151,8649 @@ Dokazujemo ekvivalenco: \end_inset . - NADALJUJ TULE AAAA + Oglejmo si izraz +\begin_inset Formula +\[ +\left(D-\lambda_{1}I\right)\cdots\left(D-\lambda_{k}I\right)=\left[\begin{array}{cccc} +0 & & & 0\\ + & \lambda_{2}-\lambda_{1}\\ + & & \ddots\\ +0 & & & \lambda_{k}-\lambda_{1} +\end{array}\right]\cdots\left[\begin{array}{cccc} +\lambda_{1}-\lambda_{k} & & & 0\\ + & \ddots\\ + & & \lambda_{k-1}-\lambda_{k}\\ +0 & & & 0 +\end{array}\right]=0 +\] + +\end_inset + +Sedaj pa še izraz +\begin_inset Formula +\[ +\left(A-\lambda_{1}I\right)\cdots\left(A-\lambda_{k}I\right)=\left(PDP^{-1}-\lambda_{1}I\right)\cdots\left(PDP^{-1}-\lambda_{k}I\right)=\left(PDP^{-1}-\lambda_{1}PP^{-1}\right)\cdots\left(PDP^{-1}-\lambda_{k}PP^{-1}\right)= +\] + +\end_inset + + +\begin_inset Formula +\[ +=P\left(D-\lambda_{1}I\right)\cancel{P^{-1}}\cdots\cancel{P}\left(D-\lambda_{k}I\right)P^{-1}=P\left(D-\lambda_{1}I\right)\cdots\left(D-\lambda_{k}I\right)P^{-1}=P0P^{-1}=0, +\] + +\end_inset + +torej ta polinom anhilira +\begin_inset Formula $A$ +\end_inset + +. + Ker deli +\begin_inset Formula $m_{A}\left(x\right)$ +\end_inset + + — + vsebuje vse ničle +\begin_inset Formula $m_{A}\left(x\right)$ +\end_inset + +, + je prav to minimalen polinom +\begin_inset Formula $A$ +\end_inset + + — + ima najmanjšo stopnjo možno. +\end_layout + +\begin_layout Labeling +\labelwidthstring 00.00.0000 +\begin_inset Formula $\left(\Leftarrow\right)$ +\end_inset + + Potrebujemo nekaj lem: +\begin_inset CommandInset counter +LatexCommand set +counter "theorem" +value "0" +lyxonly "false" + +\end_inset + + +\end_layout + +\begin_deeper +\begin_layout Lemma +Za vse matrike +\begin_inset Formula $A,B$ +\end_inset + + velja +\begin_inset Formula $\n\left(AB\right)\leq\n\left(A\right)+\n\left(B\right)\sim\dim\Ker\left(AB\right)\leq\dim\Ker\left(A\right)+\dim\Ker\left(B\right)$ +\end_inset + +. +\end_layout + +\begin_layout Proof +Oglejmo si preslikavo +\begin_inset Formula $L:\Ker AB\to\Ker A$ +\end_inset + +, + ki slika +\begin_inset Formula $x\mapsto Bx$ +\end_inset + +. + Je dobro definirana, + kajti +\begin_inset Formula $x\in\Ker AB\Rightarrow ABx=0\Rightarrow Bx\in\Ker A$ +\end_inset + +. + Po osnovnem dimenzijskem izreku za preslikavo +\begin_inset Formula $L$ +\end_inset + + velja +\begin_inset Formula $\dim\Ker L+\dim\Slika L=\dim\Ker AB$ +\end_inset + +. + Ker velja +\begin_inset Formula $Lx=0\Rightarrow Bx=0$ +\end_inset + +, + velja +\begin_inset Formula $\Ker L\subseteq\Ker B$ +\end_inset + + in zato +\begin_inset Formula $\dim\Ker L\leq\dim\Ker B$ +\end_inset + +. + Poleg tega iz definicije velja +\begin_inset Formula $\Slika L\subseteq\Ker A$ +\end_inset + + in zato +\begin_inset Formula $\dim\Slika L\leq\dim\Ker A$ +\end_inset + +. + Vstavimo te neenakosti v enačbo iz dimenzijskega izreka: +\begin_inset Formula +\[ +\dim\Ker L+\dim\Slika L=\dim\Ker AB +\] + +\end_inset + + +\begin_inset Formula +\[ +\dim\Ker B+\dim\Ker A\geq\dim\Ker AB +\] + +\end_inset + +Lemo lahko posplošimo na več faktorkev, + torej +\begin_inset Formula $\n\left(A_{1}\cdots A_{k}\right)\leq\n A_{1}+\cdots+\n A_{k}$ +\end_inset + +. +\end_layout + +\begin_layout Standard +Nadaljujmo z dokazom +\begin_inset Formula $\left(\Leftarrow\right)$ +\end_inset + +. + Denimo, + da +\begin_inset Formula $\left(x-\lambda_{1}\right)\cdots\left(x-\lambda_{k}\right)$ +\end_inset + + anhilira +\begin_inset Formula $A$ +\end_inset + +. + Upoštevamo +\begin_inset Formula +\[ +\n\left(\left(A-\lambda_{1}\right)\cdots\left(A-\lambda_{k}\right)\right)\leq\n\left(A-\lambda_{1}\right)+\cdots+\n\left(A-\lambda_{k}\right) +\] + +\end_inset + +Členi na desni strani so geometrijske večkratnosti, + ker pa +\begin_inset Formula $A$ +\end_inset + + anhilira polinom po predpostavki, + je ta produkt ničelna preslikava in je dimenzija jedra dimenzija celega prostora. +\begin_inset Formula +\[ +\n\left(0\right)=n=n_{1}+\cdots+n_{k}\leq m_{1}+\cdots+m_{k} +\] + +\end_inset + +Ker +\begin_inset Formula $\forall i:m_{i}\leq n_{i}$ +\end_inset + + ( +\begin_inset CommandInset ref +LatexCommand vref +reference "claim:geom<=alg" +plural "false" +caps "false" +noprefix "false" +nolink "false" + +\end_inset + +), + velja v zgornji neenačbi enakost, + torej je matrika po +\begin_inset CommandInset ref +LatexCommand vref +reference "claim:mi=ni=>diag" +plural "false" +caps "false" +noprefix "false" +nolink "false" + +\end_inset + + diagonalizabilna. +\end_layout + +\end_deeper +\end_deeper +\begin_layout Subsubsection +Korenski podprostori +\end_layout + +\begin_layout Definition* +Naj bo +\begin_inset Formula $A\in M_{n}$ +\end_inset + + in +\begin_inset Formula $m_{A}\left(x\right)=\left(x-\lambda_{1}\right)^{r_{1}}\cdots\left(x-\lambda_{k}\right)^{r_{k}}$ +\end_inset + + njen minimalni polinom. + +\begin_inset Formula $\forall i\in\left\{ 1..k\right\} $ +\end_inset + + označimo z +\begin_inset Formula $W_{i}\coloneqq\Ker\left(A-\lambda_{i}I\right)^{r_{i}}$ +\end_inset + + korenski podprostor matrike +\begin_inset Formula $A$ +\end_inset + + za lastno vrednost +\begin_inset Formula $\lambda_{i}$ +\end_inset + +. + Vpeljimo še oznako +\begin_inset Formula $V_{i}\coloneqq\Ker\left(A-\lambda_{i}I\right)^{1}$ +\end_inset + + (tu potenca ni +\begin_inset Formula $r_{i}$ +\end_inset + +, + temveč je +\begin_inset Formula $1$ +\end_inset + +). +\end_layout + +\begin_layout Definition* +\begin_inset CommandInset counter +LatexCommand set +counter "theorem" +value "0" +lyxonly "false" + +\end_inset + + +\end_layout + +\begin_layout Fact +Očitno je +\begin_inset Formula $\Ker\left(A-\lambda_{i}I\right)\subseteq\Ker\left(A-\lambda_{i}\right)^{2}\subseteq\Ker\left(A-\lambda_{i}I\right)^{3}\subseteq\cdots$ +\end_inset + +, + kajti če +\begin_inset Formula $x\in\Ker\left(A-\lambda_{i}I\right)^{m}\Rightarrow\left(A-\lambda_{i}I\right)^{m}x=0\Rightarrow\left(A-\lambda_{i}I\right)\left(A-\lambda_{i}I\right)^{m}x=0\Rightarrow x\in\Ker\left(A-\lambda_{i}I\right)^{m+1}$ +\end_inset + +. + Izkaže se, + da so vse inkluzije do +\begin_inset Formula $r_{i}-te$ +\end_inset + + potence stroge, + od +\begin_inset Formula $r_{i}-$ +\end_inset + +te potence dalje pa so vse inkluzije enačaji, + torej za +\begin_inset Formula $W_{i}=\Ker\left(A-\lambda_{i}I\right)^{r_{i}}$ +\end_inset + + velja +\begin_inset Formula +\[ +\Ker\left(A-\lambda_{i}I\right)\subset\Ker\left(A-\lambda_{i}I\right)^{2}\subset\cdots\subset\Ker\left(A-\lambda_{i}I\right)^{r_{i}}=\Ker\left(A-\lambda_{i}I\right)^{r_{i}+1}=\cdots +\] + +\end_inset + +Poleg tega se izkaže, + da je +\begin_inset Formula $\dim W_{i}=n_{i}$ +\end_inset + + (algebraična večkratnost +\begin_inset Formula $\lambda_{i}$ +\end_inset + +). +\end_layout + +\begin_layout Standard +\begin_inset Separator plain +\end_inset + + +\end_layout + +\begin_layout Fact +\begin_inset Formula $\dim V_{i}=\dim\Ker\left(A-\lambda_{i}I\right)=m_{1}$ +\end_inset + + (geometrijska večkratnost +\begin_inset Formula $\lambda_{i}$ +\end_inset + +). +\end_layout + +\begin_layout Claim +\begin_inset CommandInset label +LatexCommand label +name "claim:vsota-kor-podpr-je-vse" + +\end_inset + + +\begin_inset Formula $\mathbb{C}^{n}=W_{1}\oplus W_{2}\oplus\cdots\oplus W_{k}$ +\end_inset + + — + vsota vseh korenskih podprostorov je vse in ta vsota je direktna. + Tej vsoti pravimo \begin_inset Quotes gld \end_inset -LA1P FMF 2024-03-20 +korenski razcep matrike +\begin_inset Formula $A$ +\end_inset + + \begin_inset Quotes grd \end_inset - stran 2. +. +\end_layout + +\begin_layout Remark* +Dokazujmo: +\end_layout + +\begin_deeper +\begin_layout Itemize +\begin_inset Note Note +status open + +\begin_layout Plain Layout +\begin_inset Formula $V_{1}+\cdots+V_{k}$ +\end_inset + + je tudi direktna, + ampak ni nujno enaka +\begin_inset Formula $\mathbb{C}^{n}$ +\end_inset + +. + Velja +\begin_inset Formula $\mathbb{C}^{n}=V_{1}+\cdots+V_{k}\Leftrightarrow A$ +\end_inset + + se da diagonalizirati (povedano prej). + Dokažimo trditev +\begin_inset CommandInset ref +LatexCommand vref +reference "claim:vsota-kor-podpr-je-vse" +plural "false" +caps "false" +noprefix "false" +nolink "false" + +\end_inset + +. + Dokažimo najprej, + da če +\begin_inset Formula $w_{1}\in W_{1},\dots,w_{k}\in W_{k}$ +\end_inset + + zadoščajo +\begin_inset Formula $w_{1}+\cdots+w_{k}=0$ +\end_inset + +, + velja +\begin_inset Formula $w_{1}=\cdots=w_{k}=0$ +\end_inset + + (direktna). + Delajmo indukcijo po številu členov: +\end_layout + +\begin_layout Itemize +Baza: + +\begin_inset Formula $w_{1}=0\Rightarrow w_{1}=0$ +\end_inset + + je očitno. +\end_layout + +\begin_deeper +\begin_layout Itemize +Indukcijska predpostavka: + +\begin_inset Formula $w_{1}+\cdots+w_{i}=0\Rightarrow w_{1}=\cdots=w_{i}=0$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +Korak: + Naj bodo +\begin_inset Formula $w_{1},\dots,w_{i+1}$ +\end_inset + + taki, + da +\begin_inset Formula +\[ +w_{1}+\cdots+w_{i+1}=0\quad\quad\quad\quad/\cdot\left(A-\lambda_{i+1}I\right)^{r_{i+1}} +\] + +\end_inset + + +\begin_inset Formula +\[ +w_{1}'+\cdots+w_{i}'+0=0, +\] + +\end_inset + +kajti +\begin_inset Formula $w_{i+1}\in\Ker\left(A-\lambda_{i+1}I\right)^{r_{i+1}}$ +\end_inset + +. + Ker je vsak korenski prostor +\begin_inset Formula $W_{j}$ +\end_inset + + invarianten za +\begin_inset Formula $\left(A-\lambda_{i+1}I\right)^{r_{i+1}}$ +\end_inset + +, + ... + Tega dokaza ne najdem, + zato +\series bold +tega dokaza ne razumem +\series default +. + Po definiciji je +\begin_inset Formula $V$ +\end_inset + + invarianten za +\begin_inset Formula $A$ +\end_inset + +, + če za vsak +\begin_inset Formula $v\in V$ +\end_inset + + velja +\begin_inset Formula $Av\in V$ +\end_inset + +. +\end_layout + +\end_deeper +\begin_layout Plain Layout +\begin_inset Separator plain +\end_inset + + +\end_layout + +\begin_layout Plain Layout +Nadaljuj +\begin_inset Quotes gld +\end_inset + +LA1P FMF 2024-03-20.pdf +\begin_inset Quotes grd +\end_inset + + na strani 3. +\end_layout + +\end_inset + +Če predpostavimo, + da je vsota direktna, + je lahko dokazati, + da je vsota cel prostor. + V karakteristični polinom, + ki po Cayley-Hamiltonu anhilira +\begin_inset Formula $A$ +\end_inset + +, + vstavimo +\begin_inset Formula $A$ +\end_inset + + in dobimo +\begin_inset Formula $0=\left(-1\right)^{n}\left(A-\lambda_{1}I\right)^{r_{1}}\cdots\left(A-\lambda_{k}I\right)^{r_{k}}=A_{1}\cdots A_{k}$ +\end_inset + +. + Ker je vsota direktna, + velja +\begin_inset Formula $\n\left(A_{1}\cdots A_{n}\right)=\n\left(0\right)=n=\n A_{1}\cdots\n A_{k}=\dim\left(W_{1}+\cdots+W_{k}\right)$ +\end_inset + +, + torej +\begin_inset Formula $W_{1}+\cdots+W_{k}=\mathbb{C}^{n}$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +Če predpostavimo, + da je +\begin_inset Formula $W_{i}\cap W_{j}=\left\{ 0\right\} $ +\end_inset + + za +\begin_inset Formula $i\not=j$ +\end_inset + +, + lahko od tod izpeljemo direktnost vsote korenskih podprostorov. + Dokaz z indukcijo: +\end_layout + +\begin_deeper +\begin_layout Itemize +Baza: + +\begin_inset Formula $W_{1}$ +\end_inset + + je direktna vsota. + Očitno ( +\begin_inset Formula $\forall w_{1}\in W_{1}:w_{1}=0\Rightarrow w_{1}=0$ +\end_inset + +). +\end_layout + +\begin_layout Itemize +Indukcijska predpostavka: + +\begin_inset Formula $w_{1}+\cdots+w_{i}=0\Rightarrow w_{1}=\cdots=w_{i}=0$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +Korak: + Naj bodo +\begin_inset Formula $w_{1},\dots,w_{i+1}$ +\end_inset + + taki, + da +\begin_inset Formula +\[ +w_{1}+\cdots+w_{i+1}=0\quad\quad\quad\quad/\cdot\left(A-\lambda_{i+1}I\right)^{r_{i+1}} +\] + +\end_inset + + +\begin_inset Formula +\[ +\left(A-\lambda_{i+1}I\right)^{r_{i+1}}w_{1}+\cdots+\left(A-\lambda_{i+1}I\right)^{r_{i+1}}w_{i}+0=0 +\] + +\end_inset + +Ker +\begin_inset Formula $\left(A-\lambda_{h}I\right)^{r_{h}}$ +\end_inset + + in +\begin_inset Formula $\left(A-\lambda_{k}I\right)^{r_{k}}$ +\end_inset + + za vsaka +\begin_inset Formula $h,k$ +\end_inset + + komutirata (gre namreč za polinom, + v katerega je vstavljen +\begin_inset Formula $A$ +\end_inset + +), + velja za vsak +\begin_inset Formula $j$ +\end_inset + + iz +\begin_inset Formula $\left(A-\lambda_{j}I\right)^{r_{j}}w_{j}=0=\left(A-\lambda_{i+1}I\right)^{r_{i+1}}\left(A-\lambda_{j}I\right)^{r_{j}}w_{j}$ +\end_inset + + tudi +\begin_inset Formula +\[ +\left(A-\lambda_{j}I\right)^{r_{j}}\left(A-\lambda_{i+1}I\right)^{r_{i+1}}w_{j}=0 +\] + +\end_inset + +Ker je po I. + P. + +\begin_inset Formula $W_{1}+\cdots+W_{i}$ +\end_inset + + direktna, + velja za vsak +\begin_inset Formula $j$ +\end_inset + + +\begin_inset Formula $w_{j}\in W_{j}$ +\end_inset + +, + toda zaradi našega množenja tudi +\begin_inset Formula $w_{j}\in W_{i+1}$ +\end_inset + +. + Zaradi predpostavke +\begin_inset Formula $m=n\Rightarrow W_{m}\cup W_{n}=\left\{ 0\right\} $ +\end_inset + + velja za vsak +\begin_inset Formula $j\in\left\{ 1..i\right\} :$ +\end_inset + + +\begin_inset Formula $w_{j}=0$ +\end_inset + +. + V prvi enačbi ostane le še +\begin_inset Formula $w_{i+1}=0$ +\end_inset + +. +\end_layout + +\end_deeper +\begin_layout Itemize +Dokazati je treba še +\begin_inset Formula $i\not=j\Rightarrow W_{i}\cup W_{j}=\left\{ 0\right\} $ +\end_inset + +. + Dokažimo, + da je +\begin_inset Formula $W_{i}$ +\end_inset + + invarianten za +\begin_inset Formula $A$ +\end_inset + +, + t. + j. + +\begin_inset Formula $v\in W_{i}\Rightarrow Av\in W_{i}$ +\end_inset + +. + Če je +\begin_inset Formula $v\in W_{i}$ +\end_inset + +, + tedaj +\begin_inset Formula +\[ +\left(A-\lambda_{i}I\right)^{r_{i}}v=0\quad\quad\quad\quad/\cdot A +\] + +\end_inset + + +\begin_inset Formula +\[ +A\left(A-\lambda_{i}I\right)^{r_{i}}v=0 +\] + +\end_inset + + +\begin_inset Formula +\[ +Av\in\Ker\left(A-\lambda_{i}I\right)^{r_{i}} +\] + +\end_inset + + +\begin_inset Formula +\[ +Av\in W_{i} +\] + +\end_inset + +Ker so vsi +\begin_inset Formula $W_{i}$ +\end_inset + + invariantni za +\begin_inset Formula $A$ +\end_inset + +, + so tudi njihovi preseki invariantni za +\begin_inset Formula $A$ +\end_inset + +. + Definirajmo torej linearno preslikavo +\begin_inset Formula $L:W_{i}\cap W_{j}\to W_{i}\cap W_{j}$ +\end_inset + + s predpisom +\begin_inset Formula $v\mapsto Av$ +\end_inset + +. + Vemo, + da ima +\begin_inset Formula $L$ +\end_inset + + vsaj eno lastno vrednost +\begin_inset Formula $\lambda$ +\end_inset + + in pripadajoči lastni vektor +\begin_inset Formula $w$ +\end_inset + +. + Torej +\begin_inset Formula $w\in W_{i}\cap W_{j}$ +\end_inset + + in +\begin_inset Formula $Lw=\lambda w$ +\end_inset + +, + toda +\begin_inset Formula $Lw=Aw=\lambda w$ +\end_inset + +. + Ker velja +\begin_inset Formula $Av=\lambda v\Rightarrow A^{q}v=\lambda^{q}v\Rightarrow p\left(A\right)v=p\left(\lambda\right)v$ +\end_inset + + za vsak polinom +\begin_inset Formula $p$ +\end_inset + +, + velja +\begin_inset Formula $p\left(A\right)w=p\left(\lambda\right)w$ +\end_inset + + za vsak polinom +\begin_inset Formula $p$ +\end_inset + +. + Uporabimo polinom +\begin_inset Formula $p\left(x\right)=\left(x-\lambda_{i}\right)^{r_{i}}$ +\end_inset + + in dobimo +\begin_inset Formula $\left(A-\lambda_{i}\right)^{r_{i}}w=\left(\lambda-\lambda_{i}\right)^{r_{i}}w$ +\end_inset + +. + Leva stran enačbe je 0, + PDDRAA +\begin_inset Formula $w$ +\end_inset + + ni 0, + torej +\begin_inset Formula $\left(\lambda-\lambda_{i}\right)^{r_{i}}=0$ +\end_inset + +, + torej +\begin_inset Formula $\lambda=\lambda_{i}$ +\end_inset + +. + Vendar lahko namesto tistega polimoma uporabimo polinom +\begin_inset Formula $p\left(x\right)=\left(x-\lambda_{j}\right)^{r_{j}}$ +\end_inset + +, + kar pokaže +\begin_inset Formula $\lambda=\lambda_{j}$ +\end_inset + +, + torej +\begin_inset Formula $\lambda_{j}=\lambda_{i}$ +\end_inset + +, + kar je v +\begin_inset Formula $\rightarrow\!\leftarrow$ +\end_inset + + s tem, + da so lastne vrednosti +\begin_inset Formula $\lambda_{1},\dots,\lambda_{k}$ +\end_inset + + paroma različne. + Torej +\begin_inset Formula $w=0$ +\end_inset + +. +\end_layout + +\end_deeper +\begin_layout Subsubsection +Jordanska kanonična forma +\end_layout + +\begin_layout Standard +Vsaka kvadratna matrika je podobna posebni zgornjetrikotni matriki, + ki ji pravimo JKF. + To je bločno diagonalna matrika, + ki ima za diagonalne bloke t. + i. + +\begin_inset Quotes gld +\end_inset + +jordanske kletke +\begin_inset Quotes grd +\end_inset + +, + to so matrike oblike: +\begin_inset Formula +\[ +\left[\begin{array}{ccccc} +\lambda & 1\\ + & \lambda & 1\\ + & & \ddots & \ddots\\ + & & & \lambda & 1\\ + & & & & \lambda +\end{array}\right]. +\] + +\end_inset + +Jordanska matrika je sestavljena iz jordanskih kletk po diagonali ( +\begin_inset Formula $J_{i}$ +\end_inset + + so jordanske kletke): +\begin_inset Formula +\[ +\left[\begin{array}{ccc} +J_{1} & & 0\\ + & \ddots\\ +0 & & J_{m} +\end{array}\right]. +\] + +\end_inset + +Običajno zahtevamo še, + da so JK, + ki imajo isto lastno vrednost, + skupaj, + ter da so JK padajoče urejene po lastni vrednosti od največje do najmanjše. +\end_layout + +\begin_layout Theorem* +Za vsako kvadratno kompleksno matriko +\begin_inset Formula $A\in M_{n\times n}\left(\mathbb{C}\right)$ +\end_inset + + obstaja taka jordanska matrika +\begin_inset Formula $J$ +\end_inset + + in taka obrnljiva matrika +\begin_inset Formula $P$ +\end_inset + +, + da velja +\begin_inset Formula $A=PJP^{-1}$ +\end_inset + +. + ZDB vsaka +\begin_inset Formula $A\in M_{n\times n}\left(\mathbb{C}\right)$ +\end_inset + + je podobna neki Jordanski matriki. +\end_layout + +\begin_layout Standard +Procesu iskanja jordanske matrike pravimo +\begin_inset Quotes gld +\end_inset + +jordanifikacija +\begin_inset Quotes grd +\end_inset + +. + Kako konstruiramo +\begin_inset Formula $J$ +\end_inset + + in +\begin_inset Formula $P$ +\end_inset + +? + Izračunamo lastne vrednosti in pripadajoče korenske podprostore. + +\end_layout + +\begin_layout Itemize +Naj bo +\begin_inset Formula $\lambda$ +\end_inset + + lastna vrednost +\begin_inset Formula $A$ +\end_inset + +. + Za preglednost pišimo +\begin_inset Formula $N\coloneqq A-\lambda I$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +Izračunamo lastne vektorje in lastni podprostor +\begin_inset Formula $\Ker N^{r}$ +\end_inset + + ter ga izrazimo z njegovo bazo, + recimo ji +\begin_inset Formula $B_{r}$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +Nato izberemo +\begin_inset Quotes gld +\end_inset + +pomožne baze +\begin_inset Quotes grd +\end_inset + + +\begin_inset Formula $\mathcal{B}_{1},\dots,\mathcal{B}_{r}$ +\end_inset + +, + ki pripadajo prostorom +\begin_inset Formula $\Ker N^{1},\dots,\Ker N^{r}$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +Pomožno bazo +\begin_inset Formula $\mathcal{B}_{r-1}$ +\end_inset + + dopolnimo do baze +\begin_inset Formula $\mathcal{B}_{r}$ +\end_inset + + z elementi +\begin_inset Formula $\mathcal{B}_{r}$ +\end_inset + + +\begin_inset Formula $u_{1},\dots,u_{k_{1}}$ +\end_inset + +. + Potem je +\begin_inset Formula $\mathcal{B}_{r-1}\cup$ +\end_inset + + +\begin_inset Formula $\left\{ u_{1},\dots,u_{k_{1}}\right\} $ +\end_inset + + +\begin_inset Quotes gld +\end_inset + +popravek pomožne baze +\begin_inset Formula $\mathcal{B}_{r}$ +\end_inset + + +\begin_inset Quotes grd +\end_inset + +. +\end_layout + +\begin_layout Itemize +Vektorje +\begin_inset Formula $\left\{ u_{1},\dots,u_{k_{1}}\right\} \in\Ker N^{r}$ +\end_inset + + pomnožimo z matriko +\begin_inset Formula $N$ +\end_inset + +, + dobljeni +\begin_inset Formula $Nu_{1},\dots,Nu_{k_{1}}$ +\end_inset + + ležijo v +\begin_inset Formula $\Ker N^{r-1}$ +\end_inset + +. + Množica +\begin_inset Formula $\mathcal{B}_{r-2}\cup\left\{ Nu_{1},\dots,Nu_{k_{1}}\right\} $ +\end_inset + + je linearno neodvisna. + Izberemo take +\begin_inset Formula $v_{1},\dots,v_{k_{2}}\in B_{r-1}$ +\end_inset + +, + ki dopolnijo LN +\begin_inset Formula $B_{r-2}\cup\left\{ Nu_{1},\dots,Nu_{2}\right\} $ +\end_inset + + do baze +\begin_inset Formula $\Ker N^{r-1}$ +\end_inset + +. + Potem je +\begin_inset Formula $\mathcal{B}_{r-2}\cup\left\{ Nu_{1},\dots,Nu_{k_{1}}\right\} \cup\left\{ v_{1},\dots,v_{k_{2}}\right\} $ +\end_inset + + popravek pomožne baze +\begin_inset Formula $\mathcal{B}_{r-1}$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +Izberemo take +\begin_inset Formula $w_{1},\dots,w_{k_{3}}\in\mathcal{B}_{r-2}$ +\end_inset + +, + ki +\begin_inset Formula $\mathcal{B}_{r-3}\cup\left\{ N^{2}u_{1},\dots,N^{2}u_{k_{1}}Nv_{1},\dots,Nv_{k_{2}}\right\} $ +\end_inset + + dopolnijo do baze +\begin_inset Formula $\Ker N^{r-2}$ +\end_inset + +. + Tedaj je +\begin_inset Formula $\mathcal{B}_{r-3}\cup\left\{ N^{2}u_{1},\cdots,N^{2}u_{k_{1}},Nv_{1},\dots,Nv_{k_{2}},w_{1},\dots,w_{k_{3}}\right\} $ +\end_inset + + popravek pomožne baze +\begin_inset Formula $B_{r-2}$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +Postopek ponavljamo, + dokler ne popravimo vseh možnih baz. +\end_layout + +\begin_layout Standard +Dobimo t. + i. + +\begin_inset Quotes gld +\end_inset + +jordanske verige +\begin_inset Quotes grd +\end_inset + +. + Ena jordanska veriga je +\begin_inset Formula $\left(u,Nu,N^{2}u,\dots,N^{x}u\right)$ +\end_inset + +, + torej preslikanje elementa +\begin_inset Formula $u$ +\end_inset + +, + ki začne kot dopolnitev baze korenskega podprostora +\begin_inset Formula $\Ker N^{x+1}$ +\end_inset + + in je na koncu +\begin_inset Formula $x-$ +\end_inset + +krat preslikan z +\begin_inset Formula $N$ +\end_inset + +, + torej konča v korenskem podprostoru +\begin_inset Formula $\Ker N$ +\end_inset + +. + Nekatere verige se začno v največjem korenskem podprostoru +\begin_inset Formula $\Ker N^{r}$ +\end_inset + +, + nekatere šele kasneje, + v +\begin_inset Formula $\Ker N^{1}$ +\end_inset + + ali pa +\begin_inset Formula $\Ker N^{2}$ +\end_inset + + ali pa +\begin_inset Formula $\Ker N^{3}$ +\end_inset + +. +\end_layout + +\begin_layout Standard +Imamo torej +\begin_inset Formula $k_{1}$ +\end_inset + + jordanskih verig dolžine +\begin_inset Formula $r$ +\end_inset + +, + +\begin_inset Formula $k_{2}$ +\end_inset + + jordanskih verig dolžine +\begin_inset Formula $r-1$ +\end_inset + +, + +\begin_inset Formula $k_{3}$ +\end_inset + + jordanskih verig dolžine +\begin_inset Formula $r-2$ +\end_inset + +, + ..., + +\begin_inset Formula $k_{r}$ +\end_inset + + jordanskih verig dolžine 1. + Skupaj je jordanskih verig +\begin_inset Formula $k_{1}+\cdots+k_{r}=\dim\Ker N$ +\end_inset + +. + Jordanskih verig za lastno vrednost +\begin_inset Formula $\lambda$ +\end_inset + + je torej toliko, + kot je njena geometrijska večkratnost. +\end_layout + +\begin_layout Standard +Vsaki jordanski verigi dolžine +\begin_inset Formula $k$ +\end_inset + + pripada ena jordanska kletka velikosti +\begin_inset Formula $k\times k$ +\end_inset + +. + +\begin_inset Formula $k-$ +\end_inset + +vektorjev iz verige zložimo v +\begin_inset Formula $P$ +\end_inset + + tako, + da je vektor z začetka verige (torej tisti iz popravljene baze večjega prostora) na levi strani v matriki. +\end_layout + +\begin_layout Example* +Poišči jordansko kanonično formo matrike +\begin_inset Formula +\[ +A=\left[\begin{array}{cccc} +0 & 1 & -1 & 2\\ +0 & 2 & 2 & 2\\ +0 & 0 & 2 & 0\\ +0 & 0 & 0 & 2 +\end{array}\right]. +\] + +\end_inset + + +\end_layout + +\begin_layout Example* +Najprej izračunamo karakteristični polinom: + +\begin_inset Formula $\det\left(A-\lambda I\right)=x\left(x-2\right)^{3}$ +\end_inset + +. + +\begin_inset Formula $\lambda_{1}=0$ +\end_inset + +, + +\begin_inset Formula $n_{1}=1$ +\end_inset + +, + +\begin_inset Formula $\lambda_{2}=2$ +\end_inset + +, + +\begin_inset Formula $n_{2}=3$ +\end_inset + +. + Lastni vektorji: + +\begin_inset Formula $\Ker\left(A-0I\right)=\Lin\left\{ \left(1,0,0,0\right)\right\} $ +\end_inset + +, + +\begin_inset Formula $\Ker\left(A-2I\right)=\Lin\left\{ \left(3,0,-2,2\right),\left(1,2,0,0\right)\right\} $ +\end_inset + +. + Če bi dobili 4 lastne vektorje, + bi lahko matriko diagonalizirali. + Tako je ne moremo. + Ker +\begin_inset Formula $n_{1}=1$ +\end_inset + +, + je +\begin_inset Formula $r_{1}$ +\end_inset + + največ +\begin_inset Formula $1$ +\end_inset + +, + torej +\begin_inset Formula $\Ker\left(A-0I\right)=\Ker\left(A-0I\right)^{2}=\cdots$ +\end_inset + +. + Izračunamo korenske podprostore +\end_layout + +\begin_deeper +\begin_layout Itemize +za lastno vrednost 0: + +\begin_inset Formula $\Ker\left(A-0I\right)=\Ker\left(A\right)=\Ker\left(A^{2}\right)$ +\end_inset + +. + Dobimo eno verigo +\begin_inset Formula $\left(\left(1,0,0,0\right)\right)$ +\end_inset + + dolžine +\begin_inset Formula $1$ +\end_inset + + za lastno vrednost +\begin_inset Formula $0$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +za lastno vrednost 2: + +\begin_inset Formula $\Ker\left(A-2I\right)^{2}=\Lin\left\{ \left(1,0,0,2\right),\left(-1,0,1,0\right),\left(1,2,0,0\right)\right\} $ +\end_inset + +, + +\begin_inset Formula $\Ker\left(A-2I\right)^{3}=\Ker\left(A-2I\right)^{2}$ +\end_inset + +. + Opazimo, + da je +\begin_inset Formula $\left(1,0,0,2\right)$ +\end_inset + + dopolnitev baze +\begin_inset Formula $\Ker\left(A-2I\right)$ +\end_inset + + do baze +\begin_inset Formula $\Ker\left(A-2I\right)^{2}$ +\end_inset + +. + Torej je +\begin_inset Formula $\left\{ \left(1,0,0,2\right)\right\} $ +\end_inset + + +\begin_inset Quotes gld +\end_inset + +popravljena baza +\begin_inset Quotes grd +\end_inset + + +\begin_inset Formula $N^{2}$ +\end_inset + +. + Preslikamo +\begin_inset Formula $\left(A-2I\right)\left(1,0,0,2\right)=\left(2,4,0,0\right)$ +\end_inset + +, + kar tvori verigo dolžine 2 +\begin_inset Formula $\left(\left(1,0,0,2\right),\left(2,4,0,0\right)\right)$ +\end_inset + +. + Edini linearno neodvisen od +\begin_inset Formula $\left(2,4,0,0\right)$ +\end_inset + + v +\begin_inset Formula $\mathcal{B}_{1}$ +\end_inset + + je +\begin_inset Formula $\left(3,0,-2,2\right)$ +\end_inset + +, + zato je slednji začetek zadnje tretje verige dolžine 1 +\begin_inset Formula $\left(\left(3,0,-2,2\right)\right)$ +\end_inset + +. +\end_layout + +\end_deeper +\begin_layout Example* +Tri verige, + ki jih dobimo, + so +\begin_inset Formula $\left(\left(1,0,0,0\right)\right)$ +\end_inset + + za lastno vrednost +\begin_inset Formula $0$ +\end_inset + + in +\begin_inset Formula $\left(\left(1,0,0,2\right),\left(2,4,0,0\right)\right)$ +\end_inset + + ter +\begin_inset Formula $\left(\left(3,0,-2,2\right)\right)$ +\end_inset + + obe za lastno vrednost 2. + Zložimo jih v matriko +\begin_inset Formula $P$ +\end_inset + +: +\begin_inset Formula +\[ +P=\left[\begin{array}{cccc} +1 & 1 & 2 & 3\\ +0 & 0 & 4 & 0\\ +0 & 0 & 0 & -2\\ +0 & 2 & 0 & 2 +\end{array}\right] +\] + +\end_inset + +V matriko +\begin_inset Formula $J$ +\end_inset + + pa zložimo kletke pripadajočih velikosti: +\begin_inset Formula +\[ +J=\left[\begin{array}{cccc} +0 & & & 0\\ + & 2 & 1\\ + & & 2\\ +0 & & & 2 +\end{array}\right] +\] + +\end_inset + + +\end_layout + +\begin_layout Example* +In velja +\begin_inset Formula $A=PJP^{-1}$ +\end_inset + + ( +\begin_inset Formula $P^{-1}$ +\end_inset + + izračunamo z Gaussom). +\end_layout + +\begin_layout Subsubsection +Funkcije matrik +\end_layout + +\begin_layout Standard +Če poznamo razcep +\begin_inset Formula $A=PJP^{-1}$ +\end_inset + +, + prevedemo računanje potenc +\begin_inset Formula $A$ +\end_inset + + na računanje potenc matrike +\begin_inset Formula $J$ +\end_inset + +, + kajti +\begin_inset Formula +\[ +A^{n}=\left(PJP^{-1}\right)\left(PJP^{-1}\right)\cdots\left(PJP^{-1}\right)=PJP^{-1}PJP^{-1}\cdots PJP^{-1}=PJ^{n}P^{-1}. +\] + +\end_inset + +Ker je +\begin_inset Formula $J$ +\end_inset + + bločno diagonalna matrika, + sestavljena iz jordanskih kletk, + se potenciranje +\begin_inset Formula $J$ +\end_inset + + prevede na potenciranje kletk, + kajti +\begin_inset Formula +\[ +J^{n}=\left[\begin{array}{ccc} +J_{1}^{n} & & 0\\ + & \ddots\\ +0 & & J_{m}^{n} +\end{array}\right]. +\] + +\end_inset + +Potenciranje jordanske kletke: +\begin_inset Formula +\[ +\left[\begin{array}{ccccc} +\lambda & 1 & & & 0\\ + & \lambda & 1\\ + & & \ddots & \ddots\\ + & & & \lambda & 1\\ +0 & & & & \lambda +\end{array}\right]^{n}=\left(\lambda I+\left[\begin{array}{ccc} +1 & & 0\\ + & \ddots\\ +0 & & 1 +\end{array}\right]\right)^{n}=\left(\lambda I+N\right)^{n}= +\] + +\end_inset + + +\begin_inset Formula +\[ +=\binom{n}{0}\left(\lambda I\right)^{n}N^{0}+\binom{n}{1}\left(\lambda N\right)^{n-1}N^{1}+\cdots+\binom{n}{n}\left(\lambda N\right)^{0}N^{n}=\binom{n}{0}\lambda^{n}+\binom{n}{1}\lambda^{n-1}N^{1}+\cdots+\binom{n}{n}N^{n} +\] + +\end_inset + +Poraja se vprašanje, + kako potencirati +\begin_inset Formula $N=\left[\begin{array}{ccccc} +0 & 1 & & & 0\\ + & \ddots & \ddots\\ + & & & \ddots\\ + & & & \ddots & 1\\ +0 & & & & 0 +\end{array}\right]$ +\end_inset + +. + Velja +\begin_inset Formula $N^{2}=\left[\begin{array}{ccccc} +0 & 0 & 1 & & 0\\ + & \ddots & \ddots & \ddots\\ + & & & \ddots & 1\\ + & & & \ddots & 0\\ +0 & & & & 0 +\end{array}\right]$ +\end_inset + + in tako dalje ( +\begin_inset Quotes gld +\end_inset + +diagonalo +\begin_inset Quotes grd +\end_inset + + enic pomikamo gor in desno). + Za +\begin_inset Formula $r\times r$ +\end_inset + + jordansko kletko, + kadar +\begin_inset Formula $n\geq r$ +\end_inset + + (sicer dobimo le prvih nekaj naddiagonal), + sledi +\begin_inset Formula +\[ +\left[\begin{array}{ccccc} +\lambda & 1 & & & 0\\ + & \lambda & 1\\ + & & \ddots & \ddots\\ + & & & \lambda & 1\\ +0 & & & & \lambda +\end{array}\right]^{n}=\left[\begin{array}{ccccc} +\lambda^{n} & n\lambda^{n-1} & \cdots & \binom{n}{r-2}\lambda^{n-r+2} & \binom{n}{r-1}\lambda^{n-r+1}\\ + & \lambda^{n} & n\lambda^{n-1} & \ddots & \binom{n}{r-2}\lambda^{n-r+2}\\ + & & \ddots & \ddots & \vdots\\ + & & & \lambda^{n} & n\lambda^{n-1}\\ +0 & & & & \lambda^{n} +\end{array}\right] +\] + +\end_inset + + +\end_layout + +\begin_layout Standard +Za računanje poljubne funkcije jordanske kletke pa velja predpis +\begin_inset Formula +\[ +f\left(\left[\begin{array}{ccccc} +\lambda & 1 & & & 0\\ + & \lambda & 1\\ + & & \ddots & \ddots\\ + & & & \lambda & 1\\ +0 & & & & \lambda +\end{array}\right]\right)=\left[\begin{array}{ccccc} +f\left(\lambda\right) & f'\left(\lambda\right) & \frac{f''\left(\lambda\right)}{2} & \cdots & \frac{f^{\left(k-1\right)\left(\lambda\right)}}{\left(k-1\right)!}\\ + & f\left(\lambda\right) & f'\left(\lambda\right) & \ddots & \cdots\\ + & & \ddots & \ddots & \frac{f''\left(\lambda\right)}{2}\\ + & & & f\left(\lambda\right) & f'\left(\lambda\right)\\ +0 & & & & f\left(\lambda\right) +\end{array}\right] +\] + +\end_inset + + +\end_layout + +\begin_layout Standard +In torej za računanje poljubne funkcije poljubne matrike +\begin_inset Formula $f\left(A\right)=f\left(PJP^{-1}\right)=Pf\left(J\right)P^{-1}$ +\end_inset + +. +\end_layout + +\begin_layout Subsection +Vektorski prostori s skalarnim produktom +\end_layout + +\begin_layout Definition* +Naj bo +\begin_inset Formula $V$ +\end_inset + + vektorski prostor nad poljem +\begin_inset Formula $\mathbb{R}$ +\end_inset + + nenujno končno razsežen. + Preslikavi +\begin_inset Formula $\left\langle \cdot,\cdot\right\rangle :V\times V\to\mathbb{R}$ +\end_inset + + pravimo skalarni produtkt, + če zadošča naslednjim lastnostim: +\end_layout + +\begin_deeper +\begin_layout Enumerate +pozitivna definitnost: + +\begin_inset Formula $\forall v\in V:v\not=0\Rightarrow\left\langle v,v\right\rangle >0$ +\end_inset + + +\end_layout + +\begin_layout Enumerate +simetričnost: + +\begin_inset Formula $\forall u,v\in V:\left\langle v,u\right\rangle =\left\langle u,v\right\rangle $ +\end_inset + + +\end_layout + +\begin_layout Enumerate +linearnost v prvem faktorju: + +\begin_inset Formula $\forall\alpha_{1},\alpha_{2}\in\mathbb{R},v_{1},v_{2}\in V:\left\langle \alpha_{1}v_{1}+\alpha_{2}v_{2},v\right\rangle =\alpha_{1}\left\langle v_{1},v\right\rangle +\alpha_{2}\left\langle v_{2},v\right\rangle $ +\end_inset + + +\end_layout + +\end_deeper +\begin_layout Corollary* +linearnost v drugem faktorju. + +\begin_inset Formula $\left\langle u,\beta_{1}v_{1}+\beta_{2}v_{2}\right\rangle =\left\langle \beta_{1}v_{1}+\beta_{2}v_{2},v\right\rangle =\beta_{1}\left\langle v_{1},v\right\rangle +\beta_{2}\left\langle v_{2},v\right\rangle =\beta_{1}\left\langle v,v_{1}\right\rangle +\beta_{2}\left\langle v,v_{2}\right\rangle $ +\end_inset + +. +\end_layout + +\begin_layout Standard +\begin_inset Separator plain +\end_inset + + +\end_layout + +\begin_layout Corollary* +Skalarni produkt z 0: + +\begin_inset Formula $\left\langle 0,v\right\rangle =\left\langle 0\cdot v+0\cdot v,v\right\rangle =0\left\langle v,v\right\rangle +0\left\langle v,v\right\rangle =0\Rightarrow\left\langle v,0\right\rangle =0$ +\end_inset + + +\end_layout + +\begin_layout Standard +\begin_inset Separator plain +\end_inset + + +\end_layout + +\begin_layout Corollary* +Alternativna formulacija 1: + +\begin_inset Formula $\forall v\in V:\left\langle v,v\right\rangle \geq0\wedge\left\langle v,v\right\rangle =0\Leftrightarrow v=0$ +\end_inset + +. +\begin_inset Note Note +status open + +\begin_layout Plain Layout +Dokazujemo ekvivalenco: + alternativna formulacija 1 +\begin_inset Formula $\Leftrightarrow$ +\end_inset + + originalna definicija 1. +\end_layout + +\begin_layout Labeling +\labelwidthstring 00.00.0000 +\begin_inset Formula $\left(\Leftarrow\right)$ +\end_inset + + Predpostavimo +\begin_inset Formula $\forall v\in V:v\not=0\Rightarrow\left\langle v,v\right\rangle \geq0$ +\end_inset + + in izjavo negirajmo: + +\begin_inset Formula $\forall v\in V:\left\langle v,v\right\rangle \leq0\Rightarrow v=0$ +\end_inset + +. +\end_layout + +\begin_deeper +\begin_layout Labeling +\labelwidthstring 00.00.0000 +\begin_inset Formula $\left(\Rightarrow\right)$ +\end_inset + + Predpostavimo +\begin_inset Formula $\forall v\in V:\left\langle v,v\right\rangle \geq0\wedge\left\langle v,v\right\rangle =0\Leftrightarrow v=0$ +\end_inset + + +\end_layout + +\end_deeper +\end_inset + + +\end_layout + +\begin_layout Standard +\begin_inset Separator plain +\end_inset + + +\end_layout + +\begin_layout Example* +Primeri vektorskih prostorov s skalarnim produktom: +\end_layout + +\begin_deeper +\begin_layout Itemize +\begin_inset Formula $\mathbb{R}^{n}$ +\end_inset + + s standardnim skalarnim produktom: + +\begin_inset Formula $\left\langle \left(\alpha_{1},\dots,\alpha_{n}\right),\left(\beta_{1},\dots,\beta_{n}\right)\right\rangle =\alpha_{1}\beta_{1}+\cdots+\alpha_{n}\beta_{n}$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +\begin_inset Formula $\mathbb{R}^{n}$ +\end_inset + + z nestandardnim skalarnim produktom: + Za pojubne +\begin_inset Formula $\gamma_{1}>0,\dots,\gamma_{n}>0$ +\end_inset + + definirajmo +\begin_inset Formula $\left\langle \left(\alpha_{1},\dots,\alpha_{n}\right),\left(\beta_{1},\dots,\beta_{n}\right)\right\rangle =\gamma_{1}\alpha_{1}\beta_{1}+\cdots+\gamma_{n}\alpha_{n}\beta_{n}$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +neskončno razsežen primer s standardnim skalarnim produktom: + +\begin_inset Formula $V=C\left[a,b\right]\sim$ +\end_inset + + zvezne +\begin_inset Formula $f:\left[a,b\right]\to\mathbb{R}$ +\end_inset + +. + Definirajmo +\begin_inset Formula $\forall f,g\in V:\left\langle f,g\right\rangle =\int_{a}^{b}f\left(x\right)g\left(x\right)dx$ +\end_inset + +. + Zveznost je potrebna za dokaz aksioma 1, + sicer za neznano neničelno funkcijo +\begin_inset Formula $f\left(x\right)=\begin{cases} +1 & ;x=0\\ +0 & ;\text{drugače} +\end{cases}$ +\end_inset + + velja +\begin_inset Formula $\int_{a}^{b}f\left(x\right)g\left(x\right)dx=0$ +\end_inset + +. + Temu pravimo standardni skalarni produkt v +\begin_inset Formula $C\left[a,b\right]$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +neskončno razsežen primer z nestandardnim skalarnim produktom: + Naj bo +\begin_inset Formula $w:\left[a,b\right]\to\mathbb{R}$ +\end_inset + + zvezna, + ki zadošča +\begin_inset Formula $\forall x\in\left[a,b\right]:w\left(x\right)>0$ +\end_inset + +. + Ostalo kot prej. + +\begin_inset Formula $\forall f,g\in V:\left\langle f,g\right\rangle _{w}=\int_{a}^{b}f\left(x\right)g\left(x\right)w\left(x\right)dx$ +\end_inset + +. +\end_layout + +\end_deeper +\begin_layout Remark* +Vektorski prostor s skalarnnim produktom je tak par +\begin_inset Formula $\left(V,\left\langle \cdot,\cdot\right\rangle \right)$ +\end_inset + +, + kjer je +\begin_inset Formula $\left\langle \cdot,\cdot\right\rangle $ +\end_inset + + skalarni produkt na +\begin_inset Formula $V$ +\end_inset + +. + To je torej vektorski prostor, + za katerega izberemo in fiksiramo skalarni produkt. +\end_layout + +\begin_layout Definition* +Naj bo +\begin_inset Formula $V$ +\end_inset + + vektorski prostor nad poljem +\begin_inset Formula $\mathbb{C}$ +\end_inset + + nenujno končno razsežen. + Preslikavi +\begin_inset Formula $\left\langle \cdot,\cdot\right\rangle :V\times V\to\mathbb{C}$ +\end_inset + + pravimo skalarni produtkt, + če zadošča naslednjim lastnostim: +\end_layout + +\begin_deeper +\begin_layout Enumerate +pozitivna definitnost: + +\begin_inset Formula $\forall v\in V:v\not=0\Rightarrow\left\langle v,v\right\rangle \in\mathbb{R}\wedge\left\langle v,v\right\rangle >0$ +\end_inset + + +\end_layout + +\begin_layout Enumerate +konjugirana simetričnost: + +\begin_inset Formula $\forall u,v\in V:\left\langle v,u\right\rangle =\overline{\left\langle u,v\right\rangle }$ +\end_inset + + +\end_layout + +\begin_layout Enumerate +linearnost v prvem faktorju: + +\begin_inset Formula $\forall\alpha_{1},\alpha_{2}\in\mathbb{R},v_{1},v_{2}\in V:\left\langle \alpha_{1}v_{1}+\alpha_{2}v_{2},v\right\rangle =\alpha_{1}\left\langle v_{1},v\right\rangle +\alpha_{2}\left\langle v_{2},v\right\rangle $ +\end_inset + + +\end_layout + +\end_deeper +\begin_layout Corollary* +konjugirana linearnost v drugem faktorju. + +\begin_inset Formula $\left\langle u,\beta_{1}v_{1}+\beta_{2}v_{2}\right\rangle =\overline{\left\langle \beta_{1}v_{1}+\beta_{2}v_{2},v\right\rangle }=\overline{\beta_{1}\left\langle v_{1},v\right\rangle +\beta_{2}\left\langle v_{2},v\right\rangle }=\overline{\beta_{1}}\overline{\left\langle v_{1},v\right\rangle }+\overline{\beta_{2}}\overline{\left\langle v_{2},v\right\rangle }=\overline{\beta_{1}}\left\langle v,v_{1}\right\rangle +\overline{\beta_{2}}\left\langle v,v_{2}\right\rangle $ +\end_inset + +. +\end_layout + +\begin_layout Standard +\begin_inset Separator plain +\end_inset + + +\end_layout + +\begin_layout Corollary* +Skalarni produkt z 0: + +\begin_inset Formula $\left\langle 0,v\right\rangle =\left\langle 0\cdot v+0\cdot v,v\right\rangle =0\left\langle v,v\right\rangle +0\left\langle v,v\right\rangle =0\Rightarrow\left\langle v,0\right\rangle =0$ +\end_inset + + +\end_layout + +\begin_layout Standard +\begin_inset Separator plain +\end_inset + + +\end_layout + +\begin_layout Corollary* +Alternativna formulacija 1: + +\begin_inset Formula $\forall v\in V:\left\langle v,v\right\rangle \in\mathbb{R}\wedge\left\langle v,v\right\rangle \geq0\wedge\left\langle v,v\right\rangle =0\Leftrightarrow v=0$ +\end_inset + +. +\end_layout + +\begin_layout Example* +Primeri vektorskih prostorov s skalarnim produktom: +\end_layout + +\begin_deeper +\begin_layout Itemize +standardni skalarni produkt na +\begin_inset Formula $\mathbb{C}^{n}$ +\end_inset + +: + +\begin_inset Formula $\left\langle \left(\alpha_{1},\dots,\alpha_{n}\right),\left(\beta_{1},\dots,\beta_{n}\right)\right\rangle =\alpha_{1}\overline{\beta_{1}}+\cdots+\alpha_{n}\overline{\beta_{n}}$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +nestandardni skalarni produkt na +\begin_inset Formula $\mathbb{C}^{n}$ +\end_inset + +: + Za neke +\begin_inset Formula $\gamma_{1}\in\mathbb{\mathbb{R}}^{+},\dots,\gamma_{n}\in\mathbb{R}^{+}$ +\end_inset + + definiramo +\begin_inset Formula $\left\langle \left(\alpha_{1},\dots,\alpha_{n}\right),\left(\beta_{1},\dots,\beta_{n}\right)\right\rangle =\gamma_{1}\alpha_{1}\overline{\beta_{1}}+\cdots+\gamma_{n}\alpha_{n}\overline{\beta_{n}}$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +neskončno razsežen vektorski prostor na +\begin_inset Formula $\mathbb{C}^{n}$ +\end_inset + + s standardnim skalarnim produktom: + Naj bo +\begin_inset Formula $V=C\left(\left[a,b\right],\mathbb{C}\right)$ +\end_inset + + — + +\begin_inset Formula $f=g+ih$ +\end_inset + + za +\begin_inset Formula $g,h\in C\left[a,b\right]$ +\end_inset + + (zvezni funkciji iz +\begin_inset Formula $\left[a,b\right]$ +\end_inset + + v +\begin_inset Formula $\mathbb{R}$ +\end_inset + +). + Definiramo +\begin_inset Formula $\left\langle f_{1},f_{2}\right\rangle =\int_{a}^{b}f_{1}\left(x\right)\overline{f_{2}\left(x\right)}dx=\int_{a}^{b}\left(g_{1}+ih_{1}\right)\left(x\right)\left(g_{2}-ih_{2}\right)\left(x\right)dx=\int_{a}^{b}\left(g_{1}g_{2}+g_{1}g_{2}\right)\left(x\right)dx+i\int_{a}^{b}\left(h_{1}g_{2}-g_{1}h_{2}\right)xdx$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +neskončno razsežen vektorski prostor na +\begin_inset Formula $\mathbb{C}^{n}$ +\end_inset + + z nestandardnim skalarnim produktom: + Isto kot zgoraj, + le da spet množimo z nekimi funkcijami, + kot pri realnem skalarnem produktu. +\end_layout + +\end_deeper +\begin_layout Subsubsection +Norma +\end_layout + +\begin_layout Definition* +Naj bo +\begin_inset Formula $V$ +\end_inset + + vektorski prostor s skalarnim produktom. + +\begin_inset Formula $\forall v\in V:\left|\left|v\right|\right|=\sqrt{\left\langle v,v\right\rangle }$ +\end_inset + + je norma +\begin_inset Formula $v$ +\end_inset + +. +\end_layout + +\begin_layout Paragraph +Osnovne lastnosti norme +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $\left(\left|\left|v\right|\right|>0\Leftrightarrow v\not=0\right)\wedge\left|\left|0\right|\right|=0$ +\end_inset + + sledi iz prvega aksioma skalarnega produkta +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $\forall\alpha\in F,v\in V:\left|\left|\alpha v\right|\right|=\left|\alpha\right|\left|\left|v\right|\right|$ +\end_inset + + +\end_layout + +\begin_layout Enumerate +trikotniška neenakost: + +\begin_inset Formula $\forall u,v\in V:\left|\left|u+v\right|\right|\leq\left|\left|u\right|\right|+\left|\left|v\right|\right|$ +\end_inset + + sledi iz Cauchy-Schwarzove neenakosti na običajen način. +\end_layout + +\begin_layout Claim* +Cauchy-Schwarz. + Za +\begin_inset Formula $V$ +\end_inset + + vektorski prostor s skalarnim produktom velja +\begin_inset Formula $\forall v\in V:\left|\left\langle u,v\right\rangle \right|\leq\left|\left|u\right|\right|\cdot\left|\left|v\right|\right|$ +\end_inset + +. +\end_layout + +\begin_layout Proof +Za +\begin_inset Formula $v=0$ +\end_inset + + očitno velja +\begin_inset Formula $0=0$ +\end_inset + +. + Za +\begin_inset Formula $v\not=0$ +\end_inset + + definirajmo +\begin_inset Formula +\[ +w=u-\frac{\left\langle u,v\right\rangle }{\left\langle v,v\right\rangle }v +\] + +\end_inset + +po prvi lastnosti velja +\begin_inset Formula +\[ +0\leq\left\langle w,w\right\rangle =\left\langle w,u-\frac{\left\langle u,v\right\rangle }{\left\langle v,v\right\rangle }v\right\rangle =\left\langle w,u\right\rangle -\frac{\overline{\left\langle u,v\right\rangle }}{\left\langle v,v\right\rangle }\left\langle w,v\right\rangle +\] + +\end_inset + +Oglejmo si +\begin_inset Formula +\[ +\left\langle w,v\right\rangle =\left\langle u-\frac{\left\langle u,v\right\rangle }{\left\langle v,v\right\rangle }v,v\right\rangle =\left\langle u,v\right\rangle -\left\langle \frac{\left\langle u,v\right\rangle }{\left\langle v,v\right\rangle }v,v\right\rangle =\cancel{\left\langle u,v\right\rangle }-\frac{\cancel{\left\langle u,v\right\rangle }}{\cancel{\left\langle v,v\right\rangle }}\cancel{\left\langle v,v\right\rangle }=0 +\] + +\end_inset + +In se vrnimo k prejšnji enačbi: +\begin_inset Formula +\[ +0\leq\left\langle w,w\right\rangle =\left\langle w,u-\frac{\left\langle u,v\right\rangle }{\left\langle v,v\right\rangle }v\right\rangle =\left\langle w,u\right\rangle -\frac{\overline{\left\langle u,v\right\rangle }}{\left\langle v,v\right\rangle }\left\langle w,v\right\rangle =\left\langle w,u\right\rangle -0=\left\langle w,u\right\rangle = +\] + +\end_inset + + +\begin_inset Formula +\[ +=\left\langle u-\frac{\left\langle u,v\right\rangle }{\left\langle v,v\right\rangle }v,u\right\rangle =\left\langle u,u\right\rangle -\frac{\left\langle u,v\right\rangle }{\left\langle v,v\right\rangle }\left\langle v,u\right\rangle =\left|\left|u\right|\right|^{2}-\frac{\left\langle u,v\right\rangle \overline{\left\langle u,v\right\rangle }}{\left|\left|v\right|\right|^{2}}=\left|\left|u\right|\right|^{2}-\frac{\left|\left\langle u,v\right\rangle \right|^{2}}{\left|\left|v\right|\right|^{2}} +\] + +\end_inset + + +\begin_inset Formula +\[ +0\leq\left|\left|u\right|\right|^{2}-\frac{\left|\left\langle u,v\right\rangle \right|^{2}}{\left|\left|v\right|\right|^{2}} +\] + +\end_inset + + +\begin_inset Formula +\[ +\frac{\left|\left\langle u,v\right\rangle \right|^{2}}{\left|\left|v\right|\right|^{2}}\leq\left|\left|u\right|\right|^{2} +\] + +\end_inset + + +\begin_inset Formula +\[ +\left|\left\langle u,v\right\rangle \right|^{2}\leq\left|\left|u\right|\right|^{2}\left|\left|v\right|\right|^{2} +\] + +\end_inset + + +\begin_inset Formula +\[ +\left|\left\langle u,v\right\rangle \right|\leq\left|\left|u\right|\right|\cdot\left|\left|v\right|\right| +\] + +\end_inset + + +\end_layout + +\begin_layout Claim* +Z normo lahko izrazimo skalarni produkt: +\end_layout + +\begin_deeper +\begin_layout Itemize +V +\begin_inset Formula $\mathbb{R}$ +\end_inset + +: + +\begin_inset Formula $\left\langle u,v\right\rangle =\frac{1}{4}\left(\left|\left|u+v\right|\right|^{2}-\left|\left|u-v\right|\right|^{2}\right)$ +\end_inset + + +\end_layout + +\begin_layout Itemize +V +\begin_inset Formula $\mathbb{C}$ +\end_inset + +: + +\begin_inset Formula $\left\langle u,v\right\rangle =\sum_{k=0}^{3}i^{k}\left|\left|u+i^{k}v\right|\right|^{2}$ +\end_inset + + +\end_layout + +\end_deeper +\begin_layout Proof +Dokaz v +\begin_inset Formula $\mathbb{C}$ +\end_inset + +. + Oglejmo si +\begin_inset Formula +\[ +\left|\left|u+i^{k}v\right|\right|^{2}=\left\langle u+i^{k}v,u+i^{k}v\right\rangle =\left\langle u,u+i^{k}v\right\rangle +i^{k}\left\langle v,u+i^{k}v\right\rangle =\overline{\left\langle u+i^{k}v,u\right\rangle }+i^{k}\overline{\left\langle u+i^{k}v,v\right\rangle }= +\] + +\end_inset + + +\begin_inset Formula +\[ +=\overline{\left\langle u,u\right\rangle }+\overline{\left\langle i^{k}v,u\right\rangle }+i^{k}\overline{\left\langle u,v\right\rangle }+i^{k}\overline{\left\langle i^{k}v,v\right\rangle }=\left\langle u,u\right\rangle +\left\langle u,i^{k}v\right\rangle +i^{k}\left\langle v,u\right\rangle +i^{k}\left\langle v,i^{k}v\right\rangle = +\] + +\end_inset + + +\begin_inset Formula +\[ +=\left\langle u,u\right\rangle +\left(-i^{k}\right)\left\langle u,v\right\rangle +i^{k}\left\langle v,u\right\rangle +i^{k}\left(-\left(i^{k}\right)\right)\left\langle v,v\right\rangle = +\] + +\end_inset + + +\begin_inset Formula +\[ +=\left\langle u,u\right\rangle +\left(-i^{k}\right)\left\langle u,v\right\rangle +i^{k}\left\langle v,u\right\rangle +1\left\langle v,v\right\rangle +\] + +\end_inset + +Dodajmo vsoto: +\begin_inset Formula +\[ +\sum_{k=0}^{3}i^{k}\left|\left|u+i^{k}v\right|\right|^{2}=\sum_{k=0}^{3}i^{k}\left(\left\langle u,u\right\rangle +\left(-i^{k}\right)\left\langle u,v\right\rangle +i^{k}\left\langle v,u\right\rangle +1\left\langle v,v\right\rangle \right)= +\] + +\end_inset + + +\begin_inset Formula +\[ +=\sum_{k=0}^{3}i^{k}\left\langle u,u\right\rangle +\sum_{k=0}^{3}i^{k}\left(-i^{k}\right)\left\langle u,v\right\rangle +\sum_{k=0}^{3}i^{k}i^{k}\left\langle v,u\right\rangle +\sum_{k=0}^{3}i^{k}\left\langle v,v\right\rangle =0+\sum_{k=0}^{3}i^{k}\left(-i^{k}\right)\left\langle u,v\right\rangle +0+0, +\] + +\end_inset + +kajti +\begin_inset Formula $\sum_{k=0}^{3}i^{k}=1+i+\left(-1\right)+\left(-i\right)=0$ +\end_inset + + in +\begin_inset Formula $\sum_{k=0}^{3}i^{2k}=1+\left(-1\right)+1+\left(-1\right)=0$ +\end_inset + +. + Nadaljujmo: +\end_layout + +\begin_layout Proof +\begin_inset Formula +\[ +=\sum_{k=0}^{3}i^{k}\left(-i^{k}\right)\left\langle u,v\right\rangle =\sum_{k=0}^{3}1\left\langle u,v\right\rangle =4\left\langle u,v\right\rangle +\] + +\end_inset + + +\end_layout + +\begin_layout Subsubsection +Ortogonalne množice in ortogonalne baze +\end_layout + +\begin_layout Definition* +Naj bo +\begin_inset Formula $V$ +\end_inset + + VPSSP +\begin_inset Formula $\forall u,v\in V:u\perp v\Leftrightarrow\left\langle u,v\right\rangle =0$ +\end_inset + +. +\end_layout + +\begin_layout Remark* +trivialne opombe. + +\begin_inset Formula $\forall v\in V:v\perp\vec{0}$ +\end_inset + +, + +\begin_inset Formula $\forall v\in V:v\not=0\Leftrightarrow v\not\perp v$ +\end_inset + + (prvi aksiom skalarnega produkta), + +\begin_inset Formula $\forall v\in V:u\perp v\Leftrightarrow v\perp u$ +\end_inset + +. +\end_layout + +\begin_layout Definition* +Naj bo +\begin_inset Formula $V$ +\end_inset + + VPSSP in +\begin_inset Formula $v_{1},\dots,v_{k}\in V$ +\end_inset + +. + Množica +\begin_inset Formula $\left\{ v_{1},\dots,v_{k}\right\} $ +\end_inset + + je: +\end_layout + +\begin_deeper +\begin_layout Itemize +ortogonalna, + če +\begin_inset Formula $v_{1}\not=0\wedge\cdots\wedge v_{k}\not=0$ +\end_inset + + in +\begin_inset Formula $\forall i,j\in\left\{ 1..k\right\} :i\not=j\Rightarrow v_{i}\perp v_{j}$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +normirana, + če +\begin_inset Formula $\forall v\in\left\{ v_{1},\dots,v_{k}\right\} :\left|\left|v\right|\right|=1$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +ortonormirana, + če je ortogonalna in ortonormirana hkrati. +\end_layout + +\end_deeper +\begin_layout Remark* +Iz (ortogonalne) množice +\begin_inset Formula $\left\{ v_{1},\dots,v_{k}\right\} $ +\end_inset + + dobimo (orto)normirano tako, + da vsak element delimo z njegovo normo. + +\begin_inset Formula $\left\{ \frac{v_{1}}{\left|\left|v_{1}\right|\right|},\dots,\frac{v_{k}}{\left|\left|v_{k}\right|\right|}\right\} $ +\end_inset + + je vedno normirana. +\end_layout + +\begin_layout Claim* +Vsaka ortogonalna množica je linearno neodvisna. +\end_layout + +\begin_layout Proof +Denimo, + da je +\begin_inset Formula $\left\{ v_{1},\dots,v_{k}\right\} $ +\end_inset + + ortogonalna. + Vzemimo take +\begin_inset Formula $\alpha_{1},\dots,\alpha_{k}\ni:\alpha_{1}v_{1}+\cdots+\alpha_{k}v_{k}=0$ +\end_inset + +. + +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +udensdash{$ +\backslash +alpha_1= +\backslash +cdots= +\backslash +alpha_k=0$} +\end_layout + +\end_inset + +. + +\begin_inset Formula +\[ +\forall i\in\left\{ 1..k\right\} :0=\left\langle 0,v_{i}\right\rangle =\left\langle \alpha_{1}v_{1}+\cdots+\alpha_{k}v_{k},v\right\rangle =\alpha_{1}\left\langle v_{1},v_{i}\right\rangle +\cdots+\alpha_{i}\left\langle v_{i},v_{i}\right\rangle +\cdots+\alpha_{k}\left\langle v_{k},v_{i}\right\rangle =\cdots +\] + +\end_inset + +Ker je množica ortogonalna, + je +\begin_inset Formula $\left\langle v_{l},v_{k}\right\rangle =0\Leftrightarrow l\not=k$ +\end_inset + +. + Nadaljujmo ... +\begin_inset Formula +\[ +\cdots=\alpha_{i}\left\langle v_{i},v_{i}\right\rangle +\] + +\end_inset + +Ker +\begin_inset Formula $\left\langle v_{i},v_{i}\right\rangle $ +\end_inset + + ni 0, + ker je +\begin_inset Formula $v_{i}$ +\end_inset + + neničeln (da, + tudi to je del definicije ortogonalnosti), + je +\begin_inset Formula $\alpha_{i}=0$ +\end_inset + +. + In to za vsak +\begin_inset Formula $i$ +\end_inset + +. +\end_layout + +\begin_layout Standard +Ni pa vsaka ortogonalna množica ogrodje. + Ortogonalni množici, + ki je ogrodje, + rečemo ortogonalna baza (LN sledi iz ortogonalnost). +\end_layout + +\begin_layout Subsubsection +Fourierov razvoj +\end_layout + +\begin_layout Standard +Naj bo +\begin_inset Formula $V$ +\end_inset + + KRVPSSP, + +\begin_inset Formula $\left\{ v_{1},\dots,v_{n}\right\} =\mathcal{B}$ +\end_inset + + ortogonalna baza za +\begin_inset Formula $V$ +\end_inset + + in +\begin_inset Formula $v\in V$ +\end_inset + + poljuben element. + Kako razvijemo +\begin_inset Formula $v$ +\end_inset + + po +\begin_inset Formula $\mathcal{B}$ +\end_inset + +, + vedoč, + da je ta baza ortogonalna? + Postopek imenujemo Fourierov razvoj. +\end_layout + +\begin_layout Standard +Ker je +\begin_inset Formula $\mathcal{B}$ +\end_inset + + ogrodje, + +\begin_inset Formula $\exists\alpha_{1},\dots,\alpha_{n}\ni:v=\alpha_{1}v_{1}+\cdots+\alpha_{n}v_{n}$ +\end_inset + +. + Množimo skalarno z +\begin_inset Formula $v_{i}$ +\end_inset + +: +\begin_inset Formula +\[ +v=\alpha_{1}v_{1}+\cdots+\alpha_{n}v_{n}\quad\quad\quad\quad/\cdot v_{i} +\] + +\end_inset + + +\begin_inset Formula +\[ +\left\langle v,v_{i}\right\rangle =\left\langle \alpha_{1}v_{1}+\cdots+\alpha_{n}v_{n},v_{i}\right\rangle +\] + +\end_inset + + +\begin_inset Formula +\[ +\left\langle v,v_{i}\right\rangle =\cancel{\alpha_{1}\left\langle v_{1},v_{i}\right\rangle }+\cancel{\cdots}+\alpha_{i}\left\langle v_{i},v_{i}\right\rangle +\cancel{\cdots}+\cancel{\alpha_{n}\left\langle v_{n},v_{i}\right\rangle }=\alpha_{i}\left\langle v_{i},v_{i}\right\rangle +\] + +\end_inset + + +\begin_inset Formula +\[ +\frac{\left\langle v,v_{i}\right\rangle }{\left\langle v_{i},v_{i}\right\rangle }=\alpha_{i} +\] + +\end_inset + +Torej +\begin_inset Formula $\forall v\in V$ +\end_inset + + velja +\begin_inset Formula $v=\sum_{i=1}^{n}\frac{\left\langle v,v_{i}\right\rangle }{\left\langle v_{i},v_{i}\right\rangle }v_{i}$ +\end_inset + +. + Koeficientu +\begin_inset Formula $\frac{\left\langle v,v_{i}\right\rangle }{\left|\left|v_{i}\right|\right|^{2}}$ +\end_inset + + pravimo Fourierov koeficient. + Če je baza ortonormirana, + je Fourierov koeficient +\begin_inset Formula $\frac{\left\langle v,v_{i}\right\rangle }{\cancel{\left|\left|v_{i}\right|\right|^{2}}}=\left\langle v,v_{i}\right\rangle $ +\end_inset + +. +\end_layout + +\begin_layout Subsubsection +Parsevalova identiteta +\end_layout + +\begin_layout Theorem* +Parsevalova identiteta. + Naj bo +\begin_inset Formula $V$ +\end_inset + + VPSSP in +\begin_inset Formula $\left\{ v_{1},\dots,v_{k}\right\} $ +\end_inset + + njegova ortogonalna baza. + Tedaj +\begin_inset Formula $\forall v\in V:$ +\end_inset + + +\begin_inset Formula +\[ +\left|\left|v\right|\right|^{2}=\sum_{i=1}^{n}\frac{\left|\left\langle v,v_{i}\right\rangle \right|^{2}}{\left\langle v_{i},v_{i}\right\rangle }. +\] + +\end_inset + +Če je baza ortonormirana, + se enačba očitno poenostavi v +\begin_inset Formula +\[ +\left|\left|v\right|\right|^{2}=\sum_{i=1}^{n}\left|\left\langle v,v_{i}\right\rangle \right|^{2}. +\] + +\end_inset + + +\end_layout + +\begin_layout Proof +Naj bo +\begin_inset Formula $v=\alpha_{1}v_{1}+\cdots+\alpha_{n}v_{n}$ +\end_inset + +. + Tedaj +\begin_inset Formula $\left|\left|v\right|\right|^{2}=\left\langle v,v\right\rangle =\left\langle \alpha_{1}v_{1}+\cdots+\alpha_{n}v_{n},\alpha_{1}v_{1}+\cdots+\alpha_{n}v_{n}\right\rangle =$ +\end_inset + + (uporabimo linearnost v 1. + in konjugirano linearnost v 2. + faktorju) +\begin_inset Formula +\[ +\begin{array}{ccccccc} += & \alpha_{1}\overline{\alpha_{1}}\left\langle v_{1},v_{1}\right\rangle & + & \cancel{\cdots} & + & \cancel{\alpha_{1}\overline{\alpha_{n}}\left\langle v_{1},v_{n}\right\rangle } & +\\ + & \vdots & & & & \vdots\\ ++ & \cancel{\alpha_{n}\overline{\alpha_{1}}\left\langle v_{n},v_{1}\right\rangle } & + & \cancel{\cdots} & + & \alpha_{n}\overline{\alpha_{n}}\left\langle v_{n},v_{n}\right\rangle & = +\end{array} +\] + +\end_inset + + +\begin_inset Formula +\[ +=\alpha_{1}\overline{\alpha_{1}}\left\langle v_{1},v_{1}\right\rangle +\cdots+\alpha_{n}\overline{\alpha_{n}}\left\langle v_{n},v_{n}\right\rangle =\left|\alpha_{1}\right|^{2}\left|\left|v_{1}\right|\right|^{2}+\cdots+\left|\alpha_{n}\right|^{2}\left|\left|v_{n}\right|\right|^{2}= +\] + +\end_inset + +Vstavimo formule za koeficiente po Fourierjevem razvoju: +\begin_inset Formula +\[ +=\left|\frac{\left\langle v,v_{1}\right\rangle }{\left|\left|v_{1}\right|\right|^{\cancel{2}}}\right|^{2}\cancel{\left|\left|v_{1}\right|\right|^{2}}+\cdots+\left|\frac{\left\langle v,v_{n}\right\rangle }{\left|\left|v_{n}\right|\right|^{\cancel{2}}}\right|^{2}\cancel{\left|\left|v_{n}\right|\right|^{2}}=\frac{\left|\left\langle v,v_{1}\right\rangle \right|^{2}}{\left|\left|v_{1}\right|\right|}+\cdots+\frac{\left|\left\langle v,v_{n}\right\rangle \right|^{2}}{\left|\left|v_{n}\right|\right|}=\sum_{i=1}^{n}\frac{\left|\left\langle v_{i},v\right\rangle \right|^{2}}{\left\langle v_{i},v_{i}\right\rangle } +\] + +\end_inset + + +\end_layout + +\begin_layout Subsubsection +Projekcija na podprostor +\end_layout + +\begin_layout Standard +Naj bo +\begin_inset Formula $V$ +\end_inset + + KRVPSSP in +\begin_inset Formula $W$ +\end_inset + + podprostor +\begin_inset Formula $V$ +\end_inset + +. + Za vsak +\begin_inset Formula $v\in V$ +\end_inset + + želimo izračunati njegovo ortogonalno projekcijo na +\begin_inset Formula $W$ +\end_inset + +. +\end_layout + +\begin_layout Definition* +Vektor +\begin_inset Formula $v'\in W$ +\end_inset + + je ortogonalna projekcija vektorja +\begin_inset Formula $v\in V$ +\end_inset + +, + če +\begin_inset Formula $\forall w\in W:\left|\left|v-v'\right|\right|\leq\left|\left|v-w\right|\right|$ +\end_inset + +. + ZDB +\begin_inset Formula $v'$ +\end_inset + + je najbližje +\begin_inset Formula $v$ +\end_inset + + izmed vseh elementov +\begin_inset Formula $W$ +\end_inset + +. +\end_layout + +\begin_layout Remark* +Zadošča preveriti, + da je +\begin_inset Formula $v-v'$ +\end_inset + + ortogonalen na vse elemente +\begin_inset Formula $W$ +\end_inset + + (pitagorov izrek), + kajti v tem primeru (če predpostavimo +\begin_inset Formula $\left(v'-w\right)\perp\left(v-v'\right)$ +\end_inset + +) velja +\begin_inset Formula +\[ +\left|\left|v-w\right|\right|^{2}=\left|\left|v-v'+v'-w\right|\right|=\left|\left|v-v'\right|\right|^{2}+\left|\left|v'-w\right|\right|^{2}\geq\left|\left|v-v'\right|\right|^{2}. +\] + +\end_inset + + +\end_layout + +\begin_layout Standard +\begin_inset Separator plain +\end_inset + + +\end_layout + +\begin_layout Remark* +Dokaz pitagovorega izreka: + +\begin_inset Formula $\left|\left|a+b\right|\right|^{2}=\left\langle a+b,a+b\right\rangle =\left\langle a,a\right\rangle +\cancel{\left\langle a,b\right\rangle +\left\langle b,a\right\rangle }+\left\langle b,b\right\rangle =\left|\left|a\right|\right|^{2}+\left|\left|b\right|\right|^{2}$ +\end_inset + +. +\end_layout + +\begin_layout Claim* +Naj bo +\begin_inset Formula $\left\{ w_{1},\dots,w_{k}\right\} $ +\end_inset + + ortogonalna baza za +\begin_inset Formula $W$ +\end_inset + +. + Formula za ortogonalno projekcijo se glasi: +\begin_inset Formula +\[ +v'=\frac{\left\langle v,w_{1}\right\rangle }{\left\langle w_{1},w_{1}\right\rangle }w_{1}+\cdots+\frac{\left\langle v,w_{k}\right\rangle }{\left\langle w_{k},w_{k}\right\rangle }=\sum_{i=1}^{k}\frac{\left\langle v,w_{i}\right\rangle }{\left\langle w_{i},w_{i}\right\rangle }w_{i} +\] + +\end_inset + + +\end_layout + +\begin_layout Proof +Dokažimo, + da je +\begin_inset Formula $v-\sum_{i=1}^{k}\frac{\left\langle v,w_{i}\right\rangle }{\left\langle w_{i},w_{i}\right\rangle }w_{i}$ +\end_inset + + pravokoten na vse elemente +\begin_inset Formula $W$ +\end_inset + +. + Zaradi linearnosti skalarnega produkta zadošča preveriti, + da je pravokoten na bazo +\begin_inset Formula $W$ +\end_inset + +. + +\begin_inset Formula $\forall j\in\left\{ 1..k\right\} $ +\end_inset + + velja (spomnimo se, + da je +\begin_inset Formula $\left\langle w_{i},w_{j}\right\rangle =0\Leftrightarrow i\not=j$ +\end_inset + +, + zato po drugem enačaju ostane le še en člen vsote): +\begin_inset Formula +\[ +\left\langle v-\sum_{i=1}^{k}\frac{\left\langle v,w_{i}\right\rangle }{\left\langle w_{i},w_{i}\right\rangle }w_{i},w_{j}\right\rangle =\left\langle v,w_{j}\right\rangle -\sum_{i=1}^{k}\frac{\left\langle v,w_{i}\right\rangle }{\left\langle w_{i},w_{i}\right\rangle }\left\langle w_{i},w_{j}\right\rangle =\left\langle v,w_{j}\right\rangle -\frac{\left\langle v,w_{j}\right\rangle }{\cancel{\left\langle w_{j},w_{j}\right\rangle }}\cancel{\left\langle w_{j},w_{j}\right\rangle }= +\] + +\end_inset + + +\begin_inset Formula +\[ +=\left\langle v,w_{j}\right\rangle -\left\langle v,w_{j}\right\rangle =0 +\] + +\end_inset + + +\end_layout + +\begin_layout Subsubsection +Obstoj ortogonalne baze — + Gram-Schmidtova ortogonalizacija +\end_layout + +\begin_layout Standard +Radi bi dokazali, + da ima vsak KRVPSSP ortogonalno bazo in da je moč vsako ortogonalno množico dopolniti do ortogonalne baze. + Konstruktiven dokaz +\begin_inset Formula $\ddot{\smile}!$ +\end_inset + + — + postopek, + imenovan Gram-Schmidtova ortogonalizacija, + iz poljubne baze naredi ortogonalno. +\end_layout + +\begin_layout Standard +Naj bo +\begin_inset Formula $V$ +\end_inset + + KRVPSSP in +\begin_inset Formula $\left\{ u_{1},\dots,u_{n}\right\} $ +\end_inset + + njegova poljubna baza. + Naj bo +\begin_inset Formula $v_{1}\coloneqq u_{1}$ +\end_inset + +, +\begin_inset Formula +\[ +v_{2}\coloneqq u_{2}-\frac{\left\langle u_{2},v_{1}\right\rangle }{\left\langle v_{1},v_{1}\right\rangle }v_{1}=u_{2}-u_{2}' +\] + +\end_inset + + +\begin_inset Formula +\[ +v_{3}\coloneqq u_{3}-\frac{\left\langle u_{3},v_{1}\right\rangle }{\left\langle v_{1},v_{1}\right\rangle }v_{1}-\frac{\left\langle u_{3},v_{2}\right\rangle }{\left\langle v_{2},v_{2}\right\rangle }v_{2}=u_{3}-u_{3}' +\] + +\end_inset + + +\end_layout + +\begin_layout Standard +\begin_inset Formula +\[ +\cdots +\] + +\end_inset + + +\begin_inset Formula +\[ +v_{n}\coloneqq u_{n}-\sum_{i=1}^{n-1}\frac{\left\langle u_{n},v_{i}\right\rangle }{\left\langle v_{i},v_{i}\right\rangle }v_{i}=u_{n}-u_{n}' +\] + +\end_inset + + +\end_layout + +\begin_layout Standard +Trdimo, + da je +\begin_inset Formula $\left\{ v_{1},\dots,v_{n}\right\} $ +\end_inset + + ortogonalna baza za +\begin_inset Formula $V$ +\end_inset + +. +\end_layout + +\begin_layout Standard +Opazimo, + da je +\begin_inset Formula $u_{2}'$ +\end_inset + + ortogonalna projekcija +\begin_inset Formula $u_{2}$ +\end_inset + + na +\begin_inset Formula $\Lin\left\{ v_{1}\right\} $ +\end_inset + +, + +\begin_inset Formula $u_{3}'$ +\end_inset + + ortogonalna projekcija +\begin_inset Formula $u_{3}$ +\end_inset + + na +\begin_inset Formula $\Lin\left\{ v_{1},v_{2}\right\} $ +\end_inset + +, + ..., + +\begin_inset Formula $u_{n}'$ +\end_inset + + pa ortogonalna projekcija na +\begin_inset Formula $\Lin\left\{ v_{1},\dots,v_{n-1}\right\} $ +\end_inset + +, + torej +\begin_inset Formula +\[ +v_{2}=u_{2}-u_{2}'\perp\Lin\left\{ v_{1}\right\} \text{, torej }v_{2}\perp v_{1} +\] + +\end_inset + + +\begin_inset Formula +\[ +v_{3}=u_{3}-u_{3}'\perp\Lin\left\{ v_{1},v_{2}\right\} \text{, torej }v_{3}\perp v_{1},v_{3}\perp v_{2} +\] + +\end_inset + + +\begin_inset Formula +\[ +\cdots +\] + +\end_inset + + +\begin_inset Formula +\[ +v_{n}=u_{n}-u_{n}'\perp\Lin\left\{ v_{1},\dots,v_{n-1}\right\} \text{, torej }v_{n}\perp v_{1},\dots,v_{n}\perp v_{n-1}, +\] + +\end_inset + +kar pomeni, + da so +\begin_inset Formula $\left\{ v_{1},\dots,v_{n}\right\} $ +\end_inset + + paroma ortogonalni. + Toda vprašanje je, + ali so neničelni, + kajti to je, + ne boste verjeli, + prav tako pogoj za ortogonalno množico. + +\begin_inset Formula $\forall i\in\left\{ 1..n\right\} :$ +\end_inset + + dokažimo neničelnost +\begin_inset Formula $v_{i}$ +\end_inset + +:-) +\end_layout + +\begin_layout Standard +\begin_inset Formula $v_{1}$ +\end_inset + + je neničeln, + ker je enak +\begin_inset Formula $u_{1}$ +\end_inset + +, + ki je element baze +\begin_inset Formula $V$ +\end_inset + +. + +\begin_inset Formula $v_{2}$ +\end_inset + + je neničeln, + ker je +\begin_inset Formula $v_{2}=u_{2}-\alpha v_{1}$ +\end_inset + + in +\begin_inset Formula $u_{2}\not=\alpha v_{1}$ +\end_inset + +, + ker sta linearno neodvisna, + ker tvorita ortogonalno množico. + +\begin_inset Formula $v_{3}$ +\end_inset + + je neničeln, + ker +\begin_inset Formula $v_{3}=u_{3}-\left(\beta v_{1}+\gamma v_{2}\right)$ +\end_inset + + in ker so +\begin_inset Formula $v_{1},v_{2},u_{3}$ +\end_inset + + LN, + +\begin_inset Formula $u_{3}\not=\left(\beta v_{1}+\gamma v_{2}\right)$ +\end_inset + +. + In tako dalje. +\end_layout + +\begin_layout Paragraph* +Dopolnitev ortogonalne množice do baze +\end_layout + +\begin_layout Standard +Naj bo +\begin_inset Formula $\left\{ u_{1},\dots,u_{k}\right\} $ +\end_inset + + ortogonalna množica, + torej je linearno neodvisna, + torej jo lahko dopolnimo do baze. + +\begin_inset Formula $\left\{ u_{k+1},\dots,u_{n}\right\} $ +\end_inset + + je dopolnitev do baze. + Toda slednja še ni ortogonalna. + A nič ne de, + uporabimo lahko Gram-Schmidtovo ortogonalizacijo na +\begin_inset Formula $\left\{ u_{1},\dots,u_{k},u_{k+1},\dots,u_{n}\right\} $ +\end_inset + + in dobimo ortogonalno bazo +\begin_inset Formula $\left\{ v_{1},\dots,v_{n}\right\} $ +\end_inset + +. + Opazimo, + da ker so po predpostavki +\begin_inset Formula $u_{1},\dots,u_{k}$ +\end_inset + + ortogonalni, + velja +\begin_inset Formula $v_{1}=u_{1},\dots,v_{k}=u_{k}$ +\end_inset + + (po GS). +\end_layout + +\begin_layout Example* +primer GS ortogonalizacije iz analize. + Naj bo +\begin_inset Formula $V=\mathbb{R}\left[x\right]_{\leq3}$ +\end_inset + +. + Baza: + +\begin_inset Formula $u_{1}=1,u_{2}=x,u_{3}=x^{2},u_{4}=x^{3}$ +\end_inset + +, + skalarni produkt naj bo +\begin_inset Formula $\left\langle p,q\right\rangle =\int_{-1}^{1}p\left(x\right)q\left(x\right)dx$ +\end_inset + +. + Konstruirajmo pripadajočo ortogonalno bazo +\begin_inset Formula $v_{1},\dots,v_{4}$ +\end_inset + +: +\begin_inset Formula +\[ +v_{1}\coloneqq u_{1}=1 +\] + +\end_inset + + +\begin_inset Formula +\[ +v_{2}\coloneqq u_{2}-\frac{\left\langle u_{2},v_{1}\right\rangle }{\left\langle v_{1},v_{1}\right\rangle }v_{1}=x-\frac{\int_{-1}^{1}xdx}{\int_{-1}^{1}dx}=x-0=x=u_{2} +\] + +\end_inset + + +\begin_inset Formula +\[ +v_{3}\coloneqq u_{3}-\frac{\left\langle u_{3},v_{1}\right\rangle }{\left\langle v_{1},v_{1}\right\rangle }v_{1}-\frac{\left\langle u_{3},v_{2}\right\rangle }{\left\langle v_{2},v_{2}\right\rangle }=x^{2}-\frac{\int_{-1}^{1}x^{2}dx}{\int_{-1}^{1}dx}-\frac{\int_{-1}^{1}x^{3}dx}{\int_{-1}^{1}x^{2}dx}x=\cdots=x²-\frac{1}{3} +\] + +\end_inset + + +\begin_inset Formula +\[ +v_{4}\coloneqq\cdots=x^{2}-\frac{3}{5}x +\] + +\end_inset + +Sklep: + +\begin_inset Formula $\left\{ 1,x,x^{2}-\frac{1}{3},x^{2}-\frac{3}{5}x\right\} $ +\end_inset + + je ortogonalna baza za ta vektorski prostor s tem skalarnim produktom. + Normirajmo jo! + Norme teh baznih vektorjev po vrsti so +\begin_inset Formula $\sqrt{2},\sqrt{\frac{2}{3}},\sqrt{\frac{8}{45}},\sqrt{\frac{8}{175}}$ +\end_inset + +. + Pripadajoča ortonormirana baza je torej +\begin_inset Formula $\left\{ \frac{1}{\sqrt{2}},\frac{x}{\sqrt{\frac{2}{3}}},\frac{x^{2}-\frac{1}{3}}{\sqrt{\frac{8}{45}}},\frac{x^{2}-\frac{3}{5}x}{\sqrt{\frac{8}{175}}}\right\} .$ +\end_inset + + Normiranje bi sicer prineslo lepše formule, + vendar bi v račune prineslo te objektivno grde konstante. +\end_layout + +\begin_layout Subsubsection +Ortogonalni komplement +\end_layout + +\begin_layout Definition +Naj bo +\begin_inset Formula $V$ +\end_inset + + KRVPSSP nad +\begin_inset Formula $F$ +\end_inset + + in +\begin_inset Formula $S\subseteq V$ +\end_inset + +. + Ortogonalni komplement +\begin_inset Formula $S$ +\end_inset + + je množica +\begin_inset Formula $S^{\perp}$ +\end_inset + +. + Vsebuje vse tiste vektorje iz +\begin_inset Formula $V$ +\end_inset + +, + ki so ortogonalni na +\begin_inset Formula $S$ +\end_inset + +. + ZDB +\begin_inset Formula $S^{\perp}\coloneqq\left\{ v\in V;\forall s\in S:v\perp s\right\} =\left\{ v\in V;v\perp S\right\} $ +\end_inset + +. +\end_layout + +\begin_layout Claim* +\begin_inset Formula $\forall S\subseteq V:S^{\perp}$ +\end_inset + + je podprostor +\begin_inset Formula $V$ +\end_inset + +. +\end_layout + +\begin_layout Proof +Dokazati je treba +\begin_inset Formula $\forall u_{1},u_{2}\in S^{\perp},\alpha_{1},\alpha_{2}\in F:\alpha_{1}v_{1}+\alpha_{2}v_{2}\in S^{\perp}$ +\end_inset + +. + Po definiciji ortogonalnega komplementa velja +\begin_inset Formula +\[ +\forall s\in S:\left\langle u_{1},s\right\rangle =0\wedge\left\langle u_{2},s\right\rangle =0\Longrightarrow0=\alpha_{1}\left\langle u_{1},s\right\rangle +\alpha_{2}\left\langle u_{2},s\right\rangle =\left\langle \alpha_{1}u_{1}+\alpha_{2}u_{2},s\right\rangle \Longrightarrow\alpha_{1}u_{1}+\alpha_{2}u_{2}\in S^{\perp} +\] + +\end_inset + + +\end_layout + +\begin_layout Theorem* +ortogonalni razcep. + Naj bo +\begin_inset Formula $V$ +\end_inset + + KRVPSSP in +\begin_inset Formula $W$ +\end_inset + + vektorski podprostor +\begin_inset Formula $V$ +\end_inset + +. + Potem velja +\begin_inset Formula $V=W\oplus W^{\perp}$ +\end_inset + + (ortogonalni razcep glede na +\begin_inset Formula $W$ +\end_inset + +). +\end_layout + +\begin_layout Proof +Naj bo +\begin_inset Formula $v\in V$ +\end_inset + + pojuben, + +\begin_inset Formula $V^{\perp}$ +\end_inset + + pa ortogonalna projekcija +\begin_inset Formula $V$ +\end_inset + + na +\begin_inset Formula $W$ +\end_inset + +. + Potem velja, + da je +\begin_inset Formula $v=v-v'+v'$ +\end_inset + +, + kjer je +\begin_inset Formula $v-v'$ +\end_inset + + pravokoten na +\begin_inset Formula $W$ +\end_inset + +, + +\begin_inset Formula $v'$ +\end_inset + + pa element +\begin_inset Formula $v'$ +\end_inset + +, + torej +\begin_inset Formula $v\in W\oplus W^{\perp}$ +\end_inset + +. + Vsota je direktna, + kajti +\begin_inset Formula $\forall v\in W\cap W^{\perp}:v\perp v\Leftrightarrow v\perp v\Leftrightarrow\left\langle v,v\right\rangle =0\Leftrightarrow v=0\Longrightarrow W\cap W^{\perp}=\left\{ 0\right\} $ +\end_inset + + (po karakterizaciji direktnih vsot). +\end_layout + +\begin_layout Claim* +Naj bo +\begin_inset Formula $V$ +\end_inset + + KRVPSSP in +\begin_inset Formula $W$ +\end_inset + + vektorski podprostor v +\begin_inset Formula $V$ +\end_inset + +. + Velja +\begin_inset Formula $\left(W^{\perp}\right)^{\perp}=W$ +\end_inset + +. +\end_layout + +\begin_layout Proof +Po definiciji ortogonalnega komplementa je +\begin_inset Formula $W\subseteq\left(W^{\perp}\right)^{\perp}$ +\end_inset + +, + ker +\begin_inset Formula $W\perp W^{\perp}$ +\end_inset + +. + Dokažimo +\begin_inset Formula $\dim W=\dim\left(W^{\perp}\right)^{\perp}$ +\end_inset + +. + Ortogonalni razcep glede na +\begin_inset Formula $W$ +\end_inset + + je +\begin_inset Formula $V=W\oplus W^{\perp}\Rightarrow\dim W+\dim W^{\perp}=\dim V$ +\end_inset + +, + ortogonalni razcep glede na +\begin_inset Formula $W^{\perp}$ +\end_inset + + pa je +\begin_inset Formula $V=W^{\perp}\oplus\left(W^{\perp}\right)^{\perp}\Rightarrow\dim W^{\perp}+\dim\left(W^{\perp}\right)^{\perp}=\dim V$ +\end_inset + +. +\begin_inset Formula +\[ +\dim V=\dim V +\] + +\end_inset + + +\begin_inset Formula +\[ +\dim W+\dim W^{\perp}=\dim W^{\perp}+\dim\left(W^{\perp}\right)^{\perp} +\] + +\end_inset + + +\begin_inset Formula +\[ +\dim W^{\perp}=\dim\left(W^{\perp}\right)^{\perp} +\] + +\end_inset + + +\end_layout + +\begin_layout Proof +Alternativni dokaz: + Naj bodo +\begin_inset Formula $w_{1},\dots,w_{k}$ +\end_inset + + OB za +\begin_inset Formula $W$ +\end_inset + +. + Dopolnimo jo do OB za +\begin_inset Formula $V$ +\end_inset + + z GS z +\begin_inset Formula $w_{k+1},\dots,w_{n}$ +\end_inset + +. + Tedaj je +\begin_inset Formula $w_{k+1},\dots,w_{n}$ +\end_inset + + OB za +\begin_inset Formula $W^{\perp}$ +\end_inset + + in ker je +\begin_inset Formula $w_{1},\dots,w_{n}$ +\end_inset + + njena dopolnitev do OB +\begin_inset Formula $V$ +\end_inset + +, + je +\begin_inset Formula $w_{1},\dots,w_{k}$ +\end_inset + + OB za +\begin_inset Formula $\left(W^{\perp}\right)^{\perp}$ +\end_inset + +, + torej +\begin_inset Formula $W^{\perp}=\left(W^{\perp}\right)^{\perp}$ +\end_inset + +, + saj imata isti ortogonalni bazi. +\end_layout + +\begin_layout Subsection +Adjungirana linearna preslikava +\end_layout + +\begin_layout Definition* +Naj bo +\begin_inset Formula $V$ +\end_inset + + vektorski prostor nad +\begin_inset Formula $F$ +\end_inset + +. + Vemo, + da je +\begin_inset Formula $F$ +\end_inset + + vekrorski prostor nad +\begin_inset Formula $F$ +\end_inset + +. + Linearnim preslikavam +\begin_inset Formula $V\to F$ +\end_inset + + pravimo linearni funkcionali na +\begin_inset Formula $V$ +\end_inset + +. +\end_layout + +\begin_layout Example* +Naj bo +\begin_inset Formula $V$ +\end_inset + + VPSSP in +\begin_inset Formula $F\in\left\{ \mathbb{R},\mathbb{C}\right\} $ +\end_inset + +. + Naj bo +\begin_inset Formula $w\in V$ +\end_inset + +. + Naj bo +\begin_inset Formula $\varphi:V\to F$ +\end_inset + + (torej je +\begin_inset Formula $\varphi$ +\end_inset + + linearni funkcional), + ki slika +\begin_inset Formula $v\mapsto\left\langle v,w\right\rangle $ +\end_inset + +. + Preslikava je po aksiomu 3 za skalarni produkt linearna. +\end_layout + +\begin_layout Theorem* +Rieszov izrek o reprezentaciji linearnih funkcionalov. + Naj bo +\begin_inset Formula $V$ +\end_inset + + KRVPSSP. + Za vsak linearen funkcional +\begin_inset Formula $\varphi$ +\end_inset + + na +\begin_inset Formula $V$ +\end_inset + + obstaja natanko en vektor +\begin_inset Formula $w\in V\ni:\forall v\in V:\varphi\left(v\right)=\left\langle v,w\right\rangle $ +\end_inset + +. + ZDB slednja konstrukcija nam da vse linearne funkcionale. +\end_layout + +\begin_layout Proof +Dokazujemo enolično eksistenco: +\end_layout + +\begin_deeper +\begin_layout Itemize +Eksistenca +\begin_inset Formula $w$ +\end_inset + +: + Vzemimo poljubno OB +\begin_inset Formula $w_{1},\dots,w_{n}$ +\end_inset + + za +\begin_inset Formula $V$ +\end_inset + +. + +\begin_inset Formula $\forall v\in V:v=\left\langle v,w_{1}\right\rangle w_{1}+\cdots+\left\langle v,w_{n}\right\rangle w_{n}$ +\end_inset + +. + (fourierov razvoj po OB). + Ker je +\begin_inset Formula $\varphi$ +\end_inset + + linearna, + velja +\begin_inset Formula +\[ +\varphi\left(v\right)=\varphi\left(\left\langle v,w_{1}\right\rangle w_{1}+\cdots+\left\langle v,w_{n}\right\rangle w_{n}\right)\overset{\text{linearna}}{=}\left\langle v,w_{1}\right\rangle \varphi w_{1}+\cdots+\left\langle v,w_{n}\right\rangle \varphi w_{n}\overset{\text{konj. hom. v 2. fakt.}}{=} +\] + +\end_inset + + +\begin_inset Formula +\[ +=\left\langle v,\overline{\varphi w_{1}}w_{1}\right\rangle +\cdots+\left\langle v,\overline{\varphi w_{n}}w_{n}\right\rangle \overset{\text{konj. ad. v 2. fakt.}}{=}\left\langle v,\left(\varphi w_{1}\right)w_{1}+\cdots+\left(\varphi w_{n}\right)w_{n}\right\rangle +\] + +\end_inset + +Za dan +\begin_inset Formula $\varphi$ +\end_inset + + smo konstruirali eksplicitno formulo za iskani +\begin_inset Formula $w$ +\end_inset + +. +\end_layout + +\begin_layout Itemize +Enoličnost +\begin_inset Formula $w$ +\end_inset + +: + PDDRAA +\begin_inset Formula $\forall v\in V:\varphi\left(v\right)=\left\langle v,w_{1}\right\rangle =\left\langle v,w_{2}\right\rangle $ +\end_inset + +. + Tedaj +\begin_inset Formula $\forall v\in V:\left\langle v,w_{1}-w_{2}\right\rangle =0$ +\end_inset + +. + Vzemimo konkreten +\begin_inset Formula $v=w_{1}-w_{2}$ +\end_inset + + in ga vstavimo v formulo +\begin_inset Formula $\left\langle v,w_{1}-w_{2}\right\rangle =0=\left\langle w_{1}-w_{2},w_{1}-w_{2}\right\rangle =0\Rightarrow w_{1}-w_{2}=0\Rightarrow w_{1}=w_{2}$ +\end_inset + +. +\end_layout + +\end_deeper +\begin_layout Definition* +Naj bosta +\begin_inset Formula $U,V$ +\end_inset + + KRVPSSP in +\begin_inset Formula $L:U\to V$ +\end_inset + + linearna. + Adjungirana linearna preslikava, + pripadajoča +\begin_inset Formula $L$ +\end_inset + +, + je taka +\begin_inset Formula $L^{*}:V\to U$ +\end_inset + +, + da velja +\begin_inset Formula $\forall u\in U,v\in V:\left\langle Lu,v\right\rangle =\left\langle u,L^{*}v\right\rangle $ +\end_inset + +. + Levi skalarni produkt je tisti iz +\begin_inset Formula $V$ +\end_inset + +, + desni pa tisti iz +\begin_inset Formula $U$ +\end_inset + +. +\end_layout + +\begin_layout Claim* +Da lahko pišemo +\begin_inset Formula $L^{*}$ +\end_inset + +, + trdimo, + da je +\begin_inset Formula $L^{*}$ +\end_inset + + vedno obstaja in to vselej enolično. +\end_layout + +\begin_layout Proof +Dokazujemo enolično eksistenco: +\end_layout + +\begin_deeper +\begin_layout Itemize +Enoličnost: + Naj bosta +\begin_inset Formula $L^{*}$ +\end_inset + + in +\begin_inset Formula $L^{\circ}$ +\end_inset + + dve adjungirani linearni preslikavi za +\begin_inset Formula $L$ +\end_inset + +, + torej +\begin_inset Formula $\forall u\in U,v\in V:\left\langle Lu,v\right\rangle =\left\langle u,L^{*}v\right\rangle =\left\langle u,L^{\circ}v\right\rangle $ +\end_inset + +. + Torej +\begin_inset Formula +\[ +\left\langle u,L^{*}v\right\rangle =\left\langle u,L^{\circ}v\right\rangle +\] + +\end_inset + + +\begin_inset Formula +\[ +0=\left\langle u,L^{*}v-L^{\circ}v\right\rangle +\] + +\end_inset + +Za vsaka +\begin_inset Formula $u$ +\end_inset + + in +\begin_inset Formula $v$ +\end_inset + +. + Sedaj vstavimo +\begin_inset Formula $u=L^{*}v-L^{\circ}v$ +\end_inset + +: +\begin_inset Formula +\[ +0=\left\langle L^{*}v-L^{\circ}v,L^{*}v-L^{\circ}v\right\rangle \Longrightarrow L^{*}v-L^{\circ}v=0\Longrightarrow\forall v\in V:L^{*}v=L^{\circ}v +\] + +\end_inset + + +\end_layout + +\begin_layout Itemize +Eksistenca: + Naj bosta +\begin_inset Formula $U,V$ +\end_inset + + KRVPSSP in +\begin_inset Formula $L:U\to V$ +\end_inset + +. + Naj bo +\begin_inset Formula $v\in V$ +\end_inset + + poljuben. + Vpeljimo linearni funkcional +\begin_inset Formula $\varphi:U\to F$ +\end_inset + + s predpisom +\begin_inset Formula $u\mapsto\left\langle Lu,v\right\rangle $ +\end_inset + +. + Prepričajmo se, + da je ta funkcional linearna preslikava: + +\begin_inset Formula +\[ +\varphi\left(\alpha_{1}u_{1}+\alpha_{2}u_{2}\right)=\left\langle L\left(\alpha_{1}u_{1}+\alpha_{2}u_{2}\right),v\right\rangle =\left\langle \alpha_{1}Lu_{1}+\alpha_{2}Lu_{2},v\right\rangle =\alpha_{1}\left\langle Lu_{1},v\right\rangle +\alpha_{2}\left\langle Lu_{2},v\right\rangle +\] + +\end_inset + +Uporabimo Rieszov izrek za funkcional +\begin_inset Formula $\varphi$ +\end_inset + +: + +\begin_inset Formula $\exists!w\in U\ni:\forall u\in U:\varphi u=\left\langle u,w\right\rangle $ +\end_inset + +. + Vpeljimo +\begin_inset Formula $L^{*}v=w$ +\end_inset + +, + s čimer za poljuben +\begin_inset Formula $v$ +\end_inset + + definiramo +\begin_inset Formula $L^{*}v$ +\end_inset + +. + Dokažimo, + da je dobljena preslikava linearna: + +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +udensdash{$L^{*} +\backslash +left( +\backslash +beta_{1}v_{1}+ +\backslash +beta_{2}v_{2} +\backslash +right)= +\backslash +beta_{1}L^{*}v_{1}+ +\backslash +beta_{2}L^{*}v_{2}$} +\end_layout + +\end_inset + +. + Vzemimo pojuben +\begin_inset Formula $u\in U$ +\end_inset + + in računajmo (fino bi bilo dobiti nič): +\begin_inset Formula +\[ +\left\langle u,L^{*}\left(\beta_{1}v_{1}+\beta_{2}v_{2}\right)-\left(\beta_{1}L^{*}v_{1}+\beta_{2}L^{*}v_{2}\right)\right\rangle =\left\langle u,L^{*}\left(\beta_{1}v_{1}+\beta_{2}v_{2}\right)-\beta_{1}L^{*}v_{1}-\beta_{2}L^{*}v_{2}\right\rangle \overset{\text{kl2f}}{=} +\] + +\end_inset + + +\begin_inset Formula +\[ +=\left\langle u,L^{*}\left(\beta_{1}v_{1}+\beta_{2}v_{2}\right)\right\rangle -\overline{\beta_{1}}\left\langle u,L^{*}v_{1}\right\rangle -\overline{\beta_{2}}\left\langle u,L^{*}v_{2}\right\rangle \overset{\text{lin }L^{*}}{=}\left\langle u,\beta_{1}L^{*}v_{1}+\beta_{2}L^{*}v_{2}\right\rangle -\overline{\beta_{1}}\left\langle u,L^{*}v_{1}\right\rangle -\overline{\beta_{2}}\left\langle u,L^{*}v_{2}\right\rangle = +\] + +\end_inset + + +\begin_inset Formula +\[ +=\overline{\beta_{1}}\left\langle u,L^{*}v_{1}\right\rangle +\overline{\beta_{2}}\left\langle u,L^{*}v_{2}\right\rangle -\overline{\beta_{1}}\left\langle u,L^{*}v_{1}\right\rangle -\overline{\beta_{2}}\left\langle u,L^{*}v_{2}\right\rangle =0 +\] + +\end_inset + +Ker to velja za vsak +\begin_inset Formula $u$ +\end_inset + +, + velja tudi za +\begin_inset Formula $u=L^{*}\left(\beta_{1}v_{1}+\beta_{2}v_{2}\right)-\left(\beta_{1}L^{*}v_{1}+\beta_{2}L^{*}v_{2}\right)$ +\end_inset + +, + torej dobimo +\begin_inset Formula +\[ +\left\langle L^{*}\left(\beta_{1}v_{1}+\beta_{2}v_{2}\right)-\left(\beta_{1}L^{*}v_{1}+\beta_{2}L^{*}v_{2}\right),L^{*}\left(\beta_{1}v_{1}+\beta_{2}v_{2}\right)-\left(\beta_{1}L^{*}v_{1}+\beta_{2}L^{*}v_{2}\right)\right\rangle =0 +\] + +\end_inset + +torej po prvem aksiomu za skalarni produtk velja linearnost: +\begin_inset Formula +\[ +L^{*}\left(\beta_{1}v_{1}+\beta_{2}v_{2}\right)-\left(\beta_{1}L^{*}v_{1}+\beta_{2}L^{*}v_{2}\right)=0 +\] + +\end_inset + + +\begin_inset Formula +\[ +L^{*}\left(\beta_{1}v_{1}+\beta_{2}v_{2}\right)=\beta_{1}L^{*}v_{1}+\beta_{2}L^{*}v_{2} +\] + +\end_inset + + +\end_layout + +\end_deeper +\begin_layout Example* +Naj bo +\begin_inset Formula $A\in M_{m\times n}\left(F\right)$ +\end_inset + + s pripadajočo linearno preslikavo +\begin_inset Formula $L_{A}=F^{n}\to F^{m}$ +\end_inset + +, + ki slika +\begin_inset Formula $v\mapsto Av$ +\end_inset + +. + Kako izgleda matrika +\begin_inset Formula $L_{A^{*}}$ +\end_inset + +? + Odgovor je odvisen od izbire skalarnega produkta. + Izberimo standardni skalarni produkt v +\begin_inset Formula $F^{n}$ +\end_inset + + in +\begin_inset Formula $F^{m}$ +\end_inset + + in +\begin_inset Formula $L_{A^{*}}:F^{m}\to F^{n}$ +\end_inset + + definiramo z +\begin_inset Formula $v\mapsto A^{*}v$ +\end_inset + +, + kjer je +\begin_inset Formula $A^{*}=\overline{A^{T}}$ +\end_inset + +, + torej transponiranka +\begin_inset Formula $A$ +\end_inset + + z vsemi elementi konjugiranimi. + Izkaže se, + da je potemtakem +\begin_inset Formula $L_{A^{*}}$ +\end_inset + + adjungirana linearna preslikava od +\begin_inset Formula $L_{A}$ +\end_inset + +. +\end_layout + +\begin_layout Subsubsection +Matrika adjungirane linearne preslikave +\end_layout + +\begin_layout Standard +Naj bosta +\begin_inset Formula $U,V$ +\end_inset + + KRVPSSP in naj bo +\begin_inset Formula $\mathcal{B}=\left\{ u_{1},\dots,u_{n}\right\} $ +\end_inset + + ONB za +\begin_inset Formula $U$ +\end_inset + + in +\begin_inset Formula $\mathcal{C}=\left\{ v_{1},\dots,v_{m}\right\} $ +\end_inset + + ONB za +\begin_inset Formula $V$ +\end_inset + +. + Vzemimo linearno preslikavo +\begin_inset Formula $L:U\to V$ +\end_inset + +. + Izpeljimo zvezo med +\begin_inset Formula $L$ +\end_inset + + in +\begin_inset Formula $L^{*}$ +\end_inset + + glede na bazi +\begin_inset Formula $\mathcal{B}$ +\end_inset + + in +\begin_inset Formula $\mathcal{C}$ +\end_inset + +. + Torej +\begin_inset Formula $\left[L\right]_{\mathcal{C}\leftarrow\mathcal{B}}$ +\end_inset + + za +\begin_inset Formula $L:U\to V$ +\end_inset + + in +\begin_inset Formula $\left[L^{*}\right]_{\mathcal{B}\leftarrow\mathcal{C}}$ +\end_inset + + za +\begin_inset Formula $L^{*}:V\to U$ +\end_inset + +. + Izračunajmo +\begin_inset Formula $\left[L\right]_{\mathcal{C}\leftarrow\mathcal{B}}$ +\end_inset + + tako, + da uporabimo fourierov razvoj: +\begin_inset Formula +\[ +\begin{array}{ccccccc} +Lu_{1} & = & \left\langle Lu_{1},v_{1}\right\rangle v_{1} & + & \cdots & + & \left\langle Lu_{1},v_{m}\right\rangle v_{m}\\ +\vdots & & \vdots & & & & \vdots\\ +Lu_{n} & = & \left\langle Lu_{n},v_{1}\right\rangle v_{1} & + & \cdots & + & \left\langle Lu_{n},v_{m}\right\rangle v_{m} +\end{array} +\] + +\end_inset + + +\begin_inset Formula +\[ +\left[L\right]_{\mathcal{C}\leftarrow\mathcal{B}}=\left[\begin{array}{ccc} +\left\langle Lu_{1},v_{1}\right\rangle & \cdots & \left\langle Lu_{n},v_{1}\right\rangle \\ +\vdots & & \vdots\\ +\left\langle Lu_{1},v_{m}\right\rangle & \cdots & \left\langle Lu_{n},v_{m}\right\rangle +\end{array}\right]=\left[\begin{array}{ccc} +\left\langle u_{1},L^{*}v_{1}\right\rangle & \cdots & \left\langle u_{n},L^{*}v_{1}\right\rangle \\ +\vdots & & \vdots\\ +\left\langle u_{1},L^{*}v_{m}\right\rangle & \cdots & \left\langle u_{n},L^{*}v_{m}\right\rangle +\end{array}\right] +\] + +\end_inset + + +\end_layout + +\begin_layout Standard +Sedaj izračunajmo še +\begin_inset Formula $\left[L^{*}\right]_{\mathcal{B}\leftarrow\mathcal{C}}$ +\end_inset + + spet s fourierovim razvojem in primerjajmo istoležne koeficiente: +\begin_inset Formula +\[ +\begin{array}{ccccccc} +L^{*}v_{1} & = & \left\langle L^{*}v_{1},u_{1}\right\rangle u_{1} & + & \cdots & + & \left\langle L^{*}v_{1},u_{n}\right\rangle u_{n}\\ +\vdots & & \vdots & & & & \vdots\\ +L^{*}v_{m} & = & \left\langle Lv_{m},u_{1}\right\rangle u_{1} & + & \cdots & + & \left\langle Lv_{m},u_{n}\right\rangle u_{n} +\end{array} +\] + +\end_inset + + +\begin_inset Formula +\[ +\left[L\right]_{\mathcal{B}\leftarrow\mathcal{C}}=\left[\begin{array}{ccc} +\left\langle L^{*}v_{1},u_{1}\right\rangle & \cdots & \left\langle L^{*}v_{m},u_{1}\right\rangle \\ +\vdots & & \vdots\\ +\left\langle L^{*}v_{1},u_{n}\right\rangle & \cdots & \left\langle L^{*}v_{m},u_{n}\right\rangle +\end{array}\right]=\left[\begin{array}{ccc} +\overline{\left\langle u_{1},L^{*}v_{1}\right\rangle } & \cdots & \overline{\left\langle u_{1},L^{*}v_{m}\right\rangle }\\ +\vdots & & \vdots\\ +\overline{\left\langle u_{n},L^{*}v_{1}\right\rangle } & \cdots & \overline{\left\langle u_{n},L^{*}v_{m}\right\rangle } +\end{array}\right]=\left[\begin{array}{ccc} +\overline{\left\langle u_{1},L^{*}v_{1}\right\rangle } & \cdots & \overline{\left\langle u_{n},L^{*}v_{1}\right\rangle }\\ +\vdots & & \vdots\\ +\overline{\left\langle u_{1},L^{*}v_{m}\right\rangle } & \cdots & \overline{\left\langle u_{n},L^{*}v_{m}\right\rangle } +\end{array}\right]^{T}= +\] + +\end_inset + + +\begin_inset Formula +\[ +=\overline{\left[L\right]_{\mathcal{C}\leftarrow\mathcal{B}}}^{T} +\] + +\end_inset + + +\end_layout + +\begin_layout Remark* +Kako izgleda lastnost +\begin_inset Formula $\left\langle Lu,v\right\rangle =\left\langle u,L^{*}v\right\rangle $ +\end_inset + +? + Naj bo +\begin_inset Formula $u\in F^{n}$ +\end_inset + + in +\begin_inset Formula $v\in F^{m}$ +\end_inset + + in +\begin_inset Formula $A=m\times n$ +\end_inset + + matrika. + Ali za standardna skalarna produkta v +\begin_inset Formula $F^{n}$ +\end_inset + + in +\begin_inset Formula $F^{m}$ +\end_inset + + +\begin_inset Formula $\left\langle Au,v\right\rangle =\left\langle u,A^{*}v\right\rangle $ +\end_inset + + velja tudi za matrike, + če vzamemo +\begin_inset Formula $A^{*}=\overline{A}^{T}=\overline{A^{T}}$ +\end_inset + +? + Pa preverimo (ja, + velja): +\begin_inset Formula +\[ +\left\langle u,v\right\rangle =u_{1}\overline{v_{1}}+\cdots+u_{n}\overline{v_{n}}=\left[\begin{array}{ccc} +\overline{v_{1}} & \cdots & \overline{v_{n}}\end{array}\right]\left[\begin{array}{c} +u_{1}\\ +\vdots\\ +u_{n} +\end{array}\right]=v^{*}u +\] + +\end_inset + + +\begin_inset Formula +\[ +\left\langle Au,v\right\rangle =v^{*}Au +\] + +\end_inset + + +\begin_inset Formula +\[ +\left\langle u,A^{*}v\right\rangle =\left(A^{*}v\right)^{*}u=v^{*}\left(A^{*}\right)^{*}u=v^{*}Au +\] + +\end_inset + + +\end_layout + +\begin_layout Fact* +Lastnosti adjungiranja: + +\begin_inset Formula $\left(\alpha A+\beta B\right)^{*}=\overline{\alpha}A^{*}+\overline{\beta}B^{*}$ +\end_inset + +, + +\begin_inset Formula $\left(AB\right)^{*}=B^{*}A^{*}$ +\end_inset + +, + +\begin_inset Formula $\left(A^{*}\right)^{*}=A$ +\end_inset + + +\begin_inset Note Note +status open + +\begin_layout Plain Layout +TODO XXX FIXME DOKAŽI +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Subsubsection +Jedro in slika adjungirane linearne preslikave +\end_layout + +\begin_layout Claim* +Naj bo +\begin_inset Formula $L:U\to V$ +\end_inset + + linearna. + Velja +\begin_inset Formula $\Ker\left(L^{*}\right)=\left(\Slika L\right)^{\perp}$ +\end_inset + + in +\begin_inset Formula $\Slika\left(L^{*}\right)=\left(\Ker L\right)^{\perp}$ +\end_inset + +. +\end_layout + +\begin_layout Proof +Naj bo +\begin_inset Formula $v\in\Ker L^{*}$ +\end_inset + + za +\begin_inset Formula $L^{*}:V\to U$ +\end_inset + +. + Velja +\end_layout + +\begin_layout Proof +\begin_inset Formula +\[ +v\in\Ker\left(L^{*}\right)\Leftrightarrow L^{*}v=0\Leftrightarrow\forall u\in U:\left\langle u,L^{*}v\right\rangle =0\Leftrightarrow\forall u\in U:\left\langle Lu,v\right\rangle =0\Leftrightarrow\forall w\in\Slika L:\left\langle w,v\right\rangle =0\Leftrightarrow v\in\left(\Slika L\right)^{\perp} +\] + +\end_inset + +Velja torej +\begin_inset Formula $\Ker L^{*}=\left(\Slika L\right)^{\perp}\Rightarrow\Ker L=\left(\Slika L^{*}\right)^{\perp}\Rightarrow\left(\Ker L\right)^{\perp}=\Slika L^{*}\Rightarrow\left(\Ker L^{*}\right)^{\perp}=\Slika L$ +\end_inset + + +\end_layout + +\begin_layout Claim* +Za +\begin_inset Formula $L:U\to V$ +\end_inset + + velja +\begin_inset Formula $\Ker\left(L^{*}L\right)=\Ker L$ +\end_inset + + +\end_layout + +\begin_layout Proof +Vzemimo poljuben +\begin_inset Formula $u\in U$ +\end_inset + + in dokazujemo enakost množic (obe vsebovanosti): +\end_layout + +\begin_deeper +\begin_layout Labeling +\labelwidthstring 00.00.0000 +\begin_inset Formula $\left(\supseteq\right)$ +\end_inset + + Če +\begin_inset Formula $u\in\Ker L\Rightarrow Lu=0\overset{\text{množimo z }L^{*}}{\Longrightarrow}L^{*}Lu=L^{*}u=0\Rightarrow u\in\Ker L^{*}L\Rightarrow\Ker L\subseteq\Ker L^{*}L$ +\end_inset + + +\end_layout + +\begin_layout Labeling +\labelwidthstring 00.00.0000 +\begin_inset Formula $\left(\subseteq\right)$ +\end_inset + + Če +\begin_inset Formula $u\in\Ker L^{*}L\Rightarrow L^{*}Lu=0\Rightarrow\left\langle u,L^{*}Lu\right\rangle =0\Rightarrow\left\langle Lu,Lu\right\rangle =0\Rightarrow Lu=0\Rightarrow u\in\Ker L\Rightarrow\Ker L^{*}L\subseteq\Ker L$ +\end_inset + + \end_layout \end_deeper +\begin_layout Corollary* +\begin_inset Formula $\Slika\left(L^{*}L\right)=\Slika\left(L\right)$ +\end_inset + +. +\end_layout + +\begin_layout Proof +\begin_inset Formula $\Slika\left(L^{*}L\right)=\Slika\left(L^{*}\left(L^{*}\right)^{*}\right)=\Slika\left(\left(L^{*}L\right)^{*}\right)=\left(\Ker L^{*}L\right)^{\perp}=\left(\Ker L\right)^{\perp}=\Slika L^{*}$ +\end_inset + + +\end_layout + +\begin_layout Subsubsection +Lastne vrednosti adjungirane linearne preslikave. +\end_layout + +\begin_layout Claim* +Če je +\begin_inset Formula $\lambda$ +\end_inset + + lastna vrednost +\begin_inset Formula $A$ +\end_inset + +, + je +\begin_inset Formula $\overline{\lambda}$ +\end_inset + + lastna vrednost za +\begin_inset Formula $A^{*}$ +\end_inset + +. + ZDB +\begin_inset Formula $\det\left(A-\lambda I\right)=0\Rightarrow\det\left(A-\lambda\right)$ +\end_inset + +. +\end_layout + +\begin_layout Proof +Naj bo +\begin_inset Formula $B=A-\lambda I$ +\end_inset + +. + Tedaj +\begin_inset Formula $B^{*}=A^{*}-\overline{\lambda}I^{*}=A^{*}-\overline{\lambda}I$ +\end_inset + +. + Radi bi dokazali +\begin_inset Formula $\det B=0\Rightarrow\det B^{*}=0$ +\end_inset + +. + Ker je +\begin_inset Formula $B^{*}=\overline{B}^{T}\Rightarrow\det B^{*}=\det\overline{B}^{T}=\det\overline{B}=\overline{\det B}\Rightarrow\det B=0\Rightarrow\det B^{*}=0$ +\end_inset + +. +\end_layout + +\begin_layout Corollary* +Iz te formule izvemo tudi karakteristični polimom +\begin_inset Formula $A^{*}$ +\end_inset + +. + +\begin_inset Formula $p_{A^{*}}\left(x\right)=\det\left(A^{*}-xI\right)\Rightarrow p_{A}\left(\overline{x}\right)=\det\left(A-\overline{x}I\right)=\det\left(A^{*}-xI\right)^{*}=\overline{\det\left(A^{*}-xI\right)}=\overline{p_{A^{*}}\left(x\right)}$ +\end_inset + +, + torej +\begin_inset Formula $p_{A^{*}}\left(x\right)=\overline{p_{A}\left(\overline{x}\right)}$ +\end_inset + +. + Torej, + če je +\begin_inset Formula $p_{A}\left(x\right)=c_{0}x^{0}+\cdots+x_{n}x^{n}$ +\end_inset + +, + je +\begin_inset Formula $p_{A^{*}}\left(x\right)=\overline{c_{0}\overline{x^{0}}+\cdots+x_{n}\overline{x^{n}}}=\overline{c_{0}}x^{0}+\cdots+\overline{c_{n}}x^{n}$ +\end_inset + +. +\end_layout + +\begin_layout Proof +Alternativen dokaz: + Najprej dokažimo +\begin_inset Formula $\dim\Ker B^{*}=\dim\Ker B$ +\end_inset + +. + Velja +\begin_inset Formula $\dim\Ker B^{*}=\dim\left(\Slika B\right)^{\perp}=n-\dim\Slika B=\dim\Ker B$ +\end_inset + +. + Torej +\begin_inset Formula $\Ker\left(B\right)\not=0\Leftrightarrow\Ker\left(B^{*}\right)\not=0$ +\end_inset + +, + torej so lastne vrednosti +\begin_inset Formula $A^{*}$ +\end_inset + + konjugirane lastne vrednosti +\begin_inset Formula $A$ +\end_inset + +. +\end_layout + +\begin_layout Remark* +Med lastnimi vektorji +\begin_inset Formula $A$ +\end_inset + + in lastnimi vektorji +\begin_inset Formula $A^{*}$ +\end_inset + + (žal) ni posebne zveze. + Primer: + +\begin_inset Formula $A=\left[\begin{array}{cc} +1 & 2\\ +i & 1 +\end{array}\right]$ +\end_inset + + ima lastne vektorje +\begin_inset Formula $\vec{v_{1}}=\left[\begin{array}{c} +1-i\\ +-1 +\end{array}\right]$ +\end_inset + + in +\begin_inset Formula $\vec{v_{2}}=\left[\begin{array}{c} +1-i\\ +1 +\end{array}\right]$ +\end_inset + +, + +\begin_inset Formula $A^{*}=\left[\begin{array}{cc} +1 & 1\\ +2 & -i +\end{array}\right]$ +\end_inset + + pa lastne vektorje +\begin_inset Formula $\vec{v_{1}'}=\left[\begin{array}{c} +1-i\\ +-2 +\end{array}\right]$ +\end_inset + + in +\begin_inset Formula $\vec{v_{2}'}=\left[\begin{array}{c} +1-i\\ +2 +\end{array}\right]$ +\end_inset + +. + Med temi vektorji ni nobenih kolinearnosti. + Obstajajo pa zveze v nekaterih zanimivih primerih: +\end_layout + +\begin_layout Claim* +Če matrika +\begin_inset Formula $A$ +\end_inset + + zadošča +\begin_inset Formula $A^{*}A=AA^{A}$ +\end_inset + + (pravimo +\begin_inset Formula $A$ +\end_inset + + je normalna), + iz +\begin_inset Formula $Av=\lambda v$ +\end_inset + + sledi +\begin_inset Formula $A^{*}v=\overline{\lambda}v$ +\end_inset + +, + torej imata +\begin_inset Formula $A$ +\end_inset + + in +\begin_inset Formula $A^{*}$ +\end_inset + + iste lastne vrednosti. +\end_layout + +\begin_layout Proof +Če velja +\begin_inset Formula $Av=\lambda v$ +\end_inset + +, + velja +\begin_inset Formula $Av-\lambda v=\left(A-\lambda I\right)v=Bv=0\Rightarrow v\in\Ker B$ +\end_inset + +. + Če velja +\begin_inset Formula $A^{*}v=\overline{\lambda}v$ +\end_inset + +, + velja +\begin_inset Formula $A^{*}v-\overline{\lambda}v=\left(A^{*}-\overline{\lambda}I\right)v=B^{*}v=0\Rightarrow v\in\Ker B^{*}$ +\end_inset + +. + Dokazati je treba še +\begin_inset Formula $\Ker B=\Ker B^{*}$ +\end_inset + +: +\end_layout + +\begin_deeper +\begin_layout Enumerate +Ali velja +\begin_inset Formula $A^{*}A=AA^{*}\Rightarrow B^{*}B=BB^{*}$ +\end_inset + +? + Ja. +\end_layout + +\begin_deeper +\begin_layout Enumerate +\begin_inset Formula $B^{*}B=\left(A^{*}-\overline{\lambda}I\right)\left(A-\lambda I\right)=A^{*}A-\overline{\lambda}A-\lambda A^{*}+\overline{\lambda}\lambda I$ +\end_inset + + +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $BB^{*}=\left(A-\lambda I\right)\left(A^{*}-\overline{\lambda}I\right)=AA^{*}-\overline{\lambda}A-\lambda A^{*}+\lambda\overline{\lambda}I$ +\end_inset + + +\end_layout + +\end_deeper +\begin_layout Enumerate +Ali velja +\begin_inset Formula $B^{*}B=BB^{*}\Rightarrow\Ker B=\Ker B^{*}$ +\end_inset + +? + Iz +\begin_inset Formula $B^{*}B=BB^{*}$ +\end_inset + + sledi +\begin_inset Formula $\Ker\left(B^{*}B\right)=\Ker\left(BB^{*}\right)\Rightarrow\Ker\left(B\right)=\Ker\left(B^{*}\right)$ +\end_inset + +. +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $\Ker B=\Ker B^{*}\Rightarrow\forall v\in V:Av=\lambda v\Leftrightarrow A^{*}v=\overline{\lambda}v$ +\end_inset + +. +\end_layout + +\end_deeper +\begin_layout Subsubsection +Normalne matrike +\end_layout + +\begin_layout Definition* +\begin_inset Formula $A$ +\end_inset + + je normalna +\begin_inset Formula $\Leftrightarrow A^{*}A=AA^{*}$ +\end_inset + +. +\end_layout + +\begin_layout Remark* +Dokazali smo že, + da za normalne matrike velja, + da imata +\begin_inset Formula $A$ +\end_inset + + in +\begin_inset Formula $A^{*}$ +\end_inset + + iste lastne vektorje, + kar v splošnem ne velja. +\end_layout + +\begin_layout Claim* +Lastni vektorji, + ki pripadajo različnim lastnim vrednostim normalne matrike, + so paroma ortogonalni. +\end_layout + +\begin_layout Proof +Naj bo +\begin_inset Formula $A^{*}A=AA^{*}$ +\end_inset + + za neko +\begin_inset Formula $A$ +\end_inset + + in naj bo +\begin_inset Formula $Au=\lambda u$ +\end_inset + + in +\begin_inset Formula $Av=\mu v$ +\end_inset + + in +\begin_inset Formula $\mu\not=\lambda$ +\end_inset + +. + +\begin_inset Formula $u\perp v\Leftrightarrow\left\langle u,v\right\rangle =0$ +\end_inset + +. + Računajmo: +\begin_inset Formula +\[ +\mu\left\langle u,v\right\rangle =\left\langle u,\overline{\mu}v\right\rangle =\left\langle u,A^{*}v\right\rangle =\left\langle Au,v\right\rangle =\left\langle \lambda u,v\right\rangle =\lambda\left\langle u,v\right\rangle +\] + +\end_inset + + +\begin_inset Formula +\[ +\left(\mu-\lambda\right)\left\langle u,v\right\rangle =0\wedge u\not=\lambda\Rightarrow\left\langle u,v\right\rangle =0\Leftrightarrow u\perp v +\] + +\end_inset + + +\end_layout + +\begin_layout Claim* +Vsako normalno matriko se da diagonalizirati. +\end_layout + +\begin_layout Proof +Dokažimo, + da je jordanska forma normalne matrike diagonalna +\begin_inset Formula $\Leftrightarrow$ +\end_inset + + vsi korenski podprostori so lastni. + +\begin_inset Formula $\forall m,\lambda:\Ker\left(A-I\lambda\right)^{m}=\Ker\left(A-I\lambda\right)$ +\end_inset + +. + Zadošča dokazati za +\begin_inset Formula $m=2$ +\end_inset + +. + Naj bo +\begin_inset Formula $m=2$ +\end_inset + + in +\begin_inset Formula $B=A-I\lambda$ +\end_inset + +. + Dokažimo +\begin_inset Formula $\Ker B^{2}=\Ker B$ +\end_inset + +. +\end_layout + +\begin_deeper +\begin_layout Enumerate +Če v +\begin_inset Formula $\Ker\left(A\right)=\Ker\left(A^{*}A\right)$ +\end_inset + + vstavimo +\begin_inset Formula $A=B^{2}$ +\end_inset + +, + dobimo +\begin_inset Formula $\Ker B^{2}=\Ker\left(\left(B^{2}\right)^{*}B^{2}\right)$ +\end_inset + +. +\end_layout + +\begin_layout Enumerate +Ker je +\begin_inset Formula $A$ +\end_inset + + normalna, + je +\begin_inset Formula $B$ +\end_inset + + normalna, + torej +\begin_inset Formula $\left(B^{2}\right)^{*}B^{2}=B^{*}B^{*}BB=B^{*}BB^{*}B=\left(B^{*}B\right)^{2}$ +\end_inset + +. + Torej +\begin_inset Formula $\Ker\left(\left(B^{2}\right)^{*}B^{2}\right)=\Ker\left(B^{*}B\right)^{2}$ +\end_inset + +. +\end_layout + +\begin_layout Enumerate +Če v +\begin_inset Formula $\Ker A^{*}A=\Ker A$ +\end_inset + + vstavimo +\begin_inset Formula $A=B^{*}B$ +\end_inset + +, + dobimo +\begin_inset Formula $\Ker B^{*}BB^{*}B=\Ker\left(B^{*}B\right)^{2}=\Ker B^{*}B$ +\end_inset + +. +\end_layout + +\begin_layout Enumerate +Zopet upoštevamo +\begin_inset Formula $\Ker A^{*}A=\Ker A$ +\end_inset + +, + torej +\begin_inset Formula $\Ker\left(B^{*}B\right)=\Ker B$ +\end_inset + +. +\end_layout + +\end_deeper +\begin_layout Proof +Ko dokažemo +\begin_inset Formula $B$ +\end_inset + + normalna +\begin_inset Formula $\Rightarrow B^{*}$ +\end_inset + + normalna, + bo iz +\begin_inset Formula $\Ker B^{2}=\Ker B$ +\end_inset + + sledilo +\begin_inset Formula $\Ker B^{4}=\Ker B$ +\end_inset + +. + Preverimo, + a je +\begin_inset Formula $B^{2}$ +\end_inset + + normalna, + če je +\begin_inset Formula $B$ +\end_inset + + normalna: + +\begin_inset Formula $\left(B^{2}\right)^{*}B^{2}=B^{*}B^{*}BB=B^{*}BB^{*}B=BB^{*}BB^{*}=BBB^{*}B^{*}=B^{2}\left(B^{2}\right)^{*}$ +\end_inset + +. + Sedaj vemo +\begin_inset Formula $\Ker B=\Ker B^{2}=\Ker B^{4}=\Ker B^{8}=\cdots$ +\end_inset + +. + Vemo pa tudi, + da +\begin_inset Formula +\[ +\Ker B\subseteq\Ker B^{2}\subseteq\Ker B^{3}\subseteq\Ker B^{4}\subseteq\Ker B^{5}\subseteq\Ker B^{6}\subseteq\cdots +\] + +\end_inset + + +\begin_inset Formula +\[ +\Ker B\subseteq\Ker B\subseteq\Ker B^{3}\subseteq\Ker B\subseteq\Ker B^{5}\subseteq\Ker B\subseteq\cdots +\] + +\end_inset + + +\begin_inset Formula +\[ +\Ker B=\Ker B^{2}=\Ker B^{3}=\Ker B^{4}=\Ker B^{5}=\cdots +\] + +\end_inset + + +\begin_inset Formula +\[ +\forall v:\Ker B^{m}=\Ker B +\] + +\end_inset + + +\end_layout + +\begin_layout Remark* +Torej za vsako normalno matriko +\begin_inset Formula $A\exists$ +\end_inset + + diagonalna +\begin_inset Formula $D$ +\end_inset + + in obrnljiva +\begin_inset Formula $P$ +\end_inset + + z ortonormiranimi stolpci, + da velja +\begin_inset Formula $AP=PD$ +\end_inset + +, + +\begin_inset Formula $A=PDP^{-1}$ +\end_inset + +. + Diagonala +\begin_inset Formula $D$ +\end_inset + + so lastne vrednosti +\begin_inset Formula $A$ +\end_inset + +, + stolpci +\begin_inset Formula $P$ +\end_inset + + pa so njeni lastni vektorji. + Lastni podprostori +\begin_inset Formula $\left(A-\lambda_{1}I\right),\dots,\left(A-\lambda_{n}I\right)$ +\end_inset + + so medsebojno pravokotni. + Izberimo ONB za vsak lasten podprostor. + Unija teh ONB je ONB za +\begin_inset Formula $F^{n}$ +\end_inset + +. + +\begin_inset Formula $F^{n}=\Ker\left(A-\lambda_{1}I\right)\oplus\cdots\oplus\Ker\left(A-\lambda_{n}I\right)$ +\end_inset + +. + Ta ONB so stolpci matrike +\begin_inset Formula $P$ +\end_inset + +. +\end_layout + +\begin_layout Subsubsection +Ortogonalne/unitarne matrike +\end_layout + +\begin_layout Definition* +Naj bo +\begin_inset Formula $A$ +\end_inset + + kvadratna z ON stolpci glede na standardni skalarni produkt. + Pravimo, + da je +\begin_inset Formula $A$ +\end_inset + + unitarna (v kompleksnem primer) oziroma ortogonalna (v realnem primeru). +\end_layout + +\begin_layout Claim* +Za unitarno +\begin_inset Formula $A$ +\end_inset + + velja +\begin_inset Formula $A^{*}A=AA^{*}=I$ +\end_inset + +. +\end_layout + +\begin_layout Proof +Dokazujmo za unitarno. + Za ortogonalno je dokaz podoben. + Naj bo +\begin_inset Formula $A=\left[\begin{array}{ccc} +a_{11} & \cdots & a_{1n}\\ +\vdots & & \vdots\\ +a_{n1} & \cdots & a_{nn} +\end{array}\right]$ +\end_inset + + unitarna. + To pomeni, + da za vsaka stolpca +\begin_inset Formula $a_{i}=\left(a_{1i},\dots,a_{ni}\right)$ +\end_inset + + in +\begin_inset Formula $a_{j}=\left(a_{1j},\dots,a_{nj}\right)$ +\end_inset + + velja za vsak +\begin_inset Formula $i,j\in\left\{ 1..n\right\} $ +\end_inset + + velja +\begin_inset Formula $\left\langle \text{\left[\begin{array}{c} +a_{1i}\\ +\text{\ensuremath{\vdots}}\\ +a_{ni} +\end{array}\right],\left[\begin{array}{c} +a_{1j}\\ +\vdots\\ +a_{nj} +\end{array}\right]}\right\rangle =a_{1i}\overline{a_{1j}}+\cdots+a_{ni}\overline{a_{nj}}=\begin{cases} +0 & ;i\not=j\\ +1 & ;i=j +\end{cases}$ +\end_inset + +. + Oglejmo si +\begin_inset Formula +\[ +A^{*}A=\left[\begin{array}{ccc} +\overline{a_{11}} & \cdots & \overline{a_{n1}}\\ +\vdots & & \vdots\\ +\overline{a_{1n}} & \cdots & \overline{a_{nn}} +\end{array}\right]\left[\begin{array}{ccc} +a_{11} & \cdots & a_{1n}\\ +\vdots & & \vdots\\ +a_{n1} & \cdots & a_{nn} +\end{array}\right]=\left[\begin{array}{ccc} +1 & & 0\\ + & \ddots\\ +0 & & 1 +\end{array}\right] +\] + +\end_inset + +Očitno je res, + ker je vsak element +\begin_inset Formula $A^{*}A$ +\end_inset + + konstruiran s skalarnim množenjem vrstice leve matrike (konjugirani stolpci +\begin_inset Formula $A$ +\end_inset + +, + ker smo poprej matriko transponiralo) in stolpca desne, + za kar predpis smo poprej že razbrali. +\end_layout + +\begin_layout Remark* +Za nekvadratne unitarne velja le +\begin_inset Formula $A^{*}A=I$ +\end_inset + +, + +\begin_inset Formula $AA^{*}=I$ +\end_inset + + pa zaradi nezmožnosti množenja zaradi nepravilnih dimenzij seveda ne velja. +\end_layout + +\begin_layout Claim* +Naslednje trditve so za +\begin_inset Formula $P$ +\end_inset + + z ortonormiranimi stolpci ekvivalentne: +\end_layout + +\begin_deeper +\begin_layout Enumerate +\begin_inset Formula $P^{*}P=I$ +\end_inset + + +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $\forall u,v:\left\langle Pu,Pv\right\rangle =\left\langle u,v\right\rangle $ +\end_inset + + +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $\forall u:\left|\left|Pu\right|\right|=\left|\left|u\right|\right|$ +\end_inset + + +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $\forall$ +\end_inset + + ONB +\begin_inset Formula $\left\{ u_{1},\dots,u_{n}\right\} :\left\{ Pu_{1},\dots,Pu_{n}\right\} $ +\end_inset + + je ON množica +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $\exists$ +\end_inset + + ONB +\begin_inset Formula $\left\{ u_{1},\dots,u_{n}\right\} :\left\{ Pu_{1},\dots,Pu_{n}\right\} $ +\end_inset + + je ON množica +\end_layout + +\end_deeper +\begin_layout Proof +Dokazujemo ekvivalenco: +\end_layout + +\begin_deeper +\begin_layout Labeling +\labelwidthstring 00.00.0000 +\begin_inset Formula $\left(1\Rightarrow2\right)$ +\end_inset + + +\begin_inset Formula $\left\langle Pu,Pv\right\rangle =\left\langle u,P^{*}Pv\right\rangle =\left\langle u,v\right\rangle $ +\end_inset + + +\end_layout + +\begin_layout Labeling +\labelwidthstring 00.00.0000 +\begin_inset Formula $\left(2\Rightarrow3\right)$ +\end_inset + + +\begin_inset Formula $\left|\left|Pu\right|\right|^{2}=\left\langle Pu,Pu\right\rangle =\left\langle u,u\right\rangle =\left|\left|u\right|\right|^{2}$ +\end_inset + + +\end_layout + +\begin_layout Labeling +\labelwidthstring 00.00.0000 +\begin_inset Formula $\left(2\Rightarrow1\right)$ +\end_inset + + +\begin_inset Formula +\[ +\forall u,v:\left\langle Pu,Pv\right\rangle =\left\langle u,v\right\rangle \Rightarrow\left\langle u,P^{*}Pv\right\rangle -\left\langle u,v\right\rangle =0\Rightarrow\left\langle u,\left(P^{*}P-I\right)v\right\rangle =0 +\] + +\end_inset + + Sedaj izberimo +\begin_inset Formula $u=\left(P^{*}P-I\right)v$ +\end_inset + +: + +\begin_inset Formula $\left\langle \left(P^{*}P-I\right)v,\left(P^{*}P-I\right)v\right\rangle =0\Rightarrow P^{*}P-I=0\Rightarrow P^{*}P=0$ +\end_inset + + +\end_layout + +\begin_layout Labeling +\labelwidthstring 00.00.0000 +\begin_inset Formula $\left(3\Rightarrow2\right)$ +\end_inset + + Po predpostavki +\begin_inset Formula $\forall u:\left|\left|Pu\right|\right|=\left|\left|u\right|\right|$ +\end_inset + + Izrazimo skalarni produkt z normo: + +\begin_inset Formula $\left\langle u,v\right\rangle =\frac{1}{4}\sum_{k=0}^{3}i^{k}\left|\left|u+i^{k}v\right|\right|^{2}$ +\end_inset + +, + torej +\begin_inset Formula +\[ +\left\langle Pu,Pv\right\rangle =\frac{1}{4}\sum_{k=0}^{3}i^{k}\left|\left|Pu+i^{k}Pv\right|\right|^{2}=\frac{1}{4}\sum_{k=0}^{3}i^{k}\left|\left|P\left(u+i^{k}v\right)\right|\right|^{2}\overset{\text{predpostavka}}{=}\frac{1}{4}\sum_{k=0}^{3}i^{k}\left|\left|u+i^{k}v\right|\right|^{2}=\left\langle u,v\right\rangle +\] + +\end_inset + + +\end_layout + +\begin_layout Labeling +\labelwidthstring 00.00.0000 +\begin_inset Formula $\left(5\Rightarrow4\right)$ +\end_inset + + Vzemimo poljuben +\begin_inset Formula $u$ +\end_inset + + in ga razvijmo po ONB +\begin_inset Formula $u_{1},\dots,u_{n}$ +\end_inset + +. + Tedaj +\begin_inset Formula $u=\alpha_{1}u_{1}+\cdots+\alpha_{n}u_{n}$ +\end_inset + +. + Ker so +\begin_inset Formula $u_{i}$ +\end_inset + + ONB, + velja +\begin_inset Formula $\left|\left|u\right|\right|^{2}=\left|\alpha_{1}\right|^{2}+\cdots\left|\alpha_{n}\right|^{2}$ +\end_inset + +. + Ker so +\begin_inset Formula $Pu_{1}$ +\end_inset + + ONB po predpostavki, + +\begin_inset Formula $\left|\left|Pu\right|\right|^{2}=\left|\alpha_{1}\right|^{2}+\cdots+\left|\alpha_{n}\right|^{2}$ +\end_inset + +, + torej velja +\begin_inset Formula $\left|\left|Pu\right|\right|^{2}=\left|\left|u\right|\right|^{2}$ +\end_inset + +. +\end_layout + +\begin_layout Labeling +\labelwidthstring 00.00.0000 +\begin_inset Formula $\left(2\Rightarrow4\right)$ +\end_inset + + Ker so +\begin_inset Formula $u_{1},\dots,u_{n}$ +\end_inset + + ONM, + velja +\begin_inset Formula $\left\langle u_{i},u_{j}\right\rangle =\begin{cases} +1 & ;i=j\\ +0 & ;i\not=j +\end{cases}$ +\end_inset + +. + Tudi +\begin_inset Formula $Pu_{1},\dots,Pu_{n}$ +\end_inset + + ortonormirana, + kajti po predpostavki +\begin_inset Formula $2$ +\end_inset + + velja +\begin_inset Formula $\left\langle Pu_{i},Pu_{2}\right\rangle =\begin{cases} +1 & ;i=j\\ +0 & ;i\not=j +\end{cases}$ +\end_inset + +. +\end_layout + +\begin_layout Labeling +\labelwidthstring 00.00.0000 +\begin_inset Formula $\left(4\Rightarrow5\right)$ +\end_inset + + Očitno. +\end_layout + +\end_deeper +\begin_layout Claim* +Lastne vrednosti unitarne matrike +\begin_inset Formula $A$ +\end_inset + + se nahajajo na enotski krožnici v +\begin_inset Formula $\Im$ +\end_inset + +. +\end_layout + +\begin_layout Proof +Naj bo +\begin_inset Formula $A$ +\end_inset + + unitarna in naj bo +\begin_inset Formula $v$ +\end_inset + + tak, + da +\begin_inset Formula $Av=\lambda v$ +\end_inset + +. + Tedaj +\begin_inset Formula $\left\langle v,v\right\rangle =\left\langle Av,Av\right\rangle =\left\langle \lambda v,\lambda v\right\rangle =\lambda\overline{\lambda}\left\langle v,v\right\rangle \Rightarrow\lambda\overline{\lambda}=1\Rightarrow\left|\lambda\right|=1\Rightarrow\lambda=e^{i\varphi}$ +\end_inset + + za nek +\begin_inset Formula $\varphi$ +\end_inset + +. +\end_layout + +\begin_layout Remark* +Iz unitarnosti sledi normalnost, + zato so lastni vektorji unitarne matrike, + ki pripadajo paroma različnim lastnim vrednostim, + pravokotni (isto, + kot pri normalnih matrikah). +\end_layout + +\begin_layout Standard +\begin_inset Separator plain +\end_inset + + +\end_layout + +\begin_layout Remark* +Prav tako kot pri normalnih matrikah lahko unitarne diagonalitziramo v tokrat ortogonalni bazi. + Pri unitarnih so stolpci +\begin_inset Formula $P$ +\end_inset + + še celo normirani. + +\begin_inset Formula $A=PDP^{-1}$ +\end_inset + +, + kjer je +\begin_inset Formula $P$ +\end_inset + + unitarna, + torej +\begin_inset Formula $P^{*}=P^{-1}$ +\end_inset + +. +\end_layout + +\begin_layout Standard +\begin_inset Separator plain +\end_inset + + +\end_layout + +\begin_layout Remark* +Očitno je, + da če je +\begin_inset Formula $A$ +\end_inset + + unitarna, + velja +\begin_inset Formula $A^{*}=A^{-1}$ +\end_inset + +. +\end_layout + +\begin_layout Subsubsection +\begin_inset CommandInset label +LatexCommand label +name "subsec:Simetrične/hermitske-matrike" + +\end_inset + +Simetrične/hermitske matrike +\end_layout + +\begin_layout Definition* +Matrika nad +\begin_inset Formula $\mathbb{R}$ +\end_inset + + je simetrična, + če zanjo velja +\begin_inset Formula $A^{*}=A$ +\end_inset + +. + Matrika nad +\begin_inset Formula $\mathbb{C}$ +\end_inset + + je hermitska, + če zanjo velja +\begin_inset Formula $A^{*}=A$ +\end_inset + +. + Linearni preslikavi, + pripadajoči hermitski/simetrični matriki, + pravimo sebiadjungirana. +\end_layout + +\begin_layout Fact* +Vsaka hermitska/simetrična matrika je normalna, + kajti +\begin_inset Formula $A^{*}A=AA=AA^{*}$ +\end_inset + +. +\end_layout + +\begin_layout Claim* +Lastne vrednosti hermitskih/simetričnih matrik so realne. +\end_layout + +\begin_layout Proof +Naj bo +\begin_inset Formula $A=A^{*}$ +\end_inset + + in naj bo +\begin_inset Formula $Av=\lambda v$ +\end_inset + + za nek neničeln +\begin_inset Formula $v$ +\end_inset + +. + Tedaj +\begin_inset Formula $\lambda\left\langle v,v\right\rangle =\left\langle \lambda v,v\right\rangle =\left\langle Av,v\right\rangle =\left\langle v,A^{*}v\right\rangle =\left\langle v,Av\right\rangle =\left\langle v,\lambda v\right\rangle =\overline{\lambda}\left\langle v,v\right\rangle $ +\end_inset + +. + Potemtakem +\begin_inset Formula $\lambda=\overline{\lambda}\Rightarrow\lambda\in\mathbb{R}$ +\end_inset + +. +\end_layout + +\begin_layout Remark* +Diagonalizacija je zopet enaka kot pri normalnih matrikah z dodatkom — + vsaka hermitska matrika je podobna realni diagonalni, + kar za normalne ni res — + normalne so lahko podobne kompleksnim diagonalnim matrikam. +\end_layout + +\begin_layout Subsubsection +Pozitivno (semi)definitne matrike +\end_layout + +\begin_layout Definition* +\begin_inset Formula $A$ +\end_inset + + je pozitivno semidefinitna +\begin_inset Formula $\sim A\geq0\Leftrightarrow A=A^{*}\wedge\forall v:\left\langle Av,v\right\rangle \geq0$ +\end_inset + +. + +\begin_inset Formula $A$ +\end_inset + + je pozitivno definitna +\begin_inset Formula $\sim A>0\Leftrightarrow A=A^{*}\wedge\forall v\not=0:\left\langle Av,v\right\rangle >0$ +\end_inset + +. + S tem ko skalarni produkt primerjamo ( +\begin_inset Formula $>,\geq$ +\end_inset + +), + implicitno zahtevamo njegovo realnost. + Primerjalni operatorji namreč na kompleksnih številih niso definirani. +\end_layout + +\begin_layout Example* +Vzemimo poljubno nenujno kvadratno +\begin_inset Formula $B$ +\end_inset + + in definirajmo +\begin_inset Formula $A=B^{*}B$ +\end_inset + +. + Potem je +\begin_inset Formula $A$ +\end_inset + + pozitivno semidefinitna, + kajti +\begin_inset Formula $A^{*}=\left(B^{*}B\right)^{*}=B^{*}B=A$ +\end_inset + + in +\begin_inset Formula $\left\langle Av,v\right\rangle =\left\langle B^{*}Bv,v\right\rangle =\left\langle Bv,Bv\right\rangle \geq0$ +\end_inset + +. + Če pa bi bili stolpci +\begin_inset Formula $B$ +\end_inset + + linearno neodvisni, + pa bi veljalo +\begin_inset Formula $\forall v:v\not=0\Rightarrow\left\langle Av,v\right\rangle =\left\langle B^{*}Bv\right\rangle =\left\langle Bv,Bv\right\rangle >0$ +\end_inset + +. +\end_layout + +\begin_layout Claim* +\begin_inset Formula $A\geq0\Rightarrow$ +\end_inset + + lastne vrednosti +\begin_inset Formula $A$ +\end_inset + + so +\begin_inset Formula $\geq0$ +\end_inset + +. + +\begin_inset Formula $A>0\Rightarrow$ +\end_inset + + lastne vrednosti +\begin_inset Formula $A$ +\end_inset + + so +\begin_inset Formula $>0$ +\end_inset + +. +\end_layout + +\begin_layout Proof +Naj bo +\begin_inset Formula $\lambda$ +\end_inset + + lastna vrednost +\begin_inset Formula $A$ +\end_inset + + in +\begin_inset Formula $A\geq0$ +\end_inset + +. + Tedaj +\begin_inset Formula $Av=\lambda v$ +\end_inset + + za nek +\begin_inset Formula $v\not=0$ +\end_inset + +. + Torej +\begin_inset Formula $\left\langle Av,v\right\rangle =\left\langle \lambda v,v\right\rangle =\lambda\left\langle v,v\right\rangle $ +\end_inset + +. + Toda ker +\begin_inset Formula $\left\langle Av,v\right\rangle \geq0$ +\end_inset + +, + sledi +\begin_inset Formula $\lambda\left\langle v,v\right\rangle \geq0$ +\end_inset + +. + Ker je +\begin_inset Formula $\left\langle v,v\right\rangle >0$ +\end_inset + +, + sledi +\begin_inset Formula $\lambda\geq0$ +\end_inset + +. + Analogno za +\begin_inset Formula $A>0$ +\end_inset + +. +\end_layout + +\begin_layout Remark* +Diagonalizacija je ista kot za normalna, + s tem da za diagonalno +\begin_inset Formula $D$ +\end_inset + + velja še, + da je pozitivno (semi)definitna, + ko je +\begin_inset Formula $A$ +\end_inset + + pozitivno semidefinitna. +\end_layout + +\begin_layout Claim* +\begin_inset Formula $\forall A\geq0\exists B=B^{*},B\geq0\ni:B^{2}=A$ +\end_inset + +. + ZDB Za vsako pozitivno semidefinitno matriko +\begin_inset Formula $A$ +\end_inset + + obstajaja taka unitarna pozitivno semidefinitna +\begin_inset Formula $B$ +\end_inset + +, + da velja +\begin_inset Formula $B^{2}=A$ +\end_inset + +. +\end_layout + +\begin_layout Proof +Naj bo +\begin_inset Formula $A=PDP^{-1}$ +\end_inset + + in +\begin_inset Formula $P^{*}=P^{-1}$ +\end_inset + + in +\begin_inset Formula $D=\left[\begin{array}{ccc} +\lambda_{1} & & 0\\ + & \ddots\\ +0 & & \lambda_{n} +\end{array}\right]$ +\end_inset + +. + Definirajmo +\begin_inset Formula $E=\left[\begin{array}{ccc} +\sqrt{\lambda_{1}} & & 0\\ + & \ddots\\ +0 & & \sqrt{\lambda_{n}} +\end{array}\right]\geq0$ +\end_inset + +. + Naj bo +\begin_inset Formula $B=PEP^{-1}=PEP^{*}$ +\end_inset + +. + Opazimo +\begin_inset Formula $B^{*}=B$ +\end_inset + +, + kajti +\begin_inset Formula $\left(PEP^{-1}\right)^{*}=\left(PEP^{*}\right)^{*}=PE^{*}P^{*}=PEP^{-1}=PEP^{*}$ +\end_inset + +, + ker je +\begin_inset Formula $E^{*}=E$ +\end_inset + +, + ker je +\begin_inset Formula $\forall a\in\mathbb{R}:\sqrt{a}\in\mathbb{R}$ +\end_inset + +. + Oglejmo si +\begin_inset Formula $B^{2}=PEP^{-1}PEP^{-1}=PE^{2}P^{-1}=PDP^{-1}$ +\end_inset + +. + Tako definiramo +\begin_inset Formula $\sqrt{A}=B$ +\end_inset + + (tu +\begin_inset Formula $\sqrt{}$ +\end_inset + + ni funkcija, + kot pri JKF, + temveč nov operator). +\end_layout + +\begin_layout Claim* +Naslednje trditve so ekvivalentne (zamenjamo lahko +\begin_inset Formula $\geq$ +\end_inset + + in +\begin_inset Formula $>$ +\end_inset + +): +\end_layout + +\begin_deeper +\begin_layout Enumerate +\begin_inset Formula $A\geq0$ +\end_inset + +. +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $A=A^{*}$ +\end_inset + + in vse lastne vrednosti so +\begin_inset Formula $\geq0$ +\end_inset + +. +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $A=PDP^{-1}$ +\end_inset + + za nek unitaren +\begin_inset Formula $P$ +\end_inset + + in diagonalen +\begin_inset Formula $D\geq0$ +\end_inset + +. +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $A=A^{*}$ +\end_inset + + in obstaja +\begin_inset Formula $\sqrt{A}$ +\end_inset + +. +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $A=B^{*}B$ +\end_inset + + za neko nenujno kvadratno matriko +\begin_inset Formula $B$ +\end_inset + + (za pozitivno definitno zahtevamo, + da ima +\begin_inset Formula $B$ +\end_inset + + LN stolpce). +\end_layout + +\end_deeper +\begin_layout Standard +\begin_inset Separator plain +\end_inset + + +\end_layout + +\begin_layout Claim* +klasifikacija skalarnih produktov na +\begin_inset Formula $\mathbb{R}^{n}$ +\end_inset + + in +\begin_inset Formula $\mathbb{C}^{n}$ +\end_inset + +. + Naj bo +\begin_inset Formula $\left\langle u,v\right\rangle $ +\end_inset + + standardni skalarni produkt na +\begin_inset Formula $\mathbb{C}^{n}$ +\end_inset + +. + +\begin_inset Formula $u=\left(\alpha_{1},\dots,\alpha_{n}\right)$ +\end_inset + + in +\begin_inset Formula $v=\left(\beta_{1},\dots,\beta_{n}\right)$ +\end_inset + + in velja +\begin_inset Formula $\left\langle u,v\right\rangle =\alpha_{1}\overline{\beta_{1}}+\cdots+\alpha_{n}\overline{\beta_{n}}=\left[\begin{array}{ccc} +\overline{\beta_{1}} & \cdots & \overline{\beta_{n}}\end{array}\right]\left[\begin{array}{c} +\alpha_{1}\\ +\vdots\\ +\alpha_{n} +\end{array}\right]=v^{*}\cdot u$ +\end_inset + +. + Za +\begin_inset Formula $A>0$ +\end_inset + + definirajmo +\begin_inset Formula $\left[u,v\right]=\left\langle Au,v\right\rangle =v^{*}Au$ +\end_inset + +. + Trdimo, + da je +\begin_inset Formula $\left[\cdot,\cdot\right]$ +\end_inset + + spet skalarni produkt na +\begin_inset Formula $\mathbb{R}^{n}/\mathbb{C}^{n}$ +\end_inset + + in da je vsak skalarni produkt v +\begin_inset Formula $\mathbb{R}^{n}/\mathbb{C}^{n}$ +\end_inset + + take oblike. +\end_layout + +\begin_layout Proof +Dokazujemo oba dela trditve: +\end_layout + +\begin_deeper +\begin_layout Enumerate +\begin_inset Formula $\left[\cdot,\cdot\right]$ +\end_inset + + je skalarni produkt +\end_layout + +\begin_deeper +\begin_layout Enumerate +pozitivna semidefinitnost: + +\begin_inset Formula $\forall u\not=0:\left[u,u\right]=\left\langle Au,u\right\rangle \geq0$ +\end_inset + +. +\end_layout + +\begin_layout Enumerate +konjutirana simetričnost: + +\begin_inset Formula $\forall u,v:\left[u,v\right]=\left\langle Au,v\right\rangle =\left\langle u,A^{*}v\right\rangle =\left\langle u,Av\right\rangle =\overline{\left\langle Av,u\right\rangle }=\overline{\left[v,u\right]}$ +\end_inset + +. +\end_layout + +\begin_layout Enumerate +Linearnost in homogenost: + +\begin_inset Formula $\forall\alpha_{1},\alpha_{2},u_{1}u_{2},v:\left[\alpha_{1}u_{1}+\alpha_{2}u_{2},v\right]=\left\langle A\left(\alpha_{1}u_{1}+\alpha_{2}u_{2}\right),v\right\rangle =\left\langle \alpha_{1}Au_{1}+\alpha_{2}Au_{2},v\right\rangle =\alpha_{1}\left\langle Au_{1},v\right\rangle +\alpha_{2}\left\langle Au_{2},v\right\rangle =\alpha_{1}\left[u,v\right]+\alpha_{2}\left[u,v\right]$ +\end_inset + +. +\end_layout + +\end_deeper +\begin_layout Enumerate +Za vsak skalarni produkt +\begin_inset Formula $\left[\cdot,\cdot\right]$ +\end_inset + + na +\begin_inset Formula $\mathbb{C}^{n}$ +\end_inset + + obstaja taka pozitivno definitna matrika +\begin_inset Formula $A$ +\end_inset + +, + da velja +\begin_inset Formula $\forall u,v\in\mathbb{C}^{n}:\left[u,v\right]=\left\langle Au,v\right\rangle =v^{*}Au$ +\end_inset + +. +\end_layout + +\begin_deeper +\begin_layout Standard +Naj bo +\begin_inset Formula $e_{1},\dots,e_{n}$ +\end_inset + + standardna baza za +\begin_inset Formula $\mathbb{C}^{n}$ +\end_inset + +. + Definirajmo +\begin_inset Formula $A=\left[\begin{array}{ccc} +\left[e_{1},e_{1}\right] & \cdots & \left[e_{n},e_{1}\right]\\ +\vdots & & \vdots\\ +\left[e_{1},e_{n}\right] & \cdots & \left[e_{n},e_{n}\right] +\end{array}\right]$ +\end_inset + +. + Velja +\begin_inset Formula $A=A^{*}$ +\end_inset + +: +\begin_inset Formula +\[ +A^{*}=\left[\begin{array}{ccc} +\overline{\left[e_{1},e_{1}\right]} & \cdots & \overline{\left[e_{1},e_{n}\right]}\\ +\vdots & & \vdots\\ +\overline{\left[e_{n},e_{1}\right]} & \cdots & \overline{\left[e_{n},e_{n}\right]} +\end{array}\right]=\left[\begin{array}{ccc} +\left[e_{1},e_{1}\right] & \cdots & \left[e_{n},e_{1}\right]\\ +\vdots & & \vdots\\ +\left[e_{1},e_{n}\right] & \cdots & \left[e_{n},e_{n}\right] +\end{array}\right]=A +\] + +\end_inset + + Preveriti je treba še +\begin_inset Formula $\forall u,v\in\mathbb{C}^{n}:\left[u,v\right]=v^{*}Au$ +\end_inset + +. + +\begin_inset Formula $u=\alpha_{1}e_{1}+\cdots+\alpha_{n}e_{n}$ +\end_inset + + in +\begin_inset Formula $v=\beta_{1}e_{1}+\cdots+\beta_{n}e_{n}$ +\end_inset + +. + Tedaj je +\begin_inset Formula +\[ +\left[u,v\right]=\left[\alpha_{1}e_{1}+\cdots+\alpha_{n}e_{n},\beta_{1}e_{1}+\cdots+\beta_{n}e_{n}\right]= +\] + +\end_inset + + +\begin_inset Formula +\[ +=\left(\alpha_{1}\overline{\beta_{1}}\left[e_{1},e_{1}\right]+\cdots+\alpha_{1}\overline{\beta_{n}}\left[e_{1},e_{n}\right]\right)+\cdots+\left(\alpha_{n}\overline{\beta_{1}}\left[e_{n},e_{1}\right]+\cdots+\alpha_{n}\overline{\beta_{n}}\left[e_{n},e_{n}\right]\right)= +\] + +\end_inset + + +\begin_inset Formula +\[ +=\left[\begin{array}{ccc} +\overline{\beta_{1}} & \cdots & \overline{\beta_{n}}\end{array}\right]\left[\begin{array}{ccc} +\left[e_{1},e_{1}\right] & \cdots & \left[e_{n},e_{1}\right]\\ +\vdots & & \vdots\\ +\left[e_{1},e_{n}\right] & \cdots & \left[e_{n},e_{n}\right] +\end{array}\right]\left[\begin{array}{c} +\alpha_{1}\\ +\vdots\\ +\alpha_{n} +\end{array}\right]=v^{*}Au=\left\langle Au,v\right\rangle +\] + +\end_inset + +Da je +\begin_inset Formula $A$ +\end_inset + + pozitivno definitna sledi, + saj mora za vsak neničeln +\begin_inset Formula $u$ +\end_inset + + po aksiomu za pozitivno definitnost skalarnega produkta veljati +\begin_inset Formula $\left\langle Au,u\right\rangle >0$ +\end_inset + +. +\end_layout + +\end_deeper +\end_deeper +\begin_layout Subsubsection +Singularni razcep (angl. + singular value decomposition — + SVD) +\end_layout + +\begin_layout Standard +Naj bo +\begin_inset Formula $A_{n\times n}$ +\end_inset + + neka kompleksna ali realna matrika. + Tedaj je +\begin_inset Formula $A^{*}A$ +\end_inset + + hermitska ( +\begin_inset CommandInset ref +LatexCommand ref +reference "subsec:Simetrične/hermitske-matrike" +plural "false" +caps "false" +noprefix "false" +nolink "false" + +\end_inset + +) matrika dimenzij +\begin_inset Formula $n\times n$ +\end_inset + +. + Ker je +\begin_inset Formula $\forall u:\left\langle A^{*}Au,u\right\rangle =\left\langle Au,Au\right\rangle \geq0$ +\end_inset + +, + je +\begin_inset Formula $A^{*}A$ +\end_inset + + pozitivno semidefinitna, + torej so vse njene lastne vrednosti +\begin_inset Formula $\geq0$ +\end_inset + +. +\end_layout + +\begin_layout Definition* +Singularne vrednosti +\begin_inset Formula $A$ +\end_inset + + so kvadratni koreni lastnih vrednosti +\begin_inset Formula $A^{*}A$ +\end_inset + +. +\end_layout + +\begin_layout Example* +Če je +\begin_inset Formula $A$ +\end_inset + + normalna in +\begin_inset Formula $\lambda$ +\end_inset + + lastna vrednost +\begin_inset Formula $A$ +\end_inset + +, + obstaja tak +\begin_inset Formula $v\not=0\ni:Av=\lambda v\Rightarrow A^{*}v=\overline{\lambda}v$ +\end_inset + +. + Odtod sledi, + da je +\begin_inset Formula $A^{*}Av=A^{*}\lambda v=\lambda A^{*}v=\lambda\overline{\lambda}v$ +\end_inset + +, + torej je +\begin_inset Formula $\lambda$ +\end_inset + + lastna vrednost matrike +\begin_inset Formula $A^{*}A$ +\end_inset + +. + Po definiciji singularne vrednosti je +\begin_inset Formula $\sqrt{\lambda\overline{\lambda}}=\sqrt{\left|\lambda\right|^{2}}=\left|\lambda\right|$ +\end_inset + + singularna vrednost matrike +\begin_inset Formula $A$ +\end_inset + +. + Potemtakem so singularne vrednostni normalnih matrik enake absolutnim vrednosti lastnih vrednosti. +\end_layout + +\begin_layout Standard +Nekatere lastne vrednosti so ničelne, + nekatere pa od nič strogo večje. + Koliko je katerih? + Število ničelnih singularnih vrednosti matrike +\begin_inset Formula $A$ +\end_inset + + je število ničelnih lastnih vrednosti matrike +\begin_inset Formula $A^{*}A$ +\end_inset + +. + Ker je +\begin_inset Formula $A^{*}A$ +\end_inset + + hermitska, + je diagonalizabilna, + zato je algebraična večkratnost lastne vrednosti 0 enaka geometrijski večkratnosti lastne vrednosti 0, + slednja pa je definirana kot +\begin_inset Formula $\dim\Ker A^{*}A$ +\end_inset + +. + Ko upoštevamo +\begin_inset Formula $\dim\Ker A^{*}A=\dim\Ker A$ +\end_inset + +, + izvemo, + da je število ničelnih singularnih vrednosti matrike +\begin_inset Formula $A$ +\end_inset + + njena ničnost ( +\begin_inset Formula $\n A$ +\end_inset + +). + Ker je +\begin_inset Formula $A^{*}A$ +\end_inset + + velikosti +\begin_inset Formula $n\times n$ +\end_inset + +, + ima +\begin_inset Formula $A$ +\end_inset + + +\begin_inset Formula $n$ +\end_inset + + singularnih vrednosti, + torej je število neničelnih singularnih vrednosti +\begin_inset Formula $A$ +\end_inset + + enako +\begin_inset Formula $n-\Ker A$ +\end_inset + +. + Upoštevajoč osnovni dimenzijski izrek jedra in slike, + velja +\begin_inset Formula $\n A+\rang A=n$ +\end_inset + +, + torej je neničelnih singularnih vrednosti +\begin_inset Formula $=\rang A=\dim\Slika A$ +\end_inset + +. +\end_layout + +\begin_layout Remark* +Za +\begin_inset Formula $m\times n$ +\end_inset + + matriko velja +\begin_inset Formula $\rang A\le\min\left\{ m,n\right\} $ +\end_inset + +. +\end_layout + +\begin_layout Definition* +posplošitev pojma diagonalne matrike na nekvadratne matrike. + Matrika +\begin_inset Formula $D_{m\times n}$ +\end_inset + + je diagonalna, + če velja +\begin_inset Formula $\forall i:\left\{ 1..m\right\} ,j\in\left\{ 1..n\right\} :i\not=j\Rightarrow D_{i.j}=0$ +\end_inset + +. +\end_layout + +\begin_layout Example* +Primeri pravokotnih diagonalnih matrik: +\begin_inset Formula +\[ +\left[\begin{array}{cccc} +1 & 0 & 0 & 0\\ +0 & 2 & 0 & 0\\ +0 & 0 & 3 & 0 +\end{array}\right],\left[\begin{array}{ccc} +1 & 0 & 0\\ +0 & 2 & 0\\ +0 & 0 & 3\\ +0 & 0 & 0 +\end{array}\right] +\] + +\end_inset + + +\end_layout + +\begin_layout Theorem* +singularni razcep. + Naj bo +\begin_inset Formula $A$ +\end_inset + + kompleksna +\begin_inset Formula $m\times n$ +\end_inset + + matrika. + Potem obstajata taki unitarni +\begin_inset Formula $Q_{1},Q_{2}$ +\end_inset + + in taka diagonalna +\begin_inset Formula $D$ +\end_inset + + z diagonalci +\begin_inset Formula $\geq0\ni:A=Q_{1}DQ_{2}^{-1}$ +\end_inset + +. +\end_layout + +\begin_layout Remark* +Diagonalci +\begin_inset Formula $D$ +\end_inset + + so ravno singularne vrednosti matrike +\begin_inset Formula $A$ +\end_inset + +. + Ker je +\begin_inset Formula $Q_{2}$ +\end_inset + + unitarna, + je +\begin_inset Formula $Q_{2}^{*}=Q_{2}^{-1}\Rightarrow A=Q_{1}DQ_{2}^{*}$ +\end_inset + +. + Če +\begin_inset Formula $A=Q_{1}DQ_{2}^{*}$ +\end_inset + +, + je +\begin_inset Formula $A^{*}=Q_{2}^{**}D^{*}Q_{1}^{*}=Q_{2}D^{*}Q_{1}^{*}$ +\end_inset + + in +\begin_inset Formula $A^{*}A=Q_{2}D^{*}Q_{1}^{*}Q_{1}DQ_{2}^{*}=Q_{2}D^{*}DQ_{2}^{*}$ +\end_inset + +, + torej je +\begin_inset Formula $A^{*}A$ +\end_inset + + podobna +\begin_inset Formula $D^{*}D$ +\end_inset + +, + diagonalci +\begin_inset Formula $D^{*}D$ +\end_inset + + so lastne vrednosti +\begin_inset Formula $A^{*}A$ +\end_inset + + in stolpci +\begin_inset Formula $Q_{2}$ +\end_inset + + so lastni vektorji +\begin_inset Formula $A^{*}A$ +\end_inset + +. + Diagonalci +\begin_inset Formula $D$ +\end_inset + + so bodisi 0 bodisi kvadratni koreni od diagonalcev +\begin_inset Formula $D^{*}D$ +\end_inset + +, + torej kvadratni koreni lastnih vrednosti +\begin_inset Formula $A^{*}A$ +\end_inset + +, + torej singularne vrednosti od +\begin_inset Formula $A$ +\end_inset + +. +\end_layout + +\begin_layout Proof +obstoj singularnega razcepa. + Konstruirajmo +\begin_inset Formula $Q_{1},D,Q_{2}$ +\end_inset + + in dokažimo veljavnost. +\end_layout + +\begin_deeper +\begin_layout Itemize +Konstrukcija +\begin_inset Formula $Q_{2}$ +\end_inset + +: + +\begin_inset Formula $A$ +\end_inset + + je +\begin_inset Formula $m\times n$ +\end_inset + + kompleksna. + Tvorimo +\begin_inset Formula $n\times n$ +\end_inset + + matriko +\begin_inset Formula $A^{*}A$ +\end_inset + +. + Izračunajmo lastne vrednosti +\begin_inset Formula $A^{*}A$ +\end_inset + + in jih uredimo padajoče — + +\begin_inset Formula $\lambda_{1}\geq\cdots\geq\lambda_{n}$ +\end_inset + +. + Naj bodo +\begin_inset Formula $v_{1},\dots,v_{n}$ +\end_inset + + pripadajoči lastni vektorji — + +\begin_inset Formula $A^{*}Av_{i}=\lambda_{i}v_{i}$ +\end_inset + +. + Te +\begin_inset Formula $v_{i}$ +\end_inset + + izberimo tako, + da so ortonormirani. + Lastni podprostori +\begin_inset Formula $A^{*}A$ +\end_inset + + so namreč paroma pravokotni, + saj je +\begin_inset Formula $A^{*}A$ +\end_inset + + normalna, + saj je hermitska. + V vsakem podprostoru vzamemo ONB in +\begin_inset Formula $v_{1},\dots,v_{n}$ +\end_inset + + je unija teh ON baz. + Definiramo +\begin_inset Formula $Q_{2}=\left[\begin{array}{ccc} +v_{1} & \cdots & v_{n}\end{array}\right]$ +\end_inset + +. + Ker so +\begin_inset Formula $v_{1},\dots,v_{n}$ +\end_inset + + ON, + je +\begin_inset Formula $Q_{2}$ +\end_inset + + unitarna. +\end_layout + +\begin_layout Itemize +Konstrukcija +\begin_inset Formula $D$ +\end_inset + +: + Naj bo +\begin_inset Formula $r\coloneqq\rang A$ +\end_inset + + (število ničelnih singularnih vrednosti +\begin_inset Formula $A$ +\end_inset + +). + Oglejmo si zaporedje lastnih vrednosti +\begin_inset Formula $A^{*}A$ +\end_inset + + +\begin_inset Formula $\lambda_{1}\geq\cdots>\lambda_{r+1}=\cdots=\lambda_{n}$ +\end_inset + +. + Lastne vrednosti po +\begin_inset Formula $r$ +\end_inset + + so ničelne, + ostale pa večje od 0. + Lastne vrednosti +\begin_inset Formula $A^{*}A$ +\end_inset + + v tem vrstnem redu so singularne vrednosti matrike +\begin_inset Formula $A$ +\end_inset + +: + +\begin_inset Formula $\sigma_{1}^{2}=\lambda_{1}\geq\cdots\geq\sigma_{r}^{2}=\lambda_{r}>\sigma_{r+1}^{2}=\cdots=\sigma_{n}^{2}=0$ +\end_inset + +. + Definiramo +\begin_inset Formula $D$ +\end_inset + + kot +\begin_inset Formula $m\times n$ +\end_inset + + diagonalno matriko takole: +\begin_inset Formula +\[ +D=\left[\begin{array}{cccccc} +\sigma_{1} & & & & & 0\\ + & \ddots\\ + & & \sigma_{r}\\ + & & & \sigma_{r+1}=0\\ + & & & & \ddots\\ +0 & & & & & \sigma_{n}=0 +\end{array}\right] +\] + +\end_inset + + +\end_layout + +\begin_layout Itemize +Konstrukcija +\begin_inset Formula $Q_{1}$ +\end_inset + +: + +\begin_inset Formula $\forall i\in\left\{ 1..r\right\} :u_{i}\coloneqq\frac{1}{\sigma_{1}}Av_{i}$ +\end_inset + + za +\begin_inset Formula $v_{i}$ +\end_inset + + lastne vektorje +\begin_inset Formula $A^{*}A$ +\end_inset + +, + torej +\begin_inset Formula $A^{*}Av_{i}=\lambda_{i}v_{i}=\sigma_{i}^{2}v_{i}$ +\end_inset + +. + Pokažimo, + da je +\begin_inset Formula $u_{1},\dots,u_{r}$ +\end_inset + + ON množica. + +\begin_inset Formula $\forall i,j\in\left\{ 1..r\right\} :$ +\end_inset + + +\begin_inset Formula +\[ +\left\langle u_{i},u_{j}\right\rangle =\left\langle \frac{1}{\sigma_{j}}Av_{i},\frac{1}{\sigma_{j}}Av_{j}\right\rangle =\frac{1}{\sigma_{i}\sigma_{j}}\left\langle Av_{i},Av_{j}\right\rangle =\frac{1}{\sigma_{i}\sigma_{j}}\left\langle A^{*}Av_{i},v_{j}\right\rangle =\frac{1}{\sigma_{i}\sigma_{j}}\left\langle \lambda_{i}v_{i},v_{j}\right\rangle =\frac{\lambda_{i}=\sigma_{i}^{\cancel{2}}}{\cancel{\sigma}_{i}\sigma_{j}}\left\langle v_{i},v_{j}\right\rangle = +\] + +\end_inset + + +\begin_inset Formula +\[ +=\frac{\sigma_{i}}{\sigma_{j}}\left\langle v_{i},v_{j}\right\rangle =\begin{cases} +0 & ;i\not=j\\ +1 & ;i=j +\end{cases} +\] + +\end_inset + +Sedaj ONM +\begin_inset Formula $u_{1},\dots,u_{r}$ +\end_inset + + z +\begin_inset Formula $u_{r+1},\dots,u_{n}$ +\end_inset + + dopolnimo do ONB za +\begin_inset Formula $\mathbb{C}^{n}$ +\end_inset + + (GS). + Definiramo +\begin_inset Formula $Q_{1}=\left[\begin{array}{ccc} +u_{1} & \cdots & u_{n}\end{array}\right]$ +\end_inset + +. + Ker so stolpci ONB, + je matrika unitarna. +\end_layout + +\begin_layout Itemize +Sedaj preverimo, + da velja +\begin_inset Formula $A=Q_{1}DQ_{2}^{*}=Q_{1}DQ_{2}^{-1}\Leftrightarrow AQ_{2}=Q_{1}D$ +\end_inset + +. +\begin_inset Formula +\[ +AQ_{2}=A\left[\begin{array}{ccc} +v_{1} & \cdots & v_{n}\end{array}\right]=\left[\begin{array}{ccc} +Av_{1} & \cdots & Av_{n}\end{array}\right]=\cdots +\] + +\end_inset + +Upoštevamo, + da +\begin_inset Formula $i>r\Rightarrow\lambda_{i}=0\Rightarrow A^{*}Av_{i}=\lambda_{i}v_{i}=0\Rightarrow v_{i}\in\Ker A^{*}A\Rightarrow v_{i}\in\Ker A\Leftrightarrow Av_{i}=0$ +\end_inset + +: +\begin_inset Formula +\[ +\cdots=\left[\begin{array}{ccc} +Av_{1} & \cdots & Av_{n}\end{array}\right]=\left[\begin{array}{cccccc} +Av_{1} & \cdots & Av_{r} & 0 & \cdots & 0\end{array}\right] +\] + +\end_inset + +Sedaj izračunajmo še +\begin_inset Formula +\[ +Q_{1}D=\left[\begin{array}{ccc} +u_{1} & \cdots & u_{n}\end{array}\right]\left[\begin{array}{cccccc} +\sigma_{1}\\ + & \ddots\\ + & & \sigma_{r}\\ + & & & 0\\ + & & & & \ddots\\ + & & & & & 0 +\end{array}\right]=\left[\begin{array}{cccccc} +\sigma_{1}u_{1} & \cdots & \sigma_{r}u_{r} & 0 & \cdots & 0\end{array}\right]= +\] + +\end_inset + + +\begin_inset Formula +\[ +=\left[\begin{array}{cccccc} +\cancel{\sigma_{1}\frac{1}{\sigma_{1}}}Av_{i} & \cdots & \cancel{\sigma_{r}\frac{1}{\sigma_{r}}}Av_{r} & 0 & \cdots & 0\end{array}\right]=\left[\begin{array}{cccccc} +Av_{i} & \cdots & Av_{r} & 0 & \cdots & 0\end{array}\right]=AQ_{2} +\] + +\end_inset + + +\end_layout + +\end_deeper +\begin_layout Example* +Poišči singularni razcep +\begin_inset Formula $A=\left[\begin{array}{cccc} +1 & 1 & -1 & -1\\ +-1 & 0 & 1 & 0\\ +0 & -1 & 0 & 1 +\end{array}\right]$ +\end_inset + +. + Izračunajmo +\begin_inset Formula +\[ +A^{*}A=\left[\begin{array}{cccc} +1 & 1 & -1 & -1\\ +-1 & 0 & 1 & 0\\ +0 & -1 & 0 & 1 +\end{array}\right]\left[\begin{array}{ccc} +1 & -1 & 0\\ +1 & 0 & -1\\ +-1 & 1 & 0\\ +-1 & 0 & 1 +\end{array}\right]=\cdots=\left[\begin{array}{cccc} +2 & 1 & -2 & -1\\ +1 & 2 & -1 & -2\\ +-2 & -1 & 2 & 1\\ +-1 & -2 & 1 & 2 +\end{array}\right] +\] + +\end_inset + +Izračunajmo +\begin_inset Formula $p_{A^{*}A}\left(x\right)=\det\left(A^{*}A-xI\right)=\cdots=x^{2}\left(x-2\right)\left(x-6\right)$ +\end_inset + +, + torej +\begin_inset Formula $\lambda_{1}=6$ +\end_inset + +, + +\begin_inset Formula $\lambda_{2}=2$ +\end_inset + +, + +\begin_inset Formula $\lambda_{3}=0$ +\end_inset + +, + +\begin_inset Formula $\lambda_{4}=0$ +\end_inset + +, + torej +\begin_inset Formula $\sigma_{1}=\sqrt{6}$ +\end_inset + + in +\begin_inset Formula $\sigma_{2}=\sqrt{2}$ +\end_inset + + ter +\begin_inset Formula $\sigma_{3}=\sigma_{4}=0$ +\end_inset + +. + (ujema se z dejstvom, + da je +\begin_inset Formula $\rang A=2$ +\end_inset + +). + Izračunajmo lastne vektorje +\begin_inset Formula $A^{*}A$ +\end_inset + +: +\begin_inset Formula +\[ +\lambda_{1}=6:\quad v_{1}'=\left[\begin{array}{c} +1\\ +1\\ +-1\\ +-1 +\end{array}\right],\quad\left|\left|v_{1}'\right|\right|=6 +\] + +\end_inset + + +\begin_inset Formula +\[ +\lambda_{2}=2:\quad v_{2}'=\left[\begin{array}{c} +1\\ +-1\\ +-1\\ +1 +\end{array}\right],\quad\left|\left|v_{2}'\right|\right|=2 +\] + +\end_inset + + +\begin_inset Formula +\[ +\lambda_{3}=\lambda_{4}:\quad v_{3}'=\left[\begin{array}{c} +1\\ +0\\ +1\\ +0 +\end{array}\right],v_{4}'=\left[\begin{array}{c} +0\\ +1\\ +0\\ +2 +\end{array}\right],\quad\left|\left|v_{3}'\right|\right|=\sqrt{2},\left|\left|v_{4}'\right|\right|=\sqrt{2} +\] + +\end_inset + + +\end_layout + +\begin_layout Example* +Z Gram-Schmidtom naredimo ortogonalno množico (v tem primeru so že ortogonalni) in jih normirajmo: +\begin_inset Formula +\[ +v_{1}=\frac{1}{2}\left[\begin{array}{c} +1\\ +1\\ +-1\\ +-1 +\end{array}\right],\quad v_{2}=\frac{1}{2}\left[\begin{array}{c} +1\\ +-1\\ +-1\\ +1 +\end{array}\right],\quad v_{3}=\frac{1}{\sqrt{2}}\left[\begin{array}{c} +1\\ +0\\ +1\\ +0 +\end{array}\right],\quad v_{4}=\frac{1}{\sqrt{2}}\left[\begin{array}{c} +0\\ +1\\ +0\\ +1 +\end{array}\right]. +\] + +\end_inset + +Sestavimo +\begin_inset Formula +\[ +Q_{2}=\left[\begin{array}{cccc} +\frac{1}{2} & \frac{1}{2} & \frac{1}{\sqrt{2}} & 0\\ +\frac{1}{2} & -\frac{1}{2} & 0 & \frac{1}{\sqrt{2}}\\ +-\frac{1}{2} & -\frac{1}{2} & \frac{1}{\sqrt{2}} & 0\\ +-\frac{1}{2} & \frac{1}{2} & 0 & \frac{1}{\sqrt{2}} +\end{array}\right],\quad D=\left[\begin{array}{cccc} +\sqrt{6} & & & 0\\ + & \sqrt{2}\\ + & & 0\\ +0 & & & 0 +\end{array}\right] +\] + +\end_inset + +Izračunamo +\begin_inset Formula $u_{1},\dots,u_{r}$ +\end_inset + + za +\begin_inset Formula $Q_{1}$ +\end_inset + +: +\begin_inset Formula +\[ +u_{1}=\frac{1}{\sigma_{1}}Av_{1}=\frac{1}{\sqrt{6}}\left[\begin{array}{c} +2\\ +-1\\ +-1 +\end{array}\right] +\] + +\end_inset + + +\begin_inset Formula +\[ +u_{2}=\frac{1}{\sigma_{2}}Av_{2}=\frac{1}{\sqrt{2}}\left[\begin{array}{c} +0\\ +-1\\ +1 +\end{array}\right] +\] + +\end_inset + +Dopolnimo ju do ONB za +\begin_inset Formula $\mathbb{R}^{3}$ +\end_inset + + z Gram-Schmidtom (oz. + uganemo +\begin_inset Formula $\left[\begin{array}{c} +1\\ +1\\ +1 +\end{array}\right]$ +\end_inset + +). + Dopolnitev normiramo: + +\begin_inset Formula $u_{3}=\frac{1}{\sqrt{3}}\left[\begin{array}{c} +1\\ +1\\ +1 +\end{array}\right]$ +\end_inset + + in vektorje vstavimo v +\begin_inset Formula $Q_{1}$ +\end_inset + +: +\begin_inset Formula +\[ +Q_{1}=\left[\begin{array}{ccc} +\frac{2}{\sqrt{6}} & 0 & \frac{1}{\sqrt{3}}\\ +-\frac{1}{\sqrt{6}} & -\frac{1}{\sqrt{2}} & \frac{1}{\sqrt{3}}\\ +-\frac{1}{\sqrt{6}} & \frac{1}{\sqrt{2}} & \frac{1}{\sqrt{3}} +\end{array}\right] +\] + +\end_inset + + +\end_layout + +\begin_layout Example* +Iskani razcep je +\begin_inset Formula $A=Q_{1}DQ_{2}^{*}=Q_{1}DQ_{2}^{-1}$ +\end_inset + + (Izračunati je potrebno še en inverz — + +\begin_inset Formula $Q_{2}^{-1}$ +\end_inset + + namreč). +\end_layout + +\begin_layout Subsubsection +Psevdoinverz — + Moore-Penroseov inverz +\end_layout + +\begin_layout Standard +Psevdoinverz je posplošitev inverza na nenujno kvadratne nenujno obrnljive matrike. + Najprej diagonalne matrike: + Njihov navaden inverz je takšen: +\begin_inset Formula +\[ +\left[\begin{array}{ccc} +d_{11} & & 0\\ + & \ddots\\ +0 & & d_{nn} +\end{array}\right]^{-1}=\left[\begin{array}{ccc} +d_{11}^{-1} & & 0\\ + & \ddots\\ +0 & & d_{nn}^{-1} +\end{array}\right] +\] + +\end_inset + +Kadar je diagonalec ničeln, + kot element polja nima multiplikativnega inverza. + Ideja za posplošeni inverz diagonelne matrike: + take diagonalce pustimo na 0, + torej na primer: +\begin_inset Formula +\[ +\left[\begin{array}{ccc} +1 & & 0\\ + & 2\\ +0 & & 0 +\end{array}\right]^{+}=\left[\begin{array}{ccc} +1 & & 0\\ + & \frac{1}{2}\\ +0 & & 0 +\end{array}\right] +\] + +\end_inset + +Za nekvadratne diagonalne matrike pa takole: +\begin_inset Formula +\[ +\left[\begin{array}{cccc} +1 & & & 0\\ + & 2\\ +0 & & 0 +\end{array}\right]^{+}=\left[\begin{array}{ccc} +1 & & 0\\ + & \frac{1}{2}\\ + & & 0\\ +0 +\end{array}\right] +\] + +\end_inset + + +\end_layout + +\begin_layout Definition* +posplošeni inverz diagonalne matrike. + Naj bo +\begin_inset Formula $D$ +\end_inset + + diagonalna +\begin_inset Formula $m\times n$ +\end_inset + + z neničelnimi diagonalci +\begin_inset Formula $d_{1},\dots d_{r}$ +\end_inset + +, + je +\begin_inset Formula $D^{+}$ +\end_inset + + diagonalna +\begin_inset Formula $n\times m$ +\end_inset + + z neničelnimi diagonalci +\begin_inset Formula $\frac{1}{d_{1}^{-1}},\dots,\frac{1}{d_{r}^{-1}}$ +\end_inset + +. +\end_layout + +\begin_layout Remark* +Za diagonalno +\begin_inset Formula $D$ +\end_inset + + opazimo +\begin_inset Formula $D^{++}=D$ +\end_inset + + in za obrnljivo diagonalno +\begin_inset Formula $D$ +\end_inset + + opazimo +\begin_inset Formula $D^{+}=D^{-1}$ +\end_inset + +. +\end_layout + +\begin_layout Standard +Sedaj bi radi pojem posplošili na nediagonalne matrike — + to storimo s pomočjo SVD. + +\begin_inset Formula $A=Q_{1}DQ_{2}^{*}\ni:D$ +\end_inset + + diagonalna in +\begin_inset Formula $Q_{1},Q_{2}$ +\end_inset + + unitarni. + Tedaj velja +\begin_inset Formula $A$ +\end_inset + + obrnljiva +\begin_inset Formula $\Leftrightarrow D$ +\end_inset + + obrnljiva, + kajti +\begin_inset Formula $A^{-1}=Q_{2}D^{-1}D_{1}^{-1}$ +\end_inset + +. +\end_layout + +\begin_layout Definition* +Za splošen nenujno obrnljiv +\begin_inset Formula $A$ +\end_inset + + definiramo +\begin_inset Formula $A^{+}\coloneqq Q_{2}D^{+}Q_{1}^{-1}$ +\end_inset + +. +\end_layout + +\begin_layout Fact* +Opazimo: +\end_layout + +\begin_deeper +\begin_layout Itemize +\begin_inset Formula $A^{++}=\left(Q_{2}DQ_{1}^{-1}\right)^{+}=Q_{1}D^{++}Q_{2}^{-1}=Q_{1}DQ_{2}^{-1}=A$ +\end_inset + + +\end_layout + +\begin_layout Itemize +\begin_inset Formula $A$ +\end_inset + + obrnljiva: + +\begin_inset Formula $A^{+}=A^{-1}$ +\end_inset + + +\end_layout + +\end_deeper +\begin_layout Claim* +osnovne lastnosti psevdoinverza. +\end_layout + +\begin_deeper +\begin_layout Enumerate +\begin_inset Formula $AA^{+}A=A$ +\end_inset + + +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $\left(A^{+}A\right)^{*}=A^{+}A$ +\end_inset + + +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $A^{+}AA^{+}=A^{+}$ +\end_inset + + +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $\left(AA^{+}\right)^{*}=AA^{+}$ +\end_inset + + +\end_layout + +\end_deeper +\begin_layout Proof +Dokažimo te 4 lastnosti najprej za +\begin_inset Formula $D$ +\end_inset + + in nato za SVD. + Pri +\begin_inset Formula $D$ +\end_inset + + predpostavimo, + da so ničle spodaj desno, + sicer obstaja permutacijska matrika, + ki je ortogonalna, + s katero lahko množimo +\begin_inset Formula $D$ +\end_inset + +, + da jo pretvorimo v željeno obliko (in potem dokaz take +\begin_inset Formula $D$ +\end_inset + + pade v primer SVD): +\end_layout + +\begin_deeper +\begin_layout Itemize +Diagonalen primer. +\end_layout + +\begin_deeper +\begin_layout Enumerate +\begin_inset Formula $DD^{+}D=$ +\end_inset + + +\begin_inset Formula +\[ +\left[\begin{array}{cccccc} +d_{1} & & & & & 0\\ + & \ddots\\ + & & d_{r}\\ + & & & 0\\ + & & & & \ddots\\ +0 & & & & & 0 +\end{array}\right]\left[\begin{array}{cccccc} +d_{1}^{-1} & & & & & 0\\ + & \ddots\\ + & & d_{r}^{-1}\\ + & & & 0\\ + & & & & \ddots\\ +0 & & & & & 0 +\end{array}\right]\left[\begin{array}{cccccc} +d_{1} & & & & & 0\\ + & \ddots\\ + & & d_{r}\\ + & & & 0\\ + & & & & \ddots\\ +0 & & & & & 0 +\end{array}\right]= +\] + +\end_inset + + +\begin_inset Formula +\[ +=\left[\begin{array}{cccccc} +1 & & & & & 0\\ + & \ddots\\ + & & 1\\ + & & & 0\\ + & & & & \ddots\\ +0 & & & & & 0 +\end{array}\right]\left[\begin{array}{cccccc} +d_{1} & & & & & 0\\ + & \ddots\\ + & & d_{r}\\ + & & & 0\\ + & & & & \ddots\\ +0 & & & & & 0 +\end{array}\right]=D +\] + +\end_inset + + +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $D^{+}DD^{+}=\cdots=D^{+}$ +\end_inset + + na podoben način +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $\left(DD^{+}\right)^{*}=\left[\begin{array}{cccccc} +1 & & & & & 0\\ + & \ddots\\ + & & 1\\ + & & & 0\\ + & & & & \ddots\\ +0 & & & & & 0 +\end{array}\right]^{*}=\left[\begin{array}{cccccc} +1 & & & & & 0\\ + & \ddots\\ + & & 1\\ + & & & 0\\ + & & & & \ddots\\ +0 & & & & & 0 +\end{array}\right]=DD^{+}$ +\end_inset + + +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $\left(D^{+}D\right)^{*}=\cdots=D^{+}D$ +\end_inset + + podobno +\end_layout + +\end_deeper +\begin_layout Itemize +Splošen primer +\begin_inset Formula $A$ +\end_inset + + — + vstavimo +\begin_inset Formula $A=Q_{1}DQ_{2}^{*}=Q_{1}DQ_{2}^{-1}$ +\end_inset + +. +\end_layout + +\begin_deeper +\begin_layout Enumerate +\begin_inset Formula $AA^{+}A=Q_{1}DQ_{2}^{*}Q_{2}D^{+}Q_{1}^{*}Q_{1}DQ_{2}^{*}=Q_{1}DD^{+}DQ_{2}^{*}=Q_{1}DQ_{2}^{*}=A$ +\end_inset + + +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $A^{+}AA^{+}=\cdots=A^{+}$ +\end_inset + + na podoben način +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $\left(AA^{+}\right)^{*}=\left(Q_{1}DQ_{2}^{*}Q_{2}D^{+}Q_{1}^{*}\right)^{*}=\left(Q_{1}DD^{+}Q_{1}^{*}\right)^{*}=Q_{1}\left(DD^{+}\right)^{*}Q_{1}^{*}=Q_{1}DD^{+}Q_{1}^{*}=Q_{1}DQ_{2}^{*}Q_{2}D^{+}Q_{1}^{*}=AA^{+}$ +\end_inset + + +\end_layout + +\begin_layout Enumerate +\begin_inset Formula $\left(A^{+}A\right)^{*}=\cdots=A^{+}A$ +\end_inset + + podobno +\end_layout + +\end_deeper +\end_deeper +\begin_layout Remark* +\begin_inset Formula $A$ +\end_inset + + obrnljiva +\begin_inset Formula $\Leftrightarrow D$ +\end_inset + + obrnljiva, + torej +\begin_inset Formula $A^{+}=Q_{2}D^{+}Q_{1}^{-1}=Q_{2}D^{-1}Q_{1}^{-1}=A^{-1}$ +\end_inset + +. + Potemtakem za obrnljivo +\begin_inset Formula $A$ +\end_inset + + velja +\begin_inset Formula $A^{+}=A^{-1}$ +\end_inset + +. +\end_layout + +\begin_layout Proof +Da je definicija dobra, + je treba dokazati, + da je +\begin_inset Formula $A^{+}$ +\end_inset + + enoličen ne glede na SVD, + kajti SVD za +\begin_inset Formula $A$ +\end_inset + + ni enoličen. + Naj bo +\begin_inset Formula $A=Q_{1}DQ_{2}^{-1}=Q_{3}EQ_{4}^{-1}$ +\end_inset + +, + njen prvi psevsoinverz +\begin_inset Formula $B=Q_{2}D^{+}Q_{1}^{-1}$ +\end_inset + + in njen drugi psevdoinverz +\begin_inset Formula $C=Q_{4}D^{+}Q_{3}^{-1}$ +\end_inset + +. + Ali velja +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +udensdash{$B +\backslash +overset{?}{=}C$} +\end_layout + +\end_inset + +? + Velja +\begin_inset Formula +\[ +AB=\left(ACA\right)B=ACAB=\left(AC\right)^{*}\left(AB\right)^{*}=C^{*}A^{*}B^{*}A^{*}=C^{*}\left(ABA\right)^{*}=C^{*}A^{*}=\left(AC\right)^{*}=AC +\] + +\end_inset + +in +\begin_inset Formula +\[ +BA=B\left(ACA\right)=BACA=\left(BA\right)^{*}\left(CA\right)^{*}=A^{*}B^{*}A^{*}C^{*}=\left(ABA\right)^{*}C^{*}=A^{*}C^{*}=\left(CA\right)^{*}=CA +\] + +\end_inset + +ter nazadnje še +\begin_inset Formula +\[ +B=BAB=CAB=CAC=C. +\] + +\end_inset + + +\end_layout + +\begin_layout Paragraph +Kako izračunamo +\begin_inset Formula $A^{+}$ +\end_inset + + brez SVD? +\end_layout + +\begin_layout Standard +Če je +\begin_inset Formula $A$ +\end_inset + + pozitivno semidefinitna, + jo lahko diagonaliziramo v ortonormirani bazi: + +\begin_inset Formula $A=PDP^{-1}$ +\end_inset + +, + da ima +\begin_inset Formula $D$ +\end_inset + + pozitivne diagonalce in da je +\begin_inset Formula $P^{-1}=P^{*}$ +\end_inset + +. + Opazimo, + da je to SVD od +\begin_inset Formula $A$ +\end_inset + +, + kajti +\begin_inset Formula $Q_{1}=P,Q_{2}=P,D=D$ +\end_inset + + in tedaj +\begin_inset Formula $A=Q_{1}DQ_{2}^{-1}=PDP^{-1}$ +\end_inset + +. + Potemtakem je +\begin_inset Formula $A^{+}=PD^{+}P^{-1}$ +\end_inset + +. +\end_layout + +\begin_layout Claim* +Za splošno matriko +\begin_inset Formula $A$ +\end_inset + + (nenujno pozitivno semidefinitno) pa velja +\begin_inset Formula $A^{+}=\left(A^{*}A\right)^{+}A^{*}=A^{*}\left(AA^{*}\right)^{+}$ +\end_inset + +. + +\begin_inset Formula $A^{*}A$ +\end_inset + + in +\begin_inset Formula $AA^{*}$ +\end_inset + + sta pozitivno semidefinitni. +\end_layout + +\begin_layout Proof +Najprej bomo preverili za diagonalno, + nato za SVD: +\end_layout + +\begin_deeper +\begin_layout Itemize +Diagonalna +\begin_inset Formula $D_{n\times m}$ +\end_inset + +: + +\begin_inset Formula +\[ +D=\left[\begin{array}{cccccc} +d_{1} & & & & & 0\\ + & \ddots\\ + & & d_{r}\\ + & & & 0\\ + & & & & \ddots\\ + & & & & & 0 +\end{array}\right],\quad D^{*}=\left[\begin{array}{cccccc} +\overline{d_{1}} & & & & & 0\\ + & \ddots\\ + & & \overline{d_{r}}\\ + & & & 0\\ + & & & & \ddots\\ +0 & & & & & 0 +\end{array}\right],\quad D^{*}D=\left[\begin{array}{cccccc} +\frac{1}{\overline{d_{1}}d_{1}} & & & & & 0\\ + & \ddots\\ + & & \frac{1}{\overline{d_{r}}d_{r}}\\ + & & & 0\\ + & & & & \ddots\\ +0 & & & & & 0 +\end{array}\right], +\] + +\end_inset + + +\begin_inset Formula +\[ +\left(D^{*}D\right)^{+}=\left[\begin{array}{cccccc} +\frac{1}{\overline{d_{1}}d_{1}} & & & & & 0\\ + & \ddots\\ + & & \frac{1}{\overline{d_{r}}d_{r}}\\ + & & & 0\\ + & & & & \ddots\\ +0 & & & & & 0 +\end{array}\right],\quad\left(D^{*}D\right)^{+}D^{*}=\left[\begin{array}{cccccc} +\frac{\cancel{\overline{d_{1}}}}{\cancel{\overline{d_{1}}}d_{1}} & & & & & 0\\ + & \ddots\\ + & & \frac{\cancel{\overline{d_{r}}}}{\cancel{\overline{d_{r}}}d_{r}}\\ + & & & 0\\ + & & & & \ddots\\ +0 & & & & & 0 +\end{array}\right]=D^{+} +\] + +\end_inset + + +\end_layout + +\begin_layout Itemize +Za splošen +\begin_inset Formula $A$ +\end_inset + + uporabimo SVD, + da to dokažemo: + +\begin_inset Formula $A=Q_{1}DQ_{2}^{-1}$ +\end_inset + +. + Velja +\begin_inset Formula $A^{*}A=Q_{2}D^{*}Q_{1}^{*}Q_{1}DQ_{2}^{*}=Q_{2}D^{*}DQ_{2}^{*}$ +\end_inset + + in +\begin_inset Formula $\left(A^{*}A\right)^{+}=Q_{2}\left(D^{*}D\right)^{+}Q_{2}^{*}$ +\end_inset + +. + Torej +\begin_inset Formula $\left(A^{*}A\right)^{+}A^{*}=Q_{2}\left(D^{*}D\right)^{+}Q_{2}^{*}Q_{2}D^{*}Q_{1}^{*}=Q_{2}\left(D^{*}D\right)^{+}D^{*}Q_{1}^{*}=Q_{2}DQ_{1}^{*}=A^{+}$ +\end_inset + +. +\end_layout + +\end_deeper +\begin_layout Remark* +V posebnih primerih lahko poenostavljamo dalje. + Recimo, + da ima +\begin_inset Formula $A$ +\end_inset + + LN stolpce in je kvadratna +\begin_inset Formula $\Rightarrow\Ker A=\left\{ 0\right\} =\Ker A^{*}A$ +\end_inset + +, + torej +\begin_inset Formula $A^{*}A$ +\end_inset + + je obrnljiva in velja +\begin_inset Formula $\left(A^{*}A\right)^{-1}=\left(A^{*}A\right)^{+}$ +\end_inset + +. + Takrat torej velja +\begin_inset Formula $A^{+}=\left(A^{*}A\right)^{-1}A^{*}$ +\end_inset + +. +\end_layout + +\begin_layout Remark* +To smo uporabili pri iskanju posplošene rešitve predoločenega sistema: + Za sistem +\begin_inset Formula $A\vec{x}=\vec{b}$ +\end_inset + + iščemo +\begin_inset Formula $\vec{x}$ +\end_inset + +, + da je +\begin_inset Formula $\left|\left|A\vec{x}-\vec{b}\right|\right|$ +\end_inset + + minimalen, + tedaj bo tak +\begin_inset Formula $\vec{x}$ +\end_inset + + posplošena rešitev sistema. + Vemo, + da je posplošena reštev +\begin_inset Formula $A\vec{x}=\vec{b}$ +\end_inset + + enaka rešitvi od +\begin_inset Formula $A^{*}A\vec{x}=A^{*}\vec{b}$ +\end_inset + +, + kajti, + če ima +\begin_inset Formula $A$ +\end_inset + + LN stolpce, + je +\begin_inset Formula $A^{*}A$ +\end_inset + + obrnljiva (s tem dokažemo, + da ima ta sistem vedno rešitev): +\begin_inset Formula +\[ +A^{*}A\vec{x}=A^{*}\vec{b}\quad\quad\quad\quad/\cdot\left(A^{*}A\right)^{-1} +\] + +\end_inset + + +\begin_inset Formula +\[ +\vec{x}=\left(A^{*}A\right)^{-1}A^{*}\vec{b} +\] + +\end_inset + + +\begin_inset Formula +\[ +\vec{x}=A^{+}\vec{b} +\] + +\end_inset + + +\end_layout + +\begin_layout Paragraph +Uporaba psevdoinverza +\end_layout + +\begin_layout Standard +Vemo, + kaj je posplošena rešitev sistema +\begin_inset Formula $A\vec{x}=\vec{b}$ +\end_inset + +. + Problem je, + da ima sistem lahko več posplošenih rešitev (to se lahko zgodi, + če +\begin_inset Formula $A$ +\end_inset + + nima LN stolpcev). + Med vsemi rešitvami iščemo tisto, + ki je najkrajša po normi — + +\begin_inset Formula $\left|\left|\vec{x}\right|\right|$ +\end_inset + +. +\end_layout + +\begin_layout Claim* +Najkrajša posplošena rešitev sistema +\begin_inset Formula $Ax=b$ +\end_inset + + je ravno +\begin_inset Formula $x=A^{+}b$ +\end_inset + +. +\end_layout + +\begin_layout Proof +Dokažimo najprej za diagonalno matriko koeficientov, + nato pa še za splošen primer: +\end_layout + +\begin_deeper +\begin_layout Itemize +\begin_inset Formula $Dx=b$ +\end_inset + + +\begin_inset Formula +\[ +D_{m\times n}=\left[\begin{array}{cccccc} +d_{1} & & & & & 0\\ + & \ddots\\ + & & d_{r}\\ + & & & 0\\ + & & & & \ddots\\ + & & & & & 0 +\end{array}\right],\quad x=\left[\begin{array}{c} +x_{1}\\ +\vdots\\ +x_{n} +\end{array}\right],\quad b=\left[\begin{array}{c} +b_{1}\\ +\vdots\\ +b_{m} +\end{array}\right] +\] + +\end_inset + + +\begin_inset Formula +\[ +\left|\left|Dx-b\right|\right|^{2}=\left|\left|\left[\begin{array}{cccccc} +d_{1} & & & & & 0\\ + & \ddots\\ + & & d_{r}\\ + & & & 0\\ + & & & & \ddots\\ + & & & & & 0 +\end{array}\right]\left[\begin{array}{c} +x_{1}\\ +\vdots\\ +x_{n} +\end{array}\right]-\left[\begin{array}{c} +b_{1}\\ +\vdots\\ +b_{m} +\end{array}\right]\right|\right|^{2}=\left(d_{1}x_{1}-b_{1}\right)^{2}+\cdots+\left(d_{r}x_{r}-b_{r}\right)^{2}+b_{r+1}^{2}+\cdots+b_{m}^{2} +\] + +\end_inset + +Ta izraz doseže minimum, + ko +\begin_inset Formula $\left(d_{1}x_{1}-b_{1}\right)^{2}+\cdots+\left(d_{r}x_{r}-b_{r}\right)^{2}=0$ +\end_inset + +, + torej +\begin_inset Formula $x_{1}=\frac{b_{1}}{d_{1}},\dots,x_{r}=\frac{b_{r}}{d_{r}},x_{r+1}=\times,\dots,x_{n}=\times$ +\end_inset + +, + kjer +\begin_inset Formula $\times$ +\end_inset + + predstavlja poljubno vrednost. + Najkrajša rešitev bo torej tista, + kjer +\begin_inset Formula $x_{r+1}=\cdots=x_{n}=0$ +\end_inset + +. + Trdimo, + da je +\begin_inset Formula $\left(\frac{b_{1}}{d_{1}},\cdots,\frac{b_{r}}{d_{r}},0,\cdots,0\right)=D^{+}b$ +\end_inset + +. + Preverimo: +\begin_inset Formula +\[ +D_{n\times m}^{+}=\left[\begin{array}{cccccc} +d_{1}^{-1} & & & & & 0\\ + & \ddots\\ + & & d_{r}^{-1}\\ + & & & 0\\ + & & & & \ddots\\ + & & & & & 0 +\end{array}\right],\quad b=\left[\begin{array}{c} +b_{1}\\ +\vdots\\ +b_{m} +\end{array}\right],\quad D^{+}b=\left[\begin{array}{c} +\frac{b_{1}}{d_{1}}\\ +\vdots\\ +\frac{b_{m}}{d_{m}}\\ +0\\ +\vdots\\ +0 +\end{array}\right] +\] + +\end_inset + +Res je! +\end_layout + +\begin_layout Itemize +Splošen primer s SVD: + +\begin_inset Formula $A_{m\times n}=Q_{1}DQ_{2}^{*}$ +\end_inset + +, + kjer sta +\begin_inset Formula $Q_{1},Q_{2}$ +\end_inset + + ortogonalni in +\begin_inset Formula $D$ +\end_inset + + diagonalna. + Za tretji enačaj uporabimo dejstvo, + da množenje z ortogonalno matriko ohranja normo. +\begin_inset Foot +status open + +\begin_layout Plain Layout +\begin_inset Formula $\left|\left|Q_{2}^{*}x\right|\right|^{2}=\left\langle Q_{2}^{*}x,Q_{2}^{*}x\right\rangle =\left\langle x,Q_{2}Q_{2}^{*}x\right\rangle =\left\langle x,x\right\rangle =\left|\left|x\right|\right|^{2}$ +\end_inset + + +\end_layout + +\end_inset + + +\begin_inset Formula $\left|\left|Ax-b\right|\right|=\left|\left|Q_{1}DQ_{2}^{*}x-b\right|\right|=\left|\left|Q_{1}\left(DQ_{2}^{*}x-Q_{1}^{-1}b\right)\right|\right|=\left|\left|DQ_{2}^{*}x-Q_{1}^{-1}b\right|\right|=\left|\left|Dx'-c\right|\right|$ +\end_inset + + za +\begin_inset Formula $x'=Q_{2}^{*}x$ +\end_inset + + in +\begin_inset Formula $c=Q_{1}^{-1}b$ +\end_inset + +. + Ker je +\begin_inset Formula $Q_{2}$ +\end_inset + + obrnljiva, + velja, + da če +\begin_inset Formula $x$ +\end_inset + + preteče vse vektorje v +\begin_inset Formula $\mathbb{C}^{n}$ +\end_inset + +, + tudi +\begin_inset Formula $x'$ +\end_inset + + preteče vse vektorje v +\begin_inset Formula $\mathbb{C}^{n}$ +\end_inset + +. +\end_layout + +\begin_deeper +\begin_layout Standard +Potemtakem je +\begin_inset Formula $\min\left|\left|Ax-b\right|\right|=\min\left|\left|Dx'-c\right|\right|$ +\end_inset + +. + Če +\begin_inset Formula $\left|\left|Ax-b\right|\right|$ +\end_inset + + zavzame minimum v +\begin_inset Formula $x_{0}$ +\end_inset + +, + potem +\begin_inset Formula $\left|\left|Dx'-c\right|\right|$ +\end_inset + + zavzame minimum v +\begin_inset Formula $x_{0}'=Q_{2}^{-1}x_{0}$ +\end_inset + + in obratno, + če +\begin_inset Formula $\left|\left|Dx'-c\right|\right|$ +\end_inset + + zavzame minimum v +\begin_inset Formula $x_{0}'$ +\end_inset + +, + potem +\begin_inset Formula $\left|\left|Ax-b\right|\right|$ +\end_inset + + zavzame minimum v +\begin_inset Formula $x_{0}=Q_{2}x_{0}'$ +\end_inset + +. + Torej je +\begin_inset Formula $x\mapsto Q_{2}^{-1}x$ +\end_inset + + bijektivna korespondenca med posplošenimi rešitvami +\begin_inset Formula $Ax-b$ +\end_inset + + in posplošenimi rešitvami +\begin_inset Formula $Dx'-c$ +\end_inset + +. + Opazimo, + da preslikava ohranja normo, + torej +\begin_inset Formula $\left|\left|x_{0}'\right|\right|=\left|\left|Q_{2}x_{0}'\right|\right|=\left|\left|x_{0}\right|\right|$ +\end_inset + +. +\end_layout + +\begin_layout Standard +Od prej vemmo, + da je najkrajša posplošena rešitev +\begin_inset Formula $Dx_{0}-c$ +\end_inset + + prav +\begin_inset Formula $x_{0}=D^{+}c$ +\end_inset + +. + Po zgornjem odstavku sledi, + da je +\begin_inset Formula $x_{0}=Q_{2}x_{0}'$ +\end_inset + + najkrajša posplošena rešitev od +\begin_inset Formula $Ax=b$ +\end_inset + +. + Dobimo namreč +\begin_inset Formula $x_{0}=Q_{2}x_{0}'=Q_{2}D^{+}c=Q_{2}D^{+}Q_{1}^{-1}b=A^{+}b$ +\end_inset + +. +\end_layout + +\end_deeper +\end_deeper +\begin_layout Subsection +Kvadratne forme +\end_layout + +\begin_layout Definition* +Forma je homogen polinom, + torej tak, + v katerem imajo vsi monomi isto stopnjo. + Stopnja monoma je +\begin_inset Formula $\deg\left(\beta x_{1}^{\alpha_{1}}\cdots x_{n}^{\alpha_{n}}\right)\coloneqq\alpha_{1}+\cdots+\alpha_{n}$ +\end_inset + +. +\end_layout + +\begin_layout Standard +\begin_inset Separator plain +\end_inset + + +\end_layout + +\begin_layout Definition* +Polinom je vsota monomov. + Stopnja polinoma je najvišja stopnja monoma v njem. +\end_layout + +\begin_layout Example* +Linearna forma v treh spremenljivkah: + +\begin_inset Formula $ax+by+cz=\left[\begin{array}{ccc} +a & b & c\end{array}\right]\left[\begin{array}{c} +x\\ +y\\ +z +\end{array}\right]$ +\end_inset + +. +\end_layout + +\begin_layout Standard +\begin_inset Separator plain +\end_inset + + +\end_layout + +\begin_layout Example* +Kvadratna forma je homogen polinom stopnje 2. + Primer kvadratne forme: +\begin_inset Formula +\[ +ax^{2}+bxy+cy^{2}=\left[\begin{array}{cc} +x & y\end{array}\right]\left[\begin{array}{cc} +a & b/2\\ +b/2 & a +\end{array}\right]\left[\begin{array}{c} +x\\ +y +\end{array}\right] +\] + +\end_inset + + +\end_layout + +\begin_layout Standard +\begin_inset Separator plain +\end_inset + + +\end_layout + +\begin_layout Example* +Kubična forma v treh spremenljivkah: +\begin_inset Formula +\[ +ax^{3}+by^{3}+cz^{3}+dx^{2}y+ex^{2}z+fy^{2}x+gy^{2}x+iz^{2}x+jz^{2}y+kxyz +\] + +\end_inset + + +\end_layout + +\begin_layout Definition* +Pravimo, + da sta matriki +\begin_inset Formula $A$ +\end_inset + + in +\begin_inset Formula $B$ +\end_inset + + kongruentni, + če obstaja obrnljiva +\begin_inset Formula $P\ni:B=PAP^{T}$ +\end_inset + +. + +\end_layout + +\begin_layout Standard +Radi bi naredili klasifikacijo kvadratnih form. + Če naredimo primerno linearno zamenjavo koordinat, + se kvadratna forma poenostavi v +\begin_inset Formula $ex^{2}+fy^{2}$ +\end_inset + + (mešani členi izginejo). +\begin_inset Formula +\[ +x=\alpha x'+\beta y' +\] + +\end_inset + + +\begin_inset Formula +\[ +y=\gamma x'+\delta y' +\] + +\end_inset + +zapišemo kot +\begin_inset Formula +\[ +\left[\begin{array}{c} +x\\ +y +\end{array}\right]=\left[\begin{array}{cc} +\alpha & \beta\\ +\gamma & \delta +\end{array}\right]\left[\begin{array}{c} +x'\\ +y' +\end{array}\right],\quad\quad\overset{\text{transponiranje}}{\Longrightarrow}\quad\quad\left[\begin{array}{cc} +x & y\end{array}\right]=\left[\begin{array}{cc} +x' & y'\end{array}\right]\left[\begin{array}{cc} +\alpha & \gamma\\ +\beta & \delta +\end{array}\right] +\] + +\end_inset + + +\begin_inset Formula +\[ +ax^{2}+bxy+cy^{2}=\left[\begin{array}{cc} +x & y\end{array}\right]\left[\begin{array}{cc} +a & b/2\\ +b/2 & c +\end{array}\right]\left[\begin{array}{c} +x\\ +y +\end{array}\right]=\left[\begin{array}{cc} +x' & y'\end{array}\right]\left[\begin{array}{cc} +\alpha & \gamma\\ +\beta & \delta +\end{array}\right]\left[\begin{array}{cc} +a & b/2\\ +b/2 & a +\end{array}\right]\left[\begin{array}{cc} +\alpha & \beta\\ +\gamma & \delta +\end{array}\right]\left[\begin{array}{c} +x'\\ +y' +\end{array}\right]= +\] + +\end_inset + + +\begin_inset Formula +\[ +=\left[\begin{array}{cc} +x' & y'\end{array}\right]P^{T}AP\left[\begin{array}{c} +x'\\ +y' +\end{array}\right] +\] + +\end_inset + +Ker je +\begin_inset Formula $A$ +\end_inset + + simetrična, + lahko izberemo tako ortogonalno +\begin_inset Formula $P$ +\end_inset + +, + da je +\begin_inset Formula $P^{T}AP$ +\end_inset + + diagonalna, + recimo +\begin_inset Formula $\left[\begin{array}{cc} +d_{1} & 0\\ +0 & d_{2} +\end{array}\right]$ +\end_inset + +, + torej +\begin_inset Formula +\[ +\left[\begin{array}{cc} +x' & y'\end{array}\right]\left[\begin{array}{cc} +d_{1} & 0\\ +0 & d_{2} +\end{array}\right]\left[\begin{array}{c} +x'\\ +y' +\end{array}\right]=d_{1}\left(x'\right)^{2}+d_{2}\left(y'\right)^{2} +\] + +\end_inset + +Kaj vemo o +\begin_inset Formula $2\times2$ +\end_inset + + ortogonalnih matrikah? + +\begin_inset Formula $P=\left[\begin{array}{cc} +a & b\\ +c & d +\end{array}\right]\Rightarrow P^{T}P=\left[\begin{array}{cc} +a & c\\ +b & d +\end{array}\right]\left[\begin{array}{cc} +a & b\\ +c & d +\end{array}\right]=\left[\begin{array}{cc} +a^{2}+c^{2} & ab+cd\\ +ab+cd & b^{2}+d^{2} +\end{array}\right]$ +\end_inset + +. + Da je +\begin_inset Formula $P^{T}P=I$ +\end_inset + +, + mora veljati +\begin_inset Formula $ab+cd=0$ +\end_inset + + in +\begin_inset Formula $a^{2}+c^{2}=b^{2}+d^{2}=1$ +\end_inset + +, + torej +\begin_inset Formula $a=\cos\varphi$ +\end_inset + +, + +\begin_inset Formula $c=\sin\varphi$ +\end_inset + +, + +\begin_inset Formula $b=\cos\tau$ +\end_inset + +, + +\begin_inset Formula $d=\sin\tau$ +\end_inset + +. + Iz +\begin_inset Formula $\cos\left(\varphi+\tau\right)=0$ +\end_inset + + sledi +\begin_inset Formula $\tau=\varphi\pm\frac{\pi}{2}$ +\end_inset + +, + torej je +\begin_inset Formula $P_{1}=\left[\begin{array}{cc} +\cos\varphi & -\sin\varphi\\ +\sin\varphi & \cos\varphi +\end{array}\right]$ +\end_inset + + (vrtež za +\begin_inset Formula $\varphi$ +\end_inset + +) ali +\begin_inset Formula $P_{2}=\left[\begin{array}{cc} +\cos\varphi & \sin\varphi\\ +\sin\varphi & -\cos\varphi +\end{array}\right]$ +\end_inset + + (zrcaljenje žez +\begin_inset Formula $\varphi/2$ +\end_inset + +). + +\begin_inset Formula $\det P_{1}=1$ +\end_inset + +, + +\begin_inset Formula $\det P_{2}=-1$ +\end_inset + +. +\end_layout + +\begin_layout Standard +Če je +\begin_inset Formula $A=\left[\begin{array}{cc} +v_{1} & v_{2}\end{array}\right]\left[\begin{array}{cc} +d_{1} & 0\\ +0 & d_{2} +\end{array}\right]\left[\begin{array}{cc} +v_{1} & v_{2}\end{array}\right]^{-1}$ +\end_inset + +, + je tudi +\begin_inset Formula $A=\left[\begin{array}{cc} +v_{1} & -v_{2}\end{array}\right]\left[\begin{array}{cc} +d_{1} & 0\\ +0 & d_{2} +\end{array}\right]\left[\begin{array}{cc} +v_{1} & -v_{2}\end{array}\right]^{-1}$ +\end_inset + +. + Če je +\begin_inset Formula $\left[\begin{array}{cc} +v_{1} & v_{2}\end{array}\right]$ +\end_inset + + ortogonalna, + je tudi +\begin_inset Formula $\left[\begin{array}{cc} +v_{1} & -v_{2}\end{array}\right]$ +\end_inset + + ortogonalna. + Če je +\begin_inset Formula $A$ +\end_inset + + +\begin_inset Formula $2\times2$ +\end_inset + + simetrična matrika, + lahko poiščemo tak vrtež +\begin_inset Formula $P=\left[\begin{array}{cc} +\cos\varphi & -\sin\varphi\\ +\sin\varphi & \cos\varphi +\end{array}\right]$ +\end_inset + +, + da je +\begin_inset Formula $A=P\left[\begin{array}{cc} +d_{1} & 0\\ +0 & d_{2} +\end{array}\right]P^{-1}$ +\end_inset + +. +\end_layout + +\begin_layout Standard +Povzetek: + +\begin_inset Formula $ax^{2}+bxy+cy^{2}\overset{\text{vrtež}}{\longrightarrow}d_{1}x^{2}+d_{2}y^{2}$ +\end_inset + + +\end_layout + +\begin_layout Example* +Nariši krivuljo +\begin_inset Formula $4x^{2}+4xy+7y^{2}=1$ +\end_inset + +. + Pripadajoča kvadratna forma: + +\begin_inset Formula +\[ +\left[\begin{array}{cc} +x & y\end{array}\right]\left[\begin{array}{cc} +4 & 2\\ +2 & 7 +\end{array}\right]\left[\begin{array}{c} +x\\ +y +\end{array}\right]=1=\cdots +\] + +\end_inset + +Radi bi se znebili mešanega člena: +\begin_inset Formula +\[ +\cdots=\left[\begin{array}{cc} +x' & y'\end{array}\right]P^{T}\left[\begin{array}{cc} +4 & 2\\ +2 & 7 +\end{array}\right]P\left[\begin{array}{c} +x'\\ +y' +\end{array}\right]=1=\cdots +\] + +\end_inset + +Iščemo tak vrtež +\begin_inset Formula $P$ +\end_inset + +, + da bo +\begin_inset Formula $P^{T}AP$ +\end_inset + + diagonalna. + Izračunamo lastne vrednosti +\begin_inset Formula $A=\left[\begin{array}{cc} +4 & 2\\ +2 & 7 +\end{array}\right]$ +\end_inset + +. + Lastni vrednosti sta +\begin_inset Formula $\left\{ 3,8\right\} $ +\end_inset + +. + Izračunamo lastna vektorja: + +\begin_inset Formula $\left\{ \left[\begin{array}{c} +-2\\ +1 +\end{array}\right],\left[\begin{array}{c} +1\\ +2 +\end{array}\right]\right\} $ +\end_inset + +. + Sta že ortogonalna, + treba ju je še normirati: + +\begin_inset Formula $\left\{ \left[\begin{array}{c} +-\frac{2}{\sqrt{5}}\\ +\frac{1}{\sqrt{5}} +\end{array}\right],\left[\begin{array}{c} +\frac{1}{\sqrt{5}}\\ +\frac{2}{\sqrt{5}} +\end{array}\right]\right\} $ +\end_inset + +. + Izdelamo vrzež: + +\begin_inset Formula $P=\left[\begin{array}{cc} +\frac{1}{\sqrt{5}} & -\frac{2}{\sqrt{5}}\\ +\frac{2}{\sqrt{5}} & \frac{2}{\sqrt{5}} +\end{array}\right]$ +\end_inset + +. + Izračunamo kot vrteža: + +\begin_inset Formula $\frac{\sin\varphi}{\cos\varphi}=\frac{\frac{2}{\sqrt{5}}}{\frac{1}{\sqrt{5}}}=2$ +\end_inset + +, + +\begin_inset Formula $\arctan2\approx63,4^{\circ}$ +\end_inset + +. +\end_layout + +\begin_layout Standard +Ogledamo si torej kvadratno formo +\begin_inset Formula $\left[\begin{array}{cc} +x' & y'\end{array}\right]\left[\begin{array}{cc} +8 & 0\\ +0 & 3 +\end{array}\right]\left[\begin{array}{c} +x'\\ +y' +\end{array}\right]=8x'^{2}+3y'^{2}=1$ +\end_inset + +, + kar je elipsa ( +\begin_inset Formula $\left(\frac{x}{a}\right)^{2}+\left(\frac{y}{b}\right)^{2}=1$ +\end_inset + +) s polosema +\begin_inset Formula $\frac{1}{\sqrt{8}}$ +\end_inset + + in +\begin_inset Formula $\frac{1}{\sqrt{3}}$ +\end_inset + +. +\end_layout + +\begin_layout Standard +Elipso narišemo in jo v koordinatnem sistemu zavrtimo v negativno smer za +\begin_inset Formula $63,4^{\circ}$ +\end_inset + +. + Po zasuku je risba te krivulje risba naše prvotne kvadratne forme. +\end_layout + \begin_layout Part Vaja za ustni izpit \end_layout |