msleziak.com

Tvrdenie. Ak $A$ je matica $n\times n$ nad poľom $\mathbb C$ taká, že $A^2=A$, tak platí$\newcommand{\Tra}{\operatorname{Tr}}\newcommand{\inv}[1]{{#1}^{-1}}$
$$\Tra(A)=h(A).$$

Podobný výsledok sme spomínali pre ortogonálne projekcie: viewtopic.php?t=1781 - toto tvrdenie je o čosi všeobecnejšie.

Niečo k tomuto tvrdeniu tu niečo napíšem - a ako zvyčajne, pridám aj nejaké linky:

• Proving: "The trace of an idempotent matrix equals the rank of the matrix"
• Relation between trace and rank for projection matrices

Pripomeňme, že $\Tra(A)$ označuje stopu, t.j. súčet diagonálnych prvkov matice $A$.
Jedna z vlastností stopy, ktorá môže byť užitočná (a ktorá sa dá dokázať pomerne ľahko), je $\Tra(AB)=\Tra(BA)$.

Ak pre maticu $A$ platí $A^2=A$, tak hovoríme, že $A$ je matica projekcie. Je to nejaké zovšeobecnenie ortogonálnej projekcie. (Bolo by teda možno prirodzenejšie označiť ju $P$ ako projekcia. Keďže sa budeme na túto maticu pozerať v rôznych bázach a sme zvyknutí používať $P$ pre maticu prechodu, tak som radšej použil iné písmenko.)

Iný názov, ktorý ste mohli stretnúť aj v iných kontextoch, je že $A$ je idempotentná matica

Na formuláciu tohto tvrdenia netreba vedieť nič viac než to, čo je súčin matíc, čo je hodnosť a čo je stopa. Zdôvodnenie tejto rovnosti je však určite výrazne jednoduchšie, ak pri tom použijeme nejaké veci, ktoré sme sa naučili v druhej časti LS.

Napríklad jedna z vecí, ktoré nám môžu pomôcť je, ak vieme ukázať, že každá takáto matica bude diagonalizovateľná. T.j. ak vieme, že $A=PD\inv P$ pre nejakú regulárnu maticu $D$.
Vedeli by ste dokázať uvedené tvrdenie, ak máme zadané, že $A$ je diagonalizovateľná?
Takmer to isté, ale povedané trochu inak -- diagonalizovateľnosť znamená existenciu bázy $\vec b_1,\dots,\vec b_n$ a čísel $d_1,\dots,d_n$, pre ktoré platí
$$\vec b_iA=d_i\vec b_i.$$
Z tohto by sme pri troche rozmýšľania tiež mali byť schopní dostať rovnosť hodnosti a stopy. Keď sme teda videli, že z diagonalizovateľnosti už dokážeme uvedené tvrdenie ľahko, tak nám vlastne stačí už rozmýšľať nad tým, ako zdôvodníme, že $A$ je diagonalizovateľná.
Samozrejme, nie je na škodu skúsiť sa zamyslieť aj nad inými riešeniami. (T.j. zamyslieť sa, či by sme vedeli nejako zdôvodniť to isté aj skôr - keď sme ešte nič nepočuli o zmene bázy, diagonalizovateľných maticiach, atď.)

Ak $A^2=A$, tak $A$ je diagonalizovate¾ná$\newcommand{\Tra}{\operatorname{Tr}}
\newcommand{\inv}[1]{{#1}^{-1}}$

Napríklad to môžeme ukázať výberom vhodnej bázy.
Vedeli by ste vymyslieť nejakú peknú bázu $\mathbb C^n$ pri ktorej bude mať zobrazenie $\vec x\mapsto \vec xP$ veľmi jednoduchú maticu?

Hint 1:
Viete nájsť nejaké vektory, pre ktoré $\vec xA=\vec x$?

Detailnejší hint 1: Kompletná odpoveď na hint 1: Hint 2: Vedeli by sme k vektorom, ktoré sme našli vyššie, pridať nejaké vektory spĺňajúce $\vec xA=\vec 0$ tak, aby sme dokopy mali nejakú bázu pozostávajúcu iba z vektorov takýchto dvoch typov?

Detailnejší hint 2: Kompletná odpoveď na hint 2: Na základe toho by sme už mohli zostaviť vhodnú bázu (a dostať to, že $A$ je diagonalizovateľná.) Môžeme si všimnúť aj to, že pre maticu ortogonálnej projekcie vieme veľmi ľahko dostať bázu, v ktorej prislúchajúce zobrazenie vyzerá jednoducho; stačí zobrať bázu $S$ a bázu $S^\bot$ a dať ich dokopy.
Tu sme robili niečo podobné, ale keďže nešlo o ortogonálnu projekciu, tak k $S=\operatorname{Im}(A)$ sme potrebovali pridať iný podpriestor, nie $S^\bot$.

*****

Trochu iný dôkaz diagonalizovate¾nosti.

Mohli by ste skúsiť dokázať diagonalizovateľnosť matice $A$ takto:
Pozrieť sa na podpriestory $$S=\{\vec xA; \vec x\in\mathbb C^n\}\qquad\text{ a }\qquad T=\{\vec x(I-A); \vec x\in\mathbb C^n\}.$$
Ukázať postupne:

• a) $\vec xA=\vec x$ pre $\vec x\in S$
• b) $\vec xA=\vec0$ pre $\vec x\in T$;
• c) $S\oplus T=V$;
• d) Pozrieť sa na maticu pri báze zostavenej z bázy $S$ a bázy $T$.

Detaily jednotlivých krokov už nechám na vás.
Asi jediná vec, ktorá nie je úplne priamočiara, je zdôvodnenie, že $S\oplus T=V$.
Pomerne ľahko by sme mali dostať, že každý vektor je súčet vektora z $S$ a vektora z $T$. Treba ešte ukázať, že $S\cap T=\{\vec0\}$. V princípe to nie je nejako výrazne odlišné riešenie od toho, čo je uvedené vyššie. Konkrétne si môžeme všimnúť, že $S=\operatorname{Im}(A)$ je presne podpriestor generovaný riadkami $A$; s týmto podpriestorom sme pracovali aj v predošlom riešení. Akurát vektory, ktoré sme pridali k báze $S$, sme teraz našli o trochu inak.

Riešenie cez rozklad na súčin

Ako som sľúbil vyššie, chceme sa pozrieť aj na dôkaz bez použitia diagonalizovateľnosti.

Takéto riešenie sa dá nájsť napríklad tu:

• Veta 7.4 v S. Rosa, R. Harman: Maticová algebra pre štatistiku a analýzu dát
• Táto odpoveď v Proving: "The trace of an idempotent matrix equals the rank of the matrix"

Ja len stručne zhrniem jednotlivé kroky, aby ste sa mohli nad nimi skúsiť zamyslieť aj samostatne:

• Ak $A$ je matica $n\times n$, ktorá má hodnosť $k$, tak existujú matice $B$ rozmerov $n\times k$ a $C$ rozmerov $k\times n$, také, že $$A=BC$$ a navyše $h(B)=h(C)=k$.
• Ak matica $C$ má plnú stĺpcovú hodnosť, tak platia implikácie
  \begin{align*}
  ZC=0 &\Rightarrow Z=0\\
  XC=YC &\Rightarrow X=Y
  \end{align*}
  t.j. takouto maticou sa dá krátiť sprava.
• Ak matica $B$ má plnú riadkovú hodnosť, tak platia implikácie
  \begin{align*}
  BZ=0 &\Rightarrow Z=0\\
  BX=BY &\Rightarrow X=Y
  \end{align*}
  t.j. takouto maticou sa dá krátiť zľava.

Z uvedených tvrdení (a z toho, čo už vieme o stope matice) by sa už malo dať poskladať celé riešenie. (A kompletné riešenie môžete nájsť na spomenutých linkách.)