Search found 8 matches

by MatusDuchyna
Fri Dec 22, 2023 4:42 pm
Forum: Algebra 1 (1-INF-115)
Topic: Úloha 5.4.1: $(AB)^T = B^TA^T$
Replies: 4
Views: 4119

Oprava podúlohy a)

$$(AB)^T = (||\sum \limits^n_{t=1} a_{it}b_{tj}||)^T = ||\sum \limits^n_{t=1} a_{jt}b_{ti}||$$ $$B^TA^T = ||\sum \limits^n_{t=1} (b_{it})^T(a_{tj})^T|| = ||\sum \limits^n_{t=1} b_{ti}a_{jt}|| = ||\sum \limits^n_{t=1} a_{jt}b_{ti}||$$ Čiže $(AB)^T = B^TA^T$ $\square$. JG: Čo v tej druhej časti znamen...
by MatusDuchyna
Thu Dec 21, 2023 12:43 am
Forum: Algebra 1 (1-INF-115)
Topic: Úloha 5.5.1: $(A^{-1})^{-1} = A$
Replies: 4
Views: 4034

Oprava podúlohy c)

Predpokladajme existenciu $A^{-1}$. Potom \begin{align*} A \cdot A^{-1} &= A \cdot A^{-1} &\Rightarrow\\ I &= A \cdot A^{-1} &\Rightarrow\\ I^T &= (A \cdot A^{-1})^T &\Rightarrow\\ I &= (A^{-1})^T \cdot A^T \end{align*} Takže $(A^{-1})^T$ je inverzná matika z $A^T$. Takže...
by MatusDuchyna
Wed Dec 20, 2023 11:10 pm
Forum: Algebra 1 (1-INF-115)
Topic: Úloha 5.5.1: $(A^{-1})^{-1} = A$
Replies: 4
Views: 4034

Oprava podúlohy b)

Predpokladajme existenciu $A^{-1}$ a $B^{-1}$. Potom \begin{align*} A \cdot B \cdot B^{-1} \cdot A^{-1} &= A \cdot B \cdot B^{-1} \cdot A^{-1} &\Rightarrow\\ A \cdot (B \cdot B^{-1}) \cdot A^{-1} &= (AB) \cdot (B^{-1}A^{-1}) &\Rightarrow\\ A \cdot I \cdot A^{-1} &= (AB) \cdot (B^...
by MatusDuchyna
Wed Dec 13, 2023 12:49 pm
Forum: Algebra 1 (1-INF-115)
Topic: Úloha 3.2.18: $a*(b*c) = (a*c)*b$ je asociatívne a komutatívne
Replies: 1
Views: 3824

Úloha 3.2.18: $a*(b*c) = (a*c)*b$ je asociatívne a komutatívne

Úloha: Nech $*$ je binárna operácia na množine $A$, taká, že pre každé $a, b, c \in A$ platí $a * (b * c) = (a * c) * b$ a $*$ má neutrálny prvok. Dokážte, že operácia $*$ je komutatívna a asociatívna. Najprv dokážeme, že operácia $*$ je komutatívna. Ak za $a$ zvolíme neutrálny prvok, tak dostávame...
by MatusDuchyna
Tue Dec 12, 2023 11:09 pm
Forum: Algebra 1 (1-INF-115)
Topic: Úloha 4.2.1: Dôsledok 4.2.9 $\bigcap\limits^n_{i=1}S_i$ je podpriestor
Replies: 1
Views: 3774

Úloha 4.2.1: Dôsledok 4.2.9 $\bigcap\limits^n_{i=1}S_i$ je podpriestor

Dôsledok 4.2.9: Nech $n \in \mathbb{N}$. Ak $S_1, S_2, \dots, S_n$ sú podpriestory vektorového priestoru $V$, tak aj $\bigcap^n_{i=1} S_i$ je podpriestor priestoru V. Matematickou indukciou vzhľadom na $n$ dokážeme, že ak $S_1, S_2, \dots, S_n$ sú podpriestory vektorového priestoru $V$ , tak aj $\b...
by MatusDuchyna
Tue Dec 12, 2023 4:46 pm
Forum: Algebra 1 (1-INF-115)
Topic: Úloha 5.5.1: $(A^{-1})^{-1} = A$
Replies: 4
Views: 4034

Úloha 5.5.1: $(A^{-1})^{-1} = A$

Dokážte, že ak $A, B$ sú regulárne štvorcové matice rovnakých rozmerov nad tým istým poľom $F$, tak platí: a) $(A^{-1})^{-1} = A$ \begin{align*} A \cdot A^{-1} = I &\land (A^{-1})^{-1} \cdot (A^{-1}) = I &\Rightarrow \\ A \cdot A^{-1} &= (A^{-1})^{-1} \cdot (A^{-1}) &\Rightarrow \\ ...
by MatusDuchyna
Tue Dec 12, 2023 12:11 pm
Forum: Algebra 1 (1-INF-115)
Topic: Úloha 5.4.1: $(AB)^T = B^TA^T$
Replies: 4
Views: 4119

Úloha 5.4.1: $(AB)^T = B^TA^T$

Úloha: Dokážte a) $(AB)^T = B^TA^T$ $$(AB)^T = (||\sum^n_{t=1}a_{it}b_{tj}||)^T = ||\sum^n_{t=1}a_{ti}b_{jt}|| = ||\sum^n_{t=1}b_{jt}a_{ti}|| = B^TA^T \quad \square$$ JG: Toto nie je dobre. Uvedomme si, že zápis $A=||a_{ij}||$ hovorí, že v i-tom riadku je na j-tom mieste (stĺpci) prvok $a_{ij}$. Tj...
by MatusDuchyna
Tue Dec 12, 2023 11:01 am
Forum: Algebra 1 (1-INF-115)
Topic: Úloha 5.3.2: $f(c \vec{\alpha} + \vec{\beta}) = cf(\vec{\alpha}) + f(\vec{\beta})$ je lineárne zobrazenie
Replies: 1
Views: 3922

Úloha 5.3.2: $f(c \vec{\alpha} + \vec{\beta}) = cf(\vec{\alpha}) + f(\vec{\beta})$ je lineárne zobrazenie

Úloha: Ukážte, že zobrazenie $f: V \rightarrow W$ je lineárne zobrazenie práve vtedy, keď pre ľubovoľné $c \in F$ a $\vec{\alpha}, \vec{\beta} \in V$ platí $f(c\vec{\alpha} + \vec{\beta}) = cf(\vec{\alpha}) + f(\beta)$. Ak zobrazenie $f: V \rightarrow W$ je lineárne, tak $\forall \vec{\alpha}, \vec...