PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
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
diagonal quadratic form (Definition)

Let $Q(\boldsymbol{x})\in k[x_1,\ldots,x_n]$ be a quadratic form over a field $k$ ($\operatorname{char}(k)\neq 2$ ), where $\boldsymbol{x}$ is the column vector $(x_1,\ldots,x_n)^T$ . We write $Q$ as

$$Q(\boldsymbol{x})=\boldsymbol{x}^TM(Q)\boldsymbol{x},$$

where $M(Q)$ is the associated $n\times n$ symmetric matrix over $k$ . We say that $Q$ is a diagonal quadratic form if $M(Q)$ is a diagonal matrix.

Let's see what a diagonal quadratic form looks like. If $M=M(Q)$ is diagonal whose diagonal entry in cell $(i,i)$ is $r_i$ , then

$ Q(\boldsymbol{x})=\boldsymbol{x}^T \begin{pmatrix}r_1 & \cdots & 0 \\ \vdots & \ddots & \vdots \\ 0 & \cdots & r_n\end{pmatrix} \begin{pmatrix}x_1 \\ \vdots \\ x_n\end{pmatrix} =\begin{pmatrix}x_1 & \cdots & x_n\end{pmatrix} \begin{pmatrix}r_1x_1 \\ \vdots \\ r_nx_n\end{pmatrix} =r_1x_1^2+\cdots+r_nx_n^2. $

So the coefficients of $x_ix_j$ for $i\neq j$ are all $0$ in a diagonal quadratic form. A diagonal quadratic form is completely determined by the diagonal entries of $M(Q)$ .

Remark. Every quadratic form is equivalent to a diagonal quadratic form. On the other hand, a quadratic form may be equivalent to more than one diagonal quadratic form.




"diagonal quadratic form" is owned by CWoo.
(view preamble | get metadata)

View style:

See Also: diagonalization of quadratic form

Other names:  canonical quadratic form
Log in to rate this entry.
(view current ratings)

Cross-references: coefficients, cell, diagonal, diagonal matrix, symmetric matrix, column vector, field, quadratic form
There is 1 reference to this entry.

This is version 9 of diagonal quadratic form, born on 2006-02-21, modified 2006-10-11.
Object id is 7646, canonical name is DiagonalQuadraticForm.
Accessed 3083 times total.

Classification:
AMS MSC15A63 (Linear and multilinear algebra; matrix theory :: Quadratic and bilinear forms, inner products)
 11E81 (Number theory :: Forms and linear algebraic groups :: Algebraic theory of quadratic forms; Witt groups and rings)
 11H55 (Number theory :: Geometry of numbers :: Quadratic forms )

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

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)