Konvexe Menge/Gitter/Grundmasche/Für Gitterpunksatz/Textabschnitt

Aus Wikiversity
Zur Navigation springen Zur Suche springen


Definition  

Eine Teilmenge heißt konvex, wenn mit je zwei Punkten auch jeder Punkt der Verbindungsstrecke, also jeder Punkt der Form

ebenfalls zu gehört.

Convex set.svg
Non Convex set.svg


Der Durchschnitt von konvexen Teilmengen ist wieder konvex. Daher kann man definieren.


Definition  

Zu einer Teilmenge heißt die kleinste konvexe Teilmenge , die umfasst, die konvexe Hülle von .

Die konvexe Hülle ist einfach der Durchschnitt von allen konvexen Teilmengen, die umfassen.

ConvexHull.png


Im zweidimensionalen kann man sich die konvexe Hülle so vorstellen, dass man eine Schnur um die fixierten Punkte aus legt und die Schnur dann zusammen zieht. Dreidimensional nehme man ein Stofftuch.


Definition  

Zu einem durch linear unabhängige Vektoren gegebenen Gitter bezeichnet man die konvexe Hülle der Vektoren mit als die Grundmasche (oder Fundamentalmasche) des Gitters.

Die in der vorstehenden Definition auftauchenden Vektoren sind die Eckpunkte des von den Basisvektoren erzeugten Parallelotops. Die Elemente der Grundmasche selbst sind alle Vektoren der Form

Wir werden die Grundmasche häufig mit bezeichnen. Zu einem Gitterpunkt nennt man die Menge eine Masche des Gitters. Ein beliebiger Punkt hat eine eindeutige Darstellung und damit ist

wobei der erste Summand zum Gitter gehört und der zweite Summand zur Grundmasche. Insbesondere haben zwei verschiedene Maschen nur Randpunkte, aber keine inneren Punkte gemeinsam.

Determinant parallelepiped.svg


Da ein Gitter keine wohldefinierte Gitterbasis besitzt, gibt es eine wohldefinierte Grundmasche nur dann, wenn eine Gitterbasis fixiert wurde, siehe Beispiel. Allerdings, und dies ist entscheidend, ist das Volumen einer Grundmasche unabhängig von der Gitterbasis und hängt nur vom Gitter selbst ab. Dies folgt aus Fakt in Verbindung mit Fakt. Das Volumen eines Parallelotops und insbesondere einer Grundmasche kann man mit den beiden folgenden Sätzen berechnen.


Satz

Es sei eine Basis im und sei das davon erzeugte Parallelotop.

Dann gilt für das Borel-Lebesgue-Maß auf

wobei in der Matrix die Koordinaten von bezüglich der Standardbasis stehen.

Beweis

Dies ist der entscheidende Schritt zum Beweis zu Fakt, siehe den Beweis dort.



Satz

Es sei ein euklidischer Vektorraum, sei eine Basis von und sei das davon erzeugte Parallelotop.

Dann gilt für das Borel-Lebesgue-Maß auf

Beweis

Für den Beweis siehe Fakt.