Espaces vectoriels de dimension finie

Nous montrons que chaque opération préserve $\text{vect}(u_i{)}_{i\in I}$ en utilisant le Lemme 1.1 : $\text{vect}(A)=\text{vect}(B)$ si et seulement si $A\subset \text{vect}(B)$ et $B\subset \text{vect}(A)$.

(i) Permutation. L'enveloppe linéaire d'une famille ne dépend pas de l'ordre de ses vecteurs.

(ii) Multiplication par un scalaire $\mu \ne 0$. Supposons qu'on remplace $u_j$ par $\mu u_j$ (avec $\mu \ne 0$) pour un certain $j\in I$. Notons $(v_i)$ la famille obtenue. Tout vecteur de $(u_i)$ est combinaison linéaire de $(v_i)$ : pour $i\ne j$, $u_i=v_i$ ; pour $i=j$, $u_j={\mu }^{-1}{v}_j$. Donc $(u_i)\subset \text{vect}(v_i)$. Réciproquement, $v_j=\mu u_j\in \text{vect}(u_i)$, donc $(v_i)\subset \text{vect}(u_i)$. Par le Lemme 1.1, les deux enveloppes linéaires coïncident.

(iii) Ajout à $u_j$ d'une combinaison linéaire des autres. Soit $w=u_j+{\sum }_{i\ne j}{\alpha }_i{u}_i$. La famille $(v_i)$ est obtenue en remplaçant $u_j$ par $w$. Alors $w\in \text{vect}(u_i)$, donc $(v_i)\subset \text{vect}(u_i)$. Réciproquement, $u_j=w-{\sum }_{i\ne j}{\alpha }_i{u}_i\in \text{vect}(v_i)$ (car les $u_i$ pour $i\ne j$ sont des $v_i$), donc $(u_i)\subset \text{vect}(v_i)$. Par le Lemme 1.1, les enveloppes coïncident.

(iv) Suppression d'un $u_j$ combinaison linéaire des autres. Supposons $u_j={\sum }_{i\ne j}{\alpha }_i{u}_i$. La famille $(v_i{)}_{i\ne j}$ est obtenue en supprimant $u_j$. Clairement $\text{vect}(v_i)\subset \text{vect}(u_i)$. Réciproquement, $u_j={\sum }_{i\ne j}{\alpha }_i{u}_i\in \text{vect}(v_i)$, donc $\text{vect}(u_i)\subset \text{vect}(v_i)$. Les enveloppes coïncident.

(v) Adjonction d'un vecteur $w$ combinaison linéaire des $u_i$. Supposons $w={\sum }_{i\in I}{\alpha }_i{u}_i$. La famille $(v_i)=(u_i)\cup \{w\}$. Clairement $\text{vect}(u_i)\subset \text{vect}(v_i)$. Réciproquement, $w\in \text{vect}(u_i)$ et tous les $u_i$ sont dans $\text{vect}(u_i)$, donc $\text{vect}(v_i)\subset \text{vect}(u_i)$. Les enveloppes coïncident.

Nous traitons chaque point séparément.

Famille libre :

(i) Opérations du pivot de Gauss. Les opérations du pivot de Gauss (permutation, multiplication par scalaire non nul, ajout d'une combinaison linéaire) n'affectent pas l'enveloppe linéaire par la Proposition 1.1. Or la liberté d'une famille dans son enveloppe linéaire est conservée par ces opérations : si $(u_i)$ est libre et qu'on effectue l'opération (ii), supposons $\sum {\lambda }_i{v}_i=0$ où $v_j=\mu u_j$ ($\mu \ne 0$) et $v_i=u_i$ pour $i\ne j$. Alors $\mu {\lambda }_j{u}_j+{\sum }_{i\ne j}{\lambda }_i{u}_i=0$. Par liberté de $(u_i)$, tous les coefficients sont nuls, donc ${\lambda }_i=0$ pour tout $i$. Les cas (i) et (iii) se traitent de même.

(ii) Suppression d'un vecteur. Soit $(u_i{)}_{i\in I}$ libre et $(u_i{)}_{i\in J}$ avec $J\subset I$ une sous-famille. Si ${\sum }_{i\in J}{\lambda }_i{u}_i=0$, en posant ${\lambda }_i=0$ pour $i\in I\setminus J$, on obtient ${\sum }_{i\in I}{\lambda }_i{u}_i=0$. Par liberté de $(u_i{)}_{i\in I}$, tous les ${\lambda }_i$ sont nuls.

(iii) Ajout d'un vecteur $w$ n'étant pas combinaison linéaire des $u_i$. Soit $(v_i)=(u_i)\cup \{w\}$. Supposons $\mu w+{\sum }_{i\in I}{\lambda }_i{u}_i=0$. Si $\mu \ne 0$, on aurait $w=-{\mu }^{-1}{\sum }_{i\in I}{\lambda }_i{u}_i\in \text{vect}(u_i)$, contrairement à l'hypothèse. Donc $\mu =0$, puis ${\sum }_{i\in I}{\lambda }_i{u}_i=0$, et par liberté de $(u_i)$, tous les ${\lambda }_i$ sont nuls.

Famille liée :

(i) Les opérations du pivot de Gauss préservent aussi les familles liées : si $(u_i)$ est liée, un $u_j$ est combinaison linéaire des autres. Après une opération du pivot, l'enveloppe linéaire est inchangée (Proposition 1.1), donc la nouvelle famille ne peut pas être libre (sinon l'ancienne le serait aussi, par le point (i) ci-dessus).

(ii) Ajout d'un vecteur. Si $(u_i)$ est liée, il existe $j$ et des scalaires ${\alpha }_i$ tels que $u_j={\sum }_{i\ne j}{\alpha }_i{u}_i$. Cette relation de dépendance linéaire persiste dans la sur-famille étendue.

(iii) Suppression d'un $u_j$ n'étant pas combinaison linéaire des autres. Si $(u_i{)}_{i\in I}$ est liée, il existe $k\ne j$ tel que $u_k$ est combinaison linéaire des autres vecteurs de la famille. Après suppression de $u_j$ (qui n'est pas $u_k$ puisque $u_j$ n'est pas combinaison linéaire des autres), $u_k$ reste combinaison linéaire des vecteurs restants, donc la famille $(u_i{)}_{i\in I\setminus \{j\}}$ est encore liée.

Notons $\mathcal{F}=(f_1,\dots ,f_p)$ une base de $F$ et $\mathcal{G}=(g_1,\dots ,g_q)$ une base de $G$, et $\mathcal{B}=(f_1,\dots ,f_p,g_1,\dots ,g_q)$ leur concaténation.

$\Rightarrow$ Supposons $F\oplus G$ (somme directe). Montrons que $\mathcal{B}$ est une base de $F+G$.

*Famille génératrice :* Tout vecteur de $F+G$ s'écrit $f+g$ avec $f\in F$ et $g\in G$. Comme $\mathcal{F}$ est génératrice de $F$, $f$ est combinaison linéaire des $f_i$ ; comme $\mathcal{G}$ est génératrice de $G$, $g$ est combinaison linéaire des $g_j$. Donc $f+g\in \text{vect}(\mathcal{B})$.

*Famille libre :* Supposons ${\sum }_{i=1}^p{\lambda }_i{f}_i+{\sum }_{j=1}^q{\mu }_j{g}_j=0$. Posons $x={\sum }_{i=1}^p{\lambda }_i{f}_i\in F$ et $y=-{\sum }_{j=1}^q{\mu }_j{g}_j\in G$. L'égalité donne $x=y$, donc $x\in F\cap G$. Comme $F$ et $G$ sont en somme directe, $F\cap G=\{0\}$, donc $x=0$ et $y=0$. Par liberté de $\mathcal{F}$, ${\lambda }_i=0$ pour tout $i$. Par liberté de $\mathcal{G}$, ${\mu }_j=0$ pour tout $j$.

Donc $\mathcal{B}$ est une base de $F+G$.

$\Leftarrow$ Supposons que $\mathcal{B}$ est une base de $F+G$. Montrons que $F\cap G=\{0\}$. Soit $x\in F\cap G$. Alors $x\in F$, donc $x={\sum }_{i=1}^p{\lambda }_i{f}_i$. Et $x\in G$, donc $x={\sum }_{j=1}^q{\mu }_j{g}_j$. On obtient ${\sum }_{i=1}^p{\lambda }_i{f}_i-{\sum }_{j=1}^q{\mu }_j{g}_j=0$. Par liberté de $\mathcal{B}$, tous les coefficients sont nuls, donc $x=0$. Ainsi $F\cap G=\{0\}$, ce qui signifie que $F$ et $G$ sont en somme directe.

Soit $(u_1,\dots ,u_p)$ une famille échelonnée de ${\mathbb{K}}^n$, disons que la suite $(a_1,\dots ,a_p)$ des nombres de zéros initiaux est strictement croissante (le cas de zéros terminaux est analogue). Cela signifie que $a_1<a_2<\cdots <a_p$.

Si la famille contient le vecteur nul, elle est liée (par la Définition 1.3 : le vecteur nul est toujours combinaison linéaire de n'importe quelle famille, en prenant le coefficient 1 pour lui et 0 pour les autres — ou plus directement, $1\cdot 0_E=0_E$).

Si la famille ne contient pas le vecteur nul, montrons qu'elle est libre. Supposons ${\sum }_{k=1}^p{\lambda }_k{u}_k=0$. Notons ${\pi }_j:{\mathbb{K}}^n\to \mathbb{K}$ la $j$-ième projection (coordonnée $j$). Pour chaque $k$, le vecteur $u_k$ a $a_k$ zéros initiaux, donc sa $(a_k+1)$-ième coordonnée est non nulle (car $u_k\ne 0$), et les coordonnées $1,\dots ,a_k$ sont nulles.

Procédons par récurrence sur $k$ en appliquant la projection sur la coordonnée $(a_k+1)$ : comme $a_1<a_2<\cdots <a_p$, pour $j=a_1+1$, tous les $u_k$ avec $k\ge 2$ ont $a_k>a_1$ zéros initiaux, donc leur coordonnée $j$ est nulle. L'égalité ${\sum }_{k=1}^p{\lambda }_k(u_k{)}_j=0$ donne ${\lambda }_1(u_1{)}_j=0$. Comme $(u_1{)}_j\ne 0$, on conclut ${\lambda }_1=0$.

En répétant le raisonnement pour $j=a_2+1$ (avec ${\lambda }_1=0$ déjà établi), on obtient ${\lambda }_2=0$, et ainsi de suite. Par induction, ${\lambda }_k=0$ pour tout $k\in \{1,\dots ,p\}$. La famille est donc libre.