Введение

Решетка в евклидовом пространстве, точки которой являются целочисленными n-кортежами.

В математике, n-мерная целочисленная решетка (или кубическая решетка), обозначаемая \mathbb{Z}^n, — это решетка в евклидовом пространстве \mathbb{R}^n, точки которой являются n-кортежами целых чисел. Двумерная целочисленная решетка также называется квадратной решеткой или решеткой-сеткой. \mathbb{Z}^n является простейшим примером корневой решетки. Целочисленная решетка — нечетная унимодулярная решетка.

Группа автоморфизма

Автоморфическая группа (или группа конгруэнций) целочисленной решетки состоит из всех перестановок и смен знаков координат и имеет порядок 2n n!. Как матричная группа, она задается множеством всех n × n перестановочных матриц со знаками. Эта группа изоморфна полупрямому произведению

где симметрическая группа Sn действует на (Z2)n перестановками (это классический пример венка произведения). Для квадратной решетки это группа квадрата, или диэдрическая группа порядка 8; для трехмерной кубической решетки мы получаем группу куба, или октаэдрическую группу порядка 48.

Диофантическая геометрия

В изучении диофантовой геометрии квадратная решетка точек с целочисленными координатами часто называется диофантовой плоскостью. В математических терминах диофантова плоскость представляет собой декартово произведение кольца всех целых чисел. Изучение диофантовых фигур сосредоточено на выборе узлов в диофантовой плоскости таким образом, чтобы все попарные расстояния были целыми числами.

Грубая геометрия

В грубой геометрии целочисленная решетка грубо эквивалентна евклидову пространству.

Теорема Пика

Теорема Пика, впервые описанная Георгом Александром Пиком в 1899 году, предоставляет формулу для вычисления площади простого многоугольника, все вершины которого лежат на двумерной целочисленной решетке, выраженную через количество целочисленных точек внутри него и на его границе. Пусть *i* – количество целочисленных точек внутри многоугольника, а *b* – количество целочисленных точек на его границе (включая как вершины, так и точки на сторонах). Тогда площадь *A* этого многоугольника равна:

На примере показано *i* внутренних точек и *b* граничных точек, следовательно, его площадь составляет квадратных единиц.