# Sylvester’s law

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}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.

Type of Math Object:
Theorem
Major Section:
Reference

## Mathematics Subject Classification

15A03 Vector spaces, linear dependence, rank

## Recent Activity

May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by mairiwalker
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759
new image: AbstrExample3.jpg by m759
new image: four-diamond_figure.jpg by m759
May 16
new problem: Curve fitting using the Exchange Algorithm. by jeremyboden
new question: Undirected graphs and their Chromatic Number by Serchinnho

## Info

Owner: rspuzio
Added: 2002-08-25 - 19:18
Author(s): rspuzio

## Versions

(v9) by rspuzio 2013-03-22
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 12, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8760247230529785, "perplexity_flag": "head"}