Lineární zobrazení
Proč to potřebuji?
Lineární zobrazení jsou „funkce mezi vektorovými prostory", které zachovávají strukturu (sčítání a násobení). Popisují rotace, projekce, souměrnosti a mnoho dalších transformací. Každé lineární zobrazení mezi konečněrozměrnými prostory lze popsat maticí — a naopak. To je most mezi abstraktní algebrou a konkrétními výpočty.
Předpoklady: Vektorové prostory, báze a dimenze, maticové násobení, GEM.
Teorie
Definice lineárního zobrazení
Nechť $U$ a $V$ jsou vektorové prostory nad tělesem $\mathbb{R}$. Zobrazení $f : U \to V$ se nazývá lineární zobrazení, jestliže platí:
- $f(\vec{x} + \vec{y}) = f(\vec{x}) + f(\vec{y})$ pro libovolné $\vec{x}, \vec{y} \in U$ (obraz součtu = součet obrazů)
- $f(\alpha\vec{x}) = \alpha \, f(\vec{x})$ pro libovolné $\vec{x} \in U$ a $\alpha \in \mathbb{R}$ (obraz násobku = násobek obrazu)
Ekvivalentně: $f(\alpha\vec{x} + \beta\vec{y}) = \alpha f(\vec{x}) + \beta f(\vec{y})$ — lineární zobrazení zachovává lineární kombinace.
- Nulový vektor se zobrazí na nulový vektor: $f(\vec{o}_U) = \vec{o}_V$.
- Opačný vektor se zobrazí na opačný: $f(-\vec{x}) = -f(\vec{x})$.
- Přímka se zobrazí na přímku nebo bod.
- Násobení maticí: $f(\vec{x}) = \mathbf{A}\vec{x}$ pro matici $\mathbf{A} \in \mathbb{R}^{n \times m}$
- Nulové zobrazení: $O(\vec{x}) = \vec{o}$
- Identické zobrazení: $id(\vec{x}) = \vec{x}$
- Derivace: $D(f(x)) = f'(x)$ je lineární zobrazení na prostoru funkcí
Matice lineárního zobrazení
Nechť $\{\vec{u}_1, \ldots, \vec{u}_n\}$ je báze prostoru $U$. Pak pro libovolnou množinu vektorů $\{\vec{v}_1, \ldots, \vec{v}_n\} \subset V$ existuje právě jedno lineární zobrazení $f: U \to V$ takové, že $f(\vec{u}_i) = \vec{v}_i$ pro $i = 1, \ldots, n$.
Jinými slovy: známe-li obrazy báze, známe celé zobrazení.
Nechť $A = [\vec{u}_1, \ldots, \vec{u}_m]$ a $B = [\vec{v}_1, \ldots, \vec{v}_n]$ jsou báze prostorů $U$ a $V$. Matice zobrazení $f$ vzhledem k bázím $A, B$ je matice typu $(n, m)$:
$$\langle f \rangle_{AB} = \mathbf{M} = \big(\langle f(\vec{u}_1) \rangle_B, \; \langle f(\vec{u}_2) \rangle_B, \; \ldots, \; \langle f(\vec{u}_m) \rangle_B\big)$$Sloupce matice jsou obrazy bázových vektorů prostoru $U$ zapsané v bázi $B$ prostoru $V$.
Jsou-li obě báze standardní, pak se předpis zjednoduší na $\vec{y} = f(\vec{x}) = \mathbf{M}\vec{x}$ a sloupce matice $\mathbf{M}$ jsou přímo obrazy vektorů standardní báze.
Jádro a obraz lineárního zobrazení
Obraz lineárního zobrazení $f: U \to V$ je množina všech obrazů:
$$Rf = \{\vec{y} \in V \mid \vec{y} = f(\vec{x}) \text{ pro nějaké } \vec{x} \in U\} \subset V$$Obraz $Rf$ je podprostor $V$.
Jádro lineárního zobrazení $f: U \to V$ je množina vzorů nulového vektoru:
$$\text{Ker}\,f = \{\vec{x} \in U \mid f(\vec{x}) = \vec{o}_V\} \subset U$$Jádro $\text{Ker}\,f$ je podprostor $U$.
Je-li $f: U \to V$ lineární zobrazení konečněrozměrného vektorového prostoru $U$ do $V$, pak:
$$\dim U = \dim \text{Ker}\,f + \dim Rf$$kde $\dim \text{Ker}\,f$ se nazývá defekt a $\dim Rf$ se nazývá hodnost zobrazení.
Lineární zobrazení $f: U \to V$ je prosté (injektivní) právě tehdy, když $\text{Ker}\,f = \{\vec{o}_U\}$, tj. $\dim \text{Ker}\,f = 0$.
Geometrické transformace
- Rotace o úhel $\varphi$: $\mathbf{M} = \begin{pmatrix}\cos\varphi & -\sin\varphi \\ \sin\varphi & \cos\varphi\end{pmatrix}$
- Projekce na osu $x$: $\mathbf{M} = \begin{pmatrix}1 & 0 \\ 0 & 0\end{pmatrix}$
- Osová souměrnost podle osy $x$: $\mathbf{M} = \begin{pmatrix}1 & 0 \\ 0 & -1\end{pmatrix}$
- Projekce na rovinu $xy$: $\mathbf{M} = \begin{pmatrix}1&0&0\\0&1&0\\0&0&0\end{pmatrix}$
- Souměrnost podle roviny $xy$: $\mathbf{M} = \begin{pmatrix}1&0&0\\0&1&0\\0&0&-1\end{pmatrix}$
- Rotace kolem osy $z$ o úhel $\varphi$: $\mathbf{M} = \begin{pmatrix}\cos\varphi & -\sin\varphi & 0 \\ \sin\varphi & \cos\varphi & 0 \\ 0 & 0 & 1\end{pmatrix}$
Složené a inverzní zobrazení
Je-li $\mathbf{M}$ matice $f$ a $\mathbf{N}$ matice $g$, pak matice složeného zobrazení $g \circ f$ je součin $\mathbf{N} \cdot \mathbf{M}$ (pozor na pořadí!).
Je-li $f: V \to V$ vzájemně jednoznačné lineární zobrazení s maticí $\mathbf{M}$, pak matice inverzního zobrazení $f^{-1}$ je $\mathbf{M}^{-1}$.
Řešené příklady
Je dáno lineární zobrazení $f: \mathbb{R}^3 \to \mathbb{R}^2$ předpisem:
$$f\begin{pmatrix}x_1\\x_2\\x_3\end{pmatrix} = \begin{pmatrix}-x_1 + 2x_2 \\ x_2 + x_3\end{pmatrix}$$Určete matici zobrazení vzhledem ke standardním bázím.
Sloupce matice jsou obrazy bázových vektorů:
$$\mathbf{M} = \begin{pmatrix} -1 & 2 & 0 \\ 0 & 1 & 1 \end{pmatrix}$$Ověření: $\mathbf{M}\vec{x} = \begin{pmatrix}-1&2&0\\0&1&1\end{pmatrix}\begin{pmatrix}x_1\\x_2\\x_3\end{pmatrix} = \begin{pmatrix}-x_1+2x_2\\x_2+x_3\end{pmatrix}$ — souhlasí.
Je dána matice a vektory:
$$\mathbf{A} = \begin{pmatrix}1 & -3 \\ 3 & 5 \\ -1 & 7\end{pmatrix}, \quad \vec{u} = \begin{pmatrix}2\\-1\end{pmatrix}, \quad \vec{b} = \begin{pmatrix}6\\4\\-10\end{pmatrix}$$Uvažujte lineární zobrazení $f(\vec{x}) = \mathbf{A}\vec{x}$. 1) Určete obraz $f(\vec{u})$. 2) Určete vzory $\vec{b}$.
Zpětná substituce: $x_2 = -1$, $x_1 = 6 + 3 \cdot (-1) = 3$.
Vzor: $\vec{x} = \begin{pmatrix}3\\-1\end{pmatrix}$, $\vec{b}$ má právě jeden vzor.
Je dána matice zobrazení $\mathbf{M}_{\mathcal{Z}} = \begin{pmatrix}0 & -1 & 1 \\ -1 & 2 & 2\end{pmatrix}$. Určete $\text{Ker}(\mathcal{Z})$, jeho bázi a dimenzi.
Volná proměnná: $x_3 = t \in \mathbb{R}$.
Z druhé rovnice: $-x_2 + t = 0 \Rightarrow x_2 = t$.
Z první rovnice: $-x_1 + 2t + 2t = 0 \Rightarrow x_1 = 4t$.
$$\vec{x} = t \begin{pmatrix}4\\1\\1\end{pmatrix}, \quad t \in \mathbb{R}$$$\text{Ker}(\mathcal{Z}) = \left\{t \cdot \begin{pmatrix}4\\1\\1\end{pmatrix} \mid t \in \mathbb{R}\right\}$, báze $\text{Ker}(\mathcal{Z}) = \left\{\begin{pmatrix}4\\1\\1\end{pmatrix}\right\}$, $\dim\text{Ker}(\mathcal{Z}) = 1$.
Kontrola věty o hodnosti: $\dim U = 3 = 1 + \dim Rf = 1 + 2$. Hodnost matice je 2, tedy $\dim Rf = 2$.
Lineární zobrazení $\mathcal{Z}: \mathbb{R}^3 \to \mathbb{R}^2$ je určeno obrazy:
$$\mathcal{Z}\begin{pmatrix}1\\0\\1\end{pmatrix} = \begin{pmatrix}1\\1\end{pmatrix}, \quad \mathcal{Z}\begin{pmatrix}1\\1\\0\end{pmatrix} = \begin{pmatrix}-1\\1\end{pmatrix}, \quad \mathcal{Z}\begin{pmatrix}2\\0\\1\end{pmatrix} = \begin{pmatrix}1\\0\end{pmatrix}$$Určete matici $\mathbf{M}_{\mathcal{Z}}$ vzhledem ke standardním bázím.
V horní části dáme vzory (jako sloupce) a v dolní odpovídající obrazy:
$$\begin{pmatrix} 1 & 1 & 2 \\ 0 & 1 & 0 \\ 1 & 0 & 1 \\ \hline 1 & -1 & 1 \\ 1 & 1 & 0 \end{pmatrix}$$Transponujeme a řádkovými úpravami převedeme horní část na jednotkovou matici:
Dolní část odpovídá obrazům vektorů standardní báze:
$$\mathcal{Z}(\vec{e}_1) = \begin{pmatrix}0\\-1\end{pmatrix}, \quad \mathcal{Z}(\vec{e}_2) = \begin{pmatrix}-1\\2\end{pmatrix}, \quad \mathcal{Z}(\vec{e}_3) = \begin{pmatrix}1\\2\end{pmatrix}$$ $$\mathbf{M}_{\mathcal{Z}} = \begin{pmatrix} 0 & -1 & 1 \\ -1 & 2 & 2 \end{pmatrix}$$Odvoďte matici rotace o úhel $\varphi = 90°$ v $\mathbb{R}^2$ a aplikujte ji na vektor $\vec{u} = (3, 1)^T$.
Dosadíme $\cos 90° = 0$ a $\sin 90° = 1$:
$$\mathbf{R} = \begin{pmatrix}\cos 90° & -\sin 90° \\ \sin 90° & \cos 90°\end{pmatrix} = \begin{pmatrix}0 & -1 \\ 1 & 0\end{pmatrix}$$Vektor $(3,1)^T$ se otočil o $90°$ proti směru hodinových ručiček na $(-1, 3)^T$.
Nechť $\mathcal{Z}$ je rotace o $\varphi$ a $\mathcal{T}$ je souměrnost podle osy $x$ v $\mathbb{R}^2$. Určete matici složeného zobrazení $\mathcal{T} \circ \mathcal{Z}$ (nejprve rotace, pak souměrnost).
Poznámka: $\mathbf{M}_{\mathcal{Z} \circ \mathcal{T}} = \mathbf{M}_{\mathcal{Z}} \cdot \mathbf{M}_{\mathcal{T}} = \begin{pmatrix}\cos\varphi & \sin\varphi \\ \sin\varphi & -\cos\varphi\end{pmatrix}$, což je jiná matice! Na pořadí skládání záleží.
Cvičení k procvičení
Cvičení 1: Určete matici lineárního zobrazení $\mathcal{Z}(\vec{x}) = \begin{pmatrix}x_2 + x_3 \\ 2x_1 + x_3 \\ 3x_1 - x_2 + x_3\end{pmatrix}$ a dimenze prostorů $\mathbb{V}$ (vzor) a $\mathbb{W}$ (obraz).
$\mathbf{M}_{\mathcal{Z}} = \begin{pmatrix}0&1&1\\2&0&1\\3&-1&1\end{pmatrix}$, $\dim(\mathbb{V}) = 3$, $\dim(\mathbb{W}) = 3$.
Cvičení 2: Určete matici LZO $\mathcal{Z}: \mathbb{R}^4 \to \mathbb{R}^2$ daného předpisem $\mathcal{Z}(\vec{x}) = \begin{pmatrix}x_1 - x_2 + x_3 + x_4 \\ x_1 - x_2 + 2x_4\end{pmatrix}$.
$\mathbf{M}_{\mathcal{Z}} = \begin{pmatrix}1&-1&1&1\\1&-1&0&2\end{pmatrix}$, $\dim(\mathbb{V}) = 4$, $\dim(\mathbb{W}) = 2$.
Cvičení 3: Určete jádro zobrazení $\text{Ker}(\mathcal{Z})$, jeho bázi a dimenzi pro $\mathbf{M}_{\mathcal{Z}} = \begin{pmatrix}1&1&0\\1&0&-2\\0&1&2\end{pmatrix}$.
$\text{Ker}(\mathcal{Z}) = \{\vec{o}\}$, $\dim(\text{Ker}(\mathcal{Z})) = 0$. Zobrazení je prosté.
Cvičení 4: Určete jádro zobrazení s maticí $\mathbf{M}_{\mathcal{Z}} = \begin{pmatrix}1&1&0\\1&0&-2\\0&1&2\end{pmatrix}$. Je zobrazení prosté? Pokud ano, určete matici inverzního zobrazení.
$\text{Ker}(\mathcal{Z}) = \{\vec{o}\}$, zobrazení je prosté. $\mathbf{M}_{\mathcal{Z}}^{-1} = \begin{pmatrix}0&0&1\\0&1&-1\\1&-1&1\end{pmatrix}$.
Cvičení 5: Určete matici složených zobrazení $\mathcal{Z} \circ \mathcal{T}$ a $\mathcal{T} \circ \mathcal{Z}$ pro:
$$\mathbf{M}_{\mathcal{Z}} = \begin{pmatrix}0&1\\1&2\\2&0\end{pmatrix}, \quad \mathbf{M}_{\mathcal{T}} = \begin{pmatrix}0&1&-1\\1&-1&0\end{pmatrix}$$$\mathbf{M}_{\mathcal{Z} \circ \mathcal{T}} = \begin{pmatrix}1&-1&0\\2&-1&-1\\0&2&-2\end{pmatrix}$, $\mathbf{M}_{\mathcal{T} \circ \mathcal{Z}} = \begin{pmatrix}-1&2\\-1&-1\end{pmatrix}$.
Cvičení 6: Ověřte, že rotace $\mathbf{R}$ o úhel $\alpha$ a inverzní rotace $\mathbf{R}^{-1}$ splňují $\mathbf{R} \cdot \mathbf{R}^{-1} = \mathbf{E}$. Využijte vztah $\cos^2\alpha + \sin^2\alpha = 1$.
$\mathbf{R}^{-1} = \begin{pmatrix}\cos\alpha&\sin\alpha\\-\sin\alpha&\cos\alpha\end{pmatrix}$ (rotace o $-\alpha$). Součin dá $\mathbf{E}$ díky goniometrickým identitám.
Shrnutí
Klíčové vzorce a pojmy
- Linearita: $f(\alpha\vec{x} + \beta\vec{y}) = \alpha f(\vec{x}) + \beta f(\vec{y})$
- Matice zobrazení: sloupce = obrazy bázových vektorů
- Jádro: $\text{Ker}\,f = \{\vec{x} \mid f(\vec{x}) = \vec{o}\}$
- Obraz: $Rf = \{f(\vec{x}) \mid \vec{x} \in U\}$
- Rank-Nullity: $\dim U = \dim \text{Ker}\,f + \dim Rf$
- Prostost: $f$ prosté $\Leftrightarrow$ $\text{Ker}\,f = \{\vec{o}\}$
- Rotace: $\mathbf{R}(\varphi) = \begin{pmatrix}\cos\varphi&-\sin\varphi\\\sin\varphi&\cos\varphi\end{pmatrix}$
- Složené zobrazení: $\mathbf{M}_{g \circ f} = \mathbf{M}_g \cdot \mathbf{M}_f$
- Záměna pořadí matic u složeného zobrazení — $g \circ f$ odpovídá $\mathbf{N}\mathbf{M}$, ne $\mathbf{M}\mathbf{N}$!
- Zapomenutí ověřit obě vlastnosti linearity (aditivita i homogenita)
- Záměna jádra a obrazu — jádro je v prostoru vzorů, obraz v prostoru obrazů
- Chybné odvození matice, když zadané vektory nejsou standardní báze