# Linjära operatorer & Sammansättningar > **Föreläsning:** V2L3 · **Ämne:** Linjär algebra > **Förkunskaper:** Linjära avbildningar, standardmatrisen ([[V2L2 M0067M]]) --- ## Ordlista svenska ↔ engelska | Svenska | Engelska | |---|---| | Linjär operator | Linear operator | | Sammansättning | Composition | | Spegling | Reflection | | Rotation | Rotation | | Projektion | Projection | | Idempotent | Idempotent | | Injektiv (en-till-en) | Injective (one-to-one) | --- ## 1. Linjära avbildningar — Repetition  ### Fundamental sats En avbildning $T: \mathbb{R}^m \to \mathbb{R}^n$ är linjär om och endast om den kan beskrivas som en matris: $ \boxed{T \text{ linjär} \Longleftrightarrow T = T_A} $ ### Egenskaper för linjära avbildningar | Egenskap | Definition | |----------|------------| | **Additiv** | $T(\vec{x} + \vec{y}) = T(\vec{x}) + T(\vec{y})$ | | **Homogen** | $T(c\vec{x}) = cT(\vec{x})$ | | **Linjär** | Både additiv och homogen | --- ## 2. Standardbasvektorer $ \vec{e}_1 = \begin{pmatrix} 1 \\ 0 \\ \vdots \\ 0 \end{pmatrix}, \quad \vec{e}_2 = \begin{pmatrix} 0 \\ 1 \\ \vdots \\ 0 \end{pmatrix}, \quad \ldots \quad \vec{e}_n = \begin{pmatrix} 0 \\ 0 \\ \vdots \\ 1 \end{pmatrix} $ **Standardmatrisen:** $ A = [T(\vec{e}_1) \quad T(\vec{e}_2) \quad \cdots \quad T(\vec{e}_n)] $ --- ## 3. Linjära operatorer i $\mathbb{R}^2$ > [3B1B: Linear transformations](https://youtu.be/kYB8IZa5AuE) · [interaktiv GeoGebra](https://www.geogebra.org/m/VjhNaB8V) ### 3.1 Spegling **Spegling genom en linje som går genom origo.** **Tillvägagång:** Gå vinkelrätt mot speglingslinjen och gå lika långt åt andra hållet. | Spegling | Matris | |----------|--------| | I x-axeln | $S = \begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix}$ | | I y-axeln | $S = \begin{bmatrix} -1 & 0 \\ 0 & 1 \end{bmatrix}$ | | I linjen $y = x$ | $S = \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix}$ | > [!note]- Varför måste speglingslinjen gå genom origo? > Annars är avbildningen inte linjär (den bevarar inte nollvektorn). --- ### 3.2 Projektion **Ortogonal projektion på en linje genom origo.** | Projektion | Matris | |------------|--------| | På x-axeln | $P = \begin{bmatrix} 1 & 0 \\ 0 & 0 \end{bmatrix}$ | | På y-axeln | $P = \begin{bmatrix} 0 & 0 \\ 0 & 1 \end{bmatrix}$ | | På linjen $y = x$ | $P = \begin{bmatrix} \frac{1}{2} & \frac{1}{2} \\ \frac{1}{2} & \frac{1}{2} \end{bmatrix}$ | --- ### 3.3 Rotation i $\mathbb{R}^2$ **Rotation moturs med vinkel $\theta$:** $ \boxed{R_\theta = \begin{bmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{bmatrix}} $ **Härledning:** $ \vec{x} = \begin{pmatrix} x \\ y \end{pmatrix} = \begin{pmatrix} r\cos\phi \\ r\sin\phi \end{pmatrix} $ $ R_\theta(\vec{x}) = \begin{pmatrix} r\cos(\phi + \theta) \\ r\sin(\phi + \theta) \end{pmatrix} $ Använd additionsformlerna för att få rotationsmatrisen. > [!example]- Rotation $\frac{\pi}{3}$: Vad avbildas på $(1, 2)$? > > $ > R_{\frac{\pi}{3}} = \begin{bmatrix} \cos\frac{\pi}{3} & -\sin\frac{\pi}{3} \\ \sin\frac{\pi}{3} & \cos\frac{\pi}{3} \end{bmatrix} = \begin{bmatrix} \frac{1}{2} & -\frac{\sqrt{3}}{2} \\ \frac{\sqrt{3}}{2} & \frac{1}{2} \end{bmatrix} > $ > > Lös $R_{\frac{\pi}{3}} \vec{x} = \begin{pmatrix} 1 \\ 2 \end{pmatrix}$ > [!note]- Rotation medurs > 30° medurs = $-30°$ moturs, så använd $R_{-30°}$ --- ## 4. Sammansättningar av avbildningar > [3B1B: Matrix multiplication as composition](https://youtu.be/XkY2DOUCWMU) ### 4.1 Definition Givet: - $S: \mathbb{R}^k \to \mathbb{R}^m$ - $T: \mathbb{R}^n \to \mathbb{R}^k$ Sammansättningen: $ S \circ T: \mathbb{R}^n \to \mathbb{R}^m, \quad (S \circ T)(\vec{x}) = S(T(\vec{x})) $ ### 4.2 Satser **Sats 1:** Om $S$ och $T$ är linjära, så är $S \circ T$ linjär. **Sats 2:** Om $S = S_A$ och $T = T_B$, så är: $ \boxed{S \circ T = T_{AB}} $ **Bevis:** $(S \circ T)(\vec{x}) = S(T(\vec{x})) = S(B\vec{x}) = A(B\vec{x}) = (AB)\vec{x}$ **Formel:** $ T_A \circ T_B = T_{AB} $ > [!warning]- Matrismultiplikation är ej kommutativ > $AB \neq BA$ i allmänhet! Ordningen spelar roll. > [!note]- Kan man alltid gå tillbaka? > Nej, det kräver att avbildningen är **injektiv** (en-till-en). --- ## 5. Inverser av linjära avbildningar ### Sats $ \boxed{T_A^{-1} = T_{A^{-1}}} $ **Bevis:** $ T_{A^{-1}} \circ T_A(\vec{x}) = T_{A^{-1}}(A\vec{x}) = A^{-1}(A\vec{x}) = I\vec{x} = \vec{x} $ > [!note]- Krav > Avbildningen måste vara $T_A: \mathbb{R}^n \to \mathbb{R}^n$ (kvadratisk matris). --- ## 6. Exempel: Sammansatt avbildning > [!example]- Rotation följt av spegling > > **Problem:** Bestäm matrisen för avbildningen som: > 1. Först roterar $\frac{\pi}{3}$ moturs > 2. Sedan speglar i x-axeln > > På vad avbildas $\begin{pmatrix} 1 \\ 1 \end{pmatrix}$? > > --- > > **Steg 1: Rotationsmatris** > $ > R_{\frac{\pi}{3}} = \begin{bmatrix} \frac{1}{2} & -\frac{\sqrt{3}}{2} \\ \frac{\sqrt{3}}{2} & \frac{1}{2} \end{bmatrix} > $ > > **Steg 2: Speglingsmatris (i x-axeln)** > $ > S = \begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix} > $ > > **Steg 3: Sammansatt matris** (spegling $\circ$ rotation = $S \cdot R$) > $ > S \cdot R_{\frac{\pi}{3}} = \begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix} \begin{bmatrix} \frac{1}{2} & -\frac{\sqrt{3}}{2} \\ \frac{\sqrt{3}}{2} & \frac{1}{2} \end{bmatrix} = \begin{bmatrix} \frac{1}{2} & -\frac{\sqrt{3}}{2} \\ -\frac{\sqrt{3}}{2} & -\frac{1}{2} \end{bmatrix} > $ > > **Steg 4: Avbilda vektorn** > $ > \begin{bmatrix} \frac{1}{2} & -\frac{\sqrt{3}}{2} \\ -\frac{\sqrt{3}}{2} & -\frac{1}{2} \end{bmatrix} \begin{pmatrix} 1 \\ 1 \end{pmatrix} = \frac{1}{2} \begin{pmatrix} 1 - \sqrt{3} \\ -\sqrt{3} - 1 \end{pmatrix} > $ --- ## 7. Kvadrater av operatorer | Operator | Beräkning | Resultat | |----------|-----------|----------| | Spegling $S$ (i $y=x$) | $S^2 = S \circ S$ | $S^2 = I$ | | Projektion $P$ (på $y=x$) | $P^2 = P \circ P$ | $P^2 = P$ (idempotent) | | Rotation $R_\theta$ | $R_\theta^2 = R_\theta \circ R_\theta$ | $R_\theta^2 = R_{2\theta}$ | > [!example]- Beräkningar > > **Spegling i $y = x$:** > $ > S^2 = \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix} \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix} = I > $ > > **Projektion på $y = x$:** > $ > P^2 = \begin{bmatrix} \frac{1}{2} & \frac{1}{2} \\ \frac{1}{2} & \frac{1}{2} \end{bmatrix}^2 = \begin{bmatrix} \frac{1}{2} & \frac{1}{2} \\ \frac{1}{2} & \frac{1}{2} \end{bmatrix} = P > $ > > **Rotation:** > $ > R_\theta^2 = \begin{bmatrix} \cos 2\theta & -\sin 2\theta \\ \sin 2\theta & \cos 2\theta \end{bmatrix} = R_{2\theta} > $ --- ## 8. Inverser av operatorer | Operator | Invers | Kommentar | |----------|--------|-----------| | Spegling $S$ | $S^{-1} = S$ | Spegling är sin egen invers | | Projektion $P$ | **Existerar ej** | Singulär matris | | Rotation $R_\theta$ | $R_\theta^{-1} = R_{-\theta}$ | Rotera tillbaka | > [!warning]- Varför är projektionsmatrisen ej inverterbar? > Den är **singulär** — flera vektorer avbildas på samma punkt. > Projektionsmatriser är **aldrig** inverterbara. --- ## Resurser ### Videor - [3Blue1Brown: Linear transformations and matrices (kap 3)](https://youtu.be/kYB8IZa5AuE) — vad spegling, rotation och projektion gör geometriskt - [3Blue1Brown: Matrix multiplication as composition (kap 4)](https://youtu.be/XkY2DOUCWMU) — hur sammansatta avbildningar motsvarar matrismultiplikation - [3Blue1Brown: Three-dimensional linear transformations (kap 5)](https://youtu.be/rHLEWRxRGiM) - [3Blue1Brown: Inverse matrices, column space and null space (kap 7)](https://youtu.be/uQhTuRlWMxw) — inverser av avbildningar ### Interaktiva verktyg GeoGebra: Matrix Representation of Rotation — rotationsmatriser visualiserade <iframe src="https://www.geogebra.org/m/QPSKRQua" width="100%" height="800"></iframe> GeoGebra: 2D Linear Transformations <iframe src="https://www.geogebra.org/m/pDU4peV5" width="100%" height="800"></iframe> - [Falstad: Matrix Simulation](https://www.falstad.com/matrix/) — interaktiv 2D-transformation - [MatVis](https://shad.io/MatVis/) — sliders för matriskomponenter, egenvektorer - [Visualize It: Linear Transformations](https://visualize-it.github.io/linear_transformations/simulation.html) — skalning, rotation, skjuvning ### Wikipedia - [Rotation matrix](https://en.wikipedia.org/wiki/Rotation_matrix) - [Projection (linear algebra)](https://en.wikipedia.org/wiki/Projection_(linear_algebra)) - [Function composition](https://en.wikipedia.org/wiki/Function_composition) ### Fördjupning - [3Blue1Brown: Lesson page — Matrix multiplication](https://www.3blue1brown.com/lessons/matrix-multiplication) — interaktiva övningar