exo7 7732

Soit \(E\) un espace vectoriel réel de dimension \(n\) muni d’une forme bilinéaire symétrique \(f\) de signature \((p,q)\). Soit \(V\) un sous-espace vectoriel de \(E\) de dimension \(r\). Montrer la signature \((p',q')\) de \(f\) restreinte à \(V\) vérifie \(p'\leq p\) et \(p'\geq p+r-n\).