Sylvester’s law

Let $V$ be an $n$-dimensional real vector space and let $Q:V\times V\to ℝ$ be a symmetric quadratic form. Then there exists a basis of $V$ such that $Q(u,v)=u^{T}Mv$ where the matrix $M$ is diagonal.

Furthermore, for every choice of basis such that $Q(u,v)=u^{T}Mv$ with $M$ diagonal, the number of positive diagonal entries, the number of negative diagonal entries, and the number of zeros on the diagonal will be the same. The number of non-zero entries on the diagonal is known as the rank of the quadratic form.

To account for the fact that not all the entries on the diagonal may be positive, one defines a quantity known as the signature. However, there is more than one definition of the signature in use. Some define the signature as the number of positive diagonal entries minus the number of negative ones. Others define the signature as the number of strictly positive entries on the diagonal.

Among some people as, for instance, in pseudo-Riemannian geometry and relativity theory, the term signature is used to refer to a symbolic display like $[++-0]$ which shows the number of positive, negative, and zero diagonal entries or a pair of numbers $(n,m)$ which means that there are $n$ positive entries and $m$ negative ones.

The rank and signature (whichever definition; pick your favorite) of a quadratic form are invariant under change of basis.

This implies that two quadratic forms over the same finite-dimensional real vector space are related by a change of basis if and only if they have the same rank and signature.

Title	Sylvester’s law
Canonical name	SylvestersLaw
Date of creation	2013-03-22 12:58:58
Last modified on	2013-03-22 12:58:58
Owner	rspuzio (6075)
Last modified by	rspuzio (6075)
Numerical id	9
Author	rspuzio (6075)
Entry type	Theorem
Classification	msc 15A03
Synonym	Sylvester’s theorem
Related topic	PseudoRiemannianManifold
Defines	rank
Defines	signature