A quadratic form is a function in mathematics that behaves like the quadratic function in some respects . The best known example is the square of the amount of a vector. Square shapes appear in many areas of mathematics. In geometry they are used to introduce metrics , in elementary geometry to describe conic sections . If, for example, they are considered over the rational or whole numbers, they are also a classic subject of number theory , in which one asks about the numbers that can be represented by a square shape. In the following, number theoretic aspects are mainly considered.
A (real) vector space with scalar product can be made into a normalized space by defining the norm of a vector as an induced norm . The square root used here interferes insofar as one can generalize to more general bilinear forms and other basic bodies if one looks at the mapping instead . Since a vector space is determined by the fact that vectors can be added and scaled with elements of the basic body, it must be investigated how the mapping behaves here. The following relationships are found:
Images that meet the above conditions can also be viewed without deriving from a bilinear form. On top of that one can generalize from vector spaces over a field to modules over a commutative ring with one element . Often one examines the ring of whole numbers as well as the module , in particular .
Square form in n indeterminates
- For one speaks of binary quadratic forms . A binary quadratic form is therefore a polynomial of the form with .
- For one speaks of ternary square forms . A ternary quadratic form is therefore a polynomial of the form with .
Square shape on modules
More generally, the term square shape is defined for any A- module as follows: A square shape on is a map with the following properties:
- For everyone and applies .
- The figure defined by linear in both arguments, ie a bilinear form on . It is automatically symmetrical, so it applies . It is called the associated symmetrical bilinear form .
A square shape in the above sense is therefore a square shape on the module .
A quadratic module is a pair consisting of an A module and a square shape on .
It denotes the associated symmetrical bilinear form . Then two elements are called -orthogonal or -orthogonal , if holds.
If one assigns a square shape , the triangular matrix with , otherwise 0) to, it can be as as or interpreted. This initially results:
- Relation to symmetrical bilinear forms
- There is a clear correspondence between quadratic forms in indefinite and symmetric bilinear forms on :
- A symmetrical bilinear shape is obtained for a square shape by polarization
- The opposite is true
- From a formal point of view, this construction initially only provides a polynomial function; but you actually get a polynomial by representing the bilinear form by a matrix or by extending it to any - algebras .
- Equivalence of forms
- If there is a - row matrix, then the substitution gives a new square shape . If it can be inverted, the old form can also be recovered from the new form. Overall, such a matrix group enables the introduction of an equivalence relation on the set of all quadratic forms. We are talking about -equivalent forms here (also note the concluding remark on 4).
- For real or rational forms, one can use the corresponding matrix criteria for ( definiteness ) to obtain statements about whether the value range of the form assumes only positive or only negative values, or whether such a restriction does not apply. Accordingly, the form is called positive definite, negative definitive or indefinite. If the range of values for definition values not equal to zero only assumes positive or negative values as well as zero, the form is called positive or negative semidefinite.
Examples / classification
Quadratic forms over the real numbers
for certain with applies. The isomorphism class of a square shape is determined by its rank and signature .
Square forms over number fields
Square shapes over were classified by Minkowski . Hasse later generalized this to a classification of quadratic forms over number fields . In particular, two quadratic forms are isomorphic if and only if all of their completions (real, complex and p-adic) are isomorphic, see Hasse-Minkowski's theorem .
Square shapes over the whole numbers
It is said that two positive-definite quadratic forms have the same sex if one gets isomorphic quadratic forms for all by expanding with scalars to (i.e. tensor product with ) isomorphic quadratic forms . The number of isomorphism classes of the same sex can be determined using the Smith-Minkowski Siegel mass formula .
Elementary number theory
There are a multitude of results for the question of whether a given integer square form with any integer arguments can assume a given value ("represents or represents a value"). Viewed in isolation, these results are of course often anecdotal. Note, however, that
- , the group of -series, integer matrices of the determinant 1, and
- , the group of -series, integer matrices of the determinant ± 1,
If both the lattice and the set of coprime numbers are bijectively mapped onto itself, the following results stand for whole families of equivalent forms.
The following topics are prominent, for example
- Square numbers of the shape
- The integer solutions of the equation are called Pythagorean numbers. The best known solution to this problem is . This is the smallest of an infinite number of solutions.
- More than the usual parametric description of all solutions ( Pythagorean triple ) can be found in the literature.
- Numbers of the form
- The first known case of a square shape representing all natural numbers. ( Lagrangian theorem or four-squares theorem )
- A proof and further information on the subject of quadratic forms, which represent all natural numbers, via the 15-Theorem .
- integer solutions of the equation
- ( integer, square-free, coprime pairs, not all of the same sign ).
- A non-trivial solution exists if and only if , and are quadratic remainders in the respective module. This is a result of Legendre (for the notation see congruence (number theory) ).
- Prime numbers of the form
- These are exactly 2 as well as the prime numbers . The observation is of particular historical importance, it goes back to Fermat .
- A modern proof, almost the mother of all proofs, in the book of proofs chapter 4.
- Prime numbers of the form
- These are exactly the 3 as well as the prime numbers that are.
- Prime numbers of the form
- Cox's book deals with this question.
If two square shapes emerge from each other by using a matrix , then an integer can be represented as the value of one square shape if and only if it can be represented as the value of the other square shape: this follows directly from the definition . From the point of view of number theory, the forms and are therefore equivalent and the question arises of finding the simplest possible system of representatives for the set of quadratic forms in variables modulo the effect of . For quadratic forms in 2 variables, this problem was discussed by Gauss in Chapter 5 of " Disquisitiones Arithmeticae " (the main part of the book with almost 260 pages).
In the case of positively definite quadratic forms the problem in today's language is to find a fundamental domain for the effect of on the symmetric space (the space of positively definite quadratic forms in variables).
For the space of the positive definite binary quadratic forms can be identified with the hyperbolic plane . The picture on the right shows a decomposition of the hyperbolic level into fundamental areas for the effect of . Such a fundamental domain (e.g. the one hatched in gray in the picture) thus provides a representative system of binary square shapes, so that every other positively definite binary square shape is equivalent to a shape from the representative system and in particular represents the same whole numbers.
- Martin Kneser , Rudolf Scharlau: Square forms . Springer Verlag, 2002, ISBN 3-540-64650-7 (Lectures by Kneser in the 1970s and 1980s in Göttingen, re-edited by Scharlau)
- Winfried Scharlau : Quadratic and Hermitian Forms . Basic Teachings of Mathematical Sciences, Volume 270.Springer Verlag, 1985
- John Milnor , Dale Husemöller: Symmetric bilinear forms . Springer Verlag, 1973
- David Cox: Primes of the form . Wiley & Sons (1997), 40.
- Roger C. Alperin: The modular tree of Pythagorus . (PDF)
- Dan Romik: The dynamics of Pythagorean triples . (PDF) with a whole range of other references.
- Kenneth Ireland, Michael Rosen: A Classical Introduction to Modern Number Theory . Springer-Verlag, 1982, section 17.7.
- Kenneth Ireland, Michael Rosen: A Classical Introduction to Modern Number Theory . Springer-Verlag, 1982, section 17.3.1.
- Martin Aigner, Günter M. Ziegler : Proofs from the Book . Springer-Verlag, 2000
- GH Hardy, EM Wright: An Introduction to the Theory of Numbers . 4th edition. Oxford University Press, Oxford 1975, ISBN 0-19-853310-1 : Theorem 366, p. 299; Theorem 254, p. 221