# Věty a tvrzení 
tak nějak sepsané věty a tvrzení na LA2 k Fialovi, nezaručuju že neobsahuje chyby.

taky jsem to psal pro sebe, takže nezaručuju že se v tom dá vyznat.

1. věta o linearitě determinantu. (8/10\)

	$$
	t\begin{vmatrix}
	-a_1^T-\\
	-a_2^T-\\
	-a_3^T-\\
	-a_4^T-\\
	\end{vmatrix}=
	\begin{vmatrix}
	-ta_1^T-\\
	-a_2^T-\\
	-a_3^T-\\
	-a_4^T-\\
	\end{vmatrix}=
	\begin{vmatrix}
	-a_1^T-\\
	-ta_2^T-\\
	-a_3^T-\\
	-a_4^T-\\
	\end{vmatrix}
	$$
	$$
	\begin{vmatrix}
	-a_1^T-\\
	-a_2^T-\\
	-b^T+c^T-\\
	-a_4^T-\\
	\end{vmatrix}=
	\begin{vmatrix}
	-a_1^T-\\
	-a_2^T-\\
	-b^T-\\
	-a_4^T-\\
	\end{vmatrix}+
	\begin{vmatrix}
	-a_1^T-\\
	-a_2^T-\\
	-c^T-\\
	-a_4^T-\\
	\end{vmatrix}
	$$

2. věta o determinantu součinu dvou matic. (6/12\)

    $$det(AB)=det(A)*det(B)$$

3. věta o Laplaceově rozvoji determinantu. (8/10\)

    $$det(A^{n\times n})=\sum\limits^{n}_{j=1}{a_{ij}(-1)^{i+j}det(A^{ij}})$$

    $A^{ij}$ je podmatice získaná z $A$ odstraněním i-tého řádku a j-tého sloupce.

4. Cramerovo pravidlo pro řešení soustav přes determinanty.(8/10\)

	$A_{i\to b}$ značí že i=tý sloupec nahradíme vektorem $b$
    $$Ax=b \implies x_i = \frac{det(A_{i -> b})}{det(A)}$$

5. věta o adjungované matici. (8/10\)

    $$A \in T^{n\times n}, n\geq 2: A^{-1} = \frac{adj(A)}{det(A)}$$

6. větu o počtu koster grafu. (8/14\)

    Laplaceova matice grafu $G$ na $V_G = {v_1, . . . , v_n}$ je $L_G \in R^ {n\times n}$, kde $k$ je násobnost hrany a $deg(v_i)$ nepočítá smyčky:
	$$
	L(G)_{ij}=
	\begin{cases}
	deg(v_i) & i=j\\
	-k & (v_i,v_j) \in E_G \land i\ne j\\
	0
	\end{cases}
	$$

	potom má graf $det(L^{1,1}_G)$ koster

7. malou Fermatovu větu. (6/8)

    pro každé prvočíslo $p$ a každé $x\in \Bbb{Z}_p \setminus \{0\}$: $x^{p-1}=1$

8. větu o Vandermondově matici. (6/10)

    Pro $n + 1$ dvojic $(x_0, y_0), . . . ,(x_n, y_n)$ s různými $x_i$ , najít $p \in T(x)$ stupně nejvýše $n$ takový, že $p(x_i) = y_i$ pro každé $i$. vandermondova matice $V_{n+1}(x_0,\dots,x_n)$ je definovaná takto a koeficienty $a_0,...,a_n$ z polynomu $p$ řeší tuto soustavu:

	$$
	\begin{pmatrix}
	1 &&x_0&&x_0^2&&... &&x_0^n\\
	1 &&x_1&&x_1^2&&... &&x_1^n\\
	\vdots&&\vdots&&\vdots&&\ddots&&\vdots\\
	1 &&x_n&&x_n^2&&... &&x_n^n\\
	\end{pmatrix}
	\begin{pmatrix}
	a_0\\
	a_1\\
	\vdots\\
	a_n\\
	\end{pmatrix}=
	\begin{pmatrix}
	y_0\\
	y_1\\
	\vdots\\
	y_n\\
	\end{pmatrix}
	$$

	k tomu:
	Vandermondova matice $V_{n+1}$ je regulární pokud jsou $x_0,\dots,x_n$ navzájem různé

9.  správnost Lagrangeovy interpolace. (8/10\)

    

10. pozorování o podprostoru vlastních vektorů. (6/8\)

    vlastní vektory příslušné stejnému vlastnímu číslu tvoří podprostor

11. větu o lineární nezávislosti vlastních vektorů. (6/8\)

    mějme vlastní čísla $\lambda_1,\dots,\lambda_k$ a k nim příslusné netriviální vlastní vektory $v_1,\dots,v_k$, potom jsou tyto vektory lineárně nezávyslé

12. větu o kořenech charakteristického polynomu matice. (6/8\)

    $\lambda$ je vlastním číslem $A$ právě tehdy když je $\lambda$ kořenem charakteristického polynomu $A$

13. větu o konstrukci matice s předepsaným charakteristickým polynomem. (8/10\)

    Pro libovolná $b_0, b_1, . . . , b_{n−1} \in T$ má matice
	$$
	\begin{pmatrix}
	0&0&\dots&0&-b_0\\
	1&0&...&0&-b_1\\
	0&1&...&0&-b_2\\
	\vdots&\vdots&\ddots&\vdots&\vdots\\
	0&0&...&1&-b_{n-1}\\
	\end{pmatrix}\in \Bbb{T}^{n\times n} 
	$$
	charakteristický polynom $(x^n+b_{n-1}x^{n-1}+\dotsb+b_1x+b_0)(-1)^n$ 

14. pozorování o hodnotách tří koeficientů charakteristického polynomu matice. (10/12\)

    $b_n=(-1)^n$
	$b_0=det(A)$
	$b_{n-1}=(-1)^{n-1}\sum\limits_{i=1}^n{a_{ii}}$ 

15. větu o Geršgorinových kružnicích. (8/10\)

    Nechť $A \in C^{n\times n}$ Pro každé vlastní číslo $\lambda$ existuje index řádku $i \in \{1, . . . , n\}$ takový, že $|\lambda − a_{ii}| \leq \sum\limits_{j\ne i} |a_{ij}|$.

16. Cayleyovu–Hamiltonovu větu. (8/14\)

    pro $A\in\Bbb{T}^{n\times{n}}$ a její polynom platí:
$p_A(x)=(-1)^nx^n+b_{n-1}x^{n-1}+\dots+b_1x+b_0$
$p_A(A)=(-1)^nA^n+b_{n-1}A^{n-1}+\dots+b_1A+b_0I =0^{n\times n}$ 

17. Dvě pozorování a související důsledky o násobnostech vlastních čísel podobných matic. (6/8\)

    pokud $A$ je podobné $B, tj. A=RBR^{-1}$ a $\lambda$ je vlastní číslo $A$ a $v$ je k němu příslušný vlastní vektor, pak $\lambda$ je vlastní číslo $B$ a vektor k němu příslušný je $Rv$.
    z toho plyne že $\lambda$ má v $B$ stejnou geometrickou násobnost jako v $A$.
    pokud $A$ je podobné $B$, pak $p_A(x)=p_B(x)$
    z toho plyne že $\lambda$ má v $B$ stejnou algebraickou násobnost jako v $A$

18. větu o vztahu geometrické a algebraické násobnosti vlastního čísla. (6/10\)

    pro každé vlastní číslo $\lambda$ matice $A$ platí že jeho geometrická násobnost je maximálně tak velká jako jeho algebraická násobnost

19. nezbytnou a postačující podmínku, kdy je matice diagonalizovatelná. (6/8\)

    právě tehdy když se algebraická násobnost každého vlastního čísla matice $A$ rovná jeho geometrické násobností, je matice $A$ diagonalizovatelná.
	pokud má $A^{n\times n}$ právě $n$ různých vlastních čísel, je diagonalizovatelná, ale ne naopak

20. tvrzení o zobecněných vlastních vektorech. (8/8\)

    $J_\lambda$ je jordanův blok
	nechť $AR=RJ_\lambda$, označímeli $i$-tý sloupec $R$ jako $v_i$, pak splňuje $(A-\lambda I)^iv_i=0$
	vektor co toto splňuje se nazývá **zobecněný vlastní vektor**

21. větu o diagonalizaci speciálních komplexních matic. (6/14\)

    každá hermitovská matice $A$ má realná vlastní čísla, navíc existuje unitární $R$ taková že $RAR^{-1}$ je diagonální

22. Cauchyovu–Schwarzovu nerovnost. (6/10\)

    každý skalarní součin nad $\Bbb{C}$ splňuje: $|\langle x,y\rangle|\leq\lVert x\rVert*\lVert y\rVert=\sqrt{\langle x,x\rangle\langle y,y\rangle}$ 

23. vztah mezi aritmetickým a kvadratickým průměrem. (8/8\)

    pro $u\in \Bbb{R}^n$:
	$$
	\frac{\sum\limits_{i=1}^n{u_i}}{n}\leq
	\sqrt{\frac{\sum\limits_{i=1}^n{u_i^2}}{n}}
	$$

24. trojúhelníkovou nerovnost. (6/10\)

    $\lVert{u+v}\rVert\leq\lVert{u}\rVert+\lVert{v}\rVert$

25. pozorování o navzájem kolmých vektorech. (6/8\)

    množina netriviálních vzájemně kolmých vektorů je lineárně nezávislá

26. tvrzení o Fourierových koeficientech. (6/8\)

    nechť $B=(b_1,b_2,\dots,b_n)$ je ortonormální báze prostoru $V$.
	pro každé $v \in V$ platí: $v=\sum\limits_{i=1}^n{\langle{v|b_1}\rangle b_i}$. Koeficienty  $\langle{v|b_1}\rangle$ se nazívají fourierovy koeficienty

27. větu o výpočtu skalárního součinu z Fourierových koeficientů. (8/10\)

    pro každé $u,v \in V$ platí: $\langle{u|v}\rangle=[v]^H_B[u]_B$

28. tvrzení o kolmé projekci a normě. (8/10\)

    $U\Subset V$ s bází $B$, potom ortogonální projekce vektoru $u$ do podprostoru generovaného $B$ se značí $p_B(u)$ a je to takový vektor z $U$ který minimalizuje $\Vert{u-p_B(u)}\rVert$

29.  správnost Gramovy–Schmidtovy ortonormalizace. (6/8\)

    

30. větu o izometrii a normě. (6/10\)

    lineární zobrazení $f$ je izometrie právě tehdy když zachovává normu: $\forall u\in V:\lVert{u}\rVert=\lVert{f(u)}\rVert$

31. větu o charakterizaci izometrie pomocí její matice. (8/10\)

    mějme prostory $V$ a $W$ s bázemi $B$ a $C$, pak $f:V \to W$ je bijektivní isometrie, právě když $_C[f]_{B}$ je unitární.

32. větu o ortogonalitě a prostorech určených maticí. (6/8\)

    pro $A \in \Bbb{R}^{m\times n}$ platí: $ker(A)=(R_A)^{\perp}$

33. větu o ortogonálním doplňku, mj. o jeho dimenzi. (6/12\)

    pro $U\Subset V$ platí: $(U^\perp)^\perp=U$ a $dim(U)+dim(U^\perp)=dim(V)$

34. větu o skalárním součinu dvou vektorů a Gramově matici. (8/8\)

    nechť $V$ je prostor s bází $B=(b_1,...,b_n)$, potom je **Gramova matice** $A$ definovaná $a_{ij}=\langle{b_i|b_j}\rangle$ a splňuje: $\forall u,v \in V:[v]_B^HA^T[u]_B$

35. tři pozorování o vlastnostech pozitivně definitních matic vzhledem k maticovým operacím. (6/9\)

    pro pozitivně definitní $A, B$ platí:
	1. $A+B$ je pozitivně definitní
	2. pro $R$ regulární je $R^HAR$ pozitivně definitní
	3. $A^{-1}$ je pozitivně definitní

36. tvrzení o pozitivní definitnosti blokové matice. (8/8\)

    $A, B$ jsou pozitivně definitní, právě když$\begin{pmatrix}A&O_{n,m}\\0_{m,n}&B\end{pmatrix}$ je pozitivně definitní

37. větu o třech ekvivalentních podmínkách pro pozitivně definitní matice. (6/9\)

	1. $A$ je pozitivně definitní
	2. $A$ má všechna vlastní čísla kladná
	3. existuje regulární $U$ taková, že $A=U^HU$

38. větu o Choleského rozkladu včetně správnosti algoritmu pro výpočet. (10/8\)

    pro každou pozitivně definitní matici $A$ exisuje **jednoznačná** horní trojúhelníková $U$ s kladnou diagonálou která splňuje $A=U^HU$ a nazívá se **Choleského rozklad**

39. větu o rekurentní podmínce pro pozitivně definitní matice. (10/8\)

    matice $A=\begin{pmatrix}a_{11}&b^H\\b&B\end{pmatrix}$ je pozitivně definitní, právě když $a^{11}\in \Bbb{R}^+$ a $B-\frac{bb^H}{a_{11}}$ je pozitivně definitní
	toto odpovídá gausově eliminaci kdy se pouze odčítá $\alpha$ násobek řádku od řádku pod ním

40. větu o pozitivně definitních maticích a determinantech. (8/10\)

    hermitovská matice $A$ řádu $n$ je pozitvně definitní, právě když matice $A_1,\dots,A_n$ mají kladné determinanty, kde $A_i$ se sestává z prvních $i$ řádků a sloupců $A$.
	$$
	\begin{matrix}
	\textcolor{red}{A_1}\\
	\textcolor{orange}{A_2}\\
	\textcolor{gold}{A_3}\\
	\end{matrix}
	\fcolorbox{gold}{white}{$
	\begin{matrix}
	\fcolorbox{orange}{white}{
	$\begin{matrix}
	\fcolorbox{red}{white}{a}&b\\
	d&f
	\end{matrix}$
	}&\begin{matrix}c\\g\end{matrix}\\
	\begin{matrix}h&&i\end{matrix}&j
	\end{matrix}$}
	$$

41. větu o diagonalizovatelnosti matic forem. (8/14\)

    matice formy $f$ nad tělesem $T$, kde $char(T)\ne 2$,pak má diagonální matici vůči vhodné bázi $B$

42. Sylvesterův zákon setrvačnosti — o diagonalizaci kvadratických forem. (10/14)

    každá kvadratická forma má vzhledem k vhodné bázi diagonální matici která má navíc na diagonále pouze $0,1$ a $-1$. navíc každá taková matice odpovídajcí stejné bázi má stejnou trojici $(\#1,\#-1,\#0)$, kde $\#$značí počet dotyčných čísel na diagonále. trojice je takzvaná signatura  

43. větu o počtu přímek svírajících stejný úhel. (6/8\)

	v $\Bbb{R}^d$ může maximálně ${d+1}\choose{2}$ přímek svírat stejný úhel.