Вторая теорема Минковского - Minkowskis second theorem

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

Параметр

Позволять K быть закрыто выпуклый центрально-симметричный тело положительного конечного объема в п-размерный Евклидово пространство п. В измерять[1] или же расстояние[2][3] Функционал Минковского грамм прикреплен к K определяется

И наоборот, учитывая норму грамм на п мы определяем K быть

Позволять Γ быть решетка в п. В последовательные минимумы из K или же грамм на Γ определяются установкой kй последующий минимум λk быть инфимум номеров λ такой, что λK содержит k линейно-независимые векторы Γ. У нас есть 0 < λ1λ2 ≤ ... ≤ λп < ∞.

Заявление

Последовательные минимумы удовлетворяют[4][5][6]

Доказательство

Базис линейно независимых векторов решетки б1 , б2 , ... бп можно определить как г (бj) = λj .

Оценка снизу доказывается рассмотрением выпуклого многогранник 2n с вершинами в ± бj/ λj, внутри которого есть K и том, который 2п/ п! λ1 λ2... λп умноженное на целое число, кратное примитивная клетка решетки (как видно из масштабирования многогранника на λj вдоль каждого базисного вектора, чтобы получить 2п п-симплексы с точечными векторами решетки).

Чтобы доказать оценку сверху, рассмотрим функции жj(Икс) отправка точек Икс в центроиду подмножества точек в это можно записать как для некоторых реальных чисел . Тогда преобразование координат имеет определитель Якоби . Если и находятся в интерьер из и ) тогда с , где включение в (в частности, интерьер ) обусловлено выпуклостью и симметрией. Но точки решетки внутри по определению , всегда выражается как линейная комбинация , поэтому любые две различные точки не могут быть разделены вектором решетки. Следовательно, должна быть заключена в примитивную ячейку решетки (имеющую объем ) , и следовательно .

Рекомендации

  1. ^ Сигел (1989) стр.6
  2. ^ Касселс (1957) стр.154
  3. ^ Касселс (1971) стр.103
  4. ^ Касселс (1957) стр.156
  5. ^ Кассель (1971), стр.203
  6. ^ Сигел (1989) стр.57
  • Касселс, Дж. У. С. (1957). Введение в диофантово приближение. Кембриджские трактаты по математике и математической физике. 45. Издательство Кембриджского университета. Zbl  0077.04801.
  • Касселс, Дж. У. С. (1997). Введение в геометрию чисел. Классика по математике (переиздание изд. 1971 г.). Springer-Verlag. ISBN  978-3-540-61788-4.
  • Натансон, Мелвин Б. (1996). Аддитивная теория чисел: обратные задачи и геометрия сумм. Тексты для выпускников по математике. 165. Springer-Verlag. С. 180–185. ISBN  0-387-94655-1. Zbl  0859.11003.
  • Шмидт, Вольфганг М. (1996). Диофантовы приближения и диофантовы уравнения. Конспект лекций по математике. 1467 (2-е изд.). Springer-Verlag. п. 6. ISBN  3-540-54058-Х. Zbl  0754.11020.
  • Сигель, Карл Людвиг (1989). Комараволу С. Чандрасекхаран (ред.). Лекции по геометрии чисел. Springer-Verlag. ISBN  3-540-50629-2. Zbl  0691.10021.