Zum Inhalt springen

Konvexe Geometrie/Gitterpunktsatz (Minkowski)/Fakt/Beweis

Aus Wikiversity
Beweis

Wir betrachten das verdoppelte Gitter . Ist eine Basis für , so ist eine Basis für . Wir bezeichnen die Grundmasche von mit , für ihr Volumen gilt . Zu jeder Masche , , betrachten wir den Durchschnitt

Da kompakt und insbesondere beschränkt ist, gibt es nur endlich viele Maschen derart, dass dieser Durchschnitt nicht leer ist. Es seien diese Maschen (bzw. ihre Ausgangspunkte bzw. ihre Durchschnitte) mit , , bezeichnet (da der Nullpunkt aufgrund der Konvexität und der Zentralsymmetrie zu gehört, umfasst zumindest Elemente). Die in die Grundmasche verschobenen Durchschnitte bezeichnen wir mit

Wir behaupten zunächst, dass die nicht paarweise disjunkt sind. Es sei also angenommen, sie wären paarweise disjunkt. Mindestens eines der (und damit der ) hat positives Volumen, sagen wir für . Wegen der angenommenen Disjunktheit sind insbesondere

disjunkt zueinander. Wir haben also zwei disjunkte kompakte Teilmengen, und diese besitzen einen Minimalabstand (d.h. zu jedem Punkt aus liegen in einer -Umgebung keine Punkte aus , siehe Aufgabe). Sei ein innerer Punkt (den es gibt, da konvex ist und ein positives Volumen besitzt) und sei . Mit sei die Verbindungsstrecke von nach bezeichnet, die ganz in verläuft. Wir wählen einen Punkt , der weder zu noch zu gehört (solche Punkte gibt es wegen des Minimalabstandes). Da sowohl zu als auch zu einen Minimalabstand besitzt, gibt es eine -Umgebung von , die disjunkt zu und ist. Wir können ferner annehmen, dass ganz innerhalb von liegt (wegen der Wahl von ). Als eine Ballumgebung hat ein positives Volumen, was zu folgendem Widerspruch führt.

Es gibt also Indizes und einen Punkt ( muss selbst nicht zu gehören). Sei

Wegen ist auch und daher

Aus folgt (wegen der Zentralsymmetrie) auch und wegen der Konvexität von ergibt sich

Wir haben also einen von Nullpunkt verschiedenen Gitterpunkt in gefunden.