%% nav-debut : généré par gen_navigation.py, ne pas modifier à la main %% > [!nav] > ↩ [[Analyse et Données/Mathématiques/Espaces vectoriels/Espaces vectoriels|Accueil · Espaces vectoriels]] > > | [[Analyse et Données/Mathématiques/Espaces vectoriels/Cours 1 - Espaces vectoriels\|← Cours 1 - Espaces vectoriels]] | [[Analyse et Données/Mathématiques/Espaces vectoriels/Exercices - Espaces vectoriels\|Exercices - Espaces vectoriels →]] | > |:---|---:| %% nav-fin %% # ▷ Familles génératrices, familles libres, bases et dimension > Page d'accueil de la compétence: [[Analyse et Données/Mathématiques/Espaces vectoriels/Espaces vectoriels|Espaces vectoriels]] >[!example] Contenu du cours Dans ce cours, nous abordons les notions suivantes : >- Combinaisons linéaires de vecteurs >- Familles génératrices >- Familles libres >- Base et dimension d'un espace vectoriel >- Opérations sur les sous-espaces vectoriels # I - Combinaisons linéaires et familles génératrices Ces concepts sont fondamentaux pour comprendre comment les vecteurs "génèrent" d'autres vecteurs au sein d'un espace. ## Combinaison linéaire > [!definition] Combinaison Linéaire > Soit $E$ un $\mathbb{K}$-espace vectoriel et $v_1, v_2, \dots, v_p$ des vecteurs de $E$. > Un vecteur $w \in E$ est une **combinaison linéaire** des vecteurs $v_1, \dots, v_p$ s'il existe des scalaires $\lambda_1, \lambda_2, \dots, \lambda_p \in \mathbb{K}$ tels que : > $ w = \lambda_1 v_1 + \lambda_2 v_2 + \dots + \lambda_p v_p = \sum_{i=1}^p \lambda_i v_i $ > [!example] Combinaisons linéaires dans $\mathbb{R}^3$ > Dans $\mathbb{R}^3$, soit $v_1 = (1,0,0)$ et $v_2 = (0,1,0)$. > Le vecteur $w = (3, -2, 0)$ est une combinaison linéaire de $v_1$ et $v_2$ car $w = 3v_1 - 2v_2$. > Le vecteur $u = (1,1,1)$ n'est pas une combinaison linéaire de $v_1$ et $v_2$ car sa troisième composante est non nulle, et toute combinaison linéaire de $v_1$ et $v_2$ aura une troisième composante nulle. > [!definition] Sous-espace engendré > Soit $E$ un $\mathbb{K}$-espace vectoriel et $S = \{v_1, v_2, \dots, v_p\}$ une partie de $E$. > L'ensemble de toutes les combinaisons linéaires des vecteurs de $S$ est appelé le **sous-espace vectoriel engendré par $S$**, noté $\text{Vect}(S)$ ou $\text{Vect}(v_1, \dots, v_p)$. > $ \text{Vect}(S) = \{ \sum_{i=1}^p \lambda_i v_i \mid \lambda_i \in \mathbb{K} \} $ > C'est le plus petit sous-espace vectoriel de $E$ contenant tous les vecteurs de $S$. > [!note] Propriété > $\text{Vect}(S)$ est toujours un sous-espace vectoriel de $E$. > - $0_E \in \text{Vect}(S)$ (prendre tous les $\lambda_i = 0$). > - La somme de deux combinaisons linéaires est une combinaison linéaire. > - Le produit d'une combinaison linéaire par un scalaire est une combinaison linéaire. ## Familles Génératrices > [!definition] Famille Génératrice > Une famille de vecteurs $S = \{v_1, v_2, \dots, v_p\}$ est une **famille génératrice** de l'espace vectoriel $E$ si tout vecteur de $E$ peut s'écrire comme une combinaison linéaire des vecteurs de $S$. Autrement dit, si $E = \text{Vect}(S)$. > [!example] Famille Génératrice dans $\mathbb{R}^3$ > La famille $\{(1,0,0), (0,1,0), (0,0,1)\}$ est une famille génératrice de $\mathbb{R}^3$, car tout vecteur $(x,y,z) \in \mathbb{R}^3$ peut s'écrire $x(1,0,0) + y(0,1,0) + z(0,0,1)$. > [!warning] Remarque > Une famille génératrice n'est pas unique et peut contenir des vecteurs "superflus". # III - Familles libres Le concept de liberté (ou d'indépendance linéaire) est essentiel pour éviter la redondance dans la description des vecteurs. > [!definition] Famille Libre (Indépendante Linéairement) > Une famille de vecteurs $S = \{v_1, v_2, \dots, v_p\}$ d'un espace vectoriel $E$ est dite **libre** (ou **linéairement indépendante**) si la seule combinaison linéaire de ces vecteurs qui est égale au vecteur nul est la combinaison linéaire triviale, c'est-à-dire : > $ \lambda_1 v_1 + \lambda_2 v_2 + \dots + \lambda_p v_p = 0_E \implies \lambda_1 = \lambda_2 = \dots = \lambda_p = 0 $ > [!definition] Famille Liée (Dépendante Linéairement) > Une famille de vecteurs qui n'est pas libre est dite **liée** (ou **linéairement dépendante**). > Cela signifie qu'il existe une combinaison linéaire non triviale (c'est-à-dire avec au moins un $\lambda_i \neq 0$) qui est égale au vecteur nul. > Dans ce cas, au moins un des vecteurs peut être exprimé comme une combinaison linéaire des autres. Il est "redondant". > [!tip] Comment vérifier la liberté d'une famille ? > 1. Écrire l'équation $\lambda_1 v_1 + \dots + \lambda_p v_p = 0_E$. > 2. Traduire cette équation en un **système linéaire homogène** sur les scalaires $\lambda_i$. > 3. Résoudre ce système. > * Si la seule solution est $\lambda_1 = \dots = \lambda_p = 0$, la famille est libre. > * Si il existe des solutions non triviales (i.e. au moins un $\lambda_i \neq 0$), la famille est liée. >[!example] Exemple : Famille libre dans $\mathbb{R}^3$ Soit la famille $\mathcal{S}=\left\{ v_1=(1,0,0), v_2=(0,1,0), v_3=(0,0,1) \right\}. $ On cherche $\lambda_1, \lambda_2, \lambda_3$ tels que $\lambda_1 v_1 + \lambda_2 v_2 + \lambda_3 v_3 = (0,0,0)$. > $\lambda_1(1,0,0) + \lambda_2(0,1,0) + \lambda_3(0,0,1) = (0,0,0)$ > $( \lambda_1, \lambda_2, \lambda_3 ) = (0,0,0)$ > Cela donne le système : > $ \begin{cases} \lambda_1=0 \\ \lambda_2 =0 \\ \lambda_3 = 0 \end{cases} $ Donc, la famille $\mathcal{S}$ est libre. > [!example] Exemple : Famille Liée dans $\mathbb{R}^3$ > Soit la famille $S = \{v_1=(1,0,0), v_2=(0,1,0), v_3=(2,3,0)\}$. > On cherche $\lambda_1, \lambda_2, \lambda_3$ tels que $\lambda_1 v_1 + \lambda_2 v_2 + \lambda_3 v_3 = (0,0,0)$. > $\lambda_1(1,0,0) + \lambda_2(0,1,0) + \lambda_3(2,3,0) = (0,0,0)$ > $( \lambda_1 + 2\lambda_3, \lambda_2 + 3\lambda_3, 0 ) = (0,0,0)$ > Cela donne le système : > $ \begin{cases} \lambda_1 + 2\lambda_3 = 0 \\ \lambda_2 + 3\lambda_3 = 0 \\ 0 = 0 \end{cases} $ > On peut choisir $\lambda_3 = 1$. Alors $\lambda_1 = -2$ et $\lambda_2 = -3$. > Donc $-2v_1 - 3v_2 + 1v_3 = 0_E$. C'est une combinaison linéaire non triviale qui donne le vecteur nul. > La famille $S$ est donc liée. On remarque que $v_3 = 2v_1 + 3v_2$. # IV - Bases et dimension d'un espace Vectoriel ## Bases Une base est le "juste milieu" : une famille de vecteurs qui génère l'espace sans aucune redondance. > [!definition] Base d'un Espace Vectoriel > Une famille de vecteurs $\mathcal{B} = \{e_1, e_2, \dots, e_n\}$ d'un espace vectoriel $E$ est une **base** de $E$ si elle est à la fois : > 1. Une famille **génératrice** de $E$ (tout vecteur de $E$ s'écrit comme combinaison linéaire des $e_i$). > 2. Une famille **libre** (la combinaison linéaire nulle est unique et triviale). > [!theorem] Caractérisation des Bases > Une famille $\mathcal{B} = \{e_1, e_2, \dots, e_n\}$ est une base de $E$ si et seulement si tout vecteur $v \in E$ s'écrit de manière **unique** comme une combinaison linéaire des vecteurs de $\mathcal{B}$ : > $ v = x_1 e_1 + x_2 e_2 + \dots + x_n e_n $ > Les scalaires $x_1, x_2, \dots, x_n$ sont appelés les **coordonnées** du vecteur $v$ dans la base $\mathcal{B}$. > [!example] Base Canonique de $\mathbb{R}^n$ > La famille $\mathcal{B}_c = \{e_1, e_2, \dots, e_n\}$ où $e_i$ est le vecteur dont la $i$-ème composante est 1 et toutes les autres sont 0 (ex: $e_1=(1,0,\dots,0)$, $e_2=(0,1,\dots,0)$) est la **base canonique** de $\mathbb{R}^n$. > * Elle est génératrice : tout $(x_1, \dots, x_n) = x_1 e_1 + \dots + x_n e_n$. > * Elle est libre : $\sum \lambda_i e_i = (\lambda_1, \dots, \lambda_n) = (0, \dots, 0) \implies \lambda_i=0$ pour tout $i$. > [!example] Base Canonique de $\mathbb{R}_n[X]$ > L'ensemble des polynômes de degré au plus $n$, $\mathbb{R}_n[X]$, a pour base canonique $\mathcal{B}_c = \{1, X, X^2, \dots, X^n\}$. > Un polynôme $P(X) = a_0 + a_1 X + \dots + a_n X^n$ est une combinaison linéaire unique de ces monômes. ## Dimension d'un Espace Vectoriel La notion de dimension est l'une des plus importantes en algèbre linéaire. Elle quantifie la "taille" d'un espace vectoriel. > [!theorem] Théorème de la Base Incomplète (Admis) > De toute famille génératrice finie d'un espace vectoriel $E$, on peut extraire une base de $E$. > De toute famille libre finie d'un espace vectoriel $E$, on peut la compléter en une base de $E$. > [!theorem] Théorème de la dimension > Si un espace vectoriel $E$ admet une base finie, alors toutes les bases de $E$ ont le même nombre de vecteurs. Ce théorème est fondamental car il nous assure que la "taille" d'un espace vectoriel (le nombre de vecteurs dans une base) est une propriété intrinsèque de l'espace, indépendante du choix de la base. > [!definition] Dimension d'un Espace Vectoriel > Si un espace vectoriel $E$ admet une base finie, on dit que $E$ est de **dimension finie**. Le nombre de vecteurs de n'importe quelle base de $E$ est appelé la **dimension de $E$**, notée $\dim(E)$. > Si $E = \{0_E\}$, alors $\dim(E) = 0$. > Si $E$ n'admet pas de base finie (comme $\mathbb{R}[X]$), on dit qu'il est de **dimension infinie**. > [!example] Dimensions usuelles > * $\dim(\mathbb{R}^n) = n$ > * $\dim(\mathbb{C}^n) = n$ (sur le corps $\mathbb{C}$) > * $\dim(\mathbb{R}_n[X]) = n+1$ (car la base est $\{1, X, \dots, X^n\}$) > * $\dim(\mathcal{M}_{n,p}(\mathbb{R})) = n \times p$ > [!note] Propriétés de la dimension > Soit $E$ un espace vectoriel de dimension $n$. > * Toute famille libre de $n$ vecteurs de $E$ est une base de $E$. > * Toute famille génératrice de $n$ vecteurs de $E$ est une base de $E$. > * Toute famille de plus de $n$ vecteurs de $E$ est liée. > * Toute famille de moins de $n$ vecteurs ne peut pas être génératrice de $E$. ## Dimension d'un Sous-espace > [!theorem] Dimension d'un Sous-espace > Soit $F$ un sous-espace vectoriel d'un espace vectoriel $E$ de dimension finie. Alors $F$ est aussi de dimension finie, et $\dim(F) \le \dim(E)$. > De plus, $\dim(F) = \dim(E)$ si et seulement si $F = E$. ## Méthodes Pratiques de Détermination de Bases et Dimensions La détermination d'une base et de la dimension d'un sous-espace est une tâche courante. Elle s'appuie fortement sur les techniques de résolution de systèmes linéaires (pivot de Gauss). ### Cas d'un Sous-espace défini par des équations Soit $F$ un sous-espace de $\mathbb{R}^n$ défini par un système d'équations linéaires homogènes. Exemple : $F = \{(x,y,z,t) \in \mathbb{R}^4 \mid x-y+2z=0 \text{ et } y+z-t=0 \}$. **Méthode :** 1. Résoudre le système d'équations pour exprimer certaines variables en fonction des autres. 2. Substituer ces expressions dans le vecteur général. 3. Factoriser le vecteur obtenu pour faire apparaître les vecteurs de la base. > [!example] Détermination de base et dimension > Reprenons $F = \{(x,y,z,t) \in \mathbb{R}^4 \mid x-y+2z=0 \text{ et } y+z-t=0 \}$. > 1. Le système est : > $ \begin{cases} x-y+2z = 0 \\ y+z-t = 0 \end{cases} $ > De la deuxième équation, $t = y+z$. > De la première équation, $x = y-2z$. > 2. Un vecteur $(x,y,z,t) \in F$ peut s'écrire : > $(y-2z, y, z, y+z)$ > 3. On peut décomposer ce vecteur en fonction des variables libres ($y$ et $z$) : > $(y-2z, y, z, y+z) = (y,y,0,y) + (-2z,0,z,z)$ > $= y(1,1,0,1) + z(-2,0,1,1)$ > > Les vecteurs $v_1=(1,1,0,1)$ et $v_2=(-2,0,1,1)$ engendrent $F$. > Vérifions s'ils sont libres : $\lambda_1 v_1 + \lambda_2 v_2 = 0$. > $(\lambda_1 - 2\lambda_2, \lambda_1, \lambda_2, \lambda_1 + \lambda_2) = (0,0,0,0)$. > De $\lambda_1=0$ et $\lambda_2=0$, on obtient bien la seule solution triviale. > > Donc, $\{v_1, v_2\}$ est une base de $F$. > La dimension de $F$ est $\dim(F) = 2$. ### Cas d'un Sous-espace engendré par des vecteurs Soit $F = \text{Vect}(v_1, v_2, \dots, v_p)$ un sous-espace de $\mathbb{R}^n$ engendré par une famille de vecteurs. La famille $\{v_1, \dots, v_p\}$ est génératrice par définition, mais elle n'est pas nécessairement libre. Pour trouver une base, il faut en extraire une sous-famille libre et génératrice. **Méthode :** 1. Construire une matrice $M$ dont les colonnes (ou les lignes, c'est équivalent) sont les vecteurs $v_i$. 2. Appliquer l'algorithme de Gauss (pivot de Gauss) pour réduire la matrice à sa forme échelonnée. 3. Les colonnes (ou lignes) de la matrice de départ correspondant aux colonnes pivots de la matrice échelonnée forment une base du sous-espace. * Si les vecteurs sont mis en colonnes, les colonnes de la matrice *initiale* qui contiennent les pivots sont une base. * Si les vecteurs sont mis en lignes, les lignes non nulles de la matrice *échelonnée* sont une base. > [!example] Détermination de base et dimension > Soit $F = \text{Vect}(v_1, v_2, v_3)$ avec $v_1=(1,2,1)$, $v_2=(2,1,-1)$, $v_3=(3,3,0)$ dans $\mathbb{R}^3$. > On écrit ces vecteurs en lignes dans une matrice et on échelonne : > $ M = \begin{pmatrix} 1 & 2 & 1 \\ 2 & 1 & -1 \\ 3 & 3 & 0 \end{pmatrix} $ > $L_2 \leftarrow L_2 - 2L_1$ > $L_3 \leftarrow L_3 - 3L_1$ > $ \sim \begin{pmatrix} 1 & 2 & 1 \\ 0 & -3 & -3 \\ 0 & -3 & -3 \end{pmatrix} $ > $L_3 \leftarrow L_3 - L_2$ > $ \sim \begin{pmatrix} 1 & 2 & 1 \\ 0 & -3 & -3 \\ 0 & 0 & 0 \end{pmatrix} $ > Les lignes non nulles de la matrice échelonnée sont $(1,2,1)$ et $(0,-3,-3)$. > Ces deux vecteurs sont libres (ils ne sont pas colinéaires) et engendrent $F$. > Donc, $\{(1,2,1), (0,-3,-3)\}$ est une base de $F$. > La dimension de $F$ est $\dim(F) = 2$. > (On peut aussi dire que $v_1$ et $v_2$ sont une base car les colonnes 1 et 2 de la matrice initiale correspondent aux pivots). > [!warning] Attention > Si vous mettez les vecteurs en lignes pour échelonner, les vecteurs de la base sont les lignes non nulles de la matrice *échelonnée*. > Si vous mettez les vecteurs en colonnes pour échelonner, les vecteurs de la base sont les colonnes *initiales* qui correspondent aux colonnes pivots de la matrice échelonnée. # V - Opérations sur les Sous-espaces On peut combiner des sous-espaces pour en créer de nouveaux. ## Intersection > [!theorem] Intersection de Sous-espaces > L'intersection de deux sous-espaces vectoriels $F_1$ et $F_2$ d'un espace vectoriel $E$, notée $F_1 \cap F_2$, est toujours un sous-espace vectoriel de $E$. > [!example] Preuve (rapide) > 1. $0_E \in F_1$ et $0_E \in F_2$, donc $0_E \in F_1 \cap F_2$. L'intersection est non vide. > 2. Soient $u, v \in F_1 \cap F_2$ et $\lambda, \mu \in \mathbb{K}$. > Alors $u, v \in F_1$ et $u, v \in F_2$. > Comme $F_1$ est un s.e.v., $\lambda u + \mu v \in F_1$. > Comme $F_2$ est un s.e.v., $\lambda u + \mu v \in F_2$. > Donc $\lambda u + \mu v \in F_1 \cap F_2$. > L'intersection est bien un sous-espace vectoriel. ## Somme > [!definition] Somme de Sous-espaces > Soient $F_1$ et $F_2$ deux sous-espaces vectoriels de $E$. La **somme** de $F_1$ et $F_2$, notée $F_1 + F_2$, est l'ensemble : > $ F_1 + F_2 = \{ u+v \mid u \in F_1 \text{ et } v \in F_2 \} $ > [!theorem] La somme est un sous-espace vectoriel > La somme $F_1 + F_2$ de deux sous-espaces vectoriels $F_1$ et $F_2$ d'un espace vectoriel $E$ est un sous-espace vectoriel de $E$. > [!warning] L'union n'est généralement pas un sous-espace vectoriel > L'union $F_1 \cup F_2$ de deux sous-espaces vectoriels n'est *pas* toujours un sous-espace vectoriel. > * Prenez $F_1 = \text{Vect}((1,0))$ (l'axe des $x$) et $F_2 = \text{Vect}((0,1))$ (l'axe des $y$) dans $\mathbb{R}^2$. > * $(1,0) \in F_1 \cup F_2$ et $(0,1) \in F_1 \cup F_2$. > * Mais $(1,0) + (0,1) = (1,1)$ n'appartient ni à $F_1$ ni à $F_2$, donc $(1,1) \notin F_1 \cup F_2$. > * Donc $F_1 \cup F_2$ n'est pas stable par addition. ## Somme Directe Un cas particulier important de somme est la somme directe. > [!definition] Somme Directe > Soient $F_1$ et $F_2$ deux sous-espaces vectoriels de $E$. On dit que $E$ est la **somme directe** de $F_1$ et $F_2$, et on note $E = F_1 \oplus F_2$, si les deux conditions suivantes sont satisfaites : > 1. $E = F_1 + F_2$ > 2. $F_1 \cap F_2 = \{0_E\}$ (leur intersection est réduite au vecteur nul) > > Cela signifie que tout vecteur $w \in E$ peut s'écrire de manière **unique** comme $w = u+v$ avec $u \in F_1$ et $v \in F_2$. ## Formule de Grassmann La formule de Grassmann relie les dimensions de la somme et de l'intersection de deux sous-espaces. > [!theorem] Formule de Grassmann > Soient $F_1$ et $F_2$ deux sous-espaces vectoriels de dimension finie d'un espace vectoriel $E$. Alors : > $ \dim(F_1 + F_2) = \dim(F_1) + \dim(F_2) - \dim(F_1 \cap F_2) $ > [!note] Cas de la somme directe > Si la somme est directe ($F_1 \cap F_2 = \{0_E\}$), alors $\dim(F_1 \cap F_2) = 0$. > La formule de Grassmann devient alors : > $ \dim(F_1 \oplus F_2) = \dim(F_1) + \dim(F_2) $ > C'est une propriété très utile pour vérifier qu'une somme est directe ou pour calculer des dimensions. # ➡️ C'est la fin - Cours précèdent: [[Analyse et Données/Mathématiques/Espaces vectoriels/Cours 1 - Espaces vectoriels|Cours 1 - Espaces vectoriels]] - Prochain cours: [[Analyse et Données/Mathématiques/Espaces vectoriels/Exercices - Espaces vectoriels|Exercices - Espaces vectoriels]] - Page d'accueil de la compétence: [[Analyse et Données/Mathématiques/Espaces vectoriels/Espaces vectoriels|Espaces vectoriels]] - Page d'accueil du domaine: [[Analyse et Données/Mathématiques/Mathématiques|Mathématiques]] # 🗓️ Historique - Rédigé par: [[Antonia JABBOUR]] - Dernière MAJ: `21-juillet-2026` %% nav-debut : généré par gen_navigation.py, ne pas modifier à la main %% > [!nav] > ↩ [[Analyse et Données/Mathématiques/Espaces vectoriels/Espaces vectoriels|Accueil · Espaces vectoriels]] > > | [[Analyse et Données/Mathématiques/Espaces vectoriels/Cours 1 - Espaces vectoriels\|← Cours 1 - Espaces vectoriels]] | [[Analyse et Données/Mathématiques/Espaces vectoriels/Exercices - Espaces vectoriels\|Exercices - Espaces vectoriels →]] | > |:---|---:| %% nav-fin %%