Déterminant et Bases de Vecteurs

1. Du concept de base au critère du déterminant

Rappelons-nous d'abord ce qu'est une base. Intuitivement, une base d'un espace vectoriel comme ${\mathbb{R}}^3$ est un ensemble de vecteurs de référence qui ne sont pas "redondants" (ils sont linéairement indépendants) et qui permettent d'atteindre n'importe quel point de l'espace par combinaison linéaire. Pour l'espace ${\mathbb{R}}^n$, il faut exactement $n$ vecteurs linéairement indépendants pour former une base.

La question est : comment vérifier efficacement que $n$ vecteurs sont bien linéairement indépendants ? C'est là que le déterminant intervient, en faisant le lien avec ce que nous avons vu à la leçon précédente.

La logique est la suivante :

1. Une famille de $n$ vecteurs dans ${\mathbb{R}}^n$ forme une base si et seulement si ces vecteurs sont linéairement indépendants.
2. Un ensemble de $n$ vecteurs-colonnes est linéairement indépendant si et seulement si la matrice carrée formée par ces vecteurs est inversible.
3. Et comme nous le savons, une matrice carrée est inversible si et seulement si son déterminant est non nul.

En combinant ces trois points, nous arrivons à un théorème extrêmement puissant et pratique.

Le théorème est donc simple :

Une famille de $n$ vecteurs de ${\mathbb{R}}^n$ est une base si et seulement si le déterminant de la matrice formée par ces vecteurs est non nul.

2. La méthode en pratique

La procédure pour tester si une famille de vecteurs $\{v_1,v_2,\dots ,v_n\}$ dans ${\mathbb{R}}^n$ forme une base est donc systématique :

1. Construire la matrice : Formez une matrice carrée $A$ de taille $n\times n$ en plaçant les coordonnées de chaque vecteur comme une colonne. $$A=\left(\begin{array}{cccc}|& |& & |\\ v_1& v_2& \dots & v_n\\ |& |& & |\end{array}\right)$$
2. Calculer le déterminant : Calculez $\det (A)$ en utilisant la méthode de votre choix (Sarrus pour du 3x3, développement par cofacteurs, opérations sur les lignes, etc.).
3. Conclure :
   • Si $\det (A)\ne 0$, la famille de vecteurs est une base.
   • Si $\det (A)=0$, la famille de vecteurs n'est pas une base (elle est dite "liée").

Explorons cette méthode avec des exemples concrets.

Comme vous pouvez le constater, la méthode est robuste et s'applique quelle que soit la dimension de l'espace.

3. Interprétation Géométrique : Volume et Indépendance

Pour vous, qui avez une formation en génie civil, il existe une interprétation très visuelle et intuitive de ce que le déterminant représente.

• En 2D, le déterminant de deux vecteurs $(v_1,v_2)$ correspond à l'aire du parallélogramme qu'ils forment. Si le déterminant est nul, l'aire est nulle, ce qui signifie que les vecteurs sont colinéaires (ils sont sur la même ligne). Ils ne peuvent donc pas former une base pour l'espace 2D.
• En 3D, le déterminant de trois vecteurs $(v_1,v_2,v_3)$ correspond au volume du parallélépipède qu'ils engendrent.

Si le déterminant de trois vecteurs est nul, le volume du parallélépipède est nul. Cela signifie que les trois vecteurs sont coplanaires (ils se trouvent sur le même plan). Dans cette situation, ils ne peuvent pas "remplir" tout l'espace 3D et ne forment donc pas une base. Votre expérience avec les systèmes de coordonnées et la modélisation 3D d'ouvrages d'art vous rend sans doute familier avec l'idée que trois directions non coplanaires sont nécessaires pour décrire n'importe quelle position dans l'espace.

Le déterminant vous donne un outil de calcul pour quantifier cette notion de "non-coplanarité". Un déterminant non nul est la garantie mathématique que vos vecteurs de référence sont bien indépendants et définissent un volume, ce qui en fait une base solide pour votre espace.

Conclusion

Aujourd'hui, nous avons ajouté une corde essentielle à votre arc en algèbre linéaire. Vous avez appris que le déterminant n'est pas seulement un test d'inversibilité pour les matrices, mais aussi un test de validité pour les bases.

Les points clés à retenir sont :

• Pour vérifier si $n$ vecteurs de ${\mathbb{R}}^n$ forment une base, on construit la matrice dont les colonnes sont ces vecteurs.
• On calcule le déterminant de cette matrice.
• Si le déterminant est non nul, les vecteurs forment une base.
• Si le déterminant est nul, les vecteurs ne forment pas une base.
• Géométriquement, un déterminant non nul en 3D signifie que les vecteurs ne sont pas coplanaires et engendrent un volume non nul.

Maintenant que vous savez comment vérifier si une matrice est inversible et si une famille de vecteurs forme une base, l'étape suivante logique est d'apprendre à calculer concrètement l'inverse d'une matrice lorsqu'il existe. C'est précisément l'objet de notre prochaine leçon, qui vous donnera les outils pour résoudre la seconde partie de l'exercice 8 et bien d'autres problèmes.