\documentclass[12pt,a4paper,leqno]{amsart} \pagestyle{myheadings} \textwidth=154mm \hoffset=-14mm \usepackage{latexsym,amsmath,amsfonts,amssymb,xypic} \usepackage{czech} \newtheorem*{thm}{Věta} \newtheorem{thmn}{Věta}[section] \newtheorem*{cor}{Důsledek} \newtheorem*{lemma}{Lemma} \newtheorem{lemman}[thmn]{Lemma} \newtheorem*{prop}{Tvrzení} \newtheorem{propn}[thmn]{Tvrzení} \newtheorem*{ap*}{Appendix} \theoremstyle{definition} \newtheorem*{defin}{Definice} \newtheorem*{remark}{Poznámka} \newtheorem{remarkn}[thmn]{Poznámka} \newtheorem*{example}{Příklad} \newtheorem{examplen}{Příklad} \newtheorem*{exerc}{Cvičení} \newtheorem*{notat}{Označení} %% %% \newenvironment{mylist}{\begin{list}{(\/\alph{enumi}\/)}{\usecounter{enumi} \setlength{\rightmargin}{0pt} \setlength{\leftmargin}{5pt} \setlength{\itemindent}{0pt} \setlength{\itemsep}{.5\jot} %\setlength{\topsep}{-12pt} }}{\end{list}} \def\id{\operatorname{id}} \def\const{\operatorname{const}} \def\im{\operatorname{Im}} \def\re{\operatorname{Re}} \def\tr{\operatorname{tr}} \def\lin{\operatorname{Lin}} \def\af{\operatorname{Af}} \def\sign{\operatorname{sign}} \newcommand{\card}{\operatorname{card}} \def\hom #1 #2;{\operatorname{Hom}(#1,#2)} \def\st{\operatorname{st}} \def\mat{\operatorname{Mat}} \def\diag{\operatorname{diag}} \def\rr{\mathbb{R}} \def\cc{\mathbb{C}} \def\kk{\mathbb{K}} \def\ee{\mathbb{E}} \def\zz{\mathbb{Z}} \def\qq{\mathbb{Q}} \def\nn{\mathbb{N}} \def\ss{\mathbb{S}} \def\A{{\mathcal A}} \def\B{{\mathcal B}} \def\P{{\mathcal P}} \def\E{{\mathcal E}} \def\N{{\mathcal N}} \def\jj{\mathbb{J}} \def\s #1{{\mathcal S}_{#1}} \newcommand{\dd}[2][]{\frac{\partial #1}{\partial #2}} \def\vek #1{\/{\mathbf#1}\/} %vektory psane tucne %\def\vek #1{{\boldkey #1}} vyzkouset, jak tohle funguje \def\sour #1{\/{\mathbf#1}\/} %souradnice vektoru v neuvedene bazi, %take tucne, casem bud bude vypadat jinak, nebo prejmenuj na \vek \def\bod #1{[#1]} %linearni obal aritmetickeho zastupce, bod v \P_n %\def\bod #1{\langle #1\rangle} %a puvodni definice, ktera se libila mne \def\vct #1{\overrightarrow{#1}} %-> oznacujici vektor z bodu do bodu \def\vctc #1{\overrightarrow{#1} {\lower-1.5ex\hbox{$\mathbb{\scriptstyle C}$}}} %->cc oznacujici vektor z bodu do bodu v komplexifikaci \newcommand{\skal}{\cdot} %skalarni soucin -- mozna bude chtit tlustsi tecku %\newcommand{\df}[1]{{\em #1}\index{#1}} %definovany pojem v definici \newcommand{\df}[1]{{\em #1}} %definovany pojem v definici %\makeindex \newcommand{\trid}[1]{[#1]} % trida ekvivalence \catcode`\"=13 \def"{\begingroup\clqq \def"{\crqq\endgroup}} %ceske uvozovky %\setlength{\parskip}{1ex} %\setlength{\belowdisplayskip}{24pt plus 3pt minus 9pt} %% konec definic a maker %% %% \begin{document} \begin{center}{\large\bf Ne tak letmý úvod k maticím}\\ \sc První pracovní verze\end{center} \bigskip \noindent{\small\em Tento text na příkladech ukazuje vlastnosti základních algebraických struktur -- grup, okruhů, polí, vektorových prostorů a algeber. Zvláštní důraz je kladen na vysvětlení operací v okruhu matic a dále na vysvětlení pojmů vektorového prostoru, vektorového podprostoru a lineárního zobrazení. V závěru je vysvětlena souvislost mezi soustavami homogenních lineárních rovnic, lineárními zobrazeními a podprostory. Nejde o učebnici lineární algebry, takže některé důležité pojmy jsou opomenuty nebo není dostatečně vysvětlen jejich význam.} \bigskip \section{Matice a algebraické struktury} \begin{defin} \df{Maticí typu $k \times l$ nad množinou $S$} rozumíme zobrazení $$M:\{1,\dots,k\}\times\{1,\dots,l\}\to S.$$ Říkáme též, že matice $M$ má $k$ řádků a $l$ sloupců. Hodnotě $M(i,j)$ říkáme \df{prvek matice $M$ v $i$-tém řádku a $j$-tém sloupci}. Matice často zapisujeme prostřednictvím obdélníkové tabulky s $k$ řádky a $l$ sloupci. Poznamenejme, že v tomto textu v rozporu se zavedeným značením (ale v souladu s logiku edice {\em Letmý úvod}) nebudeme prvky matic značit malými písmeny. \end{defin} Nyní ukážeme, že množiny matic mají určitou strukturu, aniž bychom přesně definovali, co se strukturou rozumí. Tento pojem však osvětlíme na řadě příkladů. \medskip V množině přirozených čísel $\nn=\{0,1,\dots\}$ lze prvky sčítat a násobit. To znamená, že existují dvě \df{(binární) operace}, čímž rozumíme zobrazení \begin{align*}&+: \nn\times\nn\to\nn\\&\cdot:\nn\times\nn\to\nn. \end{align*} Píšeme ale pro přehlednost $a+b$ namísto $+(a,b)$ a podobně pro násobení. Příkladem struktury je množina přirozených čísel s těmito dvěma (binárními) operacemi. Odčítání ani dělení nejsou operacemi na $\nn$, protože rozdíl nebo podíl dvou přirozených čísel nemusí být přirozené číslo. Pokud chceme, aby odčítání byla operace, musíme rozšířit číselný obor, s nímž pracujeme. Dostaneme celá čísla $\zz$. Podobně se nám ale nepodaří rozšířit přirozená čísla na nějaký číselný obor, aby bylo operací i dělení -- nulou dělit nejde. Sčítání v $\zz$ je operace, která má tyto vlastnosti: \begin{align} \forall a,b,c\in\zz: a+(b+c)=(a+b)+c&\qquad\text{(asociativita)} \label{asoc}\\ \exists 0\in\zz\forall a\in\zz: 0+a=a+0=a&\qquad\text{(existence neutrálního prvku)}\label{neutralni prvek}\\ \forall a\in\zz\exists b\in\zz: a+b=0&\qquad\text{(existence inverzního prvku)} \label{inverze}\\ \forall a,b\in\zz: a+b=b+a&\qquad\text{(komutativita)}\label{komut} \end{align} \begin{defin} Řekneme, že množina $S$ spolu s operací $\star$ je \df{grupa}, pokud splňuje vlastnosti \ref{asoc}--\ref{inverze}, a \df{komutativní grupa}, pokud splňuje \ref{asoc}--\ref{komut}. Množinu $S$ s operací $\star$ zapisujeme dvojicí $(S,\star)$. \end{defin} \begin{examplen} Tedy sčítání v $\zz$ je komutativní grupa. Sčítání v $\nn$ vlastnosti komutativní grupy nemá a násobení v $\nn$ ani v $\zz$ také ne. Povšimněte si ale, které z vlastností komutativní grupy násobení v $\nn$ a v $\zz$ splňuje: je asociativní, existuje neutrální prvek a je komutativní. Kdybychom přidali zlomky a pracovali s racionálními čísly $\qq$, stejně nebude existovat inverzní prvek pro každé $a\in\qq$. Násobení na $\qq-\{0\}$ je grupa. Odčítání v $\zz$ není grupa. Také dělení v $\qq$ není grupa a ani v $\qq-\{0\}$ to není grupa. Množina $\zz_3=\{-1,0,1\}$ zbytkových tříd po dělení 3 je komutativní grupa vzhledem k operaci sčítání definované tabulkou $$\begin{array}{c|ccc} +&-1&0&1\\\hline -1&1&-1&0\\ 0&-1&0&1\\ 1&0&1&-1 \end{array}$$ Množina $S_0=\{-1,1\}\subseteq \zz$ s násobením definovaným stejně jako v $\zz$ je komutativní grupa. Povšimněte si, že $S_0=\zz_3-\{0\}$ -- je to určitá analogie s $\qq-\{ 0\}$, která bude později důležitá. \end{examplen} Nyní se pokusíme definovat operace také na množinách matic. Označme $$\mat_{k \times l}(S)=\Big\{M:\{1,\dots,k\}\times\{1,\dots,l\}\to S\Big\}$$ množinu všech matic typu $k \times l$. Pokusme se definovat sčítání v $\mat_{k \times l}(S)$ "po složkách" předpisem $$(M+N)(i,j)=M(i,j)+N(i,j),$$ kde $M,N\in\mat_{k \times l}(S)$, $i=1,\dots,k$, $j=1,\dots,l$. Uvědomte si, že tato definice nedává žádný smysl, protože v obecné množině $S$ neumíme sčítat. V $\mat_{k\times l}(\nn)$ jde ale o operaci. \begin{exerc} Dokažte, že je-li $(G,+)$ grupa, je $\mat_{k \times l}(G)$ s výše definovaným sčítáním také grupa, a je-li $(G,+)$ komutativní, je i $\mat_{k \times l}(G)$ komutativní grupa. \end{exerc} Podobně jako sčítání lze v $\mat_{k \times l}(\nn)$ definovat operaci násobení $$(M\ast N)(i,j)=M(i,j)\cdot N(i,j).$$ \begin{remark} Toto násobení nemá velké využití a to, že jej zde uvádíme, je matoucí a nepedagogické. \end{remark} \begin{exerc} Rozhodněte, zda $\big(\mat_{k \times l}(\zz),\ast\big)$, $\big(\mat_{k \times l}(\qq),\ast\big)$ nebo $\big(\mat_{k \times l}(\qq-\{0\}),\ast\big)$ jsou grupy, případně komutativní grupy. \end{exerc} Vraťme se nyní k celým číslům. Nic nám nebrání uvažovat operace sčítání a násobení současně. Víme, že $(\zz,+)$ je komutativní grupa a $(\zz,\cdot)$ nikoli. Platí však několik vlastností, které svazují tyto dvě binární operace dohromady: \begin{align} \forall a,b,c\in\zz: a\cdot(b+c)=a\cdot b+a\cdot c& \qquad\text{(levá distributivita)}\label{leva distrib}\\ \forall a,b,c\in\zz: (a+b)\cdot c=a\cdot c+b\cdot c&\qquad\text{(pravá distributivita)}\label{prava distrib} \end{align} Navíc, jak jsme již podotkli výše, je násobení v $\zz$ asociativní a komutativní a má neutrální prvek. \begin{defin} Množina $S$ s dvěma (binárními) operacemi $+$ a $\cdot$ se nazývá \df{okruh}, pokud $(S,+)$ je komutativní grupa, operace $\cdot$ je na $S$ asociativní a má neutrální prvek a pokud $+$ a $\cdot$ splňují \ref{leva distrib}--\ref{prava distrib}. Je-li navíc $\cdot$ komutativní, mluvíme o \df{komutativním okruhu}. \end{defin} \begin{remark} Povšimněte si, že $+$ v okruhu je podle naší definice komutativní vždy. Okruhy lze definovat obecněji, ale v našich úvahách to nebudeme potřebovat. Nekomutativní $+$ vede k takovým komplikacím, že raději volíme méně obecnou definici. \end{remark} \begin{notat} V případě, že nemůže být pochyb o tom, které operace v grupách či okruzích uvažujeme, budeme místo označení grupy či okruhu používat pouze označení množiny bez operací. Budeme se snažit označovat abstraktní množiny písmenem $S$ (set), grupy $G$ a okruhy $R$ (ring). Neutrální prvek vzhledem k operaci $+$ budeme označovat $0$ a inverzní prvek vzhledem k $+$ budeme nazývat opačný prvek. Neutrální prvek vzhledem k $\cdot$ budeme označovat $1$. Tato konvence odpovídá označení prvků v číselných oborech, takže by neměla být příliš matoucí. Raději se zamyslete, zda vás v předchozím textu nemátlo, že např. neutrálním prvkem v grupě $(\qq-\{0\},\cdot)$ byl prvek $1$. Název inverzní prvek vyhradíme v okruzích pro inverzní prvek vůči $\cdot$. \end{notat} \begin{examplen} Příkladem okruhů je $(\zz,+,\cdot)$, $(\qq,+,\cdot)$, nikoli $(\qq-\{0\},+,\cdot)$. Okruhem je také $(\zz_3,+,\cdot)$, kde násobení je stejné jako v $\zz$. Množina $\big(\mat_{k \times l}(\nn),+,\ast\big)$ okruhem není, ale $\big(\mat_{k \times l}(\zz),+,\ast\big)$ a $\big(\mat_{k \times l}(\qq),+,\ast\big)$ ano. Dalším příkladem okruhu jsou polynomy $\nn[x]$, $\zz[x]$ a $\qq[x]$ s koeficienty v množině přirozených, resp. celých a racionálních čísel. Operacemi na polynomech jsou běžné sčítání a násobení polynomů. Ve všech příkladech okruhů jde o komutativní okruhy. S podstatným příkladem nekomutativního okruhu se setkáme v příkladu \ref{definice GLn}. \end{examplen} \medskip Povšimněte si, že některé okruhy se mírně liší od jiných v tom, jak "dobré" je v nich násobení, resp. kolik prvků má inverzi vzhledem k násobení. \begin{defin} Nechť v komutativním okruhu $(R,+,\cdot)$ je splněna vlastnost \begin{align} \forall r\in R, r\neq 0 \exists s\in R: r\cdot s=s\cdot r=1&\qquad\text{(vlastnost pole)}\label{pole} \end{align} Pak $(R,+,\cdot)$ nazýváme \df{pole}. \end{defin} \begin{remark} Je-li vlastnost \ref{pole} splněna v nekomutativním okruhu, nazýváme jej \df{těleso}. V dalším textu se však budeme věnovat výhradně polím, protože teorie těles je značně komplikovaná a nemá pro účely tohoto textu valný význam. \end{remark} \begin{examplen} Příkladem pole je $(\qq,+,\cdot)$ nebo $(\zz_3,+,\cdot)$. Žádný další okruh z uvedených příkladů polem není. Zamyslete se především, proč nesplňuje vlastnost \ref{pole} množina matic $\big(\mat_{k \times l}(\qq),+,\ast\big)$. Toto je také patrně vhodné místo na to, abyste si připomněli, jak vypadají prvky $0$ a $1$ v maticích a jaké jsou tam opačné a inverzní prvky. \end{examplen} \begin{exerc} Dokažte tvrzení obsažená v předešlém příkladu. \end{exerc} \begin{exerc} Nechť v $(R,+,\cdot)$ platí silnější vlastnost než \ref{pole}: $$\forall r\in R\exists s\in r: r\cdot s=s\cdot r=1. $$ Dokažte, že pak $R=\{1\}$ je tzv. \df{triviální okruh}, který není příliš zajímavý. To znamená, že vlastnost \ref{pole} není "slabá" a definice pole je "rozumná". \end{exerc} \begin{remark} Pole pro nás budou důležitá později. Sluší se také vysvětlit, proč neuvádíme jako příklady polí další číselné obory, reálná a komplexní čísla. Důvodem je to, že z hlediska lineární algebry nepřináší tyto množiny nic podstatně odlišného od množiny racionálních čísel. Důvodem dalšího rozšiřování číselného oboru je buď snaha o metrickou úplnost, nebo o přidání kořenů polynomů vyššího řádu, což pro účely tohoto textu nemá žádný význam. \end{remark} \bigskip Grupy a okruhy představovaly struktury s (binárními) operacemi. Nyní se budeme věnovat strukturám zcela odlišným. \medskip Uvědomte si, že pro $a\in\zz$ a polynom $p\in\qq[x]$ má smysl uvažovat polynom s racionálními koeficienty $a\cdot p$, čímž rozumíme pro $p=b_nx^n+\dots b_1x+b_0$ polynom $$a\cdot p=(a\cdot b_n)x^n+\dots +(a\cdot b_1) x+(a\cdot b_0).$$ Toto násobení ale není v žádném případě binární operace, neboť mícháme prvky dvou různých množin. Formálně toto násobení představuje zobrazení, které pro větší přehlednost označíme jiným symbolem $$\odot : \zz \times\qq[x]\to\qq[x].$$ Povšimněte si, že toto zobrazení splňuje \begin{align} \forall p\in\qq[x]: 1\odot p=p&\qquad\text{(vlastnost jednotky)} \label{jednotka}\\ \forall a,b\in\zz \forall p\in\qq[x]: a\odot (b\odot p)= (a\cdot b)\odot p&\qquad\text{(vnější asociativita)}\label{vnejsi asoc} \end{align} Povšimněte si vlastnosti \ref{jednotka}. Zde 1 chápeme jako prvek $\zz$ a nikoli jako polynom nulového stupně z $\qq[x]$. \begin{remark} Nechť $G$ je libovolná grupa a $S$ libovolná množina. Pak zobrazení $G\times S\to S$ splňující \ref{jednotka} a \ref{vnejsi asoc} nazýváme \df{akce grupy $G$ na množině $S$}. Akcím grup je z podstatné části věnován {\em Letmý úvod k afinním prostorům}, takže je nebudeme rozebírat příliš podrobně. \end{remark} V našem případě jsou však $\zz$ a $\qq[x]$ okruhy a díky tomu má akce $\odot$ další významné vlastnosti: \begin{align} \forall a\in \zz\forall p,q\in\qq[x]: a\odot(p+q)=a\odot p+a\odot q& \quad\text{(levá vnější distributivita)}\label{leva vne distrib}\\ \forall a,b\in\zz\forall p\in\qq[x]: (a+b)\odot p=a\odot p+b\odot p&\quad\text{(pravá vnější distributivita)} \label{prava vne distrib} \end{align} \begin{exerc} Pokuste se pochopit, která operace $+$ je na kterém místě ve vlastnostech \ref{jednotka}--\ref{prava vne distrib} použita. V dalším textu budeme už opět pro jednoduchost označovat akci $\odot$ symbolem běžného násobení, takže si dobře rozmyslete vlastnost \ref{vnejsi asoc}, kde vystupují oba tyto symboly. \end{exerc} \begin{remark} Povšimněte si, že vlastnosti \ref{jednotka}--\ref{prava vne distrib} nevyužívají toho, že $\qq[x]$ je okruh. Ve skutečnosti bychom tak měli mluvit o vlastnosti \ref{vnejsi asoc} jako o levé vnější asociativitě, přičemž pravá vnější asociativita by využívala násobení v $\qq[x]$. Vlastnosti formulované výše však užijeme v následující definici. \end{remark} \begin{defin} Nechť $(R,+,\cdot)$ je libovolný okruh a $(G,+)$ komutativní grupa. Nechť je definována akce $\odot:R\times G\to G$ splňující vlastnosti \ref{jednotka}--\ref{prava vne distrib}. Pak řekneme, že \df{$G$ je modul nad $R$}, prvky $R$ nazýváme \df{skaláry} a akci $\odot$ nazveme \df{vnější násobení} nebo též \df{násobení skalárem}. \end{defin} \begin{examplen} \label{moduly} Také $\zz[x]$ je modul nad $\zz$, ale $\zz[x]$ není modul nad $\qq$. Povšimněte si, že také $\qq$ je modul nad $\zz$ a $\zz$ je modul nad $\zz$. To je příkladem hned dvou důležitých faktů. Předně, každý okruh $(R,+,\cdot)$ je modulem nad $(R,+,\cdot)$, přičemž vnější násobení splyne s násobením $\cdot$. Méně evidentní je druhé tvrzení: Každá komutativní grupa $(G,+)$ je modul nad $\zz$, přičemž operace $\odot: \zz\times G\to G$ je definována následovně. Nechť $g\in G$ je libovolné a $a\in\zz$ je kladné číslo, pak $$a\odot g=g+g+\dots+g,$$ kde $g$ sečteme $a$-krát. Nechť $a=0$, pak položme $a\odot g=0\in G$. Nechť konečně $a$ je záporné, pak $$a\odot g=(-g)+(-g)+\dots+(-g),$$ kde $-g$ označuje inverzní prvek k $g$ a sčítáme $(-a)$-krát. Je přitom samozřejmé, že každý modul nad $\zz$ je zároveň komutativní grupou, tedy mezi komutativními grupami a moduly nad $\zz$ není žádný rozdíl. \end{examplen} \begin{exerc} Uvažte příklady různých okruhů a grup, s nimiž jsme se již setkali, a pokuste se rozhodnout, zda jsou některé z nich modulem nad některými z těchto okruhů. Především si všímejte maticových okruhů a grup. \end{exerc} \begin{examplen} Označme symbolem $\qq[x]_n$ množinu všech polynomů stupně nejvýše $n$, tedy $$\qq[x]_n=\{a_nx^n+\dots+a_1x+a_0;a_n,\dots,a_0\in \qq\}.$$ Tato množina je zřejmě komutativní grupou vzhledem k operaci sčítání. Je to tedy modul nad $\zz$. Je to ovšem také modul nad $\qq$. Na $\qq[x]_n$ lze definovat násobení podobně jako v případě zbytkových tříd $\zz_n$, ale tím se zabývat nebudeme. Pro naše účely jde o vhodný příklad modulu nad $\qq$. \end{examplen} \begin{exerc} Nechť $(R,+,\cdot)$ je okruh, $(G,+)$ komutativní grupa a $\odot: R \times G\to G$ definováno pro každé $r\in R$ a každé $g\in G$ předpisem $r\odot g=g$. Může být $G$ modulem nad $R$ vzhledem k tomuto vnějšímu násobení? \end{exerc} \begin{examplen} Povšimněme si nyní rozdílu mezi moduly nad $\zz$ a moduly nad $\qq$. Víme již, že $\qq$ je modul nad $\zz$ i nad $\qq$. Chápejme nyní $\qq$ jako modul nad $\qq$ a zvolme libovolně nenulový skalár $p\in\qq$ a prvek $q\in\qq$. Pak zřejmě existuje skalár $p^{-1}\in\qq$ tak, že $$q=(p^{-1}\cdot p)\cdot q=p^{-1}\cdot(p\cdot q).$$ Nyní ale chápejme $\qq$ jako modul nad $\zz$ a zvolme libovolný nenulový skalár $a\in\zz$. Pak ale $$q=(a^{-1}\cdot a)\cdot q=a^{-1}\cdot(a\cdot q)$$ jen v těch případech, kdy existuje inverzní prvek k $a$, tedy pouze tehdy, je-li $a=\pm 1$. \end{examplen} \begin{defin} Modul nad polem nazýváme \df{vektorový prostor}. Prvky vektorového prostoru nazýváme \df{vektory}. \end{defin} \begin{notat} Abstraktní pole budeme označovat symbolem $\kk$ a budeme mluvit o vektorových prostorech nad polem $\kk$. \end{notat} \begin{remark} Vektorové prostory jsou základním pojmem lineární algebry. Prostor, který jim věnujeme v tomto textu, pochopitelně není dostatečný. Doporučujeme proto důkladné studium tohoto pojmu v některé z učebnic, např. \cite{hefferon} nebo \cite{slovak}. \end{remark} \begin{examplen} Grupy $\qq$, $\qq[x]$ a $\qq[x]_n$ jsou vektorovými prostory nad polem $\qq$. Grupa matic $\mat_{k \times l}(\qq)$ je vektorový prostor nad $\qq$. Obecně každé pole je vektorovým prostorem nad sebou samým. Množina $\{0\}$ je vektorový prostor nad každým polem. \end{examplen} Pojem vektorového prostoru se může na první pohled zdát poněkud zbytečným. Oproti modulům nad obecným okruhem však máme možnost formulovat některé důležité pojmy. \begin{defin} Řekneme, že množina vektorů $S \subseteq V$ je \df{lineárně nezávislá}, pokud pro každou její konečnou podmnožina $\{v_1,\dots,v_k\}\subseteq S$ a každou množinu skalárů $\{a_1,\dots, a_k\}$ platí, že $$a_1\cdot v_1+\dots +a_k\cdot v_k=0\qquad\implies\qquad a_1=\dots=a_k=0.$$ Řekneme, že množina je \df{lineárně závislá}, pokud není lineárně nezávislá. \end{defin} \begin{examplen}\label{jeden nezav} Množina $\{0\} \subseteq V$ je vždy lineárně závislá, obecněji každá množina vektorů obsahující nulový vektor je lineárně závislá. Jednoprvková množina $\{v\}$, kde $v\in V$ je nenulový vektor, je vždy lineárně nezávislá. \end{examplen} \begin{examplen} Označme $\zz_6=\{0,1,\dots,5\}$ a definujme sčítání a násobení na $\zz_6$ následovně: nechť pro $a,b\in\zz_6$ je $a+b$ rovno zbytku po dělení $6$ ze součtu $a+b$ v $\nn$, podobně nechť $a\cdot b$ je rovno zbytku po dělení $6$ ze součinu $a\cdot b$ v $\nn$. Takto je např. $4+3=1$ nebo $2\cdot 5=4$. Lze snadno ukázat, že $(\zz_6,+,\cdot)$ je okruh. Z příkladu \ref{moduly} víme, že každý okruh je modulem sám nad sebou. Přitom $\zz_6$ není pole, neboť jen $1$ a $5$ má v $\zz_6$ inverzi. Tedy $\zz_6$ není vektorový prostor nad $\zz_6$. Srovnejte to se $\zz_3$, které je vektorovým prostorem nad $\zz_3$. (Lze ukázat, že $\zz_n$ je pole právě tehdy, když $n$ je prvočíslo.) Uvažme nyní množinu $\{2\} \subseteq \zz_6$. Protože $3\cdot 2=0$, vidíme, že na rozdíl od vektorových prostorů může být jeden prvek modulu lineárně závislý. Tedy v modulech nemusí mít pojem lineární nezávislosti smysl. \end{examplen} \begin{examplen} Ve skutečnosti byl hlavní problém předchozího příkladu v tom, že v $\zz_6$ existují tzv. \df{dělitelé nuly}, tedy nenulové prvky, které lze vynásobit vhodným nenulovým prvkem tak, že výsledkem je nula. Uvědomte si, že např. v $\zz$ dělitelé nuly nejsou. Okruhu bez dělitelů nuly říkáme \df{obor integrity}. V modulech nad oborem integrity má lineární závislost a nezávislost smysl, nicméně záhy dospějeme k dalšímu pojmu, který ukáže, proč je výhodnější pracovat s vektorovými prostory. \end{examplen} \begin{defin} Nechť $V$ je vektorový prostor nad $\kk$ a $v_1,\dots,v_k\in V$. Nechť $a_1,\dots,a_k\in\kk$. Výraz tvaru $$a_1\cdot v_1+\dots+a_k\cdot v_k$$ nazveme \df{lineární kombinací vektorů $v_1,\dots,v_k$}. \end{defin} \begin{remark} Platí zřejmě $0\cdot v_1+\dots +0\cdot v_k=0$ pro libovolné vektory $v_1,\dots,v_k$. Lineární kombinaci s nulovými skaláry říkáme \df{triviální lineární kombinace}. To tedy znamená, že vektory $v_1,\dots,v_k$ jsou lineárně nezávislé právě tehdy, je-li každá jejich netriviální lineární kombinace různá od nuly. \end{remark} \begin{remark} Lineární kombinace jsou jen konečné součty. To plyne z toho, že operace součtu více vektorů je vlastně definována pomocí indukce, tedy pro $v_1,\dots,v_n\in V$ musíme chápat $v_1+\dots+v_n$ jako $v_1+(v_2+(\dots+(v_{n-1}+v_n)\dots)$, přičemž na uzávorkování nezáleží, neboť sčítání je asociativní. Jinak řečeno, díky tomu, že umíme sečíst dva vektory, umíme jich sečíst konečně mnoho. Protože často pracujeme s nekonečnými množinami, nabízí se chybná představa, že i operace mohou být nekonečněkrát opakovány. Už v nejjednodušším příkladu vektorového prostoru $\qq$ nad $\qq$ dobře víme, že nekonečný součet racionálních čísel není racionální číslo, ale nějaká podivná nekonečná řada. Promyslete si, zda podobnou chybu neděláte při práci s libovolnými operacemi, nejen s lineárními kombinacemi ve vektorovém prostoru. \end{remark} \begin{examplen} \label{zavisly komb ostatnich} Nechť $v_1,\dots,v_k\in V$ jsou lineárně závislé. Pak lze některý z vektorů $v_1,\dots,v_k$ vyjádřit jako lineární kombinaci ostatních. Skutečně, je-li $$a_1\cdot v_1+\dots+a_k\cdot v_k=0$$ pro vhodné skaláry a $a_i\neq 0$ pro některé $i=1,\dots,k$, pak $$v_i=a_i^{-1}\cdot (a_1\cdot v_1+\dots+a_{i-1}\cdot v_{i-1} +a_{i+1} \cdot v_{i+1}+\dots +a_k\cdot v_k).$$ Uvědomte si, že ne každý vektor $v_i$ lze takto vyjádřit, neboť je-li příslušný skalár $a_i$ roven nule, neexistuje k němu inverzní prvek. Rozmyslete si pečlivě situaci, kdy je jediný skalár v lineární kombinaci nenulový. \end{examplen} \begin{examplen} Povšimněte si, že toto tvrzení neplatí v modulech nad obory integrity, protože ne každý nenulový prvek oboru integrity má inverzní prvek. Nechť $\zz$ je vektorový prostor nad $\zz$. Pak $2$ a $3$ jsou lineárně závislé, protože $-3\cdot 2+2\cdot 3=0$, ale $3$ nelze vyjádřit jako lineární kombinaci $2$ a naopak. (Lineární kombinace jednoho vektoru je jeho skalární násobek.) Pokud ale budeme $2$ a $3$ chápat jako prvky vektorového prostoru $\qq$ nad polem $\qq$, lze $2$ vyjádřit snadno jako $2=2/3\cdot 3$ a podobně $3=3/2\cdot 2$. Pokud ale chápeme $2$ a $3$ jako prvky modulu $\qq$ nad okruhem $\zz$, jsme ve stejné situaci, jako by šlo o prvky $\zz$. \end{examplen} \begin{defin} Nechť $V$ je vektorový prostor nad $\kk$ a $S \subseteq V$ libovolná podmnožina. \df{Lineárním obalem množiny $S$} nazveme množinu $$\lin(S)=\{a_1\cdot v_1+\dots+a_k\cdot v_k; k\in\nn, a_1,\dots,a_k\in\kk, v_1,\dots,v_k\in S\},$$ je-li $S\neq\emptyset$, lineární obal prázdné množiny $\lin(\emptyset)$ klademe roven $\{0\}$. Množinu $S$ nazýváme \df{množinou generátorů} prostoru $V$, pokud $\lin(S)=V$. \end{defin} \begin{examplen} Povšimněte si především, že každý vektorový prostor je množinou generátorů sebe sama.\label{generuje se sam} \end{examplen} \begin{defin} Lineárně nezávislá množina generátorů se nazývá \df{báze}. \end{defin} \begin{remark} Povšimněte si, že množinou generátorů vektorového prostoru $\{0\}$ je prázdná množina. Ta je jistě lineárně nezávislá, tedy je to báze $\{0\}$. \end{remark} \begin{examplen} \label{v mod baze ne} Pojem lineárního obalu má smysl i pro moduly. Uvažme $\zz$ jako modul nad $\zz$. Množina $\{2,3\}$ je množinou generátorů. Jiným příkladem je množina $\{1\}$. Zatímco $\{1\}$ je lineárně nezávislá množina (a tedy "báze" v $\zz$), množina $\{2,3\}$ je lineárně závislá. \end{examplen} \begin{thm} Je-li množina generátorů vektorového prostoru $V$ konečná, lze z ní vybrat bázi. \end{thm} \begin{proof} Důkaz provedeme indukcí vzhledem k počtu generátorů. Vektorový prostor~$\{0\}$ má prázdnou bázi. V příkladu \ref{jeden nezav} jsme viděli, že jednoprvková množina generátorů je lineárně nezávislá, tedy báze. Nechť věta platí pro $k-1$ generátorů a nechť $V=\lin(\{v_1,\dots,v_k\})$. Pokud jsou generátory lineárně nezávislé, jsme hotovi, pokud ne, lze podle příkladu \ref{zavisly komb ostatnich} některý generátor, řekněme $v_1$, vyjádřit jako lineární kombinaci ostatních. Pak ale $V=\lin(\{v_2,\dots,v_k\})$ a podle indukčního předpokladu lze vybrat bázi. \end{proof} \begin{remark} Povšimněte si, že tvrzení platí pouze pro konečnou množinu generátorů. Kdyby toto omezení v předpokladech věty nebylo, šlo by vybrat bázi ze všech prvků vektorového prostoru vzhledem k příkladu \ref{generuje se sam}. Věta tedy neříká, že má každý vektorový prostor bázi. Ve skutečnosti je existence báze nekonečněrozměrného vektorového prostoru ekvivalentní s axiomem výběru. \end{remark} \begin{examplen} Vraťme se k příkladu \ref{v mod baze ne}. Z množiny $\{2,3\}$ nelze vybrat bázi, protože ani $2$, ani $3$ negenerují celé $\zz$ (například jimi nelze vygenerovat prvek $1$). \end{examplen} \begin{examplen} \label{priklady bazi} Chápejme $\qq$ jako vektorový prostor nad $\qq$. Pak je každá jednoprvková množina $\{q\in\qq; q\neq 0\}$ báze v $\qq$. Obecněji, chápeme-li pole $\kk$ jako vektorový prostor nad $\kk$, je množina $\{k\in\kk;k\neq 0\}$ jeho bazí. Množina $\{1,x,x^2,\dots,x^n,\dots\}$ je bazí v $\qq[x]$, podobně $\{1,x,\dots,x^n\}$ je bazí v $\qq[x]_n$. Nechť $O_{i,j}$ označuje matici typu $k\times l$ definovanou předpisem $$O_{i,j}(p,q)=\begin{cases}1\text{ pro }p=i, q=j\\0\text{ jinak} \end{cases}$$ Pak množina $\big\{O_{i,j}\/;\ i=1,\dots,k,\ j=1,\dots, l\big\}$ je bazí v $\mat_{k \times l}(\kk)$. \begin{exerc} Dokažte všechna tvrzení z předešlého příkladu. \end{exerc} \end{examplen} \begin{examplen} \label{souradnice jednoznacne} Příklad \ref{zavisly komb ostatnich} lze nahlédnout ještě z jiné strany. Nechť $\{v_1,\dots,v_k\} \subseteq V$ je lineárně nezávislá množina a $u\in\lin(\{v_1,\dots,v_k\})$. Pak množina $\{u,v_1,\dots,v_k\}$ je lineárně závislá, neboť $$u=a_1\cdot v_1+\dots +a_k\cdot v_k$$ pro vhodné skaláry a tedy $$(-1)\cdot u+a_1\cdot v_1+\dots +a_k\cdot v_k=0.$$ Nechť nyní specielně $\{v_1,\dots, v_n\}\subseteq V$ je báze a $u\in V$ libovolný vektor. Protože báze generuje $V$, platí $u\in\lin(\{v_1,\dots,v_n\})$. To ale znamená, že $u$ je lineární kombinací vektorů báze, tedy $$u=a_1\cdot v_1+\dots+a_n\cdot v_n.$$ Je toto vyjádření jednoznačné? Kdyby existovaly skaláry $b_1,\dots,b_n\in\kk$ tak, že $$u=b_1\cdot v_1+\dots +b_n\cdot v_n,$$ pak by platilo $$a_1\cdot v_1+\dots+a_n\cdot v_n-(b_1\cdot v_1+\dots +b_n\cdot v_n)= (a_1-b_1)\cdot v_1+\dots+(a_n-b_n)\cdot v_n=0,$$ protože jsou ale vektory $v_1,\dots,v_n$ lineárně nezávislé, znamená to, že $a_i=b_i$ pro $i=1,\dots,n$. \end{examplen} \section{Vektorové prostory a matice přechodu} \begin{notat} Z praktických důvodů budeme nadále pracovat nikoli s bázemi jako množinami, ale jako s uspořádanými $n$-ticemi, což se občas nazývá \df{uspořádané báze}. My nicméně budeme říkat pouze báze a budeme velmi volně nakládat s tím, kdy myslíme bazí uspořádanou a kdy neuspořádanou množinu a necháme na čtenáři, aby rozdíl vyrozuměl z kontextu. Báze budeme zapisovat jako řádky a označovat malými písmeny řecké abecedy. \end{notat} \begin{defin} Nechť $\alpha=(v_1,\dots,v_n)$ je báze $V$ nad $\kk$ a $u\in V$ libovolný vektor. Pak podle příkladu \ref{souradnice jednoznacne} existují jednoznačně určené skaláry $a_1,\dots,a_n\in\kk$ tak, že $$u=a_1\cdot v_1+\dots +a_n\cdot v_n.$$ Tyto skaláry budeme nazývat \df{souřadnice vektoru $u$ vzhledem k bázi $\alpha$} a zapisovat jako sloupec $$(u)_\alpha=\begin{pmatrix} a_1\\\vdots\\a_n \end{pmatrix}.$$ \end{defin} \begin{examplen} \label{souradnice baze v sobe same} Povšimněte si především, že pro každou bázi $\alpha=(v_1,\dots,v_n)$ ve $V$ platí $$(v_1)_\alpha=\begin{pmatrix} 1\\0\\0\\\vdots\\0\\0 \end{pmatrix},\quad (v_2)_\alpha=\begin{pmatrix} 0\\1\\0\\\vdots\\0\\0 \end{pmatrix},\quad\dots\quad (v_{n-1})_\alpha=\begin{pmatrix} 0\\0\\0\\\vdots\\1\\0 \end{pmatrix},\quad (v_n)_\alpha=\begin{pmatrix} 0\\0\\0\\\vdots\\0\\1 \end{pmatrix}.$$ \end{examplen} \begin{examplen} \label{baze v poly mod n} Mějme dvě báze, např. $\alpha=(1,x,x^2,\dots,x^n)$ a $\beta=(1,1+x,1+x+x^2,\dots,1+x+\dots+x^n)$ v $\qq[x]_n$. Uvědomte si, že podle příkladu \ref{souradnice jednoznacne} lze každý vektor báze $\beta$ jednoznačně vyjádřit jako lineární kombinace vektorů z $\alpha$ a také naopak. Přesvědčte se o tom a souřadnice jednotlivých bázových vektorů vypočtěte. Uvažme bázi $\gamma=(1+x,x+x^2,x^2+x^3,\dots,x^{n-1}+x^n)$. Jako cvičení vyjádřete každý z vektorů $\gamma$ v souřadnicích vzhledem k $\alpha$ a $\beta$. Jde to i naopak? Neměli byste být překvapeni, že nikoli. Vektor $1$ totiž není v $\lin(\gamma)$, tedy $\gamma$ není báze. Povšimněte si především, že zatímco $\alpha$ a $\beta$ jsou $(n+1)$-tice vektorů, je $\gamma$ jen $n$-tice. Znamená to tedy, že báze musí mít stejný počet prvků? \end{examplen} \begin{lemma}Nechť $\alpha=(v_1,\dots,v_n)$ je báze $V$ nad $\kk$ a $u\neq 0$ libovolný vektor. Pak existuje $i=1,\dots,n$ takové, že $(u,v_1,\dots,v_{i-1},v_{i+1},\dots,v_n)$ je báze $V$. \end{lemma} \begin{proof} Protože $\alpha$ je báze, platí $u\in\lin(\alpha)$, přesněji $$u=a_1\cdot v_1+\dots+a_n\cdot v_n.$$ Nechť $a_i\neq 0$, pak \begin{equation}v_i=a_i^{-1}(u-a_1\cdot v_1-\dots-a_{i-1}\cdot v_{i-1} -a_{i+1}\cdot v_{i+1}-a_n\cdot v_n).\label{lin komb naopak} \end{equation} Nechť $w\in V$ je libovolný vektor. Dosadíme do lineární kombinace $$w=b_1\cdot v_1+\dots +b_n\cdot v_n$$ za $v_i$ vyjádření \ref{lin komb naopak}. Tím jsme ale vyjádřili vektor $w$ jako lineární kombinaci množiny $\{u,v_1,\dots,v_{i-1},v_{i+1},\dots,v_n\}$, tedy $\{u,v_1,\dots,v_{i-1},v_{i+1},\dots, v_n\}$ generuje $V$. Kdyby nyní byla $\{u,v_1,\dots,v_{i-1},v_{i+1},\dots, v_n\}$ lineárně závislá množina, znamenalo by to, že $u\in\lin(\alpha-\{v_i\})$. Vzhledem k \ref{lin komb naopak} by ale pak také $v_i\in\lin(\alpha-\{v_i\})$ a $\alpha$ by nebyla báze, což není možné. Tedy $(u,v_1,\dots,v_{i-1},v_{i+1},\dots,v_n)$ je báze $V$. \end{proof} \begin{thm}[Steinitz] Nechť $\alpha=(v_1,\dots,v_n)$ je báze $V$ nad $\kk$ a $\{u_1,\dots,u_k\}$ je lineárně nezávislá množina vektorů. Pak $k\leq n$ a mezi vektory báze existuje taková $(n-k)$-tice $v_{i_1},\dots,v_{i_{n-k}}$, že $(u_1,\dots,u_k,v_{i_1},\dots,v_{i_{n-k}})$ je báze $V$. \end{thm} \begin{proof} Důkaz provedeme indukcí vzhledem ke $k$ s využitím předešlého lemmatu, které představuje první krok. Nechť $k\leq n$ a věta platí pro $k-1$, tedy platí, že $(u_1,\dots,u_{k-1},v_{i_1},\dots,v_{i_{n-k+1}})$ je báze $V$. Pak ale $$ u_k=a_1\cdot u_1+\dots +a_{k-1}\cdot u_{k-1} + a_k \cdot v_{i_1} + \dots +a_n \cdot v_{i_{n-k+1}}.$$ Kdyby $a_j=0$ pro $j\geq k$, znamenalo by to, že množina $\{u_1,\dots,u_k\}$ není lineárně nezávislá, protože $$a_1\cdot u_1+\dots+a_{k-1}\cdot u_{k-1}+(-1)\cdot u_k=0.$$ To ale odporuje předpokladům, tedy některé $a_j$ pro $j\geq k$ je nenulové. Nyní můžeme stejně jako v lemmatu nahradit $v_{i_{j-k}}$ vektorem $u$ a dostaneme bázi. Zbývá ukázat, že $k$ nemůže být větší než $n$. Vzhledem k tomu, že v $n$-tém indukčním kroku obdržíme bázi $(u_1,\dots,u_n)$, musela by být množina $\{u_1,\dots,u_k\}$ lineárně závislá. \end{proof} \begin{cor} Má-li vektorový prostor konečnou bázi, mají všechny jeho báze stejný počet prvků. \end{cor} \begin{defin} Nechť $V$ je vektorový prostor. Mohutnost báze nazveme \df{dimenzí vektorového prostoru $V$}. \end{defin} \begin{remark} V definici báze stojí proti sobě dva principy. Báze je množina generátorů, ale zároveň je lineárně nezávislá. Generátorů musí být "dost", lineárně nezávislých vektorů nesmí být "zbytečně mnoho". Báze je minimální množina generátorů a zároveň maximální lineárně nezávislá množina. \end{remark} \begin{examplen} \label{radek krat sloupec} Nyní se vraťme k definici souřadnic a k zápisu bazí a souřadnic do řádků a sloupců. Nechť ve vektorovém prostoru $V$ nad polem $\kk$ je báze $\alpha=(v_1,\dots,v_n)$ a nechť $u\in V$ je vektor se souřadnicemi $$(u)_\alpha=\begin{pmatrix} a_1\\\vdots\\a_n \end{pmatrix}.$$ To znamená, že $$u=a_1\cdot v_1+\dots +a_n\cdot v_n.$$ Tuto lineární kombinaci budeme symbolicky zapisovat \begin{equation}\label{baze krat souradnice} u=\alpha\cdot(u)_\alpha \end{equation} a chápat $\cdot$ jako určitou operaci. V striktně algebraickém smyslu to operace není, není to ani akce nebo něco podobného. Povšimněte si zejména, že pomocí zápisu \ref{baze krat souradnice} lze přepsat lineární nezávislost vektorů báze $\alpha$ formálně výrazem \begin{equation} \label{lin nezav jako vektory} \forall c\in\mat_{n \times 1}(\kk): \alpha\cdot c=0\implies c=0. \end{equation} Podívejme se na "násobení" v \ref{baze krat souradnice} blíže. Zde je situace komplikovaná tím, že mícháme dohromady různé věci -- vektory a skaláry. Zkoumejme proto jednodušší situaci. Nechť $R$ je libovolný okruh. Maticím $\mat_{1 \times n}(R)$ říkejme \df{$n$-řádky} a maticím $\mat_{n \times 1}(R)$ podobně \df{$n$-sloupce}. Nechť $M$ je $n$-řádek a $N$ je $n$-sloupec, definujme jejich \df{součin} jako $a\in R$, $$a=\sum_{i=1}^n \big(M(1,i)\cdot N(i,1)\big).$$ Součin $n$-řádku s $n$-sloupcem je tedy zobrazení $$\cdot:\mat_{1 \times n}(R)\times\mat_{n \times 1}(R)\to R.$$ \end{examplen} \begin{remark} Nyní se nabízí otázka, proč raději nepsat báze i souřadnice oboje do řádků (či sloupců) a nedefinovat součin pro dva stejně dlouhé řádky či dva stejně dlouhé sloupce. Odpověď bude pochopitelná po určitém zobecnění součinu řádků se sloupci. Další vtíravá otázka, proč nepsat naopak souřadnice do řádků a matice do sloupců, bude vysvětlena o něco později. \end{remark} \begin{examplen} \label{definice matice prechodu} Povšimněme si nyní dvou bazí, např. bazí $\alpha$ a $\beta$ v $\qq[x]_n$ z příkladu \ref{baze v poly mod n}. Vezměme si po řadě souřadnice vektorů z $\alpha$ vzhledem k bázi $\beta$, tedy $$(1)_\beta=\begin{pmatrix} 1\\0\\0\\0\\\vdots\\0 \end{pmatrix}, \quad (x)_\beta=\begin{pmatrix} -1\\1\\0\\0\\\vdots\\0 \end{pmatrix}, \quad (x^2)_\beta=\begin{pmatrix} 0\\-1\\1\\0\\\vdots\\0 \end{pmatrix}, \quad \dots, \quad (x^n)_\beta=\begin{pmatrix} 0\\0\\\vdots\\0\\-1\\1 \end{pmatrix}.$$ Pokud postupně aplikujeme na bázi $\beta$ a jednotlivé sloupce součin \ref{baze krat souradnice}, dostaneme vektory báze $\alpha$. Sestavme nyní z těchto sloupců čtvercovou matici a definujme další součin, opět obecně pro matice nad okruhem $R$. Nechť $M$ je $n$-řádek a $N\in\mat_{n \times n}(R)$, jejich součinem nazveme $n$-řádek $P$ splňující pro každé $i=1,\dots,n$ vztah $$P(1,i)=M\cdot N(-,i).$$ Symbolem $N(-,i)$ zde myslíme $i$-tý sloupec $N$ a součin na pravé straně rovnosti je tedy součin $n$-řádku s $n$-sloupcem. Poznamenejme, že podobně budeme symbolem $X(i,-)$ označovat $i$-tý řádek matice $X$, podtržítko zde znamená prázdné místo, do něhož lze dosazovat, tedy formálně je $$N(-,i):\{1,\dots,n\}\to R,\qquad \Big(N(-,i)\Big)(j)=N(j,i).$$ Povšimněte si, že součin $n$-řádku s maticí $n \times n$ odpovídá tomu, jak jsme vyjádřili bázi $\alpha$ z báze $\beta$. Tam jsme vlastně násobili takto: $$\alpha=\beta\cdot \Big(\begin{array}{c|c|c|c} (1)_\beta&(x)_\beta&\dots&(x^n)_\beta \end{array}\Big),$$ přičemž symbolem vpravo rozumíme matici $n \times n$ vzniklou tak, že sloupce napíšeme vedle sebe, tedy $$\Big(\begin{array}{c|c|c|c} (1)_\beta&(x)_\beta&\dots&(x^n)_\beta \end{array}\Big)(-,i)=(x^{i-1})_\beta.$$ Povšimněme si nyní velmi důležité věci. Nechť $u\in\qq[x]_n$. Pak \begin{equation}\label{zmena souradnic} u=\alpha\cdot(u)_\alpha= \bigg(\beta\cdot \Big(\begin{array}{c|c|c|c} (1)_\beta&(x)_\beta&\dots&(x^n)_\beta \end{array}\Big)\bigg)\cdot(u)_\alpha. \end{equation} Definujme další součin, velmi podobný jako předešlý. Nechť $M$ je matice $n \times n$ a $N$ je $n$-sloupec. Jejich součinem nazveme $n$-sloupec $P$ splňující pro $i=1,\dots,n$ $$P(i,1)=M(i,-)\cdot N.$$ Pak lze výraz \ref{zmena souradnic} přepsat jako $$u=\alpha\cdot(u)_\alpha= \beta \cdot\bigg( \Big(\begin{array}{c|c|c|c} (1)_\beta&(x)_\beta&\dots&(x^n)_\beta \end{array}\Big)\cdot(u)_\alpha\bigg)$$ a vzhledem k jednoznačnosti souřadnic vzhledem k dané bázi to znamená, že $$(u)_\beta=\Big(\begin{array}{c|c|c|c} (1)_\beta&(x)_\beta&\dots&(x^n)_\beta \end{array}\Big)\cdot (u)_\alpha$$ \end{examplen} \begin{remark} Poznamenejme, že jsme v předchozím příkladu několikrát aplikovali nově definované součiny v situacích, kdy řádkem nebyl $n$-řádek, ale uspořádaná báze. V těchto případech jsme však k součinu přistupovali jako k výrazu \ref{baze krat souradnice}. \end{remark} \begin{defin} Nechť $\alpha=(v_1,\dots,v_n)$ a $\beta$ jsou báze ve vektorovém prostoru $V$. Čtvercovou matici $(\id)_{\beta\alpha}$ splňující $$(\id)_{\beta\alpha}(-,i)=(v_i)_\beta,$$ tedy $$(\id)_{\beta\alpha}= \big(\begin{array}{c|c|c|c}(v_1)_\beta&(v_2)_\beta&\dots&(v_n)_\beta \end{array}\big)$$ nazýváme \df{matice přechodu od báze $\alpha$ k bázi $\beta$}. \end{defin} \begin{remark} Uvědomte si, že vzhledem k jednoznačnosti souřadnic je také matice přechodu určena jednoznačně. Označení matice přechodu bude jasné později, povšimněte si obráceného pořadí bazí v indexu $(\id)_{\beta\alpha}$. \end{remark} \begin{examplen} \label{soucin ctvercovych matic} Nyní ukážeme motivaci pro definování dalšího součinu. Nechť $\alpha$, $\beta$ a $\gamma$ jsou tři báze ve $V$. Nový součin bude definován tak, že matice přechodu od $\alpha$ ke $\gamma$ bude součinem matice přechodu od $\beta$ ke $\gamma$ s maticí přechodu od $\alpha$ k $\beta$. Nechť tedy $M$ a $N$ jsou matice $n \times n$. Jejich součinem nazveme matici $P$ typu $n \times n$ splňující pro $i=1,\dots,n$ a $j=1,\dots, n$ vztah $$P(i,j)=M(i,-)\cdot N(-,j),$$ tedy v $i$-tém řádku a $j$-tém sloupci součinu je součin $i$-tého řádku $M$ s $j$-tým sloupcem matice $N$. Vraťme se k motivaci. Víme, že pro každé $u\in V$ je \begin{align*} u&=\alpha\cdot(u)_\alpha=\gamma\cdot(\id)_{\gamma\alpha}\cdot(u)_\alpha. \intertext{Zároveň ale} u&=\alpha\cdot (u)_\alpha=\beta\cdot (\id)_{\beta\alpha}(u)_\alpha= \gamma\cdot(\id)_{\gamma\beta}\cdot(\id)_{\beta\alpha}\cdot(u)_\alpha \end{align*} Protože matice přechodu je dána jednoznačně, musí platit $$(\id)_{\gamma\alpha}=(\id)_{\gamma\beta}\cdot(\id)_{\beta\alpha}.$$ Součin na pravé straně je pak právě součin čtvercových matic definovaný výše. \end{examplen} \begin{remark} Uvědomte si, že součin čtvercových matic je operace z algebraického hlediska, neboť je to zobrazení $$\cdot:\mat_{n \times n}(R)\times\mat_{n \times n}(R)\to \mat_{n \times n }(R).$$ \end{remark} \begin{examplen} \label{asociativita soucinu matic} Součin matic $n \times n$ je asociativní operace, neboť pro každé $M,N,P\in\mat_{n \times n}(R)$ je $$\Big((M\cdot N)\cdot P\Big)(i,j)= \big(M\cdot N\big)(i,-)\cdot P(-,j)= M(i,-)\cdot N\cdot P(-,j)$$ a naopak $$\Big(M\cdot (N\cdot P)\Big)(i,j)= M(i,-)\cdot\big( N\cdot P\big)(-,j)= M(i,-)\cdot N\cdot P(-,j)$$ Ujistěte se, že dobře rozumíte výše uvedenému zápisu. Uvědomte si také, že ze zápisu plyne, že $i$-tý řádek součinu matic $M$ a $N$ je součinem $i$-tého řádku $M$ s maticí $N$. Promyslete si, jak tento fakt plyne z definice násobení $n$-řádku maticí $n \times n$ (viz příklad~\ref{definice matice prechodu}). Dále si rozmyslete podobný fakt pro sloupce. \end{examplen} \begin{remark} V poznámce k příkladu \ref{radek krat sloupec} jsme se zamýšleli nad tím, proč nedefinovat součin $n$-řádku s $n$-řádkem či naopak $n$-sloupce s $n$-sloupcem. Nyní, když znáte součin čtvercových matic, se můžete zamyslet, s jakými obtížemi by se definoval součin matic, pokud bychom chtěli vyjít např. od součinu $n$-řádků. Uvažme takový součin "po řádcích". Především vůbec není jasné, který prvek ve výsledné matici kam psát, na rozdíl od součinu, který jsme definovali my. Připusťme ale, že bychom zavedli nějakou konvenci, např. takovou, že v $i$-tém řádku a $j$-tém sloupci součinu je součin $i$-tého řádku s $j$-tým řádkem, tedy např. u matic $2 \times 2$ dostaneme $$\begin{pmatrix} a&b\\c&d \end{pmatrix}\cdot \begin{pmatrix} e&f\\g&h \end{pmatrix}= \begin{pmatrix} ae+bf&ag+bh\\ce+df&cg+dh \end{pmatrix}.$$ Takový součin ale nebude asociativní! Vyzkoušejte $$\begin{pmatrix} a&b\\c&d \end{pmatrix}\cdot \begin{pmatrix} e&f\\g&h \end{pmatrix}\cdot \begin{pmatrix} i&j\\k&l \end{pmatrix}$$ a okamžitě vidíte, že v prvním řádku prvním sloupci výsledné matice je při jednom uzávorkování $aei+bfi+agj+bhj$ a při druhém $aei+afj+bek+bfl$. Promyslete si dobře, že asociativitu nezískáte ani při jiné konvenci uspořádání prvků. Formální důkaz tohoto tvrzení by byl zdlouhavý a nebudeme jej uvádět. \end{remark} \begin{exerc} Ověřte, že matice $E_n$ typu $n \times n$ definovaná předpisem $$E_n(i,j)=\begin{cases}1\text{ pro } i=j\\0\text{ jinak,} \end{cases}$$ je jednotkovým prvkem vzhledem k násobení matic $n \times n$. \end{exerc} \begin{remark} Z příkladu \ref{souradnice baze v sobe same} plyne, že pro každou bázi $\alpha$ ve vektorovém prostoru $V$ dimenze $n$ je $(\id)_{\alpha\alpha}=E_n$. \end{remark} \begin{examplen} \label{distrib nasobeni matic} Vraťme se na chvíli k násobení řádků sloupci. Násobení $n$-řádku $n$-sloupcem je zleva i zprava distributivní operace, což plyne přímo z distributivity násobení v $R$. Přesněji, pro libovolné $M,N\in\mat_{1 \times n}(R)$ a $P,Q\in\mat_{n \times 1}(R)$ platí \begin{align*} M\cdot(P+Q)&=\sum_{i=1}^n M(1,i)\cdot\big(P(i,1)+Q(i,1)\big)\\ &=\sum_{i=1}^n \big(M(1,i)\cdot P(i,1)+M(1,i)\cdot Q(i,1)\big)= M\cdot P+M\cdot Q \intertext{a podobně} (M+N)\cdot P&=\sum_{i=1}^n \big(M(1,i)+N(1,i)\big)\cdot P(i,1)\\ &=\sum_{i=1}^n \big(M(1,i)\cdot P(i,1)+N(1,i)\cdot P(i,1)\big)= M\cdot P+N\cdot P \end{align*} Především z toho plyne, že pro libovolnou lineární kombinaci vektorů $v_1,\dots,v_k\in V$ a libovolnou bázi $\alpha$ ve $V$ platí $$ (c_1\cdot v_1+\dots +c_k\cdot v_k)_\alpha= c_1\cdot (v)_1+\dots+c_k\cdot(v)_k.$$ Nechť nyní $A,B,C\in\mat_{n \times n}(R)$. Protože součin čtvercových matic je definován tak, že v $i$-tém řádku a $j$-tém sloupci matice $A\cdot B$ je součin $i$-tého sloupce $A$ s $j$-tým sloupcem $B$, plyne z distributivity násobení řádků sloupci také \begin{align*} A\cdot(B+C)&=A\cdot B+A\cdot C\\ (A+B)\cdot C&=A\cdot C+B\cdot C. \end{align*} \end{examplen} \begin{cor} Z úvah v předchozích dvou příkladech a z předchozího cvičení vyplývá, že $(\mat_{n \times n}(R),+,\cdot)$ tvoří okruh, přičemž nulová matice $0_n$ je nulový prvek a jednotková matice $E_n$ je jednotkový prvek. \end{cor} \begin{remark} Zdůrazněme, že tento okruh je podstatně významnější než výše uvedený okruh $(\mat_{n \times n}(R),+,\ast)$ s násobením po složkách, jehož zavedení nemělo jiný smysl než ilustrovat na příkladech pojem okruhu. \end{remark} \begin{examplen} \label{definice GLn} Nechť $V$ je vektorový prostor nad polem $\kk$ dimenze $n$ Nechť $\alpha$, $\beta$ jsou libovolné báze. Pak vzhledem k příkladu \ref{souradnice baze v sobe same} a z jednoznačnosti matice přechodu plyne $$(\id)_{\beta\alpha}\cdot (\id)_{\alpha\beta}=(\id)_{\beta\beta}=E_n$$ a tedy $(\id)_{\beta\alpha}$ je inverzní prvek k $(\id)_{\alpha\beta}$ vzhledem k násobení matic. Specielně to znamená, že každá matice přechodu má inverzní prvek. Tedy množina matic přechodu tvoří grupu vzhledem k násobení, nazývá se \df{obecná lineární grupa} a značíme ji $GL(n,\kk)$. Tato grupa není komutativní, např. \begin{align*} \begin{pmatrix} 1&2\\3&4 \end{pmatrix} \cdot \begin{pmatrix} 1&1\\1&2 \end{pmatrix}&= \begin{pmatrix} 3&5\\7&11 \end{pmatrix}\\ \begin{pmatrix} 1&1\\1&2 \end{pmatrix}\cdot \begin{pmatrix} 1&2\\3&4 \end{pmatrix}&= \begin{pmatrix} 4&6\\7&10 \end{pmatrix} \end{align*} To především znamená, že $(\mat_{n \times n}(\kk),+,\cdot)$ není komutativní okruh a že obecněji pro libovolné $R$ okruh $(\mat_{n \times n}(R),+,\cdot)$ není komutativní. Jak ale ukázat, že výše uvedené matice jsou skutečně maticemi přechodu? Existují vůbec nějaké matice typu $n \times n$, které by nebyly maticemi přechodu? Především lze ukázat, že pro libovolné $n$ nemá nulová matice $0_n$ inverzní prvek. Skutečně, pro každé $M\in\mat_{n \times n}(\kk)$ je $$0_n\cdot A=A\cdot 0_n=0_n.$$ Protože už víme, že každá matice přechodu má inverzní prvek, nemůže být nulová matice maticí přechodu. \end{examplen} \begin{remark} Podobně jako $GL(n,\kk)$ v $(\mat_{n \times n}(\kk),+,\cdot)$ je v každém okruhu množina prvků, které mají inverzi (tzv. \df{invertibilních prvků}) grupou vzhledem k násobení. Připomeňme, že v netriviálním poli je jediným prvkem bez inverze nulový prvek. Naopak např. v $\zz$ jsou invertibilními prvky pouze $1$ a $-1$. V dalším textu budeme postupně směřovat k tomu, zda je invertibilních matic (tedy matic přechodu) spíše "málo" podobně jako v $\zz$, nebo "většina" podobně jako v poli. \end{remark} \begin{exerc} Nechť $M$ a $N$ jsou matice přechodu. Dokažte, že pak $$(M\cdot N)^{-1}=N^{-1}\cdot M^{-1}.$$ \end{exerc} \begin{examplen} \label{gauss} Buď $\alpha=(v_1,\dots,v_n)$ báze $V$. Označme \begin{align*} \beta&=(v_1,\dots,v_{i-1}, v_j, v_{i+1},\dots,v_{j-1},v_i,v_{j+1},\dots,v_n),\\ \gamma&=(v_1,\dots,v_{i-1},v_i+v_j,v_{i+1},\dots,v_n),\\ \delta&=(v_1,\dots,v_{i-1},a\cdot v_i,v_{i+1},\dots,v_n), \text{ kde } a\neq 0. \end{align*} Zřejmě $\beta,\gamma$ a $\delta$ jsou báze. Pak \begin{align*} (\id)_{\beta\alpha}(-,k)&= \begin{cases} E_n(-,k)\text{ pro }k\neq i,j\\ E_n(-,i)\text{ pro } k=j\\ E_n(-,j)\text{ pro } k=i \end{cases}\\ (\id)_{\gamma\alpha}(-,k)&= \begin{cases} E_n(-,k)\text{ pro }k\neq i\\ E_n(-,i)+E_n(-,j)\text{ pro } k=i \end{cases}\\ (\id)_{\delta\alpha}(-,k)&= \begin{cases} E_n(-,k)\text{ pro }k\neq i\\ a\cdot E_n(-,i)\text{ pro } k=i \end{cases} \end{align*} Povšimněte si, jak se liší $\beta$, $\gamma$ a $\delta$ od $\alpha$. Uvědomte si, že \begin{align*} (\id)_{\alpha\beta}&=(\id)_{\beta\alpha}\\ (\id)_{\alpha\gamma}(-,k)&= \begin{cases} E_n(-,k)\text{ pro }k\neq i\\ E_n(-,i)-E_n(-,j)\text{ pro } k=i \end{cases}\\ (\id)_{\alpha\delta}(-,k)&= \begin{cases} E_n(-,k)\text{ pro }k\neq i\\ a^{-1}\cdot E_n(-,i)\text{ pro } k=i \end{cases} \end{align*} Povšimněte si, že pro každou matici přechodu $M$ se $(\id)_{\beta\alpha}\cdot M$ liší od $M$ tím, že je vyměněn $i$-tý a $j$-tý řádek, $M\cdot(\id)_{\beta\alpha}$ se od $M$ liší tím, že je vyměněn $i$-tý a $j$-tý sloupec. Podobně $(\id)_{\gamma\alpha}\cdot M$ je shodná s $M$ až na to, že k $i$-tému řádku je přičten $j$-tý, $(\id)_{\delta\alpha}\cdot M$ má v $i$-tém řádku $a$-násobek $i$-tého řádku $M$, při násobení $(\id)_{\gamma\alpha}$ a $(\id)_{\delta\alpha}$ zprava podobně pro sloupce. Maticím $(\id)_{\beta\alpha}$, $(\id)_{\gamma\alpha}$ a$(\id)_{\delta\alpha}$ říkáme \df{matice elementárních úprav} nebo \df{elementární matice}. Je snadné odvodit algoritmus (a především dokázat jeho konečnost), při němž budeme matici přechodu $M$ postupně násobit zleva vhodnými elementárními maticemi tak, že nakonec dostaneme jednotkovou matici $E_n$, přesněji $$E_n=U_s\cdot U_{s-1}\cdot \dots \cdot U_1\cdot M,$$ kde $U_k$ označuje příslušnou elementární matici. Pak ale $$M^{-1}=U_s\cdot U_{s-1}\cdot \dots \cdot U_1$$ a tedy výše uvedený algoritmus je vlastně efektivním algoritmem na výpočet inverzní matice. Tento algoritmus nazýváme \df{Gaussův eliminační algoritmus}. \end{examplen} \begin{remark} Uvědomte si, že podle předchozího cvičení a příkladu je $$M=U_1^{-1}\cdot\dots\cdot U_s^{-1},$$ tedy každá matice přechodu je součinem elementárních matic, neboť inverzní matice k elementárním maticím jsou opět elementární matice -- u matic tvaru $(\id)_{\alpha\beta}$ a $(\id)_{\alpha\delta}$ je to zřejmé, matici $(\id)_{\alpha\gamma}$ dostaneme vynásobením elementární matice pro přičtení $j$-tého k $i$-tému řádku maticí pro násobení $j$-tého řádku skalárem $-1$. \end{remark} \begin{exerc} Formulujte přesně algoritmus Gaussovy eliminace a dokažte jeho konečnost. \end{exerc} \begin{examplen} \label{primy vypocet regularity} Uvažme v $\qq[x]_1$ bázi $\varepsilon=(1,x)$. Prozkoumáme, zda je matice $$M=\begin{pmatrix} 1&2\\3&4 \end{pmatrix}$$ maticí přechodu. Protože $$(1,x)\cdot \begin{pmatrix} 1&2\\3&4 \end{pmatrix}=(1+3x,2+4x),$$ ověříme, zda vektory $1+3x$ a $2+4x$ jsou lineárně nezávislé. Předpokládejme, že $$a\cdot(1+3x)+b\cdot(2+4x)=0,$$ pak \begin{align*} a+2b&=0\\3a+4b&=0 \end{align*} podle porovnání koeficientů u stejných mocnin. To je ale možné jedině tehdy, pokud $a=b=0$ a tedy $1+3x$ a $2+4x$ jsou lineárně nezávislé vektory. Protože je jich stejný počet jako vektorů báze $(1,x)$, je také $\alpha=(1+3x,2+4x)$ báze v $\qq[x]_1$ a tedy matice~$M$ je maticí přechodu, $M=(\id)_{\alpha\varepsilon}$. Její inverzí je pak matice přechodu od $\alpha$ k $\varepsilon$, tedy matice složená ze sloupců souřadnic $(1)_\alpha$ a $(x)_\alpha$, které získáme z rovnic \begin{align*} 1&=a\cdot(1+3x)+b\cdot(2+4x)\\x&=c\cdot(1+3x)+d\cdot(2+4x) \end{align*} Dostáváme pak $$(1)_\alpha=\begin{pmatrix} a\\b \end{pmatrix},(x)_\alpha=\begin{pmatrix} c\\d \end{pmatrix}, (\id)_{\varepsilon\alpha}=\begin{pmatrix} a&c\\b&d \end{pmatrix}$$ a ověřte výpočtem, že výsledná matice přechodu je skutečně inverzní k $M$. \end{examplen} \begin{remark} Promyslete si, jak jsme v předchozím příkladu dokázali, že matice $M$ je maticí přechodu. Jádrem důkazu je to, zda jsou vektory uspořádané $n$-tice $\varepsilon\cdot M$ lineárně nezávislé. To je v jistém smyslu vnější kritérium, protože zkoumáme, jak se matice chová. Následující tvrzení popisuje vnitřní kritérium, zda je matice $M$ maticí přechodu, tedy kritérium využívající jen prvků matice $M$. \end{remark} \begin{prop} Nechť $\alpha=(v_1,\dots,v_n)$ je báze ve $V$ nad $\kk$ a $M\in\mat_{n \times n}(\kk)$. Pak uspořádaná $n$-tice vektorů $\alpha\cdot M$ je lineárně nezávislá ve $V$ právě tehdy, když jsou sloupce matice $M$ lineárně nezávislé jako vektory v $\mat_{n \times 1}(\kk)$. \end{prop} \begin{remark} Uvědomte si dobře, že lineární nezávislost sloupců $M$ znamená, že každá lineární kombinace $$c_1\cdot M(-,1)+\dots +c_n\cdot M(-,n)=0$$ je triviální, tedy $c_1=\dots=c_n=0$. Zapišme formálně skaláry $c_1,\dots,c_n$ jako $n$-sloupec $c$, tedy $c(i,1)=c_i$ pro $i=1,\dots,n$. Protože násobení v $\kk$ je komutativní, lze přepsat předchozí výraz jako $$M(-,1)\cdot c(1,1)+\dots+M(-,n)\cdot c(n,1)=M\cdot c.$$ To je mimochodem jeden z důvodů, proč jsme požadovali v definici pole komutativitu (tedy komutativitu násobení). Uvědomte si také, že jsme úplně stejnou změnu zápsiu provedli již ve výrazu \ref{baze krat souradnice}. \smallskip Můžeme tedy říci, že sloupce matice $M$ jsou lineárně nezávislé právě tehdy, pokud jediný $n$-sloupec $c$ splňující $M\cdot c=0$ je nulový. \end{remark} \smallskip Nyní dokážeme tvrzení. \begin{proof} K důkazu vyžijeme zápis lineární nezávislosti v \ref{lin nezav jako vektory}. Předpokládejme, že $\alpha\cdot M$ je lineárně nezávislé. Nechť pro $n$-sloupec $c$ platí $M\cdot c=0$. Pak ale $\alpha\cdot M\cdot c=0$ a tedy $c$ je lineární kombinace, která nuluje $\alpha\cdot M$. Z lineární nezávislosti $\alpha\cdot M$ je potom $c=0$ a tedy $M$ má lineárně nezávislé sloupce. Naopak, nechť $M$ má lineárně nezávislé sloupce a $(\alpha\cdot M)\cdot c=0$ pro nějaký $n$-sloupec $c$. Pak ale z lineární nezávislosti $\alpha$ plyne, že $M\cdot c=0$ a z lineární nezávislosti sloupců $M$ dostáváme $c=0$, tedy $\alpha\cdot M$ je lineárně nezávislá. Tím je důkaz ukončen. \end{proof} \begin{examplen} \label{sloupce E_n} Povšimněme si nyní prostoru $n$-sloupců nad $\kk$. Není těžké ověřit, že sloupce jednotkové matice $E_n$ tvoří bázi tohoto prostoru, označme ji $\varepsilon$. Přesněji, $$\varepsilon=\big(E_n(-,1),\dots,E_n(-,n)\big).$$ V této bázi je $i$-tá souřadnice vektoru $c$ rovna prvku $c(i,1)$, tedy $i$-tému prvku sloupce. To může být silně matoucí, protože při nevhodném zápisu může být problém odlišit vektor souřadnic od vektoru samotného. Skutečně, $(c)_\varepsilon=c$. Uvažme nyní $n$-sloupec $d$, který má všechny prvky $d(i,1),\dots,d(n,1)$ rovny nule. Uvědomte si, že pak $d\in\lin\big(E_n(-,1),\dots,E_n(-,i-1)\big)$. Tedy matice, která má v $i$-tém sloupci na $i$-tém místě nenulový prvek a dále nuly, má lineárně nezávislé sloupce. \end{examplen} Připomeňme, že jsme v \ref{gauss} ukázali, že Gaussův eliminační algoritmus matici přechodu postupným násobením elementárními maticemi převede na jednotkovou matici. Co se ale stane, pokud matice $M$ není maticí přechodu a budeme ji postupně násobit elementárními maticemi zleva? Nesouvisí to nějak s tím, jak vypadají a kolik je těch čtvercových matic, které nejsou maticemi přechodu? Abychom dokázali odpovědět na tyto otázky, budeme muset zcela změnit pohled na matice a zavést dokonce nový druh součinu matic. \section{Lineární zobrazení, vektorové podprostory a soustavy rovnic} \begin{examplen} \label{zadani linearniho zobrazeni matici} Nechť $M\in\mat_{n \times n}(\kk)$ a $v\in V$ je libovolný vektor se souřadnicemi $(v)_\alpha$ vzhledem k nějaké bázi $\alpha$. Dokud jsme chápali matici $M$ jako matici přechodu, předpokládali jsme, že existuje nějaká báze $\beta$ ve $V$ tak, že $$(v)_\beta=M\cdot (v)_\alpha.$$ Nyní ale uvažujme jen jednu bázi a chápejme $M\cdot (v)_\alpha$ jako souřadnice nějakého jiného vektoru vzhledem k $\alpha$. Tímto procesem je definováno zobrazení $V\to V$, přesněji, dostáváme zobrazení $f:V\to V$ splňující $$f(v)=\alpha\cdot M\cdot (v)_\alpha.$$ Zdůrazněme, že je to úplně jiné použití matice než dosud -- zatímco při násobení maticí přechodu se měnily zároveň souřadnice a báze a vektor zůstával stále týž, nyní se mění souřadnice a vektor, ale báze zůstává stejná. \end{examplen} \begin{remark} Povšimněte si, že pokud má $M$ lineárně nezávislé sloupce a $v_1,\dots, v_k$ jsou lineárně nezávislé, pak i $f(v_1),\dots,f(v_k)$ jsou lineárně nezávislé, specielně $f(\alpha)$ je opět báze a obrazem vektorového prostoru $V$ v zobrazení $f$ je opět $V$. Protože je násobení matice $n$-sloupcem distributivní podle \ref{distrib nasobeni matic}, platí navíc pro každé $u,v\in V$ a každé $c\in\kk$ \begin{align} f(u+v)&=\alpha\cdot M\cdot(u+v)_\alpha= \alpha\cdot M\cdot (u)_\alpha+\alpha\cdot M\cdot(v)_\alpha= f(u)+f(v)\label{aditivita}\\ f(c\cdot u)&= \alpha\cdot M\cdot (c\cdot u)= \alpha\cdot M\cdot c\cdot(u)_\alpha=c \cdot f(u).\label{homogenita}. \end{align} \end{remark} \begin{defin} Nechť $V$ a $W$ jsou vektorové prostory nad stejným polem $\kk$. Zobrazení $f:V\to W$ splňující vlastnosti \ref{aditivita}--\ref{homogenita} nazýváme \df{lineární zobrazení}. \end{defin} \begin{remark} Nemá smysl uvažovat lineární zobrazení mezi vektorovými prostory nad různými poli, protože ve vlastnosti \ref{homogenita} pak na obou stranách rovnosti nevystupují stejné skaláry. \end{remark} \begin{exerc} Nechť $f:U\to V$ a $g:V\to W$ jsou lineární zobrazení. Dokažte, že pak také $g\circ f:U\to W$ je lineární zobrazení. \end{exerc} \begin{exerc} Nechť $V$ je vektorový prostor nad $\kk$ a $\alpha=(v_1,\dots,v_n)$ jeho báze. Označme přiřazení souřadnic vzhledem k bázi $\alpha$ symbolem $$\alpha:V\to\mat_{n \times 1}(\kk), \quad \text{ kde } \alpha(v)=(v)_\alpha.$$ Dokažte, že jde o lineární zobrazení. \end{exerc} Nechť $V$ a $W$ jsou dva vektorové prostory nad stejným polem $\kk$. Popíšeme všechna lineární zobrazení mezi těmito vektorovými prostory. Napřed ale musíme mírně zobecnit součin matic. \begin{defin} Nechť $M\in\mat_{k\times l}(R)$ a $N\in\mat_{l\times m}(R)$. Definujme součin matic $M$ a $N$ jako matici $P\in\mat_{k \times m}(R)$ splňující $$P(i,j)=M(i,-)\cdot N(-,j),$$ kde násobení na pravé straně označuje násobení $l$-řádku $l$-sloupcem. \end{defin} \begin{remark} Vidíme, že toto násobení je formálně definováno stejně jako násobení čtvercových matic v \ref{soucin ctvercovych matic}. Uvědomte si ale, že v žádném případě nejde o operaci nebo něco podobného. Násobení čtvercových matic je přitom speciálním případem právě definovaného násobení. Uvědomte si, že bez předpokladu stejného počtu řádků v matici $M$ jako sloupců v matici $N$ by nebylo možné násobení definovat. Uvědomte si také, že násobení $n$-sloupce zleva maticí $n \times n$ je speciálním případem právě definovaného násobení matic, podobně násobení $n$-řádku maticí $n \times n$ zprava (včetně formálně poněkud odlišného násobení uspořádané báze maticí). \end{remark} \begin{examplen} \label{zadani obecneho linearniho zobrazeni matici} Nechť $\alpha=(v_1,\dots, v_n)$ je báze vektorového prostoru $V$ nad polem $\kk$ a $\beta=(w_1,\dots,w_k)$ je báze vektorového prostoru $W$ nad týmž polem $\kk$. Mějme matici $M\in\mat_{k \times n}(\kk)$. Nechť $v\in V$ je libovolný vektor. Pak $$M\cdot (v)_\alpha$$ je $k$-sloupec, který můžeme ho chápat jako sloupec souřadnic nějakého vektoru ve $W$ vzhledem k bázi $\beta$, neboli jinak řečeno, násobení maticí $M$ zadává zobrazení $f:V\to W$ splňující $$f(v)=\beta\cdot M\cdot (v)_\alpha.$$ \end{examplen} \begin{exerc} Dokažte, že $f:V\to W$ z předchozího příkladu je lineární zobrazení, tedy zobrazení splňující \ref{aditivita} a \ref{homogenita}. \end{exerc} \begin{remark} Uvědomte si, že z jednoznačnosti souřadnic plyne, že násobení maticí $M$ převádí souřadnice vektoru $v$ vzhledem k bázi $\alpha$ na souřadnice vektoru $f(v)$ vzhledem k bázi $\beta$. \end{remark} \begin{examplen} Nechť $f:V\to W$ je lineární zobrazení, $\alpha=(v_1,\dots,v_n)$ je báze ve $V$ a $\beta$ báze ve $W$. Definujme matici $(f)_{\beta\alpha}$ předpisem $$(f)_{\beta\alpha}(-,i)=\big(f(v_i)\big)_\beta.$$ Pak zřejmě pro každý vektor $v\in V$ platí $$f(v)=f\big(\alpha\cdot (v)_\alpha\big)=\alpha\cdot (f)_{\beta\alpha}\cdot (v)_\alpha$$ z definice matice $(f)_{\beta\alpha}$ a linearity $f$. \end{examplen} \begin{defin} Matici $(f)_{\beta\alpha}$ z předchozího příkladu nazýváme \df{matice lineárního zobrazení $f:V\to W$ vzhledem k bazím $\alpha$ a $\beta$}. \end{defin} \begin{exerc} Dokažte, že matice zobrazení je dána jednoznačně. \end{exerc} \begin{examplen} \label{zadat na bazi} Uvědomte si především to, že každé lineární zobrazení je úplně určeno hodnotami na bázi, přesněji, nechť $f:V\to W$ je lineární zobrazení a $\alpha=(v_1,\dots,v_n)$ je báze ve $V$, pak pro každý vektor $v\in V$ je vektor $f(v)\in W$ z vlastností \ref{aditivita} a \ref{homogenita} roven $$f(v)=f(\alpha)\cdot (v)_\alpha,$$ kde $f(\alpha)$ označuje obraz báze $\alpha$. Nejde vlastně o nic jiného než v příkladu \ref{zadani obecneho linearniho zobrazeni matici}. \end{examplen} \begin{cor} Každé lineární zobrazení je plně určeno maticí zobrazení vzhledem ke zvoleným bazím, tedy lineárních zobrazení je "právě tolik jako matic". \end{cor} \begin{remark} Srovnejte si, jak je definována matice přechodu a matice zobrazení. V matici zobrazení $(f)_{\beta\alpha}$ jsou v $i$-tém sloupci souřadnice obrazu $i$-tého vektoru báze $\alpha$ vzhledem k bázi $\beta$. V matici přechodu $(\id)_{\delta\gamma}$ jsou v $i$-tém sloupci souřadnice $i$-tého vektoru báze $\gamma$ vzhledem k bázi $\delta$. Podobnost není náhodná, naopak. Tuto podobnost také odráží dosud nevysvětlené značení matice přechodu. Identické zobrazení $V\to V$ zadané předpisem $\id(v)=v$ je jistě lineární. Jsou-li $\gamma$ a $\delta$ báze v témže vektorovém prostoru $V$, je matice přechodu $(\id)_{\delta\gamma}$ maticí lineárního zobrazení $\id:V\to V$ vzhledem k bazím $\gamma$ a $\delta$. \end{remark} \begin{remark} Dosud jsme se nezabývali algebraickými vlastnostmi obecného násobení matic. Protože skládání zobrazení je vždy asociativní a násobení matic představuje (lineární) zobrazení, je také násobení matic nutně asociativní. Díky tomu jsme se vlastně nemuseli zabývat výpočtem v příkladu \ref{asociativita soucinu matic}. \end{remark} \begin{exerc} Nechť $f:U\to V$ a $g:V\to W$ jsou lineární zobrazení, $\alpha$ báze $U$, $\beta$ báze $V$ a $\gamma$ báze $W$. Dokažte, že platí $$(g\circ f)_{\gamma\alpha}=(g)_{\gamma\beta}\cdot (f)_{\beta\alpha}.$$ \end{exerc} \begin{remark} Nyní je vhodná chvíle, abychom zdůvodnili, proč píšeme báze do řádků a souřadnice do sloupců. Už jsme vysvětlili, že nemůžeme psát obojí do řádků či sloupců, protože by pak nebylo možné definovat asociativní násobení mezi čtvercovými maticemi, takže šlo o zásadní problém. Zápis bazí do řádků a souřadnic do sloupců je jen konvence, ale jde o speciální případ velmi obecné konvence. Uvědomte si, že maticemi zobrazení násobíme $n$-sloupce souřadnic zleva. Kdybychom souřadnice psali do řádků, museli bychom násobit maticí zobrazení zprava. Kdybychom pak skládali dvě lineární zobrazení, např. $f:U\to V$ a $g:V\to W$, psali bychom $$(g\circ f)_{\gamma\alpha}=(f)_{\beta\alpha}\cdot (g)_{\gamma\beta}.$$ Protože se vžilo skládání funkcí zleva, je vhodné stejným způsobem zavést i skládání, tedy násobení, matic zobrazení. Autor textu si dovoluje podotknout, že osobně považuje skládání funkcí zleva za nevhodný přežitek a dal by přednost psaní, ke kterému už přešla část matematiků zabývajících se teorií kategorií, kteří píší napřed argument a pak postupně všechna aplikovaná zobrazení, jako např. $y=(x;\sin;\arccos)$ ve významu $y=\arccos\big(\sin(x)\big)$. V případě některých funkcí se tento zápis totiž již užívá, konkrétně píšeme $y=x^2$ a nikoli $y=\ ^2(x)$. Pokud by někdy došlo k názorovému zvratu a skutečně se začalo skládat zprava, doporučujeme změnit značení matic přechodu, tedy pro matici $f:V\to W$ vzhledem k bazím $\alpha$ ve $V$ a $\beta$ ve $W$ použít symbol $(f)_{\alpha\beta}$. Při skládání pak totiž budou stejné báze vedle sebe, tedy v $$(f;g)_{\alpha\gamma}=(f)_{\alpha\beta}\cdot(g)_{\beta\gamma}$$ jdeme na pravé straně rovnosti zobrazením $f$ od $\alpha$ k $\beta$ a zobrazením $g$ od $\beta$ ke $\gamma$, což je jednak estetické, jednak umožňuje kontrolu, zda pracujeme správně. Uvědomte si, že zdánlivě obrácený zápis, který používáme pro matice zobrazení nyní, odpovídá konvenci skládání zleva. \end{remark} \begin{examplen} Nechť $V$ a $W$ jsou vektorové prostory nad týmž polem, $\alpha$ a $\beta$ báze ve $V$, $\gamma$ a $\delta$ báze ve $W$, nechť $f:V\to W$ je lineární zobrazení. Pak z předchozího cvičení plyne $$(f)_{\delta\alpha}=(\id)_{\delta\gamma}\cdot(f)_{\gamma\beta}\cdot (\id)_{\beta\alpha}.$$ Toto tvrzení lze zachytit přehledným diagramem $$\xymatrix{ V_\beta\ar[r]^-{(f)_{\gamma\beta}}&W_\gamma\ar[d]^{(\id)_{\delta\gamma}}\\ V_\alpha\ar[u]^-{(\id)_{\beta\alpha}}\ar[r]_-{(f)_{\delta\alpha}}&W_\delta }$$ kde $V_\alpha$ označuje vektorový prostor $V$ s bazí $\alpha$ a podobně v ostatních případech. Diagramy tohoto druhu budeme občas využívat. \end{examplen} \begin{examplen} Nechť $f:V\to V$ je lineární zobrazení. Pak především matice $f$ vzhledem k libovolným bazím ve $V$ je čtvercová matice. Nechť k $f$ existuje inverzní zobrazení $f^{-1}:V\to V$, tedy $$f\circ f^{-1}=\id=f^{-1}\circ f.$$ Nechť $\alpha$ je libovolná báze ve $V$. Pak ale $$(f\circ f^{-1})_{\alpha\alpha}=(\id)_{\alpha\alpha}=E$$ a podobně pro $f^{-1}\circ f$. Nechť $\beta$ je též báze ve $V$, pak podle předchozího cvičení $$(f\circ f^{-1})_{\alpha\alpha}= (f)_{\alpha\beta}\cdot (f^{-1})_{\beta\alpha}$$ a tedy $(f^{-1})_{\beta\alpha}$ je inverzní matice k $(f)_{\alpha\beta}$. (Povšimněte si, že je to inverze oboustranná, ne jen pravá.) \end{examplen} \begin{exerc} Zajímavější je však to, že celou úvahu můžeme nyní otočit: Má-li lineární zobrazení $f:V\to V$ invertibilní matici $(f)_{\beta\alpha}$ vzhledem k nějakým bazím $\alpha$ a $\beta$ ve $V$, pak je invertibilní. Dokažte, že zobrazení $g:V\to V$ zadané předpisem $$g(v)=\alpha\cdot \Big((f)_{\beta\alpha}\Big)^{-1}\cdot (v)_\beta$$ je hledaným inverzním zobrazením. \end{exerc} \begin{remark} Nechť je matice lineárního zobrazení $f:V\to V$ vzhledem k bazím $\alpha$ a $\beta$ invertibilní. Pak je invertibilní matice $(f)_{\delta\gamma}$ pro libovolné báze $\gamma$ a $\delta$ ve $V$, neboť $$(f)_{\delta\gamma}=(\id\circ f\circ \id)_{\delta\gamma}= (\id)_{\delta\beta}\cdot(f)_{\beta\alpha}\cdot(\id)_{\alpha\gamma}$$ a protože matice přechodu jsou invertibilní, dostáváme $$\Big((f)_{\delta\gamma}\Big)^{-1}=(\id)_{\gamma\alpha}\cdot \Big((f)_{\beta\alpha}\Big)^{-1} \cdot(\id)_{\beta\delta}.$$ \end{remark} \begin{exerc} Nakreslete si schematické diagramy zachycující tvrzení předešlého příkladu a poznámky. Ujistěte se, že vše dobře chápete. \end{exerc} \begin{examplen} \label{invertibilni endomorfismy} Dosud jsme se nijak nepřiblížili pochopení toho, jak vypadají čtvercové matice, které jsou invertibilní. K tomu je potřeba prozkoumat některé vlastnosti lineárních zobrazení. Především z vlastností lineárního zobrazení plyne, že nulový vektor se vždy zobrazuje na nulový vektor. To však znamená, že pokud zobrazení $f:V\to V$ zobrazuje nenulový vektor $v\in V$ na nulový vektor, nemůže mít inverzní zobrazení. Skutečně, pro každé $g:V\to V$ pak platí $(g\circ f)(v)=0$ a tedy $(g\circ f)\neq \id$. To ale znamená, že pokud jsou obrazy bázových vektorů v zobrazení $f:V\to V$ lineárně závislé, neexistuje k $f$ inverzní zobrazení. Skutečně, nechť $\alpha=(v_1,\dots,v_n)$ je báze ve $V$ a $f:V\to V$ lineární zobrazení, nechť je netriviální lineární kombinace $$c_1\cdot f(v_1)+\dots+c_n\cdot f(v_n)=0.$$ Pak ale podle \ref{aditivita} a \ref{homogenita} je $$f(c_1\cdot v_1+\dots+c_n\cdot v_n)=0$$ a protože $\alpha$ je lineárně nezávislé množina, znamená to, že $f$ zobrazuje nenulový vektor $c_1\cdot v_1+\dots+c_n\cdot v_n$ na nulu, tedy $f$ nemůže mít inverzi. Naopak, jsou-li obrazy bázových vektorů lineárně nezávislé, tvoří podle poznámky k příkladu \ref{zadani linearniho zobrazeni matici} bázi $\beta=\big(f(v_1),\dots,f(v_n)\big)$ ve $V$ a podle \ref{zadat na bazi} stačí lineární zobrazení zadat na bázi, tedy předpisem $$g(f(v_i))=v_i$$ dostáváme lineární zobrazení $g:V\to V$, které je zřejmě inverzní k $f$. \end{examplen} \begin{examplen} \label{kdy iso} Nechť $\alpha=(v_1,\dots,v_n)$ je báze ve $V$ a $\beta=(w_1,\dots,w_n)$ je báze ve $W$. Pak $f:V\to W$ zadané na prvcích báze $\alpha$ předpisem $f(v_i)=w_i$ má matici $$(f)_{\beta\alpha}=E_n.$$ K $f$ zřejmě existuje inverzní zobrazení $f^{-1}:W\to V$ -- stačí jej zadat na prvcích báze $\beta$ předpisem $f^{-1}(w_i)=v_i$. Povšimněte si, že naopak každé lineární zobrazení mezi prostory stejné dimenze, které zobrazuje bázi na lineárně nezávislou množinu, je invertibilní. Uvažme nyní vektorový prostor $U$ s bazí $\gamma=(u_1,\dots,u_k)$ a lineární zobrazení $g:U\to V$. Je-li $k>n$, nemůže být $g(\gamma)$ lineárně nezávislá množina, tedy existuje takový nenulový vektor $u\in U$, že $$g(u)=g\big(\gamma\cdot (u)_\gamma\big)=\alpha\cdot(g)_{\alpha\gamma}\cdot(u)_\gamma=0.$$ Přitom ale $\gamma$ je lineárně nezávislá, tedy $g$ zobrazuje nenulový vektor na nulový vektor a stejnou úvahou jako v \ref{invertibilni endomorfismy} snadno vidíme, že ke $g:U\to V$ nemůže existovat inverzní zobrazení. Je-li $kk$, můžeme aplikovat předešlou úvahu a snadno vidíme, že takové $h:V\to U$ nemůže existovat. To ovšem znamená, že invertibilní lineární zobrazení existují jen mezi prostory stejné dimenze, jinak řečeno, matice zobrazení může být invertibilní jen tehdy, pokud je čtvercová. \end{examplen} \begin{exerc} Vypočtěte matice zobrazení $f^{-1}$, $g$ a $h$ z předchozího příkladu, jak pro případ $kn$, pokud je to možné. \end{exerc} \begin{defin} Nechť $V$ a $W$ jsou vektorové prostory nad týmž polem a nechť existují lineární zobrazení $f:V\to W$ a $f^{-1}:W\to V$ tak, že $f\circ f^{-1}=\id: W\to W$ a $f^{-1}\circ f=\id: V\to V$. Pak řekneme, že prostory $V$ a $W$ jsou \df{isomorfní} a píšeme $V\simeq W$. Zobrazení $f$ (a také $f^{-1}$) nazýváme \df{isomorfismus}. \end{defin} \begin{remark} Vzhledem k příkladu \ref{kdy iso} už víme, že konečněrozměrné vektorové prostory jsou isomorfní právě tehdy, pokud mají stejnou dimenzi. Povšimněte si také, že isomorfismus je především bijektivní lineární zobrazení. \end{remark} \begin{exerc} Nechť $\alpha=(v_1,\dots,v_n)$ je báze ve vektorovém prostoru $V$ nad polem $\kk$. Dokažte, že zobrazení $\alpha:V\to \mat_{n \times 1}(\kk)$ zadané předpisem $\alpha(v)=(v)_\alpha$ je isomorfismus. Uvědomte si, jak vypadá jeho inverze. \end{exerc} \begin{remark} To tedy znamená, že každý $n$-rozměrný prostor je isomorfní s prostorem $n$-sloupců. Uvědomte si, že těchto isomorfismů je právě tolik, kolik je v prostoru bazí. \end{remark} \begin{exerc} Nechť $\alpha$ je báze ve $V$ a $\beta$ báze ve $W$, $f:V\to W$ lineární zobrazení. Dokažte, že matice $(f)_{\beta\alpha}$ je invertibilní právě tehdy, pokud je čtvercová a má lineárně nezávislé sloupce. \end{exerc} \begin{remark} Vidíme tedy, že matice isomorfismů mají stejné vlastnosti jako matice přechodu. To umožňuje chápat $GL(n,\kk)$ nikoli jako grupu matic přechodu, ale jako grupu matic isomorfismů prostoru $\mat_{n \times 1}(\kk)$ na sebe. \end{remark} \begin{examplen} Nechť $f:V\to W$ je lineární zobrazení, $\alpha=(v_1,\dots,v_n)$ je báze ve $V$. Z vlastností \ref{aditivita} a \ref{homogenita} plyne, že obrazem $f$ je lineární obal obrazů vektorů báze $\alpha$, přesněji $$f(V)=\lin\big(f(\alpha)\big).$$ \begin{notat} Obraz lineárního zobrazení budeme značit $\im f$. \end{notat} Dosud jsme o lineárních obalech neřekli celou řadu podstatných věcí. Nejpodstatnější je ta, že pro libovolnou množinu vektorů $S\subseteq U$, kde $U$ je vektorový prostor nad $\kk$, je $\lin(S) \subseteq U$ vektorový prostor. Skutečně, je-li $S=\emptyset$, je $\lin(S)=\{0\}$, což je vektorový prostor. Pokud je $S$ neprázdná, ukážeme, že pro libovolné vektory $u_1,\dots, u_k\in \lin(S)$ je libovolná lineární kombinace $c_1\cdot u_1+\dots +c_k\cdot u_k$ opět prvkem $\lin(S)$. Především každý $u_i$ musí být lineární kombinací prvků $S$, pišme $$u_i=d_{i1}\cdot x_{i1}+d_{i2}\cdot x_{i2}+\dots+d_{ij_i}\cdot x_{ij_i}.$$ Pak ale $$c_1u_1+\dots+c_ku_k= c_1(d_{11}x_{11}+\dots+d_{1j_1}x_{1j_1}) +\dots + c_k(d_{k1}x_{k1}+\dots+d_{kj_k}x_{kj_k}),$$ což je ale díky distributivitě opět lineární kombinace vektorů z $S$. \end{examplen} \begin{defin} Nechť $V$ je vektorový prostor nad polem $\kk$ a $S\subseteq V$ neprázdná podmnožina, která je vektorovým prostorem vzhledem k operacím součtu a skalárního násobení z $V$. Pak $S$ nazýváme \df{vektorový podprostor} ve $V$. \end{defin} \begin{examplen} \label{priklady podprostoru} V každém vektorovém prostoru $V$ existují dva význačné podprostory -- prostor $V$ samotný a prostor $\{0\}$. Prostor polynomů $\qq[x]_n$ je podprostorem v $\qq[x]$. Navíc pro $k\leq n$ je $\qq[x]_k$ podprostor v $\qq[x]_n$. Nejsou to ale podprostory jediné, např. prostor polynomů se sudými dimenzemi $$\{a_nx^n+\dots +a_1x+a_0; a_i\in\qq, a_{2i+1}=0\}$$ nebo polynomy s nulovým absolutním členem $$\{a_nx^n+\dots +a_1x; a_i\in\qq\}$$ jsou také podprostory v $\qq[x]$. V prostoru $n$-sloupců jsou podprostorem např. $n$-sloupce s nulovým $i$-tým prvkem $$\{M\in\mat_{n \times 1}(\kk);M(i,1)=0\}.$$ Nechť $N$ je libovolný pevně zvolený $n$-řádek, pak $$\{N \cdot M=0; M\in\mat_{n \times 1}(\kk)\}$$ je podprostor v prostoru $n$-sloupců. Uvědomte si, že prostor $n$-sloupců s nulovým $i$-tým prvkem je speciální případ pro $$N(1,j)=\begin{cases} 1\text{ pro }j=i\\0\text{ jinak.} \end{cases}$$ \end{examplen} \begin{exerc} Dokažte tvrzení předchozího příkladu. \end{exerc} \begin{exerc} Nechť $V$ je vektorový prostor nad $\kk$ a $U \subseteq V$ splňuje \begin{align} \forall u,v\in U: u+v\in U\label{aditivita podpr}\\ \forall u\in U\forall c\in \kk:c\cdot u\in U\label{homogenita podpr}. \end{align} Dokažte, že pak $U$ je podprostor ve $V$. Uvědomte si naopak, že každý podprostor musí splňovat \ref{aditivita podpr} a \ref{homogenita podpr}. \end{exerc} \begin{exerc} Dokažte, že průnik vektorových podprostorů je vektorový podprostor. Rozmyslete si, zda to platí jen pro průnik konečně mnoha množin, nebo pro obecný průnik. \end{exerc} \begin{exerc} Dokažte pomocí předchozího cvičení, že lineární obal množiny $S\subseteq V$ je průnikem všech vektorových podprostorů ve $V$, které obsahují množinu $S$. Uvědomte si, že z toho vyplývá, že $\lin(S)$ je nejmenší vektorový podprostor ve $V$ obsahující $S$. \end{exerc} \begin{examplen} Podle Steinitzovy věty a jejích důsledků platí, že každý konečněrozměrný vektorový podprostor $U \subseteq V$ má nejvýše takovou dimenzi, jako prostor $V$. Nechť $U$ má bázi $\alpha=(u_1,\dots,u_k)$, pak lze najít vektory $v_1,\dots,v_{n-k}$ tak, že $$\widehat\alpha=(u_1,\dots,u_k,v_1,\dots,v_{n-k})$$ je báze ve $V$. (Proveďte tento důkaz jako cvičení.) Uvědomte si, že potom inkluze $i_U:U\to V$, $i_U(u)=u$ je lineární zobrazení, které má vzhledem k bazím $\alpha$ a $\widehat\alpha$ matici $$(i_U)_{\widehat\alpha\alpha}=\begin{pmatrix} E_k\\0_{(n-k) \times k} \end{pmatrix},\qquad\text{přesněji } (i_U)_{\widehat\alpha\alpha}(i,j)=\begin{cases} 1\text{ pro }i=j\\\text{jinak}, \end{cases} $$ přičemž $(i_U)_{\widehat\alpha\alpha}$ je typu $n \times k$, kde $k\leq n$. Zapisovat inkluzi jako zobrazení a vydělit tak podmnožinu $U$ z $V$ je v mnoha případech výhodnější, obzvlášť tehdy, pokud existuje další lineární zobrazení $f:V\to W$ a zajímá nás, jak se chová na podprostoru $U$. Pak restrikci $f|_U:U\to W$ snadno zapíšeme jako složení $f\circ i_U$ a $$(f|_U)_{\beta\alpha}=(f)_{\beta\widehat\alpha}\cdot(i_U)_{\widehat\alpha\alpha}.$$ Symbolicky to můžeme zachytit diagramem $$\xymatrix{ V\ar[r]^-f&W\\ U\ar[u]^-{i_U}\ar[ur]_-{f|_U} }$$ \end{examplen} \begin{exerc} Dokažte, že obrazem vektorového podprostoru $U \subseteq V$ v lineárním zobrazení $f:V\to W$ je vektorový podprostor $f(U)$ ve $W$. \end{exerc} \begin{notat} V dalším textu budeme používat pro nulovou matici typu $k \times n$ označení $0_{k \times n}$ jako v předchozím příkladu, pokud však budou rozměry zřejmé nebo nebudou důležité, spokojíme se s označením $0$. Pozor, nepleťte si matice $0_{k \times n}$ s maticemi $O_{ij}$ z příkladu \ref{priklady bazi}. Nulové $n$-řádky a $n$-sloupce budeme i nadále značit pouze nulou, což vyžaduje jistou pozornost. Také budeme podobně jako v předchozím příkladu používat matice symbolicky sestavené z matic, tzv. blokové matice. Nebudeme je nijak pečlivě definovat a pokud nebude z kontextu zcela zřejmé, jako matici máme na mysli, pokusíme se ji zadat také přesným předpisem. Právě blokové matice jako $$\begin{pmatrix} E\\0 \end{pmatrix},\quad \begin{pmatrix} E&0 \end{pmatrix}\text{ nebo }\begin{pmatrix} 0&E\\0&0 \end{pmatrix}$$ budou v dalším textu velmi důležité. \end{notat} \begin{examplen} Motivací pro definici vektorového podprostoru pro nás bylo zjištění, že obrazem vektorového prostoru v lineárním zobrazení je lineární obal určité množiny. Nyní tedy již můžeme říci, že obrazem prosotru $V$ v zobrazení $f:V\to W$ je podprostor $f(V)\subseteq W$. Zajímavou otázkou je, zda každý vektorový podprostor je obrazem nějakého lineárního zobrazení. Nechť $U \subseteq V$ je vektorový podprostor, definujme zobrazení $g:V\to V$ předpisem $$g(v)=\begin{cases} v\text{ pro }v\in U\\0\text{ jinak}. \end{cases}$$ Ukažme, že toto zobrazení je lineární. Nechť $u,v\in V$, $c\in \kk$. Pak především $u\in U$ právě tehdy, když $c\cdot u\in U$, neboť $U$ je vektorový podprostor, tedy $g$ splňuje \ref{homogenita}. Je-li $u+v\in U$, pak také $$g(u+v)=u+v=g(u)+g(v).$$ Není-li $u+v\in U$, je více možností. Nechť $u\in U$ je nenulový vektor a $v\not\in U$. Pak $$0=g(u+v)\neq g(u)+g(v),\text{ protože } g(u)=u\neq 0.$$ Takhle snadno to tedy nejde! Zvolme tedy bázi $\alpha$ v $U$ a doplňme ji na bázi $\widehat\alpha$ jako v předchozím příkladu. Definujme zobrazení $g:V\to V$ pomocí matice zobrazení. Nechť tedy $$(g)_{\widehat\alpha\widehat\alpha}(i,j)=\begin{cases} 1\text{ pro }i=j\leq k\\0\text{ jinak,} \end{cases} \text{ symbolicky }(g)_{\widehat\alpha\widehat\alpha}=\begin{pmatrix} E_k&0_{k \times (n-k)}\\0_{(n-k)\times k}&0_{(n-k)\times(n-k)} \end{pmatrix}$$ Takovému zobrazení se říká \df{projekce na podprostor} $U$ a většinou se značí $\operatorname{pr}_U$. Protože jde o zobrazení zadané maticí zobrazení, je lineární. Ujistěte se, že splňuje to, co splňovat má: prvních $k$ bázových vektorů (a tedy i všechny jejich lineární kombinace) posílá na sebe, ostatní na nulu. Obrazem je tedy právě lineární obal báze $\alpha$, tedy podprostor $U$. Ukázali jsme tedy, že každý vektorový podprostor je obrazem vektorového prostoru ve vhodném lineárním zobrazení. \end{examplen} \begin{examplen} Existuje ale také jiný pohled na vektorové podprostory. Nechť $V$ a $W$ jsou vektorové prostory a $f:V\to W$ lineární zobrazení. Nechť $U$ je vektorový podprostor, nyní ale v prostoru $W$. Vzorem $U$ rozumíme množinu $f^{-1}(U)=\{v\in V; f(v)\in U\}$. Tato množina je vektorový podprostor ve $V$, neboť pro $u,v\in f^{-1}(U)$ a $c,d\in\kk$ je $f(u),f(v)\in U$ a tedy $$f(c\cdot u+d\cdot v)=c\cdot f(u)+d\cdot f(v)\in U$$ díky linearitě $f$ a tomu, že $U$ je podprostor ve $W$, tedy $c\cdot u +d\cdot v\in f^{-1}(U)$ a $f^{-1}(U)$ je podprostor ve $V$. Uvažme obzvlášť podprostor $\{0\} \subseteq W$. Jeho vzor nazýváme \df{jádro} lineárního zobrazení $f:V\to W$ a značíme $\ker f$. Poznamenejme, že jádrem zobrazení $h:S_1\to S_2$ mezi množinami se rozumí relace ekvivalence $\equiv$ na $S_1$ definovaná $s\equiv r\Leftrightarrow h(s)=h(r)$. Právě definované jádro lineárního zobrazení ale není relací ekvivalence, nýbrž množinou. Pomocí jádra ale lze definovat relaci ekvivalence $J_f$ takto: $$J_f(v_1,v_2)\Longleftrightarrow v_1-v_2\in\ker f.$$ Relace $J_f$ je pak jádrem ve smyslu relace ekvivalence. Povšimněte si, že $\ker f$ je třídou rozkladu $V$ podle $J_f$, v níž je obsažen nulový vektor. \medskip Podobně jako v předchozím příkladu můžeme ukázat, že každý vektorový podprostor je jádrem vhodného lineárního zobrazení. Nechť $U$ je podprostor ve $V$. Označme $$v+U=\{v+u; u\in U\}$$ a definujme relaci $$v_1+U\sim v_2+U\text{ právě tehdy, když } v_1-v_2\in U.$$ Nyní položme $$V/U=\{v+U;v\in V\}/\sim$$ a definujme operace \begin{align*} +:V/U\times V/U\to V/U&\text{ předpisem}\quad (v_1+U)+(v_2+U)=(v_1+v_2)+U\\ \cdot:\kk\times V/U\to V/U&\text{ předpisem}\quad c\cdot(v+U)=(c\cdot v)+U \end{align*} \end{examplen} \begin{exerc} Dokažte, že $\sim$ je relace ekvivalence a že množina $V/U$ s operacemi definovanými výše tvoří vektorový prostor nad polem $\kk$. \end{exerc} \begin{defin} Vektorovému prostoru $V/U$ říkáme \df{faktorový vektorový prostor}. \end{defin} \begin{exerc} Nyní definujme zobrazení $g:V\to V/U$ předpisem $g(v)=v+U$. Dokažte, že toto zobrazení je lineární a že $\ker g=U$. \end{exerc} Dokázali jsme, že každý vektorový podprostor je jádrem vhodného lineárního zobrazení. \begin{remark} Povšimněte si, že specielně $V/V\simeq\{0\}$ a $V/\{0\}\simeq V$. \end{remark} \begin{exerc} Nechť $\alpha=(u_1,\dots,u_k)$ je báze $U \subseteq V$ a $\widehat\alpha=(u_1,\dots,u_k,v_1,\dots,v_{n-k})$ je báze $V$. Dokažte, že pak $(v_1+U,\dots,v_{n-k}+U)$ je báze $V/U$. \end{exerc} \begin{examplen} Nechť $\alpha$ je báze $V$ a $\beta$ báze ve $W$ a $f:V\to W$ lineární zobrazení. Pak $$\ker f=\{v\in V; (f)_{\beta\alpha}(v)_\alpha=0\}.$$ Výraz $$(f)_{\beta\alpha}(v)_\alpha=0$$ představuje \df{soustavu lineárních rovnic} a vektory $v$, které této soustavě vyhovují, se nazývají \df{řešení soustavy}. Formálně můžeme sestavit soustavu lineárních rovnic pomocí \df{matice soustavy} $A\in\mat_{k \times n}(\kk)$ a $n$-sloupce \df{neznámých} $x\in\mat_{n \times 1}(\kk)$ jako výraz $$A\cdot x=0.$$ Nebudeme uvažovat soustavy nad obecným okruhem skalárů a nebude nás ani zajímat řešitelnost takových soustav. Množina všech neznámých tvoří vektorový podprostor v $\mat_{n \times 1}(\kk)$, neboť pro libovolná řešení $x_1$ a $x_2$ a skaláry $c_1,c_2$ platí $$A\cdot (c_1\cdot x_1+c_2\cdot x_2)=c_1\cdot A\cdot x_1+c_2\cdot A\cdot x_2=0$$ díky distributivitě násobení matic. \end{examplen} \begin{examplen} \label{veta o dimenzich jadra a obrazu} Nechť $U$ je podprostor ve $V$ a $\alpha$ báze ve $V$. Pak souřadnice vektorů z $U$ tvoří řešení vhodné soustavy lineárních rovnic, tedy podprostor v $\mat_{n \times 1}(\kk)$. Ukázali jsme totiž, že každý vektorový podprostor je jádrem vhodného lineárního zobrazení. Matice tohoto zobrazení je pak maticí příslušné soustavy lineárních rovnic. Zvolme bázi $\alpha$ ve $V$ tak, že prvních $k$ vektorů generuje $U$. Uvědomte si, že pak maticí zobrazení $p:V\to V/U$ je matice $\big(0_{n \times (n-k)}|E_k\big)$. Z této matice je dobře vidět, že dimenze $V/U$ je rovna $\dim V-\dim U$, což už ale víme. Platí ale obecnější tvrzení. Nechť $f:V\to W$ je lineární zobrazení, pak $$\dim V=\dim \ker f+\dim \im f.$$ Nejjednodušší metodou důkazu je zvolit ve $V$ bázi $\alpha=(v_1,\dots,v_n)$ takovou, že $\ker f=\lin(v_1,\dots, v_k)$. Uvědomte si, že $f(v_{k+1}),\dots,f(v_n)$ jsou lineárně nezávislé vektory, neboť kdyby nějaká jejich lineární kombinace byla nulová, patřila by do $\ker f$. Tím je důkaz ukončen. Zvolme ve $W$ bázi $\beta=\big(f(v_{k+1}, \dots,f(v_n),w_1,\dots,w_l\big)$. Pak je $$(f)_{\beta\alpha}(i,j)=\begin{cases} 1\text{ pro }i=j>k\\0\text{ jinak,} \end{cases} \qquad\text{neformálně tedy } (f)_{\beta\alpha}=\left(\begin{array}{cc}0&E\\0&0 \end{array}\right),$$ což připomíná situaci $p:V\to V/U$. Je-li $f$ surjektivní, spodní řádek nul v $(f)_{\beta\alpha}$ zmizí. Tak je tomu právě v případě $p:V\to V/U$. Uvědomte si, že je-li jádro triviální, zmizí sloupec nul vlevo. Povšimněte si, že jádro je triviální právě tehdy, je-li zobrazení $f$ prosté, neboť $$f(u)=f(v)\text{ implikuje }0=f(u)-f(v)=f(u-v)\text{ a tedy }u-v\in\ker f.$$ Potřebujeme-li tedy ověřit, zda je lineární zobrazení prosté, stačí ukázat, že vzorem nulového vektoru je pouze nulový vektor. \end{examplen} \begin{examplen} Nechť $f:V\to W$ je lineární zobrazení a zvolme takové báze, že $$(f)_{\beta\alpha}=\left(\begin{array}{cc}0&E\\0&0 \end{array}\right).$$ Nyní definujme zobrazení $f':V\to\im f$ předpisem $f'(v)=f(v)$, tedy $f'$ splývá s $f$, ale jeho obor hodnot je jen $\im f$. Tedy $f'$ je surjektivní a jeho matice $$(f)_{\widetilde\beta\alpha}= \begin{pmatrix} 0&E \end{pmatrix},$$ kde báze $\widetilde\beta$ je vytvořena z báze $\beta$ tak, že vynecháme vektory negenerující $\im f$. Připomeňme, že inkluze $\ker f$ do $V$ je lineární zobrazení. Zvolme v $\ker f$ bázi $\widetilde\alpha$, kterou vytvoříme z $\alpha$ vypuštěním vektorů, které negenerují $\ker f$. Pak $$(i_{\ker f})_{\alpha\widetilde\alpha}=\begin{pmatrix} E\\0 \end{pmatrix}$$ a povšimněte si, že $$ (f\circ i_{\ker f})_{\widetilde\beta\widetilde\alpha}=\begin{pmatrix} 0&E \end{pmatrix}\cdot \begin{pmatrix} E\\0 \end{pmatrix}$$ je nulová matice. Situaci lze zachytit diagramem $$\xymatrix{ V \ar[r]^-f & \im f \ar[r]^-{i_{\im f}} & W \\ \ker f\ar[u]^-{i_{\ker f}}\ar[ru]_-0 }$$ \end{examplen} \begin{exerc} Určete rozměry všech matic v minulém příkladu, nahraďte symboly $E$ a $0$ přesnými označeními $E_k$ a $0_{m \times n}$. Uvědomte si také, jaké rozměry má matice inkluze $i_{\im f}:\im f\to W$. \end{exerc} \begin{examplen} Vraťme se k soustavám lineárních rovnic. V příkladu \ref{priklady podprostoru} jsme viděli, že množina $$Z=\{N\cdot M=0; M\in \mat_{n \times 1}(\kk)\} $$ je podprostorem v prostoru $n$-sloupců. Výraz $N\cdot M=0$ představuje ovšem soustavu lineárních rovnic, která je složena z jediné rovnice. Dimenze řešení této soustavy je rovna $n-1$. To proto, že $N$ je vlastně maticí surjektivního lineárního zobrazení $f:\mat_{n \times 1}(\kk)\to \kk$ zadaného předpisem $f(M)=N\cdot M$, množina řešení soustavy je jádrem tohoto zobrazení a dimenze $\kk$ je rovna jedné. Podle vztahu $\dim V=\dim \ker f+\dim\im f$ dostáváme, že $\dim Z=n-1$. Ve skutečnosti jsme se v předchozím odstavci dopustili hrubé chyby. Pokud by $N$ byl nulový řádek, není $f$ surjektivní a $\dim \im f=0$, tedy $\dim Z=n$. To souhlasí s tím, že každý $n$-sloupec $M$ je řešením soustavy $0\cdot M=0$. \end{examplen} \begin{defin} Vektorový podprostor $U \subseteq V$, jehož dimenze je rovna $\dim V-1$, nazýváme \df{nadrovina}. \end{defin} \begin{examplen} \label{prunik nadrovin} Nechť $U$ a $W$ jsou nadroviny ve $V$, $\dim V=n$. Uvažme průnik $U\cap W$. To je vektorový podprostor ve $V$. Ukážeme, že jeho dimenze je buď $n-1$ nebo $n-2$. Víme, že $U$ je jádrem $p:V\to V/U$. Pokud je $p(W)=\{0\}$, je $W$ podprostor v $U$. Protože však $U$ a $V$ mají stejné dimenze, je $U=W$ a $\dim U\cap V=n-1$. Označme $\alpha$ bázi v $U$ a $\beta$ bázi ve $W$. Pokud $p(W)\neq\{0\}$, znamená to, že ve $W$ existuje vektor $w$, který není prvkem $U$. Podle Steinitzovy věty je $\lin(\alpha\cup\{w\})=V$, takže každý další $w'\in W$ splňující $p(w')\neq 0$ je lineárně závislý na $w$. Nyní opět podle Steinitzovy věty lze nahradit některý vektor báze $\beta$ vektorem $w$. Nechť výsledná báze je $(w,v_1,\dots,v_{n-2})$ a označme $\gamma=(v_1,\dots,v_{n-2})$. Uvědomte si, že $p\big(\lin(\gamma)\big)=\{0\}$, tedy $\lin(\gamma)$ je podprostor $U$. Protože $w\not\in U$, je $\lin(\gamma)=U\cap W$ a $\dim U\cap W=n-2$, neboť $\gamma$ je lineárně nezávislá množina. \end{examplen} \begin{examplen} Nechť nyní $A\cdot x=0$ je soustava rovnic. Každý řádek této rovnice lze chápat jako $n$-řádek, tedy řešením soustavy je průnik nadrovin, které jsou řešeními jednotlivých rovnic. Jakou dimenzi toto řešení má? Je-li matice $A$ typu $k \times n$, může být dimenze řešení $n-k$ až $n$. (V případě, že $k>n$, samozřejmě nemůže být dimenze řešení záporná.) Skutečně, protože prostor řešení soustavy je jádrem zobrazení $$f:\mat_{n \times 1}(\kk)\to \mat_{k \times 1}(\kk),\qquad f(M)=A\cdot M,$$ je dimenze řešení rovna rozdílu $n-\dim \im f$. Dimenze obrazu $f$ je rovna počtu lineárně nezávislých sloupců v matici $A$. Dimenzi řešení však lze vyjádřit i pomocí počtu lineárně nezávislých řádků, jak nyní ukážeme. \end{examplen} \begin{examplen} Nechť $N_1$ a $N_2$ jsou dva $n$-řádky. Označme $$U_1=\{N_1\cdot x=0; M\in\mat_{n \times 1}(\kk)\}, \quad U_2=\{N_2\cdot x=0; M\in\mat_{n \times 1}(\kk)\}$$ a průnik $U=U_1\cap U_2$. Potom $U$ je množina řešení soustavy rovnic zadané oběma řádky $N_1$ a $N_2$. Podle předchozího příkladu může $U$ mít dimenzi $n$, $n-1$ nebo $n-2$. První případ znamená, že oba řádky jsou nulové. Nechť tedy $\dim U=n-2$. Nechť $M_1\in U_1-U$ a $M_2\in U_2-U$ jsou libovolné nenulové $n$-sloupce. Předpokládejme, že $N_1$ a $N_2$ jsou lineárně závislé, tedy existují skaláry $a,b\in\kk$ tak, že $$a\cdot N_1+b\cdot N_2=0.$$ Protože však $N_1\cdot M_2\neq 0$ a $N_2\cdot M_1\neq 0$, musí být $a=0=b$. \medskip Dimenze $U$ je rovna $n-1$ buď tehdy, pokud je prostor řešení jedné rovnice nadrovina a druhý celý prostor $n$-sloupců, nebo pokud jsou $U_1$ a $U_2$ stejné nadroviny. Ukážeme, že v obou těchto případech jsou pak $N_1$ a $N_2$ lineárně závislé. Je-li jedno z řešení celý prostor, je příslušný $n$-řádek nulový a $N_1$ a $N_2$ jsou jistě lineárně závislé. Pokud $U_1=U_2$, zvolme $n$-sloupec $M$, který není prvkem $U$. Označme $a=N_1\cdot M$, $b=N_2\cdot M$. Zvolme libovolný $n$-sloupec $P$. Pak $$b\cdot N_1\cdot P-a\cdot N_2\cdot P=0.$$ Pro $P\in U$ je tato rovnost splněna triviálně. Je-li $P\in\mat_{n \times 1}(\kk)-U$, je pak nenulovým násobkem $n$-sloupce $M$. Kdyby totiž $P$ bylo lineárně nezávislé na $M$, nemohlo by mít $U$ dimenzi $n-1$. Tedy $$(b\cdot N_1 -a\cdot N_2)\cdot P= b\cdot N_1\cdot c\cdot M -a\cdot N_2\cdot c\cdot M= b\cdot c \cdot a- a\cdot c\cdot b=0.$$ Protože $P$ byl zvolen libovolně, musí být $b\cdot N_1-a\cdot N_2$ nulový $n$-řádek. Protože $a$ a $b$ jsou nenulové, jsou $N_1$ a $N_2$ lineárně závislé. \medskip Dostáváme tedy, že dimenze průniku dvou nadrovin zadaných rovnicemi $N_1\cdot x=0$ a $N_2\cdot x=0$ je rovna $n-\dim\lin(\{N_1,N_2\})$. \end{examplen} \begin{exerc} Zobecněte předchozí příklad na soustavu $m$ rovnic o $n$ neznámých, tedy přesněji, dokažte, že má-li prostor řešení soustavy rovnic dimenzi $k$, má soustava $n-k$ lineárně nezávislých řádků. \end{exerc} \begin{exerc} Dokažte, že jsou-li $N_1$ a $N_2$ nenulové lineárně závislé $n$-řádky, jsou nadroviny $\{N_1\cdot x=0; x\in\mat_{n \times 1}(\kk)\}$ a $\{N_2\cdot x=0; x\in\mat_{n \times 1}(\kk)\}$ stejné. \end{exerc} \begin{examplen} Jsou-li $N_1$ a $N_2$ lineárně nezávislé $n$-řádky, pak jsou především nenulové a tedy řešení soustav $N_1\cdot x=0$ a $N_2\cdot x=0$ jsou nadroviny. Nechť $A$ je matice sestavená z $N_1$ a $N_2$, tedy $A(-,1)=N_1$ a $A(-,2)=N_2$. Podle \ref{prunik nadrovin} má prostor řešení soustavy $A\cdot x=0$ dimenzi $n-1$ nebo $n-2$. Nyní využijeme následující trik. Uvědomme si, že každý $n$-sloupec $M$ zadává zobrazení $f:\mat_{1 \times n}(\kk)\to \kk$ předpisem $f(N)=N\cdot M$. Zvolme libovolnou bázi prostoru řešení soustavy. Ze sloupců báze sestavme matici $B$. Nyní zřejmě $n$-řádky $N_1$ a $N_2$ patří do prostoru řešení soustavy $y\cdot B=0$. Protože jsou $N_1$ a $N_2$ lineárně nezávislé a tedy prostor řešení soustavy má dimenzi nejméně $2$, může mít podle předchozích příkladů a cvičení $B$ nejvýše $n-2$ nezávislých sloupců (díky tomu, že je celá soustava "otočená", musíme namísto řádků v matici $B$ pracovat se sloupci). Ale jako sloupce matice $B$ jsme použili $n$-sloupce báze prostoru řešení soustavy $A\cdot x=0$, tedy dimenze prostoru řešení je $n-2$. \end{examplen} \begin{exerc} Zobecněte předchozí příklad, tedy přesněji, dokažte, že má-li matice soustavy $A\cdot x=0$ $k$ lineárně nezávislých řádků, je dimenze prostoru řešení rovna $n-k$. \end{exerc} \begin{remark} Uvědomte si, co jsme vlastně dokázali. Nechť $A\cdot x=0$ je soustava lineárních rovnic, $A$ typu $m \times n$. Předchozí série příkladů a cvičení ukázala, že dimenze prostoru řešení je rovna $n-k$, kde $k$ je počet lineárně nezávislých řádků matice $A$. Již ale víme, že matici $A$ lze chápat jako matici zobrazení z $n$-rozměrného do $m$-rozměrného prostoru, přičemž dimenze obrazu tohoto zobrazení je rovna počtu lineárně nezávislých sloupců, řekněme $l$. Pak ale dimenze jádra je rovna $n-l$ podle \ref{veta o dimenzich jadra a obrazu}. Ovšem jádro zobrazení zadaného maticí $A$ je právě podprostor řešení soustavy $A\cdot x=0$. Z toho plyne, že $k=l$, tedy počet lineárně nezávislých sloupců je roven počtu lineárně nezávislých řádků. \end{remark} \begin{defin} Počet lineárně nezávislých sloupců (a tedy i řádků) matice $A$ nazveme \df{hodnost matice} a značíme $h(A)$. \end{defin} \begin{exerc} Dokažte, že pro $A$ typu $n \times k$ a $B$ typu $k \times m$ je $$h(A\cdot B)\leq\min\big\{h(A),h(B)\big\}.$$ Návod: Chápejte matice jako matice zobrazení a všímejte si dimenzí obrazů. \end{exerc} \begin{remark} Povšimněte si, jak složité a zdlouhavé bylo ukázat, že je lineárně nezávislých sloupců v matici stejně jako lineárně nezávislých řádků. Celý důkaz vlastně začíná již příkladem \ref{prunik nadrovin}. Složitost důkazu není náhodná. Použili jsme totiž naprosto přímočarou metodu, která nebyla v žádném případě nejefektivnější. Zato je však v každé části použita jedna takřka ukázková metoda, jak podobná tvrzení dokazovat. V dalším textu důkaz provedeme znovu a uvidíme, že je vlastně velmi jednoduchý. \end{remark} Budeme potřebovat dva jednoduché fakty o isomorfismech. \begin{examplen} \label{iso necha dim podprostoru} Nechť $f:U\to V$ je lineární zobrazení a $g:V\to W$ isomorfismus. Protože isomorfismus je bijekce, je také prostý, tedy $\ker g=\{0\}$ podle \ref{veta o dimenzich jadra a obrazu}. Opět podle příkladu \ref{veta o dimenzich jadra a obrazu} je pak dimenze $g(\im f)$ rovna dimenzi $\im f$. Povšimněte si, že stejným způsobem lze ukázat, že dimenze podprostoru se isomorfismem nemění. Specielně to znamená, že má-li čtvercová matice $A$ typu $n \times n$ lineárně nezávislé sloupce (tj. je maticí nějakého isomorfismu), pro každou matici $B$ typu $n \times k$ má $A\cdot B$ stejný počet lineárně nezávislých sloupců jako $B$. \end{examplen} \begin{examplen} \label{iso necha lin nez radky} Nechť $A$ je matice $m \times n$ a nechť $B$ je matice isomorfismu, tedy má lineárně nezávislé sloupce. Nechť $A$ má $k