statement theorem
Classification of complex quadratic forms
Statement
Let be a complex vector space of finite dimension , and let be a quadratic form on . Let be the rank of the symmetric matrix of in a basis. Then has a basis such that, for all , So two quadratic forms on are equivalent if and only if their matrices have the same rank.
Remarks
The proof starts from a diagonal form and replaces by for each . The same result holds over every algebraically closed field of characteristic not . Over , this fails: and have the same rank but are not equivalent.
Explanations
L1 human
Over the complex numbers, every nonzero number is a square. So all coefficients of a diagonal form can be made equal to . Only the number of squares remains, and it is the rank.
What this node needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What this needs
To read this node, read these 17 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Matrix definition
- Vector space definition
- Bilinear form definition
- Linear combination definition
- Linear subspace definition
- Orthogonal family for a bilinear form definition
- Quadratic form definition
- Linear independence definition
- Linear span definition
- Diagonalisation of a quadratic form statement
- Column space definition
- Spanning set definition
- Basis definition
- Finite-dimensional vector space definition
- Dimension definition
- Rank of a matrix definition
- Classification of complex quadratic forms statement
Sources
- Web https://en.wikipedia.org/wiki/Quadratic_form, Equivalence of forms
What links here
No node links to this node yet.