Chaîne entre les sous-espaces vectoriels \(F\) et \(G\)

[ Definition ]

On appelle chaîne entre les sous-espaces vectoriels \(F\) et \(G\) une suite finie de sous-espaces vectoriels , le premier étant \(F\), le dernier étant \(G\), et chaque élément de la chaîne étant un hyperplan du sous-espace vectoriel suivant, ou au contraire le sous-espace vectoriel suivant étant un hyperplan de ce sous-espace vectoriel ; formellement cela signifie qu’il existe \(F_1,...,F_p\) tels que \(F=F_1\), \(G=F_p\), et pour tout \(i\in [1,p-1]\), \(F_i\) est un hyperplan de \(F_{i+1}\) ou \(F_{i+1}\) est un hyperplan de \(F_i\).

\(p\) est appelé longueur de la chaîne.

En savoir plus