PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
Sylvester's law (Theorem)

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

Furthermore, for every choice of basis such that $ Q(u,v) = u^T M v$ 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.



"Sylvester's law" is owned by rspuzio. [ full author list (2) | owner history (1) ]
(view preamble)

View style:

See Also: pseudo-Riemannian manifold

Other names:  Sylvester's theorem
Also defines:  rank, signature

Attachments:
diagonalization of quadratic form (Algorithm) by rspuzio
Log in to rate this entry.
(view current ratings)

Cross-references: finite-dimensional, implies, change of basis, invariant, term, theory, pseudo-Riemannian geometry, strictly, negative, positive, number, diagonal, matrix, basis, quadratic form, symmetric, vector space, real
There are 31 references to this entry.

This is version 6 of Sylvester's law, born on 2002-08-25, modified 2005-02-11.
Object id is 3356, canonical name is SylvestersLaw.
Accessed 11791 times total.

Classification:
AMS MSC15A03 (Linear and multilinear algebra; matrix theory :: Vector spaces, linear dependence, rank)

Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)