From e27ebeec23f81c597dd28ae1883ee040ce018481 Mon Sep 17 00:00:00 2001
From: Anthony Debucquoy <debucquoy.anthony@gmail.com>
Date: Mon, 24 Apr 2023 10:35:50 +0200
Subject: [PATCH] =?UTF-8?q?Tho=C3=A9rem=20du=20rang=20et=20Translation=20M?=
 =?UTF-8?q?atrice=20&=20App=20Lin=C3=A9aire?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/math/all/chap2.md | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/src/math/all/chap2.md b/src/math/all/chap2.md
index 2165b45..c1492a4 100644
--- a/src/math/all/chap2.md
+++ b/src/math/all/chap2.md
@@ -30,3 +30,26 @@ Nous avons vu les fonctions:
     - \\( Ker(L) = \\{ v \in V_1 \mid L(v)=0 \\} \\) Noyau de L
     - \\( Im(L) = \\{ v \in V_2 \mid \exists u \in V_1 \quad L(u) = v \\} \\) Image de L
 
+### Théorem du Rang
+
+- Soit \\( L: V_1 \to V_2 \\) 
+    - \\( Dim(Ker(L)) + Dim(Im(L)) = Dim(V_1) \\) 
+
+## Application Linéaire → Matrix
+
+\\[
+    L: V_1 \to V_2 \leadsto M_L^{B_1 \to B_2}
+\\]
+
+1) Choisir une Base \\( B_1 = \\{ e_1, ..., e_n \\} \text{ de } V_1 \text{ et } B_2 = \\{ E_1, ..., E_k \\} \text{ de } V_2\\)
+2) Pour chaques \\( e_i \in B_1 \text{, calculer} L(e_i)\\) 
+3) Pour chaques \\( e_i \in B_1 \text{, exprimer } L(e_i) \text{ comme combi. li. de } E_1 ... E_k \\)
+4) Transformation en matrice 
+
+## Composé d'application linéaires
+
+On parle de \\( L_2 \circ L_1 \\) pour \\( L: V_1 \to V_2 \to V_3 \\)
+
+On veut \\( M_{L_2 \circ L_1}^{B_1 \to B_3} \\)
+
+Pour ca on fait : \\( M_{L_2}^{B_2 \to B_3} * M_{L_2}^{B_1 \to B_2} \\)