The ultimate goal of Minkowski theory is to derive a fairly sharp bound on the class number of a number field, and on the way provide some tools to prove Dirichlet’s theorem on units. It can also be used for pure number theoretic proofs, such as that every prime of the form 4*n* + 1 can be written as the sum of two squares, or that every positive integer can be written as the sum of four squares.

To get the bound, we need to prove a theorem on matrices, called Minkowski’s linear forms theorem. In its most basic version, suppose that we have *n* real linear forms in *n* variables, L(*i*)(*x*1, *x*2, …, *x*(*n*)) = *a*(*i*1)*x*1 + … + *a*(*in*)*x*(*n*). A linear form in *n* variables is just a linear function in all the variables with no constant term. Now, look at the matrix A whose (*i*, *j*)th entry is *a*(*ij*). If |A| != 0, and we have real constants *t*1, *t*2, …, *t*(*n*) such that *t*1**t*2*…**t*(*n*) >= ||A||, then there exist integers *x*1, *x*2, …, *x*(*n*) not all zero such that |L(*i*)(*x*1, *x*2, …, *x*(*n*))| <= *t*(*i*) for all *i* (||A|| is just the absolute value of |A|).

To see why, let’s argue by contradiction. Suppose that it’s not true. I’m going to show that we have an infinite chain of points in **Z**^*n* whose images under the L(*i*)’s get successively closer to the *t*(*i*)’s. Let’s look at any point in **Z**^*n*, say *w*, and label its image under each L(*i*) by *s*(*i*). By assumption, for some *i* we have *s*(*i*) > *t*(*i*). For simplicity, let’s suppose that *s*1 >* t*1.

Now, look at the region S in **R**^*n* consisting of all points (*x*1, …, *x*(*n*)) such that |L1(*x*1, …, *x*(*n*))| < *s*1 and |L(*i*)(*x*1, …, *x*(*n*))| < *t*(*i*) for *i* > 1. Its volume is 2*s*1*2*t*2*2*t*3*…*2*t*(*n*) = 2^*n*(*s*1*t*2…*t*(*n*)) > 2^*n*||A||, and it’s clearly convex and symmetric. The points of the form (L1(*v*), L2(*v*), …, L(*n*)(*v*)), where *v* in **Z**^*n*, form a lattice in **R**^*n* whose matrix is A. By Minkowski’s theorem, S then contains a nonzero point of the lattice, say *w*‘.

By assumption, we can’t have *s*‘1 = L1(*w*‘) <= *t*1, so we have *t*1 < *s*‘1 < *s*1. In particular, *w*‘ and *w* are different. In similar vein, we can get *w*” with *t*1 < *s*”1 < *s*‘1 < *s*1, then *w*”’, etc., all of which belong to the same lattice, and all of which are in S. This means S has infinitely many points belonging to the lattice.

But in fact, every convex region of finite, nonzero volume can only contain finitely many lattice points. Here I’ll assume that the region is any S, and the lattice is **Z**^*n*, to simplify matters, but by using a linear transformation, it works for every lattice.

Since the region has nonzero volume, we can find some small solid volume in it, say a ball of some positive radius *e*. We can assume that the center of the ball is the zero point, and then get the more general result by translation. If S contains a point *v* = (*x*1, …, *x*(*n*)), then it contains the entire cone between *v* and the ball of radius *e*. The volume of the cone is proportional to its height, regardless of how many dimensions there are, and the height is just the distance of *v* from 0, which is SQRT(*x*1^2 + … + *x*(*n*)^2). Since S is finite, the volume of the cone is bounded, so SQRT(*x*1^2 + … + *x*(*n*)^2) is bounded, say by *r*.

That means S is contained in a ball of radius *r*, which is contained in a cube of side 2*r* whose sides are parallel to (1, 0, 0, …, 0), (0, 1, 0, …, 0), …, (0, 0, …, 1). But that cube can only contain (2*r*+1)^*n* lattice points. So S only contains finitely many lattice points and we are done.

A somewhat more general form of the linear forms theorem allows some of the linear forms to be complex. But then for every L(*i*), we must find some L(*j*) that is its complex conjugate (the complex conjugate of *a*+*bi*, where *a* and *b* are real, is *a*–*bi*; note that complex conjugation is a ring homomorphism of **C**, and that all and only real number are their own complex conjugates). Since in that case we’ll invariably have |L(*i*)| = |L(*j*)|, we also need to have *t*(*i*) = *t*(*j*).

The proof of this more general formulation is just a reduction to the basic case. If *i*1 and *i*2 are two distinct indices such that L(*i*1) and L(*i*2) are complex conjugates, then we use row operations to change L(*i*1) to L(*i*1)+L(*i*2) which will be real and then to (L(*i*1)+L(*i*2))/2 which is the real part of L(*i*2), and then L(*i*2) to L(*i*2) – (L(*i*1)+L(*i*2))/2 = (L(*i*2)-L(*i*1))/2 and to (L(*i*2)-L(*i*1))/2*i* which is again real.

If A has *r* real forms and *s* pairs of complex conjugate forms, then this trick turns A into a real matrix whose determinant’s absolute value is ||A||/2^*s*. We can also change each *t*(*i*) to *t*(*i*)/SQRT(2) for indices of proper complex forms, which reduces the absolute value of the product of the *t*(*i*)’s by a factor of 2^*s* as well. The basic theorem gives us a nonzero point in **Z**^*n*.

Now, that point will also satisfy the conditions of the complex forms. For indices of real forms, there’s nothing to prove. For proper complex forms, we have |(L(*i*1)(*v*)+L(*i*2)(*v*))/2| < *t*/SQRT(2) and |(L(*i*2)(*v*)-L(*i*1)(*v*))/2*i*| < *t*/SQRT(2), where *t* = *t*(*i*1) = *t*(*i*2). The absolute value of *a*+*bi* is SQRT(*a*^2 + *b*^2), so |L(*i*1)(*v*)| = |L(*i*2)(*v*)| = SQRT(|(L(*i*1)(*v*)+L(*i*2)(*v*))/2|^2 + |(L(*i*2)(*v*)-L(*i*1)(*v*))/2*i*|^2) <= SQRT(*t*^2/2 + *t*^2/2) = *t* as desired.

The obvious application of this to number fields is about the linear forms defined by the matrix corresponding to an integral basis. But to turn it into something useful requires some more work.

this makes me dizzy, i guess i prefer my calculus professor, he is a nice old man, must be in his sixties, talks really slowly.

btw, hvn’t seen u on msn for a while, how hv u been?

Hello there,I really like perusing via your website, I desired to depart a bit of comment to help you and want you a good quality continuation. Wishing you the most effective of luck for all of your running a blog attempts.

[…] panerai 390 panerai armband panerai black seal panerai daylight panerai ferrari panerai forum panerai gmt panerai luminor panerai luminor gmt panerai luminor marina Filed under: Uncategorized Leave a comment Comments (0) Trackbacks (0) ( subscribe to comments on this post ) […]

[…] invicta subaqua invicta sunday run invicta torino invicta uhr invicta uhren invicta venom invicta watch invicta watch 2883 invicta watch bands invicta watch repair Click here to cancel reply. […]