Konvexe Geometrie/Gitterpunktsatz (Minkowski)/Fakt/Beweis

Beweis

Wir betrachten das verdoppelte Gitter ${}2\Gamma$. Ist ${}v_{1},\ldots ,v_{n}$ eine Basis für ${}\Gamma$, so ist ${}2v_{1},\ldots ,2v_{n}$ eine Basis für ${}2\Gamma$. Wir bezeichnen die Grundmasche von ${}2\Gamma$ mit ${}{\mathfrak {N}}$, für ihr Volumen gilt ${}\operatorname {Vol} ({\mathfrak {N}})=2^{n}\operatorname {Vol} ({\mathfrak {M}})$. Zu jeder Masche ${}{\mathfrak {N}}_{Q}=Q+{\mathfrak {N}}$, ${}Q\in 2\Gamma$, betrachten wir den Durchschnitt

${}T_{Q}=T\cap {\mathfrak {N}}_{Q}\,.$

Da ${}T$ 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 ${}{\mathfrak {N}}_{i}\,({\text{bzw. }}Q_{i}{\text{bzw. }}T_{i})$, ${}i\in I$, bezeichnet (da der Nullpunkt aufgrund der Konvexität und der Zentralsymmetrie zu ${}T$ gehört, umfasst ${}I$ zumindest ${}2^{n}$ Elemente). Die in die Grundmasche ${}{\mathfrak {N}}$ verschobenen Durchschnitte bezeichnen wir mit

${}{\tilde {T}}_{i}:=T_{i}-Q_{i}\,.$

Wir behaupten zunächst, dass die ${}{\tilde {T}}_{i}$ nicht paarweise disjunkt sind. Es sei also angenommen, sie wären paarweise disjunkt. Mindestens eines der ${}T_{i}$ (und damit der ${}{\tilde {T}}_{i}$) hat positives Volumen, sagen wir für ${}i=1$. Wegen der angenommenen Disjunktheit sind insbesondere

$X:={\tilde {T}}_{1}\,\,{\text{ und }}\,\,Y:=\bigcup _{i\in I,i\neq 1}{\tilde {T}}_{i}$

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

${}{\begin{aligned}\operatorname {Vol} ({\mathfrak {N}})&\geq \operatorname {Vol} (X\cup Y\cup B)\\&=\operatorname {Vol} {\left(\bigcup _{i\in I}{\tilde {T}}_{i}\right)}+\operatorname {Vol} (B)\\&>\sum _{i\in I}\operatorname {Vol} ({\tilde {T}}_{i})\\&=\sum _{i\in I}\operatorname {Vol} (T_{i})\\&=\operatorname {Vol} (T)\\&\geq 2^{n}\operatorname {Vol} ({\mathfrak {M}})\\&=\operatorname {Vol} ({\mathfrak {N}}).\end{aligned}}$

Es gibt also Indizes ${}i\neq j$ und einen Punkt ${}z\in {\tilde {T}}_{i}\cap {\tilde {T}}_{j}$ (${}z$ muss selbst nicht zu ${}T$ gehören). Sei

$z_{i}:=z+Q_{i}\in T_{i}\,\,{\text{ und }}\,\,z_{j}:=z+Q_{j}\in T_{j}.$

Wegen ${}Q_{i},Q_{j}\in 2\Gamma$ ist auch ${}Q_{i}-Q_{j}\in 2\Gamma$ und daher

${}0\neq {\frac {Q_{i}-Q_{j}}{2}}\in \Gamma \,.$

Aus ${}z_{j}\in T$ folgt (wegen der Zentralsymmetrie) auch ${}-z_{j}\in T$ und wegen der Konvexität von ${}T$ ergibt sich

${}{\frac {Q_{i}-Q_{j}}{2}}={\frac {1}{2}}(z_{i}-z)-{\frac {1}{2}}(z_{j}-z)={\frac {1}{2}}z_{i}-{\frac {1}{2}}z_{j}\in T\,.$

Wir haben also einen von Nullpunkt verschiedenen Gitterpunkt in ${}T$ gefunden.

Zur bewiesenen Aussage