Вы находитесь на странице: 1из 13

АЛГЕБРАИЧЕСКИЕ РЕШЁТКИ В МЕТРИЧЕСКОМ ПРОСТРАНСТВЕ РЕШЁТОК 325

ЧЕБЫШЕВСКИЙ СБОРНИК

Том 18 Выпуск 4

УДК 511.42 DOI 10.22405/2226-8383-2017-18-4-325-337

АЛГЕБРАИЧЕСКИЕ РЕШЁТКИ В МЕТРИЧЕСКОМ


ПРОСТРАНСТВЕ РЕШЁТОК1
Е. Н. Смирнова, О. А. Пихтилькова (г. Оренбург), Н. Н. Добровольский,
Н. М. Добровольский (г. Тула)

Аннотация
В работе дано новое общее определение алгебраической решётки. Доказывается, что
любое рациональное преобразование алгебраической решётки снова будет алгебраической
решёткой. Показано, что взаимная решётка к алгебраической решётки также будет ал-
гебраической решёткой, соответствующей тому же чисто-вещественному алгебраическому
полю 𝐹𝑠 над полем рациональных чисел Q.
Следуя за Б. Ф. Скубенко, изучаются фундаментальные системы из чисто-веществен-
ного алгебраического поля 𝐹𝑠 над полем рациональных чисел Q. Показана связь между
фундаментальными системами алгебраических чисел и алгебраическими решётками.
В работе доказаны оценки для норм матрицы перехода от произвольной невырожден-
ной матрицы к рациональной приближающей матрицы. С помощью леммы об оценки нор-
мы матрицы перехода и обратной матрицы перехода, связывающих произвольную невы-
рожденную матрицу и невырожденную рациональную приближающую матрицу, в работе
показано, что множество алгебраических решёток всюду плотно в метрическом простран-
стве решёток.
Доказанная теорема является частным случаем более общей теоремы о том, что для
любой решётки Λ ∈ 𝑃 𝑅𝑠 множество всех решёток рационально связанных с решёткой Λ
всюду плотно в 𝑃 𝑅𝑠 .
Аналогом данной теоремы является утверждение что для произвольной точки общего
положения из R𝑠 соответствующее 𝑠-мерное рациональное арифметическое пространство
будет всюду плотно в 𝑠-мерном вещественном арифметическом пространстве R𝑠 .
Ключевые слова: алгебраические решётки, метрическое пространство решёток.
Библиография: 24 названия.

1. Введение
Как известно (см. [7], стр.165) множество всех 𝑠-мерных решёток образуют полное метри-
ческое пространство относительно метрики 𝜌(Λ, Γ), которая задана равенствами

𝜌(Λ, Γ) = max(ln(1 + 𝜇), ln(1 + 𝜈)), 𝜇 = inf ‖𝐴 − 𝐸𝑠 ‖, 𝜈 = inf ‖𝐵 − 𝐸𝑠 ‖,


Λ=𝐴·Γ 𝐵·Λ=Γ
⎛ ⎞
1 ... 0
1, при 𝑖 = 𝑗,
{︂
⎜ .. . . .. ⎟
𝐸𝑠 = ⎝ . . . ⎠ = (𝛿𝑖𝑗 )16𝑖,𝑗6𝑠 , 𝛿𝑖𝑗 = 0, при 𝑖 ̸= 𝑗, ‖𝐴‖ = 𝑠 · max |𝑎𝑖𝑗 |.
16𝑖,𝑗6𝑠
0 ... 1

Метрическое пространство решёток 𝑃 𝑅𝑠 играло существенную роль в работах [5], [6], [9]–
[17], [21]–[24].
1
Работа выполнена по грантам РФФИ № 15-01-01540a, №16-41-710194р_центр_а
326 Е. Н. СМИРНОВА, О. А. ПИХТИЛЬКОВА И ДР.

В 1976 году в работах К. К. Фролова [19], [20] было сделано существенное, принципиальное
продвижение в теоретико-числовом методе в приближенном анализе, основанное на примене-
нии алгебраических решёток. Ниже дадим общее определение алгебраической решётки.
Наряду с операциями сложения и вычитания векторов из R𝑠 рассмотрим операции поко-
ординатного умножения двух векторов и деления вектора на вектор общего положения:
(︂ )︂
⃗𝑥 𝑥1 𝑥𝑠
⃗𝑥 · ⃗𝑦 = (𝑥1 𝑦1 , . . . , 𝑥𝑠 𝑦𝑠 ), = ,..., (𝑦1 ̸= 0, . . . , 𝑦𝑠 ̸= 0).
⃗𝑦 𝑦1 𝑦𝑠
Добавление операции покоординатного умножения превращает R𝑠 в коммутативное кольцо
с единицой ⃗𝑒 = (1, . . . , 1) и, кроме того, в алгебру над R ранга 𝑠.
Так как для стандартного базиса ⃗𝑒1 , . . . , ⃗𝑒𝑠 справедливы равенства ⃗𝑥 · ⃗𝑒𝑗 = 𝑥𝑗 · ⃗𝑒𝑗 (𝑗 =
= 1, . . . , 𝑠), то умножение на ⃗𝑥 задаёт линейное преобразование пространства R𝑠 . Матрицей
этого линейного преобразования в стандартном базисе является диагональная матрица 𝐷(⃗𝑥),
(0)
которая невырожденная только для точек ⃗𝑥 общего положения. Обозначим через 𝐷𝑠 (R) мно-
жество всех диагональных матриц, содержащее как подмножество 𝐷𝑠 (R) — множество всех
невырожденных диагональных матриц, так и подмножество вырожденных диагональных мат-
риц, т. е. диагональных матриц, у которых на диагонали есть хотя бы один ноль. Соответствие
⃗𝑥 → 𝐷(⃗𝑥) задаёт регулярное R-представление пространства R𝑠 в стандартном базисе. Таким
(0)
образом всё R𝑠 отображается взаимно однозначно на 𝐷𝑠 (R), а множество точек общего по-
ложения — на 𝐷𝑠 (R). При переходе к другим базисам регулярное представление меняется.
Согласно Б. Н. Делоне и Д. К. Фаддееву [3] решёткой, повторяющейся умножением,
называется всякая решётка замкнутая относительно операции покоординатного умножения
точек. Таким образом, если решётка Λ, повторяется умножением, то для любого ⃗𝑥 ∈ Λ спра-
ведливо соотношение

⃗𝑥 · Λ = {(𝑥1 𝑦1 , . . . , 𝑥𝑠 𝑦𝑠 ) | ⃗𝑦 ∈ Λ} ⊂ Λ · Λ ⊂ Λ.

Ясно, что если ⃗𝑥 — точка общего положения, то ⃗𝑥 · Λ — подрешётка, повторяющаяся умно-


жением, решётки Λ, так как свойства дискретности и замкнутости относительно сложения,
вычитания и умножения для ⃗𝑥 · Λ сохраняются, кроме того линейно независимая система
векторов переходит в линейно независимую.
Таким образом, с алгебраической точки зрения всякая решётка Λ, повторяющаяся умно-
жением является, с одной стороны, коммутативным кольцом, а с другой стороны Z-модулем.
Определение 1. Точка ⃗𝑥 ̸= ⃗0 называется делителем нуля, если у неё есть координаты
равные 0.
Определение 2. Решётка не содержащая делителей нуля называется неприводимой.

Для решёток, повторяющихся умножением, рассмотрим более важное регулярное Z-


представление точек этой решётки. Если решётка Λ = Λ(⃗𝜆1 , . . . , ⃗𝜆𝑠 ), повторяется умножением,
то определены следующие целочисленные матрицы линейных преобразований:
⃗ ⃗ (𝑘)⃗ (𝑘)⃗

(︁ )︁ ⎨𝜆𝑘 · 𝜆1 = 𝑎1 1 𝜆1 + . . . + 𝑎𝑠 1 𝜆𝑠

(𝑘)
𝐴𝑘 = 𝑎𝑖 𝑗 , .............................. (𝑘 = 1, . . . , 𝑠). (1)
(16𝑖,𝑗6𝑠) ⎪
⎩⃗ ⃗ (𝑘)⃗ (𝑘)⃗
𝜆𝑘 · 𝜆𝑠 = 𝑎 𝜆1 + . . . + 𝑎𝑠 𝑠 𝜆𝑠
1𝑠

Если через 𝐴⃗𝑥 обозначим регулярное Z𝑠 -представление точки ⃗𝑥 решётки Λ =


= Λ(⃗𝜆1 , . . . , ⃗𝜆𝑠 ), то через внутренние координаты 𝑚1 , . . . , 𝑚𝑠 этой точки в базисе ⃗𝜆1 , . . . , ⃗𝜆𝑠 :
⃗𝑥 = 𝑚1⃗𝜆1 + . . . + 𝑚𝑠⃗𝜆𝑠 матрица 𝐴⃗𝑥 выражается линейно в виде

𝐴⃗𝑥 = 𝑚1 𝐴1 + . . . + 𝑚𝑠 𝐴𝑠 .
АЛГЕБРАИЧЕСКИЕ РЕШЁТКИ В МЕТРИЧЕСКОМ ПРОСТРАНСТВЕ РЕШЁТОК 327

Определение 3. Назовём вектор ⃗𝜆 = (𝜆(1) , . . . , 𝜆(𝑠) ) ∈ R𝑠 целым алгебраическим, если


многочлен
𝑓⃗𝜆 (𝑥) = (𝑥 − 𝜆(1) ) . . . (𝑥 − 𝜆(𝑠) ) ∈ Z[𝑥].
Вектор ⃗𝜆 = (𝜆(1) , . . . , 𝜆(𝑠) ) назовём алгебраическим, если найдется натуральное число 𝑛
такое, что вектор ⃗𝜆1 = 𝑛⃗𝜆 будет целым алгебраическим вектором.
Определение 4. Решётка Λ ∈ 𝑃 𝑅𝑠 называется алгебраической, если любой вектор
𝜆∈Λ будет алгебраическим вектором и Λ содержит неприводимую подрешётку Λ1 , повто-
ряющуюся умножением.

Важным свойством алгебраических решёток является тот факт, что норменный минимум
𝑁 (Λ), который определяется равенством
𝑁 (Λ) = inf |𝑥1 . . . 𝑥𝑠 |,
𝑥̸=⃗0
𝑥∈Λ, ⃗

строго больше 0: 𝑁 (Λ) > 0.


Пусть 𝐹𝑠 — чисто-вещественное алгебраическое поле степени 𝑠 над полем рациональных
(1) (2) (𝑠)
чисел Q и 𝐹𝑠 = 𝐹𝑠 , 𝐹𝑠 , . . . , 𝐹𝑠 — его алгебраически сопряжённые поля. Обозначим через
A(𝐹𝑠 ) множество всех алгебраических решёток Λ таких, что координаты любого вектора ⃗𝑥 ∈ Λ
являются алгебраически сопряженными числами из поля 𝐹𝑠 , то есть ⃗𝑥 = (𝑥1 , . . . , 𝑥𝑠 ) и 𝑥𝑗 = 𝜃(𝑗)
(𝑗 = 1, . . . , 𝑠), где 𝜃(1) = 𝜃, 𝜃(2) , . . . , 𝜃(𝑠) — полный набор алгебраически сопряженных чисел
(𝑗)
𝜃(𝑗) ∈ 𝐹𝑠 для алгебраического числа 𝜃 ∈ 𝐹𝑠 .
Целью данной работы является доказательство следующей основной теоремы о плотности
множества алгебраических решёток A(𝐹𝑠 ) в метрическом пространстве 𝑃 𝑅𝑠 .
Теорема 1. Для любого чисто-вещественного алгебраического поля 𝐹𝑠 степени 𝑠 над по-
лем рациональных чисел Q множество алгебраических решёток A(𝐹𝑠 ) всюду плотно в мет-
рическом пространстве 𝑃 𝑅𝑠 .

2. Свойства алгебраических решёток


Нам потребуется обозначение действия линейного преобразования, заданного матрицей
𝑀 , на решётку Λ(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) с базисом ⃗𝜆1 = (𝜆1,1 , . . . , 𝜆1,𝑠 ), . . . , ⃗𝜆𝑠 = (𝜆𝑠,1 , . . . , 𝜆𝑠,𝑠 ) и базисной
матрицей 𝐴 ⎛ ⎞
𝜆1,1 . . . 𝜆1,𝑠
𝐴 = ⎝ . . . ... . . . ⎠ .
⎜ ⎟

𝜆𝑠,1 . . . 𝜆𝑠,𝑠
Будем писать 𝑀 · Λ(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) = Λ(𝑀 · ⃗𝜆1 , . . . , 𝑀 · ⃗𝜆𝑠 ),
⎛ ∑︀ 𝑠 𝑠
∑︀ ⎞
𝑚1,𝜈 𝜆𝜈,1 . . . 𝑚1,𝜈 𝜆𝜈,𝑠
⎜ 𝜈=1 𝜈=1 ⎟
⃗ ⃗ ⃗ ⃗
⎜ .. ⎟
𝑀 · 𝐴(𝜆1 , . . . , 𝜆𝑠 ) = 𝐴(𝑀 · 𝜆1 , . . . , 𝑀 · 𝜆𝑠 ) = ⎜
⎜ ... . ...
⎟.

𝑠
⎝ ∑︀ 𝑠
∑︀ ⎠
𝑚𝑠,𝜈 𝜆𝜈,1 . . . 𝑚𝑠,𝜈 𝜆𝜈,𝑠
𝜈=1 𝜈=1

Таким образом произвольный вектор ⃗𝑥 = 𝑚1⃗𝜆1 + . . . + 𝑚𝑠⃗𝜆𝑠 под действием линейного преоб-
разования с матрицей 𝑀 переходит в вектор 𝑀 · ⃗𝑥 = 𝑚1 𝑀 · ⃗𝜆1 + . . . + 𝑚𝑠 𝑀 · ⃗𝜆𝑠 и
⎛ ⎞
𝜆1,1 . . . 𝜆1,𝑠
𝑀 · ⃗𝜆𝜈 = 𝑚𝜈,1 . . . 𝑚𝜈,𝑠 · ⎝ . . . . . . . . . ⎠ (𝜈 = 1, . . . , 𝑠).
(︀ )︀ ⎜ ⎟

𝜆𝑠,1 . . . 𝜆𝑠,𝑠
328 Е. Н. СМИРНОВА, О. А. ПИХТИЛЬКОВА И ДР.

Приведём несколько лемм из работ [4], [13], [15] в нужной нам формулировке с полными
доказательствами и несколько новых лемм.
Лемма 1. Пусть
(︂ )︂
𝐴11 𝐴12
𝐴= ,
𝐴21 𝑎𝑠𝑠
⎛ ⎞ ⎛ ⎞
𝑎11 ... 𝑎1𝑠−1 𝑎1𝑠
..
𝐴12 = ⎝ ... ⎠ ,
(︀ )︀
𝐴11 =⎝ ⎠, 𝐴21 = 𝑎𝑠1 . . . 𝑎𝑠𝑠−1 .
⎜ ⎟ ⎜ ⎟
... . ...
𝑎𝑠−11 . . . 𝑎𝑠−1𝑠−1 𝑎𝑠−1𝑠

Если det 𝐴11 ̸= 0, 𝑎𝑠𝑠 ̸= 0 и


⎛ ⎞
𝑏11 ... 𝑏1𝑠−1
𝐵11 = ⎝ . . . . . . −1
. . . ⎠ = 𝐴11 , 𝐵12 = 𝐵11 𝐴12 ,
⎜ ⎟

𝑏𝑠−11 . . . 𝑏𝑠−1𝑠−1
⎛ ⎞
0
(︀ 𝑎𝑠1 𝑎𝑠𝑠−1 )︀
⃗0𝑠−1 =
(︀ )︀
⃗0⊤ .
𝐵21 = ... , 0 ... 0 , .
𝑠−1 = ⎝ ⎠,
⎜ ⎟
𝑎𝑠𝑠 𝑎𝑠𝑠 .
0

то справедливы равенства
𝐴 = 𝐴1 · 𝐴2 ,
где
𝐴11 ⃗0⊤
(︂ )︂ (︂ )︂
𝑠−1 𝐸𝑠−1 𝐵12
𝐴1 = ⃗0𝑠−1 𝑎𝑠𝑠 , 𝐴2 = .
𝐵21 1
Доказательство. Перемножая клеточные матрицы, получим
(︂ )︂
𝐴11 𝐴11 · 𝐵12
𝐴1 · 𝐴2 = .
𝑎𝑠𝑠 · 𝐵21 𝑎𝑠𝑠

Так как
𝐴11 · 𝐵12 = 𝐴11 · 𝐵11 𝐴12 = 𝐴12 , 𝑎𝑠𝑠 · 𝐵21 = 𝐴21 ,
то 𝐴1 · 𝐴2 = 𝐴 и лемма доказана. 2
Рассмотрим произвольную решётку Λ = Λ(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) ∈ A(𝐹𝑠 ). Таким образом, решётки Λ
соответствует базисная матрица 𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 ):
⎛ (1) (𝑠) ⎞
𝜆1 . . . 𝜆1
𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) = ⎝ . . . .. 𝜆(𝜇) (𝜇)
(2)
. ... ⎠, 𝜈 ∈ 𝐹𝑠 (1 6 𝜈, 𝜇 6 𝑠),
⎜ ⎟
(1) (𝑠)
𝜆𝑠 . . . 𝜆𝑠

и для любого целочисленного вектора 𝑚 ⃗ = (𝑚1 , . . . , 𝑚𝑠 ) ∈ Z𝑠 соответствующая точка


(𝜇) (𝜇) (𝜇)
⃗𝑥 = ⃗𝑥(𝑚) ⃗ ⃗𝜆1 , . . . , ⃗𝜆𝑠 ) ∈ Λ. Ясно, что 𝑥𝜇 = 𝑚1 𝜆1 + . . . + 𝑚𝑠 𝜆𝑠 ∈ 𝐹𝑠 (1 6 𝜇 6 𝑠).
⃗ = 𝑚𝐴(
Назовём знаменателем алгебраического вектора ⃗𝜆𝑗 наименьшее натуральное число 𝑛𝑗 та-
кое, что 𝑛𝑗 ⃗𝜆𝑗 — целый алгебраический вектор.
Множество алгебраических, линейно независимых чисел 𝜆1 , . . . , 𝜆𝑠 из 𝐹𝑠 согласно
Б. Ф. Скубенко называется фундаментальной системой (см. [13]), а если среди чисел фун-
даментальной системы есть единица, то такая система называется приведенной фундамен-
тальной системой.
АЛГЕБРАИЧЕСКИЕ РЕШЁТКИ В МЕТРИЧЕСКОМ ПРОСТРАНСТВЕ РЕШЁТОК 329

Лемма 2. Пусть 𝜆1 , ..., 𝜆𝑠 из 𝐹𝑠 — произвольная фундаментальная система из 𝐹𝑠 , а


𝜆 ∈ 𝐹𝑠 — произвольное алгебраическое число, тогда имеется однозначное представление

𝜆 = 𝑚1 𝜆1 + . . . + 𝑚𝑠 𝜆𝑠 , 𝑚𝑗 ∈ Q (1 6 𝑗 6 𝑠).
Доказательство. Действительно, согласно Г. Вейлю (см. [2]) каждое алгебраическое по-
ле 𝐹𝑠 степени 𝑠 над полем рациональных чисел Q является рациональным пространством
размерности 𝑠 над полем рациональных чисел Q. Нетрудно видеть, что произвольная фунда-
ментальная система из 𝐹𝑠 является базисом 𝐹𝑠 как рационального пространства размерности 𝑠
над полем рациональных чисел Q. С другой стороны, каждый базис будет являться фундамен-
тальной системой из 𝐹𝑠 . Из свойств базиса рационального векторного пространства следует
утверждение леммы. 2
Лемма 3. Пусть 𝜆1 , ..., 𝜆𝑠 из 𝐹𝑠 — произвольная фундаментальная система из 𝐹𝑠 и
вектора ⃗𝜆𝑗 заданы равенствами

⃗𝜆𝑗 = (𝜆(1) , . . . , 𝜆(𝑠) ), 𝜆𝑗


(𝜇)
∈ 𝐹𝑠(𝜇) (1 6 𝑗, 𝜇 6 𝑠),
𝑗 𝑗

тогда решётка Λ = Λ(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) ∈ A(𝐹𝑠 ) — алгебраическая решётка.

Доказательство. Действительно, рассмотрим целый алгебраический вектор ⃗𝜆* = 𝑛1⃗𝜆1 ,


*
который принадлежит решётки Λ. Рассмотрим целые алгебраические вектора 𝜆⃗𝑗 = (⃗𝜆* )𝑗
(2 6 𝑗 6 𝑠). Из леммы 2 следует, что найдутся целые рациональные числа 𝑚2,1 , . . . , 𝑚𝑠,𝑠 и
натуральные 𝑛2 , . . . , 𝑛𝑠 такие, что (𝑚𝑗,1 , . . . , 𝑚𝑗,𝑠 , 𝑛𝑗 ) = 1 (2 6 𝑗 6 𝑠) и
𝑠
⃗ * 1 ∑︁
𝜆𝑗 = 𝑚𝑗,𝜈 ⃗𝜆𝜈 (2 6 𝑗 6 𝑠).
𝑛𝑗
𝜈=1

Положим 𝑁 = [𝑛2 , . . . , 𝑛𝑠 ], тогда каждый вектор


𝑠
⃗ * 𝑗 𝑁 𝑗 ∑︁
(𝑁 𝜆 ) = 𝑚𝑗,𝜈 ⃗𝜆𝜈 (2 6 𝑗 6 𝑠)
𝑛𝑗
𝜈=1

будет целым алгебраическим вектором, принадлежащим решётке Λ. Так как подрешётка


Λ1 = Λ(𝑁 ⃗𝜆* , (𝑁 ⃗𝜆* )2 , . . . , (𝑁 ⃗𝜆* )𝑠 ) — решётка, повторяющаяся умножением, то утверждение
леммы доказано. 2
Обозначим через M𝑠 (Q) множество всех рациональных квадратных матриц порядка 𝑠, а
через M*𝑠 (Q) — подмножество невырожденных матриц.
Лемма 4. Для базисной матрицы 𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) вида (2) произвольной алгебраической
решётки Λ = Λ(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) ∈ A(𝐹𝑠 ) справедливо соотношение
𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) · 𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 )⊤ ∈ M*𝑠 (Q). (3)
Доказательство. Положим 𝑄(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) = 𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) · 𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 )⊤ , тогда
⎛ (1) (𝑠) ⎞ ⎛ (1) (1) ⎞
𝜆1 . . . 𝜆1 𝜆1 . . . 𝜆𝑠
𝑄(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) = ⎝ . . . . . . . . . ⎠ ⎝ . . . . . . . . . ⎠
⎜ ⎟⎜ ⎟
(1) (𝑠) (𝑠) (𝑠)
𝜆𝑠 . . . 𝜆𝑠 𝜆1 . . . 𝜆𝑠
⎛ 𝑠 𝑠 ⎞
∑︀ (𝜇) (𝜇) ∑︀ (𝜇) (𝜇)
𝜆1 𝜆1 ... 𝜆1 𝜆𝑠
⎜ 𝜇=1 𝜇=1

..
⎜ ⎟
=⎜ . ⎟.
⎜ ⎟
⎜ 𝑠 ... 𝑠
... ⎟
⎝ ∑︀ (𝜇) (𝜇) ∑︀ (𝜇) (𝜇) ⎠
𝜆𝑠 𝜆1 ... 𝜆𝑠 𝜆𝑠
𝜇=1 𝜇=1
330 Е. Н. СМИРНОВА, О. А. ПИХТИЛЬКОВА И ДР.

Известно, что если алгебраическое число 𝜆 ∈ 𝐹𝑠 удовлетворяет алгебраическому уравнению

𝑓 (𝜆) = 0, 𝑓 (𝑥) = 𝑥𝑠 + 𝑎𝑠−1 𝑥𝑠−1 + . . . + 𝑎1 𝑥 + 𝑎0 ∈ Q[𝑥],

то для следа Tr(𝜆) справедливо соотношение Tr(𝜆) = −𝑎𝑠−1 ∈ Q.


Используя функцию след, матрицу 𝑄(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) можно записать в виде
⎛ ⎞
Tr(𝜆1 𝜆1 ) . . . Tr(𝜆1 𝜆𝑠 )
𝑄(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) = ⎝ ..
. ⎠,
⎜ ⎟
... ...
Tr(𝜆𝑠 𝜆1 ) . . . Tr(𝜆𝑠 𝜆𝑠 )

где 𝜆1 , . . . , 𝜆𝑠 из 𝐹𝑠 — соответствующая фундаментальная система из 𝐹𝑠 . Тем самым утвер-


ждение леммы доказано. 2

Лемма 5. Для любой рациональной, невырожденной матрицы 𝑀 ∈ M*𝑠 (Q) и алгебраи-


ческой решётки Λ ∈ A(𝐹𝑠 ) решётка Λ1 = 𝑀 Λ — алгебраическая: Λ1 ∈ A(𝐹𝑠 ).
Доказательство. Действительно, пусть Λ = Λ(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) ∈ A(𝐹𝑠 ) и базисная матрица
𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) имеет вид (2), а
⎛ ⎞
𝑚1,1 . . . 𝑚1,𝑠
𝑀 = ⎝ . . . . . . . . . ⎠ , 𝑚𝜈,𝜇 ∈ Q (1 6 𝜈, 𝜇 6 𝑠),
⎜ ⎟

𝑚𝑠,1 . . . 𝑚𝑠,𝑠

тогда базисная матрица 𝐴1 = 𝑀 · 𝐴 имеет вид


𝑠
⎛ ∑︀ 𝑠 ⎞
(1) ∑︀ (𝑠)
𝑚1,𝜈 𝜆𝜈 ... 𝑚1,𝜈 𝜆𝜈
⎜ 𝜈=1 𝜈=1 ⎟ 𝑠
. .
∑︁
𝑚𝜇,𝜈 𝜆(𝜇) (𝜇)
⎜ ⎟
𝐴1 = ⎜

... . ...
⎟,
⎟ 𝜈 ∈ 𝐹𝑠 (1 6 𝜈, 𝜇 6 𝑠)
𝑠
⎝ ∑︀ 𝑠 ⎠ 𝜈=1
(1) ∑︀ (𝑠)
𝑚𝑠,𝜈 𝜆𝜈 ... 𝑚𝑠,𝜈 𝜆𝜈
𝜈=1 𝜈=1

и лемма доказана. 2
Для алгебраических решёток и сама решётка, и её взаимная решётка не имеют ненулевых
точек с нулевым произведением координат. Для обоснования этого достаточно показать, что
координаты любой ненулевой точки взаимной решётки для алгебраической решетки образуют
полный набор алгебраически сопряженных чисел из одного и того же алгебраического чисто
вещественного поля степени 𝑠 над полем рациональных чисел Q.
Рассмотрим алгебраическую решётку Λ = Λ(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) ∈ A(𝐹𝑠 ), заданную равенством
{︃ (︃ 𝑠 𝑠
)︃⃒ }︃
∑︁ ∑︁ ⃒
Λ(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) = ⃗𝑥 = (1)
𝜆𝜈 𝑚𝜈 , . . . , (𝑠)
𝜆𝜈 𝑚𝜈 ⃒ 𝑚1 , . . . , 𝑚𝑠 ∈ Z . (4)


𝜈=1 𝜈=1

Так как координаты любой ненулевой точки ⃗𝑥 ∈ Λ(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) — алгебраически сопряжен-
ные алгебраические числа, то произведение 𝑥1 . . . 𝑥𝑠 — ненулевое рациональное число.
Из предыдущего следует, что каждая строка матрицы 𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) состоит из полного
набора алгебраически сопряженных чисел, а все элементы 𝜈 -ого столбца матрицы принад-
(𝜈)
лежат одному и тому же алгебраическому полю 𝐹𝑠 (𝜈 = 1, . . . , 𝑠). Так как точки решетки
Λ(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) — целочисленные линейные комбинации строк матрицы 𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 ), то коор-
динаты каждой точки ⃗𝑥 ∈ Λ(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) — полный набор алгебраически сопряженных чисел,
а 𝜈 -ая координата для любой точки этой решетки принадлежит одному и тому же алгебраи-
(𝜈)
ческому полю 𝐹𝑠 (𝜈 = 1, . . . , 𝑠).
АЛГЕБРАИЧЕСКИЕ РЕШЁТКИ В МЕТРИЧЕСКОМ ПРОСТРАНСТВЕ РЕШЁТОК 331

Покажем, что этим свойством обладает и взаимная решётка.


Обозначим через 𝑈𝜈 𝑗 = 𝑈𝜈 𝑗 (⃗𝜆1 , . . . , ⃗𝜆𝑠 ) элементы матрицы 𝑄(⃗𝜆1 , . . . , ⃗𝜆𝑠 )−1 . Ясно, что из
симметричности матрицы 𝑄(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) вытекает симметричность матрицы 𝑄(⃗𝜆1 , . . . , ⃗𝜆𝑠 )−1 .
Обозначим через 𝐴* (⃗𝜆1 , . . . , ⃗𝜆𝑠 ) базисную матрицу взаимной решётки Λ* (⃗𝜆1 , . . . , ⃗𝜆𝑠 ) к ре-
шётке Λ(⃗𝜆1 , . . . , ⃗𝜆𝑠 ), которая взаимна базисной матрице 𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 ).
Лемма 6. Справедливо равенство

𝑠 𝑠
⎛ ⎞
∑︀ (1) ∑︀ (𝑠)
⎜ 𝑈1 𝑘 𝜆𝑘
... 𝑈1 𝑘 𝜆 𝑘 ⎟
⎜ 𝑘=1
𝑠
𝑘=1
𝑠

⎜ ∑︀ (1) ∑︀ (𝑠) ⎟
⎜ 𝑈2 𝑘 𝜆𝑘 ... 𝑈2 𝑘 𝜆 𝑘 ⎟
* ⃗ ⃗
𝐴 (𝜆1 , . . . , 𝜆𝑠 ) = ⎜ 𝑘=1 ⎟.
⎜ ⎟
𝑘=1
. . .
. . .
⎜ ⎟
⎜ 𝑠 . . .
⎜ ⎟
𝑠

⎝ ∑︀ (1) ∑︀ (𝑠) ⎠
𝑈𝑠 𝑘 𝜆𝑘 ... 𝑈𝑠 𝑘 𝜆𝑘
𝑘=1 𝑘=1

Доказательство. Действительно, из равенства

𝑄(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) = 𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) · 𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 )⊤


вытекает 𝐴−1 (⃗𝜆1 , . . . , ⃗𝜆𝑠 ) = 𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 )⊤ · 𝑄(⃗𝜆1 , . . . , ⃗𝜆𝑠 )−1 . Так как

𝐴* (⃗𝜆1 , . . . , ⃗𝜆𝑠 ) = (𝐴−1 (⃗𝜆1 , . . . , ⃗𝜆𝑠 ))⊤


и 𝑄⊤ (⃗𝜆1 , . . . , ⃗𝜆𝑠 ) = 𝑄(⃗𝜆1 , . . . , ⃗𝜆𝑠 ), то из предыдущего следует
(︁ )︁⊤
𝐴* (⃗𝜆1 , . . . , ⃗𝜆𝑠 ) = 𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 )⊤ · 𝑄(⃗𝜆1 , . . . , ⃗𝜆𝑠 )−1 = 𝑄(⃗𝜆1 , . . . , ⃗𝜆𝑠 )−1 · 𝐴(⃗𝜆1 , . . . , ⃗𝜆𝑠 ) =

⎛ ⎞
𝑈1 1 . . . 𝑈1 𝑠 ⎛ (1) (𝑠) ⎞
𝜆1 . . . 𝜆1
𝑈2 1 . . . 𝑈2 𝑠
⎟ · ⎝ . . . ... . . . ⎠ =
⎜ ⎟
=⎜ .. .. ..
⎜ ⎟ ⎜ ⎟
⎝ . . . ⎠ (1) (𝑠)
𝑈𝑠 1 . . . 𝑈𝑠 𝑠 𝜆𝑠 . . . 𝜆𝑠

𝑠 𝑠
⎛ ⎞
∑︀ (1) ∑︀ (𝑠)
⎜ 𝑈1 𝑘 𝜆𝑘 ... 𝑈1 𝑘 𝜆 𝑘 ⎟
⎜ 𝑘=1
𝑠
𝑘=1
𝑠

⎜ ∑︀ (1) ∑︀ (𝑠) ⎟
⎜ 𝑈2 𝑘 𝜆𝑘 ... 𝑈2 𝑘 𝜆 𝑘 ⎟
= ⎜ 𝑘=1 ⎟,
⎜ ⎟
𝑘=1
.. .. ..
⎜ 𝑠 . . .
⎜ ⎟
⎜ ⎟
𝑠

⎝ ∑︀ (1) ∑︀ (𝑠) ⎠
𝑈𝑠 𝑘 𝜆𝑘 ... 𝑈𝑠 𝑘 𝜆 𝑘
𝑘=1 𝑘=1
и лемма доказана. 2
Лемма 7. Произвольная точка ⃗𝑥 Λ* (⃗𝜆1 , . . . , ⃗𝜆𝑠 ) имеет вид
решетки
(︃ 𝑠 (︃ 𝑠 )︃ 𝑠
(︃ 𝑠 )︃ )︃
(1) (𝑠)
∑︁ ∑︁ ∑︁ ∑︁
⃗𝑥 = 𝑈𝜈 𝑘 𝑚𝜈 𝜆𝑘 , . . . , 𝑈𝜈 𝑘 𝑚𝜈 𝜆𝑘 ,
𝑘=1 𝜈=1 𝑘=1 𝜈=1

где 𝑚1 , . . . , 𝑚𝑠 — произвольные целые числа.

Доказательство. Утверждение леммы вытекает из вида матрицы 𝐴* (⃗𝜆1 , . . . , ⃗𝜆𝑠 ), так как
произвольная точка решётки Λ* (⃗𝜆1 , . . . , ⃗𝜆𝑠 ) является линейной целочисленной комбинацией
строк матрицы 𝐴* (⃗𝜆1 , . . . , ⃗𝜆𝑠 ). 2
332 Е. Н. СМИРНОВА, О. А. ПИХТИЛЬКОВА И ДР.

3. Основная теорема о плотности множества алгебраических ре-


шёток
Приступим к доказательству основной теоремы о плотности множества алгебраических
решёток, предварительно докажем лемму о норме обратной матрицы близкой к единичной
для этого нам потребуется одна лемма из [7] (см. стр. 158).
Лемма 8. Пусть матрица 𝐴 = 𝐸𝑠 + 𝐵 , причём ‖𝐵‖ < 1. Тогда матрица 𝐴 — невырож-
‖𝐵‖
денная, причём матрица 𝐶 = 𝐸𝑠 − 𝐴−1 удовлетворяет условию ‖𝐶‖ 6 1−‖𝐵‖ .

Доказательство. См. [7], стр. 158. 2


Лемма 9. Пусть для невырожденной матрице 𝐴:
⎛ ⎞
𝑎11 . . . 𝑎1𝑠
..
𝐴 = ⎝ ...
⎜ ⎟
.
... ⎠
𝑎𝑠1 . . . 𝑎𝑠𝑠

и натурального 𝑁 > 2‖𝐴−1 ‖𝑠 определены матрицы 𝐴𝑁 , Θ𝑁 , 𝐴 = 𝐴𝑁 + Θ𝑁 :


⎛ 𝑚
. . . 𝑚𝑁1𝑠 𝜃11 𝜃
⎞ ⎛ ⎞
𝑁
11
𝑁 ... 𝑁
1𝑠

𝐴𝑁 = ⎝ . . . ... . . . ⎠ , Θ𝑁 = ⎝ ... ..
... ⎠, 𝑚𝜈𝜇 = [𝑁 𝑎𝜈𝜇 ], 𝜃𝜈𝜇 = {𝑁 𝑎𝜈𝜇 }.
⎜ ⎟ ⎜ ⎟
.
𝑚𝑠1
𝑁 . . . 𝑚𝑁𝑠𝑠 𝜃𝑠1
𝑁 ... 𝜃𝑠𝑠
𝑁

Тогда справедливы соотношения

𝐴 = 𝐴𝑁 (𝐸𝑠 +𝐴−1
𝑁 Θ𝑁 ), 𝐴𝑁 = 𝐴(𝐸𝑠 −𝐴−1 Θ𝑁 ),
𝑠‖𝐴−1 ‖ 𝑠(𝑠+1)‖𝐴−1 ‖
‖𝐴−1 Θ𝑁 ‖ 6 , ‖𝐴−1
𝑁 Θ𝑁 ‖ 6 ,
𝑁 𝑁
𝐴 = (𝐸𝑠 +Θ𝑁 𝐴−1
𝑁 )𝐴𝑁 , 𝐴𝑁 = (𝐸𝑠 −Θ𝑁 𝐴−1 )𝐴,
𝑠‖𝐴−1 ‖ 𝑠(𝑠+1)‖𝐴−1 ‖
‖Θ𝑁 𝐴−1 ‖ 6 , ‖Θ𝑁 𝐴−1
𝑁 ‖6 .
𝑁 𝑁
Доказательство. Прежде всего заметим, что в силу неравенства 𝑁 > ‖𝐴−1 ‖𝑠 вы-
−1
полняется оценка ‖𝐴−1 Θ𝑁 ‖ 6 𝑠‖𝐴𝑁 ‖ < 1, поэтому из леммы 8 вытекает, что матрица
𝐴𝑁 = 𝐴(𝐸𝑠 − 𝐴−1 Θ𝑁 ) — невырожденная матрица.
Так как согласно лемме 8 при 𝑁 > 2‖𝐴−1 ‖𝑠
‖𝐴−1 Θ𝑁 ‖ 𝑠‖𝐴−1 ‖
‖𝐸𝑠 − (𝐸𝑠 − 𝐴−1 Θ𝑁 )−1 ‖ 6 6 < 1,
1 − ‖𝐴−1 Θ𝑁 ‖ 𝑁 − 𝑠‖𝐴−1 ‖
то
‖(𝐸𝑠 − 𝐴−1 Θ𝑁 )−1 ‖ 6 ‖𝐸𝑠 ‖ + ‖𝐸𝑠 − (𝐸𝑠 − 𝐴−1 Θ𝑁 )−1 ‖ 6 𝑠 + 1.
Поэтому
𝑠(𝑠 + 1)‖𝐴−1 ‖
‖𝐴−1 −1 −1 −1
𝑁 Θ𝑁 ‖ 6 ‖𝐴 ‖‖(𝐸𝑠 − 𝐴 Θ𝑁 ) ‖ 6 .
𝑁
Остальные соотношения доказываются аналогично и лемма полностью доказана. 2
Доказательство. [Основной теоремы] Рассмотрим произвольную решётку Λ ∈ 𝑃 𝑅𝑠 c
базисной матрицей ⎛ ⎞
𝜆1,1 . . . 𝜆1,𝑠
𝐴 = ⎝ . . . ... . . . ⎠
⎜ ⎟

𝜆𝑠,1 . . . 𝜆𝑠,𝑠
АЛГЕБРАИЧЕСКИЕ РЕШЁТКИ В МЕТРИЧЕСКОМ ПРОСТРАНСТВЕ РЕШЁТОК 333

и базисом ⃗𝜆1 = (𝜆1,1 , . . . , 𝜆1,𝑠 ), . . . , ⃗𝜆1 = (𝜆𝑠,1 , . . . , 𝜆𝑠,𝑠 ), то есть Λ = Z𝑠 ·𝐴. Пусть 𝑁 — достаточно
большое натуральное число, оценки для которого снизу укажем позднее. Рассмотрим фикси-
рованную алгебраическую решётку Λ0 = Λ0 (⃗𝜆1,0 , . . . , ⃗𝜆𝑠,0 ) ∈ A(𝐹𝑠 ), заданную равенством
{︃ (︃ 𝑠 𝑠
)︃⃒ }︃
∑︁ (1) ⃒
(𝑠)
∑︁
Λ0 (⃗𝜆1,0 , . . . , ⃗𝜆𝑠,0 ) = ⃗𝑥 = 𝜆𝜈,0 𝑚𝜈 , . . . , 𝜆𝜈,0 𝑚𝜈 ⃒ 𝑚1 , . . . , 𝑚𝑠 ∈ Z , (5)


𝜈=1 𝜈=1

которой соответствует базисная матрица


⎛ ⎞
(1) (𝑠)
𝜆1,0 . . . 𝜆1,0
⎜ .. ⎟
𝐴0 = ⎜
⎝ ... . ... ⎟⎠
(1) (𝑠)
𝜆𝑠,1 . . . 𝜆𝑠,0

(1) (𝑠) (1) (𝑠)


и базис ⃗𝜆1,0 = (𝜆1,0 , . . . , 𝜆1,0 ), . . . , ⃗𝜆𝑠,0 = (𝜆𝑠,1 , . . . , 𝜆𝑠,0 ), то есть Λ0 = 𝐴0 · Z𝑠 .
Так как базисные матрицы 𝐴 и 𝐴0 — невырожденные, то найдётся невырожденная матрица
⎛ ⎞
𝑎11 . . . 𝑎1𝑠
𝑀 = 𝐴 · 𝐴−1 0 , 𝑀 −1 = 𝐴0 · 𝐴−1 , 𝑀 = ⎝ . . . . . . . . . ⎠
⎜ ⎟

𝑎𝑠1 . . . 𝑎𝑠𝑠

такая, что 𝐴 = 𝑀 · 𝐴0 , 𝐴0 = 𝑀 −1 · 𝐴 и решётки связаны равенствами Λ = 𝑀 · Λ0 , Λ0 = 𝑀 −1 · Λ.


Определим матрицы 𝑀𝑁 и Θ𝑁 из условий
⎛ 𝑚
. . . 𝑚𝑁1𝑠
⎛ 𝜃
. . . 𝜃𝑁1𝑠
⎞ ⎞
11 11
𝑁 𝑁
𝑀𝑁 = ⎝ . . . . . . . . . ⎠ , Θ𝑁 = ⎝ . . . . . . . . . ⎠ , 𝑚𝜈𝜇 = [𝑁 𝑎𝜈𝜇 ], 𝜃𝜈𝜇 = {𝑁 𝑎𝜈𝜇 }
⎜ ⎟ ⎜ ⎟
𝑚𝑠1 𝑚𝑠𝑠 𝜃𝑠1 𝜃𝑠𝑠
𝑁 ... 𝑁 𝑁 ... 𝑁

и рассмотрим алгебраическую решётку Λ𝑁 = Λ𝑁 (⃗𝜆1,0 , . . . , ⃗𝜆𝑠,0 ) = 𝑀𝑁 ·Λ0 (⃗𝜆1,0 , . . . , ⃗𝜆𝑠,0 ) ∈ A(𝐹𝑠 ).


Так как 𝑀 = 𝑀𝑁 + Θ𝑁 , то для решёток Λ и Λ𝑁 справедливы соотношения
−1
Λ = (𝐸𝑠 + Θ𝑁 𝑀𝑁 )Λ𝑁 , Λ𝑁 = (𝐸𝑠 − Θ𝑁 𝑀 −1 )Λ.

Отсюда в силу леммы 9 следует, что

𝑠(𝑠+1)‖𝐴−1 ‖
𝜌(Λ, Λ𝑁 ) 6 ln .
𝑁
Поэтому, полагая 𝑁 > 𝑠(𝑠+1)‖𝐴−1 ‖𝑒−𝜀 , получим 𝜌(Λ, Λ𝑁 ) 6 𝜀, что и доказывает утверждение
теоремы. 2

4. Заключение
Рассмотрим произвольную решётку Λ ∈ 𝑃 𝑅𝑠 . Согласно Б. Н. Делоне и Д. К. Фаддееву [3]
решётка Λ и решётка Λ1 рационально связаны, если Λ1 = 𝑀 · Λ, Λ = 𝑀
−1 · Λ и 𝑀 ∈ M* (Q).
1 𝑠
Множество всех решёток Λ1 рационально связанных с решёткой Λ обозначим через Q(Λ).
Дословно повторяя доказательство основной теоремы можно доказать следующее утвер-
ждение.

Теорема 2. Λ ∈ 𝑃 𝑅𝑠 множество
Для любой решётки всех решёток рационально свя-
занных с решёткой Λ всюду плотно в 𝑃 𝑅𝑠 .
Другими словами: Q(Λ) всюду плотно в 𝑃 𝑅𝑠 .
334 Е. Н. СМИРНОВА, О. А. ПИХТИЛЬКОВА И ДР.

Пусть (𝛼1 , . . . , 𝛼𝑠 ) ∈ R𝑠 — произвольная точка общего положения, то есть 𝛼𝑗 ̸= 0


(1 6 𝑗 6 𝑠). Рассмотрим рациональное 𝑠-мерное арифметическое пространство Q(𝛼1 , . . . , 𝛼𝑠 ) ⊂
⊂ R𝑠 над полем рациональных чисел Q, которое определяется равенством

⃗ = (𝑚1 , . . . , 𝑚𝑠 ) ∈ Q𝑠 }.
Q(𝛼1 , . . . , 𝛼𝑠 ) = {(𝑚1 𝛼1 , . . . , 𝑚𝑠 𝛼𝑠 )|𝑚

Нетрудно видеть, что справедлива следующая теорема

Теорема 3. Рациональное 𝑠-мерное


арифметическое пространство Q(𝛼1 , . . . , 𝛼𝑠 ) всюду
𝑠
плотно в 𝑠-мерном вещественном арифметическом пространстве R .

Именно на этом факте основаны теоремы 1, 2 и 3 из работы [18].

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

1. Акрамов У. А. Теорема изоляции для форм, отвечающих чисто вещественным алгебра-


ическим полям, // Аналитическая теория чисел и теория функций: 10. Зап. науч. семи-
нара. ЛОМИ. 1990. N 185. С. 5–12.

2. Г. Вейль Алгебраическая теория чисел. М.: Гос. из-во И. Л. 1947. 226 с.

3. Б. Н. Делоне, Д. К. Фаддеев Теория иррациональностей третьей степени // Тр. Матем.


ин-та им. В. А. Стеклова, 1940. Т. 11. С. 3–340.

4. Л. П. Добровольская, М. Н. Добровольский, Н. М. Добровольский, Н. Н. Добровольский


Гиперболические дзета-функции сеток и решёток и вычисление оптимальных коэффи-
циентов // Чебышевский сборник 2012. Т. 13, вып. 4(44). С. 4–107.

5. Добровольский Н. М. Многомерные теоретико-числовые сетки и решётки и их прило-


жения / Н. М. Добровольский. — Тула: Изд-во Тул. гос. пед. ун-та им. Л. Н. Толстого,
2005.

6. Добровольский Н. М., Реброва И. Ю., Рощеня А. Л. Непрерывность гиперболической


дзета-функции решеток // Мат. заметки. Т. 63, вып. 4. 1998. C. 522–526.

7. Касселс Д. Введение в геометрию чисел. М.: Мир, 1965. 422 с.

8. Коробов Н. М. Теоретико-числовые методы в приближенном анализе. (второе издание)


/ М.: МЦНМО, 2004.

9. Реброва И. Ю. Непрерывность гиперболической дзета-функции решёток Тез. докл. III


Междунар. конф. // Современные проблемы теории чисел: Тула: Изд-во ТГПУ, 1996. С.
119.

10. Реброва И. Ю. Непрерывность обобщенной гиперболической дзета-функции решёток и ее


аналитическое продолжение // Изв. ТулГУ. Сер. Механика. Математика. Информатика.
Тула, 1998. Т.4. Вып.3. С. 99–108.

11. Реброва И. Ю. Пространство решёток и функции на нем. / Дис. ... канд. физ.-мат. наук.
Москва. МПГУ, 1999.

12. Скубенко Б. Ф. Теорема изоляции для разложимых форм чисто вещественных алгеб-
раических полей степени 𝑛 > 3 Аналитическая теория чисел и теория функций. 4. Зап.
науч. семинара ЛОМИ. N 112. 1981. С. 167–171.
АЛГЕБРАИЧЕСКИЕ РЕШЁТКИ В МЕТРИЧЕСКОМ ПРОСТРАНСТВЕ РЕШЁТОК 335

13. Б. Ф. Скубенко К совместным приближениям алгебраических иррациональностей //


Целочисленные решетки и конечные линейные группы, Зап. научн. сем. ЛОМИ, 116,
Изд-во «Наука», Ленинград. отд., Л., 1982, С. 142–154; J. Soviet Math., 26:3 (1984), 1922–
1930.

14. Скубенко Б. Ф. О произведении 𝑛 линейных форм от 𝑛 переменных // Труды МИАН


СССР. N 158. 1981. С. 175–179.

15. Б. Ф. Скубенко Циклические множества точек и решеток // Аналитическая теория


чисел и теория функций. 8, Зап. научн. сем. ЛОМИ, 160, Изд-во «Наука», Ленинград.
отд., Л., 1987, С. 151–158.

16. Скубенко Б. Ф. Минимумы разложимой кубической формы от трех переменных //


Аналитическая теория чисел и теория функций. 9. Зап. науч. семинара ЛОМИ. N 168.
1988. С. 125–139.

17. Скубенко Б. Ф. Минимумы разложимых форм степени 𝑛 от 𝑛 переменных при 𝑛 > 3


// Модулярные функции и квадратичные формы. 1. Зап. науч. семинара ЛОМИ. N 183.
1990. С. 142–154.

18. Е. В. Триколич,
√ Е. И. Юшина Цепные дроби для квадратических иррациональностей
из поля Q( 5) // Чебышевский сб. 2009. Т. 10, вып. 1. С. 77–94.

19. Фролов К. К. Оценки сверху погрешности квадратурных формул на классах функций //


ДАН СССР. 231. 1976. № 4. С. 818 — 821.

20. Фролов К. К. Квадратурные формулы на классах функций. / Дис. ... канд. физ.-мат.
наук. М.: ВЦ АН СССР. 1979.

21. Шмелева Т. С. Непрерывность гиперболического параметра решетки // Известия Туль-


ского государственного университета. Естественные науки. 2009. Вып. 3. С. 92–100.

22. Т. С. Шмелева О непрерывности гиперболического параметра решеток // Алгебра и


теория чисел: современные проблемы и приложения, посвященной памяти профессора
Анатолия Алексеевича Карацубы: материалы VII Международной конференции. Тула:
Изд-во Тул. гос. пед. ун-та им. Л. Н. Толстого. 2010. С. 202–206.

23. Т. С. Шмелева Приближение решеток // Материалы XII Международной конференции


Алгебра и теория чисел: современные проблемы и приложения, посвященной восьмиде-
сятилетию профессора Виктора Николаевича Латышева. — Тула: Изд-во Тул. гос. пед.
ун-та им. Л. Н. Толстого, 2014. С. 311–314.

24. Т. С. Шмелева Приближение решеток и их применение // Материалы XIII Международ-


ной конференции Алгебра,теория чисел и дискретная геометрия: современные проблемы
и приложения, посвященной восьмидесятипятилетию со дня рождения профессора Сер-
гея Сергеевича Рышкова. Тула: Изд-во Тул. гос. пед. ун-та им. Л. Н. Толстого, 2015.
С. 384–386.

REFERENCES

1. Аkramov, U. А. 1990, “The isolation theorem for forms corresponding to purely real algebraic
fields“, Аnaliticheskaya teoriya chisel i teoriya funktsij. 10 Zap. nauchn. sem. LOMI, no. 185,
pp. 5–12.
336 Е. Н. СМИРНОВА, О. А. ПИХТИЛЬКОВА И ДР.

2. Vejl’, G. 1947, Аlgebraicheskaya teoriya chisel [Algebraic number theory], Gosudarstvennoe


izdatel’stvo inostrannoj literatury, Moscow, Russia.

3. Delone, B. N. & Faddeev, D. K. 1940, “Theory of irrationalities of the third degree“, Trudy
matematicheskogo instituta imeni V.А. Steklova (Proceedings of the Steklov Institute of
Mathematics), vol. 11, pp. 3–340.

4. Dobrovol’skaya, L. P., Dobrovol’skij, M. N., Dobrovol’skij, N. M. & Dobrovol’skij, N. N.


2012, “Hyperbolic zeta functions of grids and grids and calculation of optimal coefficients“,
Chebyshevskij sbornik, vol. 13, no. 4(44), pp. 4–107.

5. Dobrovol’skij, M. N. 2005, Mnogomernye teoretiko-chislovye setki i reshyotki i ikh prilozheniya


[Multidimensional number-theoretic grids and grids and their applications], Izdatel’stvo
tul’skogo gosudarstvennogo pedagogicheskogo universiteta im. L. N. Tolstogo, Tula, Russia.

6. Dobrovol’skij, N.M., Rebrova, I.YU. & Roshhenya, А.L. 1998, “Continuity of the hyperbolic
zeta function of lattices“, Matematicheskie zametki (Mathematical Notes), vol. 63, no. 4, pp.
522–526.

7. Kassels, D. 1965, Vvedenie v geometriyu chisel, [Introduction to the geometry of numbers], Mir,
Moscow, Russia.

8. Korobov, N. M. 2004, Teoretiko-chislovye metody v priblizhennom analize [Numerical-numerical


methods in approximate analysis], 2nd ed., MTSNMO, Moscow, Russia.

9. Rebrova, I. YU. “The continuity of the hyperbolic zeta function of the lattices“, Tez. dokl.
III Mezhdunar. konf. “Sovremennye problemy teorii chisel” (Abstracts of the report of the III
International Conference “Contemporary problems of number theory”), Tula, 1996, p. 119.

10. Rebrova, I. YU. 1998, “The continuity of the generalized hyperbolic zeta lattice function and
its analytic continuation“, Izvestiya TulGU. Seriya Matematika. Mekhanika. Informatika, vol.
4, no. 3, pp. 99–108.

11. Rebrova, I. YU. 1999, “The lattice space and the functions on it“, Ph.D. Thesis, Moscow State
Pedagogical University, Moscow, Russia.

12. Skubenko, B. F. 1981, “The isolation theorem for decomposable forms of purely real algebraic
fields of degree 𝑛 > 3“, Аnaliticheskaya teoriya chisel i teoriya funktsij. 4 Zap. nauchn. sem.
LOMI, no.112, pp. 167–171.

13. Skubenko, B. F. 1982, “To joint approximations of algebraic irrationalities“, Tselochislennye


reshetki i konechnye linejnye gruppy, Zap. nauchn. sem. LOMI, pp. 142–154.

14. Skubenko, B. F. 1981, “On the product of 𝑛 linear forms of 𝑛 variables“, Trudy MIАN SSSR,
no.158, pp. 175–179.

15. Skubenko, B. F. 1987, “Cyclic sets of points and lattices“, Аnaliticheskaya teoriya chisel i teoriya
funktsij. 8 Zap. nauchn. sem. LOMI, pp. 151–158.

16. Skubenko, B. F. 1988, “The minima of a decomposable cubic form in three variables“,
Аnaliticheskaya teoriya chisel i teoriya funktsij. 9 Zap. nauchn. sem. LOMI, no.168, pp. 151–158.

17. Skubenko, B. F. 1990, “Minima of decomposable forms of degree 𝑛 of 𝑛 variables for 𝑛 > 3“,
Modulyarnye funktsii i kvadratichnye formy. 1 Zap. nauchn. sem. LOMI, no.183, pp. 142–154.
АЛГЕБРАИЧЕСКИЕ РЕШЁТКИ В МЕТРИЧЕСКОМ ПРОСТРАНСТВЕ РЕШЁТОК 337

18. Trikolich,
√ E. V., & Yushina, E. I. 2009, “Chain fractions for quadratic irrationalities from the
field Q( 5)“, Chebyshevskij sbornik, vol. 10, no. 1, pp. 77–94.

19. Frolov, K. K. 1976, “Estimates from above of the error of quadrature formulas on function
classes“, DАN SSSR, no.4, pp. 818–821.

20. Frolov, K. K. 1979, “Quadrature formulas on function classes“, Ph.D. Thesis, Computing Center
of the Russian Academy of Sciences of the USSR, Moscow, Russia.

21. Shmeleva, T. S. 2009, “The continuity of the hyperbolic lattice parameter“, Izvestiya Tul’skogo
gosudarstvennogo universiteta. Estestvennye nauki, no.3, pp. 92–100.

22. Shmeleva, T. S. “On the continuity of the hyperbolic parameter of lattices“, Аlgebra i teoriya
chisel: sovremennye problemy i prilozheniya, posvyashhennoj pamyati professora Аnatoliya
Аlekseevicha Karatsuby: materialy VII Mezhdunarodnoj konferentsii (Algebra and Number
Theory: Modern Problems and Applications, dedicated to the memory of Professor Anatoly
Alekseevich Karatsuba: materials of the VII International Conference), Tula, 2010, pp. 202–206.

23. Shmeleva, T. S. “Approximation of lattices“, Materialy XII Mezhdunarodnoj konferentsii Аlgebra


i teoriya chisel: sovremennye problemy i prilozheniya, posvyashhennoj vos’midesyatiletiyu
professora Viktora Nikolaevicha Latysheva (Materials of the XII International Conference
Algebra and Number Theory: Contemporary Problems and Applications, dedicated to the
eightieth birthday of Professor Viktor Nikolaevich Latyshev), Tula, 2014, pp. 311–314.

24. Shmeleva, T. S. “Approximation of gratings and their application“, Materialy XIII Mezh-
dunarodnoj konferentsii Аlgebra,teoriya chisel i diskretnaya geometriya: sovremennye problemy
i prilozheniya, posvyashhennoj vos’midesyatipyatiletiyu so dnya rozhdeniya professora Sergeya
Sergeevicha Ryshkova (Materials of the XIII International Conference Algebra, Number Theory
and Discrete Geometry: Modern Problems and Applications, dedicated to the eightieth
anniversary of the birth of Professor Sergey Sergeevich Ryshkov), Tula, 2015, pp. 384–386.

Оренбургский государственный университет


Тульский государственный университет
Тульский государственный педагогический университет