From de44d6cedf9d834819fa605e38a9c12bf03de9d8 Mon Sep 17 00:00:00 2001
From: Anthony Debucquoy <debucquoy.anthony@gmail.com>
Date: Tue, 25 Apr 2023 10:06:00 +0200
Subject: [PATCH] Matrix -> AL

---
 src/math/all/chap1.md | 4 ++++
 src/math/all/chap2.md | 8 +++++++-
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/src/math/all/chap1.md b/src/math/all/chap1.md
index f78b92e..55ed36d 100644
--- a/src/math/all/chap1.md
+++ b/src/math/all/chap1.md
@@ -63,6 +63,10 @@ Qu'est ce que des vecteur linéairement dépendants ?
 
 Un ensemble de vecteurs linérairement indépendant est appelé une **Partie ou famille libre **
 
+- Soit \\( L: V_1 \to V_2 \\) Une application linéaire tq \\( Ker(L) = {0} \\) 
+    - Si \\( \\{ v_1, ... v_k \\} \\) est une famille libre dans \\( V_1 \\) 
+        - Alors \\( \\{ L(v_1), ..., L(v_2) \\} \\)  est une famille libre dans \\( V_2 \\) 
+
 ## Base
 
 - Soit \\( V \subseteq \mathbb{R}^n \\) un SEV
diff --git a/src/math/all/chap2.md b/src/math/all/chap2.md
index c1492a4..20daf44 100644
--- a/src/math/all/chap2.md
+++ b/src/math/all/chap2.md
@@ -35,7 +35,13 @@ Nous avons vu les fonctions:
 - Soit \\( L: V_1 \to V_2 \\) 
     - \\( Dim(Ker(L)) + Dim(Im(L)) = Dim(V_1) \\) 
 
-## Application Linéaire → Matrix
+## Matrice → Application Linéaire
+
+- Soit \\( M \in \mathbb{R}^{n \times m} \\) 
+    - L'application linéaire associée à \\( M \\) notée \\( L_M \\) 
+        - \\( L_M : \mathbb{R}^m \to \mathbb{R}^n \quad \text{ définit par } L_M(v)= \underset{n \times m}{M} \cdot \underset{m \times 1}{v} \\) 
+
+## Application Linéaire → Matrice
 
 \\[
     L: V_1 \to V_2 \leadsto M_L^{B_1 \to B_2}