Espace vectoriel de type fini

On désignera par \(E\) un espace vectoriel sur \(K\) (\(K\) étant \(R\) ou \(C\)), et par \(F\), \(G\) et \(H\) des sous-espaces vectoriels de \(E\).