Math 2.0

Convex and discrete geometry Definition

Lattice polytope

Builds on Convex polytopeVertex of a polytopeLattice (group)

Definition

A lattice polytope in ℝn\R^n is a convex polytope P⊆ℝnP \subseteq \R^n all of whose vertices lie in ℤn\Z^n. Equivalently, PP is the convex hull of a finite subset of ℤn\Z^n.

Remarks

Example: the triangle with vertices (0,0)(0,0), (3,0)(3,0), (0,2)(0,2) is a lattice polygon, since all three vertices have integer coordinates.

Non-example: the triangle with vertices (0,0)(0,0), (1,0)(1,0), (0,1/2)(0, 1/2) is not a lattice polygon, since the vertex (0,1/2)(0, 1/2) is not in ℤ2\Z^2. It is a rational polytope: its vertices lie in ℚ2\Q^2.

More generally, for a lattice Λ⊆ℝn\Lambda \subseteq \R^n, a lattice polytope with respect to Λ\Lambda is a convex polytope with all vertices in Λ\Lambda. A linear change of coordinates turns Λ\Lambda into ℤn\Z^n, so the case Λ=ℤn\Lambda = \Z^n is the standard one. Two lattice polytopes are usually regarded as the same when an affine map x↦Ax+bx \mapsto Ax + b with A∈GLn(ℤ)A \in GL_n(\Z) and b∈ℤnb \in \Z^n carries one onto the other.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Convex polytope concept
  2. Lattice (group) concept
  3. Vertex of a polytope concept
  4. Lattice polytope definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Integral_polytope
About this page
TagPF5HS26Q0H
URIm2://PF5HS26Q0H
Kinddefinition
WritingW0 stub
MSC52B20, 11P21
DefinesLattice polytope
UsesConvex polytope, Vertex of a polytope, Lattice (group)

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.