Бесплатно скачать, заказать диплом, курсовую, диссертацию О многомернык цепнын дроБяк модели Клейна классификация двумернык граней, алгоритмы, примеры

У нас уже 176407 рефератов, курсовых и дипломных работ

Сделать закладку на сайт

Заказать диплом, курсовую, диссертацию

Быстрый переход к готовым работам

Мнение посетителей:

Книга жалоб
и предложений

Название	О многомернык цепнын дроБяк модели Клейна классификация двумернык граней, алгоритмы, примеры

Количество страниц	154

ВУЗ	МГИУ

Год сдачи	2010

Бесплатно Скачать	23607.doc

Содержание	Содержание Введение. 7 0.1 Об одном обобщении одномерных цепных дробей на многомерный случай... 7 0.2 Результаты работы... 10 0.3 Задача о двумерных гранях парусов многомерных цепных дробей. 11 0.4 Об алгоритмах построения парусов многомерных цепных дробей. 13 0.5 Примеры фундаментальных областей парусов двумерных цепных дробей... 16 0.6 Организация работы... 16 Глава I. Основные определения. 19 1 Общие определения. 19 2 Определение многомерной цепной дроби. 22 2.1 Многомерные цепные дроби по Клейну... 22 2.2 О взаимосвязи между одномерными цепными дробями по Клейну и обыкновенными цепными дробями... 22 2.3 Многомерные цепные дроби, связанные с общим гиперболическим оператором... 23 2.4 Определение n-мерной цепной дроби (п + 1)-алгебраической иррациональности. Обобщения теоремы Лагранжа... 25 3 Целочисленные инварианты и разбиения торов. 27 3.1 Некоторые примеры целочисленно-линейных и целочисленно-аф-финных инвариантов... 27 3.2 Целочисленные расстояния и углы между целыми плоскостями, разбиения тора... 29 Глава II. Двумерные грани. 32 4 Формулировка основной теоремы. 34 5 Предварительные определения и утверждения. 36 5.1 Предварительные определения и обозначения... 36 5.2 Утверждение о специальных сечениях целого параллелепипеда. . 37 5.2.1 Лемма о специальных сечениях целого параллелепипеда с пустой гранью... 38 5.2.2 Доказательство утверждения 5.5... 39 5.3 Следствие о целочисленных расстояниях между противоположными вершинами и плоскостями граней пустого тетраэдра... 40 6 Вспомогательное следствие о пустых целых тетраэдрах. 42 6.1 Лемма об одном узле решётки... 43 6.2 Доказательство следствия 6.2... 44 6.3 Классификация пустых треугольных отмеченных пирамид... 47 6.4 Классификация пустых тетраэдров... 50 7 Доказательство теоремы 4.1: многоугольные отмеченные пирамиды. 52 7.1 Утверждение о целом параллелограмме внутри целого многоугольника... 53 7.2 Случай пустой отмеченной пирамиды с пустым параллелограммом в основании... 55 7.3 Случай вполне пустой отмеченной пирамиды с целым параллелограммом в основании с единственной целой точкой внутри... 56 7.4 Общий случай... 58 8 Доказательство теоремы 4.1: треугольные отмеченные пирамиды. 61 8.1 Случай 1: треугольное основание содержит целый многоугольник. 61 8.2 Случай 2: целые точки основания, отличные от его вершин, не лежат на одной прямой... 62 8.3 Случай 3: целые точки основания, отличные от его вершин, лежат на одной прямой, первый вариант расположения прямой... 65 8.4 Случай 4: целые точки основания, отличные от его вершин, лежат на одной прямой, второй вариант расположения прямой... 71 8.5 Случай 5: целые точки основания, отличные от его вершин, лежат на одной стороне основания... 77 8.6 Неизбыточность списка "M-W" теоремы 4.1... 81 9 Классификация компактных двумерных граней. 81 9.1 Теорема Муссафира... 81 9.2 Формулировки классификационных утверждений о двумерных гранях... 82 10 Доказательство теоремы 9.2. 87 10.1 Полнота списков "ап" теоремы 9.2 при п > 2... 87 10.2 Реализуемость граней из списков "ап" при п > 2... 90 10.2.1 Реализуемость треугольных граней... 90 10.2.2 О реализуемости многоугольных граней... 91 10.2.3 О реализуемости граней из списков "ап" при п > 2... 92 10.3 Неэквивалентность граней из списка "ап" (при п > 2)... 92 10.4 О многоугольных гранях двумерных цепных дробей... 93 11 Неисследованные задачи. 93 Глава III. О новом алгоритме. 101 12 Описание нового алгоритма. 101 12.1 Основная схема алгоритма... 101 12.2 Основные элементы алгоритма... 102 13 Общие вопросы, относящиеся к базисам решётки. 104 13.1 Теорема о специальном базисе внутри целого параллелепипеда. . . 104 13.2 Шаг 1. Вычисление базиса аддитивной группы кольца 2(А). . . . 106 13.3 Шаг 2. Вычислить базис группы Н(Л)...109 14 О фундаментальных областях и аппроксимациях парусов. 110 14.1 Шаг 3. Нахождение некоторой вершины паруса...110 14.2 Шаг 4. Выдвижение гипотезы о фундаментальной области паруса. 111 15 Проверка выдвинутых гипотез в двумерном случае. 113 15.1 Краткое описание этапов проверки и формулировка основных результатов этого раздела...113 15.2 Доказательство теоремы 15.1: проверка условия i)...115 15.3 Доказательство теоремы 15.1: проверка условия и)...117 15.4 Доказательство теоремы 15.1: вычисление целочисленных расстояний от начала координат до двумерных плоскостей двумерных граней...118 15.5 Доказательство теоремы 15.1: проверка наличия целых точек внутри отмеченных пирамид с вершинами в начале координат и с основаниями в двумерных гранях Fi...121 15.6 Доказательство теоремы 15.1: проверка выпуклости при двугранных углах...122 15.7 Доказательство теоремы 15.1: проверка правильности 2-звёзд при вершинах...123 15.8 Проверка принадлежности всех нульмерных граней набора D одному ортанту; завершение доказательства теоремы 15.1...124 15.9 Доказательство теоремы 15.3: лемма об инъективности проекции на гранях...125 15.10Доказательство теоремы 15.3: лемма о конечном покрытии фундаментальной области...127 15.11 Доказательство теоремы 15.3: лемма о взаимно-однозначности проекции...128 15.12Доказательство теоремы 15.3: лемма о выпуклости...130 15.133авершение доказательства теоремы 15.3: основная часть...131 16 О проверке гипотез для многомерного случая. 132 Глава IV. Примеры. 134 17 Семейство фробениусовых операторов и его свойства. 134 17.1 Определение фробениусовых операторов...134 17.2 Простейшие свойства фробениусовых операторов...136 17.3 Цепные дроби и характеристические многочлены соответствующих операторов...138 18 Фундаментальные области некоторых серий операторов Ат^п 139 18.1 Фундаментальные области первого двупараметрического семейства: формулировка результата и выдвижение гипотезы...139 18.2 Проверка гипотезы теоремы 18.1...140 18.3 Фундаментальные области первого однопараметрического семейства...148 18.4 Фундаментальные области второго однопараметрического семейства...149 18.5 Фундаментальные области третьего однопараметрического семейства...151 18.6 Фундаментальные области второго двупараметрического семейства. 152 18.7 О построении парусов новых серий двумерных цепных дробей. . . 154 Введение. В этой работе изучаются свойства и способы построения парусов многомерных цепных дробей по Клейну, а также строится большое количество примеров парусов двумерных цепных дробей. 0.1 Об одном обобщении одномерных цепных дробей на многомерный случай. Проблема об обобщении понятия обыкновенной цепной дроби на многомерный случай была поставлена III. Эрмитом в 1839 году [62]. Множество попыток решить эту проблему привело к возникновению нескольких замечательных теорий многомерных цепных дробей. Одной из наиболее известных моделей обобщения одномерных цепных дробей на многомерный случай является модель Клейна. Определение многомерной цепной дроби по Клейну было дано Ф. Клейном в работах 1895 и 1896 годов [26] и [27]. В дальнейшем многомерные цепные дроби но Клейну будем называть просто многомерными цепными дробями. Предположим, что квадратичная форма /(гг,т/) = ах2 + Ьху + су2 с целыми коэффициентами является произведением двух линейных необязательно целочисленных сомножителей. Клейн рассмотрел слеудющую модель одномерной цепной дроби для данной квадратичной формы. Линейные сомножители квадратичной формы f(x,y) порождают четыре конуса с центром в начале координат. В каждом конусе строим выпуклую оболочку множества всех целых точек, содержащихся в этом конусе. Границы таких выпуклых оболочек называются парусами. Одномерная цепная дробь — множество четырёх построенных парусов. В первой главе работы обсуждается разница между понятиями обыкновенной цепной дроби и одномерной цепной дроби для модели Клейна. Только на вершинах парусов одномерной цепной дроби достигается минимальное значение модуля формы f(x,y) на множестве целых точек без начала координат, см. более подробно в [18]. Это свойство позволяет строить рациональные приближения решений уравнения f(x,y) — 0, которые являются наи- лучшими приближениями среди рациональных чисел с небольшими по модулю числителями и знаменателями. Отметим, что, если уравнение f(x,y) = 0 не имеет рациональных решений, то, по теореме Лагранжа, паруса соответствующей цепной дроби являются алгебраически периодическими, что позволяет просто описывать множество вершин парусов дроби. Пусть теперь F(x, у, z) — кубическая форма с целыми коэффициентами, представимая в виде произведения трёх линейных однородных форм. По аналогии Клейн построил "двумерную цепную дробь". Линейные сомножители квадратичной формы F(x, у, z) порождают восемь конусов с центром в начале координат. В каждом конусе Клейн рассмотрел выпуклую оболочку множества всех целых точек, содержащихся в этом конусе. Двумерная цепная дробь по Клейну множество всех восьми построенных выпуклых оболочек, которые также называются парусами. Вершины границы этой выпуклой оболочки также доставляют минимальное значение функции \F(x,y, z)\ на множестве целых точек без начала координат и, тем самым, наилучшие целочисленные и рациональные приближения для решений уравнения F(x,y,z) — 0. Если уравнение F(x, у, z) = 0 не имеет рациональных решений, то из теоремы Дирихле об единицах (см. [12]) следует, что все парусы соответствующей цепной дроби являются алгебраически периодическими. Это позволяет просто описывать множество вершин на парусах дроби. Конструкция Клейна двумерной цепной дроби непосредственно обобщается на многомерный случай. Ряд свойств одномерных цепных дробей имеет многомерные аналоги. X. Цу-тихаси [57] обнаружил связь между периодическими многомерными цепными дробями и многомерными касповыми особенностями. Связь между многомерными цепными дробями и базисами Гильберта описана Ж.-О. Муссафиром [41] и О. Н. Германом [19]. М. Л. Концевич и Ю. М. Сухов изучили некоторые статистические свойства парусов случайно выбранной многомерной цепной дроби [28]. Обобщению одномерных цепных дробей с ограниченными целочисленными длинами рёбер (числа отвечающие таким цепным дробям хуже всего при- ближаются подходящими дробями) на многомерный случай и исследованию их свойств посвящены работы Б. Ф. Скубенко [51] и [52] и О. Н. Германа [20]. Классическая теория обыкновенных цепных дробей описана в книге А. Я. Хин-чина [56]. В своей книге [6] В. И. Арнольд представил обзор теорем и задач, связанных с одномерными и многомерными цепными дробями. Большое количество примеров парусов двумерных цепных дробей было построено в работах Е. И. Коркиной [30], [32] и [33], Ж. Лашо [34] и [35], А. Д. Брю-но и В. И. Парусникова [14], [44], [45], [46] и [47], автора [64] и [65]. Интересная коллекция двумерных цепных дробей собрана в работе К. Бриггса [13]. Все необходимые определения приведены в следующей главе. Кроме геометрического обобщения многомерных цепных дробей, предложенного Клейном, и, исследуемого в этой работе, существует несколько других интересных обобщений. Взаимосвязи между этими обобщениями на настоящий момент практически не изучены, их нахождение несомненно приведёт к новым открытиям в разных областях математики. Перечислим наиболее известные из обобщений обыкновенных цепных дробей. Первое знаменитое обобщение обыкновенных цепных дробей на многомерный случай было предложено К. Якоби [63] в 1869 году. Он рассмотрел алгоритм построения приближения произвольных векторов в двумерном пространстве рациональными векторами и обобщил его на векторы в го-мерном пространстве. В дальнейшем алгоритм К. Якоби был изучен и модифицирован О. Перроном [48]. Полученные в работах К. Якоби и О. Перрона алгоритмы называются алгоритмами Якоби-Перрона, а рациональные приближения — многомерными цепными дробями (по Якоби и Перрону). Некоторые эргодические свойства обыкновенных цепных дробей имеют обобщения для многомерных цепных дробей Якоби-Перрона [58], [49] и [59]. В дальнейшем, различные версии алгоритмов Якоби-Перрона были представлены и изучены в работах Д. М. Хардкастла и К. Ханина [55], Т. Гаррити [23] и [10], Л. Д. Пустыльникова [50] и многих других работах (см. также книги Л. Бернштейна [И] и Ф. Швейгера [60]). В своих работах Г. Минковский [38] и Г. Ф. Вороной [17] предложи- ли ещё одно обобщение обыкновенных цепных дробей. Многомерные цепные дроби, построенные этими авторами обладают некоторыми геометрически-алгоритмическими свойствами, аналогичными свойствам обыкновенных цепных дробей. Их идеи получили развитие в работах А. Д. Брюно и В. И. Парус-никова [15] и [16]. Недавно в работах А. К. Миттал и А. К. Гапты. [39] и [40] было построено теоретико-числовое обобщение одномерных цепных дробей. 0.2 Результаты работы. В этой работе решены следующие задачи. 1. Классифицированы все двумерные грани парусов многомерных цепных дробей на плоскостях, расположенных на целочисленном расстоянии, большем единицы от начала координат, с точностью до целочисленно-линейного отношения эквивалентности. 2. Описан новый эффективный алгоритм построения фундаментальных областей двумерных периодических парусов цепных дробей. Все шаги алгоритма, кроме последнего, буквально обобщаются на многомерный случай. Обобщение последнего шага упирается в сложные задачи общей топологии. В работе предложено некоторое обобщение последнего шага, которое не является эффективным. 3. Построено два двупараметрических и три однопараметрических семейства фундаментальных областей парусов периодических двумерных цепных дробей. Параметры этих семейств — положительные целые числа. Первые два результата практически независимы и полезны сами по себе. Однако классификация двумерных граней сильно облегчает последний шаг алгоритма результата 2 в двумерном случае. Построение семейств фундаментальных областей парусов периодических двумерных цепных дробей п. 3 целиком базируется на алгоритме результата 2. Опишем полученные результаты более подробно. 0.3 Задача о двумерных гранях парусов многомерных цепных дробей. Интерес к геометрическим свойствам многомерных цепных дробей был инициирован работой В. И. Арнольда [3] и последующей работой Е. И. Коркиной [30]. Начиная с 1989 года, В. И. Арнольд сформулировал серию проблем и гипотез, связанных с геометрическими свойствами многомерных цепных дробей. Многие из этих проблем до сих пор остаются открытыми, а геометрические свойства многомерных цепных дробей практически не изученными. Задачи о геометрических свойствах многомерных цепных дробей по Клейну вошли в качестве одного из разделов в программу по изучению "исевдопериодической топологии", разработанную В. И. Арнольдом [5] и представленную в книге [4] под редакцией В. И. Арнольда, А. В. Зорича и М. Л. Концевича. В предлагаемой работе предпринимаются первые шаги по изучению геометрических свойств многомерных цепных дробей. Одним из первостепенных естественно возникающих геометрических вопросов является вопрос о гранях: какие компактные грани бывают у парусов многомерных цепных дробей? Компактные грани парусов многомерных цепных дробей являются выпуклыми многогранниками, вершины которых — целые точки. Такие объекты правильно изучать с точностью до целочисленно-линейной эквивалентности. Два многогранника называются целочисленно-линейно (целочислепио-аффинно) эквивалентными, если существует линейное (аффинное) преобразование пространства, сохраняющее решётку целых точек, которое переводит один многогранник в другой. Итак, переформулируем задачу. Какие компактные грани бывают у парусов многомерных цепных дробей с точностью до целочисленно-линейного отношения эквивалентности? Полный ответ на этот вопрос был известен только для одномерных компактных граней. Одномерные компактные грани парусов многомерных цепных дробей могут содержать любое конечное число целых точек. Две одномерные компактные грани целочисленно-линейно эквивалентны тогда и только mo- гда, когда количества целых точек на них совпадают. Прежде чем осветить ситуацию с двумерным случаем, приведём нужные определения. Точка пространства называется целой, если все координаты этой точки являются целыми числами. Плоскость называется целой, если она целочисленно-аффинно эквивалентна некоторой проходящей через начало координат плоскости, содержащей подрешётку решётки целых точек, ранг которой равен размерности плоскости. Рассмотрим целую fc-мсрную плоскость и целую точку в дополнении к этой плоскости. Пусть евклидово расстояние от данной точки до данной плоскости равно /. Обозначим через /о минимальное ненулевое евклидово расстояние до рассматриваемой плоскости от целых точек, лежащих в (/с + 1)-мерной плоскости, натянутой на данные /г-мерную плоскость и целую точку. Отношение I/Iq называется целочисленным расстоянием от данной целой точки до данной целой плоскости. Целочисленное расстояние является целочисленно-аффинным инвариантом. Целочисленное расстояние до начала координат является целочисленно-линейным инвариантом. Итак, в двумерном случае исходная задача распадается на две задачи. Какие компактные грани, расположенные на плоскостях с единичным це-лочисленнылг расстоянием от начала координат, бывают у парусов многомерных цепных дробей (с точностью до целочисленно-линейного отношения эквивалентности граней дробей) ? Какие компактные грани бывают у парусов многомерных цепных дробей (с точностью до целочисленно-линейного отношения эквивалентности граней цепных дробей) на данном целочисленном расстоянии от начала координат? Ответ на первый вопрос довольно прост. Для любого выпуклого многоугольника, расположенного на плоскости на единичном расстоянии от начала координат, существует такое положительное целое к, что существует некоторая /с-мерная цепная дробь, у которой есть парус, одна из граней которого целочисленно-линейно эквивалентна данному многоугольнику. Кроме того, две двумерные грани, плоскости которых расположены на единичном расстоянии от начала координат, целочисленно-линейно эквивалентны тогда и только тогда, когда соответствующие многоугольники целочисленно-аффинно эквивалентны. До настоящего момента про компактные двумерные грани парусов многомерных цепных дробей, плоскости которых расположены на целочисленном расстоянии, большем единицы от начала координат, было лишь известно, что они либо треугольные, либо четырёхугольные (см. работу Ж.-О. Муссафира [42]). В настоящей работе классифицированы компактные двумерные грани парусов многомерных цепных дробей (размерности многомерных дробей не фиксированы), плоскости которых расположены на заданном целочисленном расстоянии от начала координат, большем единицы, с точностью до целочисленно-линейного отношения эквивалентности. Классификация опирается на классификацию трёхмерных многоэтажных вполне пустых выпуклых пирамид с отмеченной вершиной. 0.4 Об алгоритмах построения парусов многомерных цепных дробей. Многомерная периодическая алгебраическая цепная дробь является совокупностью нескольких бесконечных многогранных поверхностей, на каждой из которых свободно действует некоторая специальная дискретная группа, переставляющая многомерные грани, причём фактор каждой многогранной поверхности по этой группе гомеоморфен тору соответствующей размерности. (См. точные определения в подразделе 2.3.) Фундаментальной областью многогранника относительно действия группы называется объединение нескольких граней, содержащее ровно по одной грани из каждого класса эквивалентности. Алгебраическая периодичность парусов многомерной цепной дроби позволяет восстановить любой из парусов цепной дроби по его фундаментальной области. Эта фундаментальная область содержит лишь конечное число граней. Таким образом, мы сталкиваемся с проблемой нахождения эффективного метода, при помощи которого можно перечислить все грани какой-либо фундаментальной области. Алгоритма построения фундаментальных областей для парусов многомер- ных цепных дробей не существовало до работы Т. Шинтани [61], написанной в 1976 году. Пусть F— абсолютно вещественное алгебраическое иоле степени п. Рассмотрим все различные вложения поля F в Ш и обозначим их через fi, i — 1, • ¦ • ,п (их ровно п, поскольку поле F абсолютно вещественно). Рассмотрим следующее вложение поля Fb I". Для произвольного элемента х поля F полагаем Т. Шинтани рассматривал группу всех абсолютно положительных элементов кольца целых чисел в алгебраическом поле F и её действие (покомпонентное умножение на абсолютно положительные элементы х+) на (К+)п при описанном вложении. Он показал, что фундаментальная область этого действия является конечным объединением симплициальных конусов специального типа. (Отметим, что при перенумерации вложений щ поля FbK фундаментальные области заменяются целочисленно-линейно эквивалентными.) Утверждение Т. Шинтани о строении фундаментальной области (с доказательством) фактически и лежит в основе одного из алгоритмов построения парусов одномерных периодических цепных дробей. Следуя работе Т. Шинтани, Е. Томас и А. Т. Васкес построили несколько фундаментальных областей для двумерного случая в работе [53]. Окончательная версия алгоритма, позволяющего строить фундаментальные области для алгебраических расширений поля Q, представлена Р. Оказаки в его работе [43]. Е. И. Коркина в работах [30], [32], [33] и Ж. Лашо в работах [34], [35] посчитали бесконечное количество фундаментальных областей парусов для периодических алгебраических двумерных цепных дробей. Алгоритм построения фундаментальных областей парусов многомерных цепных дробей, использованный в перечисленных выше работах, базируется на принципе математической индукции. Этот алгоритм последовательно вычисляет грани фундаментальной области, при этом приходится проверять, что построенная на г-ом шаге грань не лежит в одной орбите (действия описанной выше группы) с некоторой гранью, построенной раньше г-ого шага. Оказывается (см. [43]), при помощи такого алгоритма фундаментальная область паруса цепной дроби строится за конечное Немного позже Ж.-О. Муссафир разработал алгоритм, который существенно отличается от алгоритма Оказаки (см. {42]). Алгоритм работает для произвольного (не обязательно периодического) паруса: он вычисляет любую ограниченную часть паруса. Такой алгоритм основан на дедукции. А именно, сначала выдвигается гипотеза о структуре граней для большой части паруса, затем проверяется, являются ли предположительные грани настоящими гранями паруса. Этот алгоритм также применим и для случая периодических парусов. В третьей главе настоящей работы описан новый усовершенствованный дедуктивный алгоритм, который предназначается специально для случая фундаментальных областей периодических парусов (впервые напечатан в работе автора [25]). Алгоритм позволяет дать ответ на первоначальный вопрос Ф. Клейна о построении парусов периодических цепных дробей для исследовании кубических форм с целыми коэффициентами. Основное преимущество предложенного автором алгоритма заключается в следующем: количество "ложных" вершин конечного приближения многогранника гораздо меньше по сравнению с количеством "ложных" вершин, получаемых при использовании алгоритма Ж. Мус-сафира. Это на порядок сокращает время вычисления соответствующих выпуклых оболочек. Отметим, что предлагаемый алгоритм существенно использует периодичность парусов периодических многомерных цепных дробей, и, следовательно, он неприменим к парусам непериодических многомерных цепных дробей. Для двумерного случая в настоящей работе доказано следующее утверждение. Проверка гипотезы о фундаментальной области паруса двумерной периодической цепной дроби, содержащей N граней всех размерностей, проходит не более чем за CNA действий сложения, умножения и сравнения, где универсальная константа С не зависит от числа N и цепной дроби. 0.5 Примеры фундаментальных областей парусов двумерных цепных дробей. При помощи описанного в этой работе алгоритма автор обобщил известные ранее частные примеры и бесконечные серии примеров вычисления фундаментальных областей парусов двумерных периодических цепных дробей, а также построил множество новых примеров и серий примеров фундаментальных областей (см. также [64] и [65]). Пользуясь результатами экспериментов, автор выписал полный список всех периодических двумерных цепных дробей кубических иррациональностей, построенных по целочисленным матрицам с нормой, меньшей семи, с точностью до целочисленно-линейного отношения эквивалентности (см. работу [24]). (Под нормой матрицы здесь понимается сумма модулей её коэффициентов.) 0.6 Организация работы. Настоящая работа организована следующим образом. Первая глава посвящена основным определениям. Некоторые общие определения приведены в разделе 1. В разделе 2 вводится понятие многомерных цепных дробей по Клейну и определяются алгебраически периодические многомерные цепные дроби алгебраических иррациональностей. В этом разделе также обсуждается связь между одномерными цепными дробями и обыкновенными цепными дробями. В разделе 3 приведены определения разбиения многомерного тора, связанного с парусом многомерной периодической цепной дроби, и фундаментальной области паруса периодической цепной дроби. Кроме того в этом разделе обсуждаются определения инвариантов действия группы SL(n + 1,Z), такие как целочисленные длины и углы между плоскостями. Во второй главе работы формулируются и доказываются теорема о целочис-ленно-линейной и следствие о целочисленно-аффинной классификациях двумерных граней парусов многомерных цепных дробей. Эти утверждения выводятся из теоремы о целочисленно-аффинной классификации многоэтажных вполне пустых выпуклых трёхмерных пирамид с отмеченной вершиной. В разделе 4 сформулирована теорема о классификации многоэтажных вполне пустых выпуклых пирамид с отмеченной вершиной. В разделе 5 приведены понятия и определения, необходимые для понимания второй главы, а также доказаны несколько вспомогательных утверждений, которые понадобятся при доказательстве основной теоремы второй главы. В разделе б формулируется и доказывается частный случай теоремы раздела 4 — теорема о пустых тетраэдрах. В следующих двух разделах доказывается теорема о классификации многоэтажных вполне пустых выпуклых пирамид с отмеченной вершиной: в разделе 7 разбирается случай многоугольных пирамид с отмеченной вершиной; в разделе 8 — случай треугольных пирамид с отмеченной вершиной. В разделе 9 сформулированы теорема о целочисленно-линейной классификации и следствие о целочисленно-аффинной классификации двумерных граней парусов многомерных цепных дробей. В разделе 10 приводится доказательство сформулированной в разделе 9 теоремы. Формулировки нерешённых проблем, связанных с доказанными теоремами, приведены в разделе 11. В третьей главе работы описан новый алгоритм построения фундаментальных областей парусов периодических многомерных цепных дробей, в частности разобраны методы выдвижения гипотез о фундаментальных областях и их проверки. Весь алгоритм построения проходит в шесть шагов, его план обсуждается в разделе 12. В разделе 13 приводится описание двух общих шагов для индуктивных и дедуктивных методов. В этом разделе показывается, как находятся образующие группы SL(n, 2)-матриц, коммутирующих с заданной. Все результаты раздела 13 не являются новыми и приводятся лишь для полноты изложения (см. книги X. Кохена [22] и Ж. Лашо [35]). В разделах 14, 15 и 16 описана основная новая часть алгоритма. В разделе 14 показано, как следует выдвигать гипотезы о фундаментальных областях. Раздел 15 посвящен проверке гипотез о фундаментальных областях для парусов двумерных цепных дробей. Проверка гипотез для парусов многомерных цепных дробей обсуждается в разделе 16.

Список литературы

Цена, в рублях: (при оплате в другой валюте, пересчет по курсу центрального банка на день оплаты)	1425

Скачать бесплатно	23607.doc

Найти готовую работу

ЗАКАЗАТЬ

Обратная связь:

Связаться

Вход для партнеров

Регистрация

Восстановить доступ

Материал для курсовых и дипломных работ

15.04.24 Задачи, условия и этапы организации экспериментальной работы

15.04.24 Критерии качества преподавания

15.04.24 Категория нормы в обучающей деятельности

Архив материала для курсовых и дипломных работ

Ссылки:

Счетчики:

© 2006-2022. Все права защищены.
Выполнение уникальных качественных работ - от эссе и реферата до диссертации. Заказ готовых, сдававшихся ранее работ.