Let satisfy for every vector . If there is nothing to prove. Otherwise choose with . For every and every real number ,so the hypothesis gives . Taking two values of shows that . Sincewe obtain . Thus one of the two linear functionals is zero.
Sylvester's law of inertia says that, in a suitable basis, every real quadratic form isThe rank is , and the signature is ; both are independent of the chosen basis.
If , its polar form has image contained in , so . If , the two functionals must be independent and, after taking their sum and difference, is a difference of two squares. Hence . If , then . In every case,Conversely, this inequality leaves onlyup to a linear change of coordinates. These factor respectively as , , and . Therefore
Articles by others on the same topic
There are currently no matching articles.