# Sylvester’s law

Let $V$ be an $n$-dimensional real vector space and let $Q: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}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 |