Cas \(\mathbb{K}=\mathbb{C}\)

[ None ]
Pour tout forme quadratique \(q\) sur un \(\mathbb{C}\)-espace vectoriel \(E\) de dimension \(n\), il existe \(p \in [\![1,n]\!]\) et \(f_1\),...,\(f_p\) dans \(E^*\) tel que

\(\bullet\)les \(f_i\) forment une famille libre

\(\bullet\)\(q(x)=\sum_{i=1}^p f_i(x)^2\)

En outre, \(p\) est unique et est égal au rang de \(q\).
En savoir plus