Решётка (геометрия)
Решётка — набор векторов евклидова пространства , образующий дискретную группу по сложению.
Связанные понятия
[править | править код]Линейно независимая система векторов, порождающая решётку, называется её базисом. Два набора векторов порождают одну и ту же -мерную решётку тогда и только тогда, когда матрицы и , составленные из вектор-столбцов координат векторов этих наборов, связаны домножением справа на унимодулярную матрицу: , . Поэтому можно сопоставить решётки максимального ранга в -мерном пространстве классам смежности [1].
Определителем решётки называется определитель матрицы, составленной из координат порождающих её векторов. Он равен объёму её фундаментальной области, представляющей собой параллелепипед, и также называется кообъёмом решётки.
Нормой вектора в теории решёток в евклидовом пространстве принято называть не длину вектора, а её квадрат .
Решётка называется:
- Целой, если скалярное произведение любых двух её векторов целое:
- Чётной, если норма любого её вектора чётная:
- Унимодулярной, если её фундаментальный параллелепипед имеет объём 1.
Примитивным называется ненулевой вектор решётки, не коллинеарный никакому более короткому ненулевому вектору этой решётки.
Примитивный вектор решётки, относительно отражения вдоль которого решётка инвариантна, называется корнем решётки. Множество корней решётки образуют систему корней. Каждая решётка, порождённая своими корнями, подобна решётке, порождённой векторами с нормами 1 или 2. Такая решётка называется решёткой корней[2].
Двойственной решёткой к решётке называется решётка, которая обозначается или и определяется как
Решётка называется самодвойственной, если она совпадает с двойственной к себе.
Подрешётка — подгруппа решётки.
Можно определить объект, аналогичный решётке, в аффинном пространстве — аффинную решётку; это орбита точки аффинного пространства под действием сдвигов на векторы решётки.
В физике решётки в трёхмерном пространстве, классифицированные по их симметриям, называются решётками Браве, двойственная решётка — обратная решётка, фундаментальный параллелепипед — (примитивная) элементарная ячейка.
Граф Кэли решётки тоже называют решёткой (бесконечной).
Свойства
[править | править код]- Если решётка целая, то .
- Кообъёмы решётки и двойственной к ней в произведении дают 1.
- Целая унимодулярная решётка автоматически самодвойственна.
- Чётные самодвойственные решётки существуют только в пространствах размерностей, кратных восьми.
- Группа изометрий решётки всегда конечна.
Примеры
[править | править код]- Целочисленная решётка, в частности, квадратная решётка
- Шестиугольная решётка
- Решётка E8
- Решётка Лича
Классы изометрии и подобия
[править | править код]Решётки, как и другие геометрические объекты, нередко рассматривают с точностью до движений (изометрий в себя) объемлющего евклидова пространства — поворотов вокруг начала координат и отражений относительно проходящих через него плоскостей. Такое преобразование действует на матрицу, составленную из координат базиса решётки, как домножение слева на ортогональную матрицу. Поэтому классы изометрий решёток — классы эквивалентности решёток относительно изометрий — можно сопоставить двусторонним классам смежности группы обратимых матриц: [3].
Также в некоторых задачах решётки рассматривают с точностью до подобия; на матрицу такие преобразования действуют как домножение на элементы (множества ненулевых действительных чисел). Классы подобия решёток соответствуют классам смежности [3].
Билинейные и квадратичные формы
[править | править код]Близкое, «теоретико-числовое» определение решётки — абстрактная свободная абелева группа конечного ранга (то есть изоморфная ) с положительно определённой симметричной билинейной формой на ней; вместо билинейной формы можно задать квадратичную. Чтобы это определение было равносильно приведённому выше, «геометрическому» определению решёток (точнее, их классов изометрий), нужно рассматривать квадратичные формы с точностью до определённого отношения эквивалентности.
Если заданы решётка и её базис, то матрица соответствующей квадратичной формы — матрица Грама этого базиса. Положительно определённая квадратичная форма как функционал на может быть задана как , (тогда матрица квадратичной формы равна ), и она не меняется, если вектор подвергнуть ортогональному преобразованию, поэтому положительно определённые квадратичные формы находятся во взаимно однозначном соответствии с классами смежности . Если считать эквивалентными формы, матрицы которых и связаны через унимодулярную матрицу как , то классы эквивалентности квадратичных форм оказываются во взаимно однозначном соответствии с классами смежности — и таким образом и с классами изометрии решёток[3].
На комплексной плоскости
[править | править код]В двумерном случае можно отождествить объемлющее евклидово пространство с комплексной плоскостью, а векторы решётки — с комплексными числами. Если положительно ориентированный базис решётки представлен парой комплексных чисел , то преобразованием подобия можно перейти к решётке с базисом , после чего смена базиса в решётке с сохранением ориентации будет соответствовать дробно-линейному преобразованию верхней полуплоскости — элементу модулярной группы.
Применения
[править | править код]С решётками связаны различные геометрические задачи, такие как плотная упаковка равных сфер. Также на решётках основываются коды для помехоустойчивого кодирования. Многие задачи теории решёток лежат в основе криптографии на решётках.
Обобщения
[править | править код]- Если связать со свободной абелевой группой билинейную форму, не являющуюся положительно определённой, то в результате получится решётка в псевдоевклидовом пространстве.
- Решётка максимального ранга в имеет фундаментальную область конечного объёма. В теории групп Ли и некоторых других областях решёткой в группе называют дискретную подгруппу, объём факторпространства группы по которой конечен, что обобщает это свойство.
- С более общей алгебраической точки зрения, решётка — это свободный -модуль, вложенный в векторное пространство над числовым полем, содержащемся в . Можно обобщить это понятие, рассмотрев произвольный конечнопорождённый модуль без кручения над целостным кольцом , вложенный в векторное пространство над полем частных для [4].
Примечания
[править | править код]- ↑ Martinet, 2003, p. 3.
- ↑ Martinet, 2003, p. 131—135.
- ↑ 1 2 3 Martinet, 2003, p. 20—22.
- ↑ Reiner, I. Maximal Orders (англ.). — Oxford University Press, 2003. — Vol. 28. — P. 44. — (London Mathematical Society Monographs. New Series). — ISBN 0-19-852673-3.
Литература
[править | править код]- Дж. Конвей, Н. Слоэн. Упаковки шаров, решётки и группы. — М.: Мир, 1990.
- Jacques Martinet. Perfect Lattices in Euclidean Spaces. — Springer, 2003. — Erratum. — ISBN 978-3-642-07921-4. — doi:10.1007/978-3-662-05167-2.
В другом языковом разделе есть более полная статья Réseau (géométrie) (фр.). |