exo7 3322

1

Soient \(H,K\) deux sev d’un ev \(E\) de dimension finie. Montrer que \(\dim H = \dim K\) si et seulement si \(H \text{ et } K\) ont un supplémentaire commun (par récurrence sur codim\(\,H\)).