Drapeau (mathématiques)

En mathématiques, un drapeau d'un espace vectoriel E de dimension finie est une suite finie strictement croissante de sous-espaces vectoriels de E, commençant par l'espace nul {0} et se terminant par l'espace total E :

\{0\}=E_{0}\subsetneq E_{1}\subsetneq \cdots \subsetneq E_{k-1}\subsetneq E_{k}=E.

Si n est la dimension de E, les dimensions successives des sous-espaces E_i forment une suite finie strictement croissante d'entiers naturels :

0=d_{0}<d_{1}<\dots <d_{k-1}<d_{k}=n.

Si d_i = i pour tout i (donc entre autres si k = n), alors le drapeau est dit total ou complet.

Base adaptée à un drapeau[modifier | modifier le code]

À toute base (e₁, …, e_n) de l'espace E de dimension n est associé un drapeau total dont les termes sont constitués des espaces successivement engendrés : $E_{1}={\rm {Vect}}(e_{1}),\ E_{2}={\rm {Vect}}(e_{1},e_{2}),\ldots$

Exemple : si E est l'espace ℝ_m[X] des polynômes de degré inférieur ou égal à m, sa base canonique est (1, X, X², …, X^m) et sa dimension est n = m + 1. L'espace E₀ = {0} et les espaces E_{i + 1} = ℝ_i[X] successifs pour i allant de 0 à m constituent un drapeau total de E.

Réciproquement, un drapeau total possède plusieurs bases adaptées. On les obtient en choisissant des vecteurs e_i tels que e_i appartient à E_i mais pas à E_{i – 1}.

Drapeau stable par un endomorphisme[modifier | modifier le code]

Si u est un endomorphisme de E, on dit que le drapeau est stable par u si chaque E_i est stable par u : $\forall i\in \{1,\ldots ,n\},\,u(E_{i})\subset E_{i}.$

Par exemple, si l'on reprend pour E l'espace ℝ_m[X] et le drapeau formé des espaces ℝ_i[X] successifs, un endomorphisme laisse stable ce drapeau à condition de diminuer (au sens large) le degré des polynômes. C'est le cas des endomorphismes de dérivation (P donne P'), de translation (P donne P(X + 1)), de différence finie (P donne P(X + 1) - P), etc.

Théorème de trigonalisation utilisant les drapeaux[modifier | modifier le code]

Soit E un espace vectoriel de dimension finie. Un endomorphisme u de E est trigonalisable si et seulement s'il existe un drapeau total de E stable par u.

Les drapeaux dans le cadre euclidien[modifier | modifier le code]

Lorsque E est un espace euclidien, le procédé de Gram-Schmidt permet, à partir d'une base adaptée à un drapeau total de E, d'obtenir une base orthonormale adaptée à ce même drapeau.

Si l'on combine avec la propriété précédente, on constate que tout endomorphisme trigonalisable peut être trigonalisé dans une base orthonormale.

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

(en) I. R. Shafarevich et A. O. Remizov, Linear Algebra and Geometry, Springer, 2012, 526 p. (ISBN 978-3-642-30993-9, lire en ligne)

v · m Algèbre linéaire générale
Vecteur Scalaire Combinaison linéaire Espace vectoriel Matrice
Famille de vecteurs	Famille génératrice Famille libre (indépendance linéaire) Base Théorème de la base incomplète Théorème de la dimension pour les espaces vectoriels Rang Colinéarité
Sous-espace	Sous-espace vectoriel Somme de Minkowski Somme directe Sous-espace supplémentaire Dimension Codimension Droite Plan Hyperplan
Morphisme et notions relatives	Application linéaire Noyau Conoyau Lemme des noyaux Pseudo-inverse Théorème de factorisation Théorème du rang Équation linéaire Système d'équations linéaires Élimination de Gauss-Jordan Forme linéaire Espace dual Orthogonalité Base duale Endomorphisme linéaire Valeur propre, vecteur propre et espace propre Projecteur Symétrie Matrice diagonalisable Diagonalisation Endomorphisme nilpotent
Dimension finie	Espace vectoriel de dimension finie Trace Déterminant Polynôme caractéristique Polynôme d'endomorphisme Théorème de Cayley-Hamilton Polynôme minimal d'un endomorphisme Invariants de similitude Réduction d'endomorphisme Réduction de Jordan Décomposition de Dunford Décomposition de Frobenius
Enrichissements de structure	Norme Produit scalaire Forme quadratique Espace vectoriel topologique Orientation Algèbre sur un corps Algèbre de Lie Complexe différentiel
Développements	Théorie des matrices Représentation de groupe Analyse fonctionnelle Algèbre multilinéaire Module sur un anneau