реферат, рефераты скачать Информационно-образоательный портал
Рефераты, курсовые, дипломы, научные работы,
реферат, рефераты скачать
реферат, рефераты скачать
МЕНЮ|
реферат, рефераты скачать
поиск
О неопределенных бинарных квадратичных формах

О неопределенных бинарных квадратичных формах

МИНИСТЕРСТВО ОБЩЕГО И ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ

КАБАРДИНО-БАЛКАРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. Х.М. Бербекова

Математический факультет

Кафедра геометрии и высшей алгебры

Нагоева Фатима Хазреталиевна

Дипломная работа

«О неопределенных бинарных квадратичных формах»

Научный руководитель:

д.ф.-м.н.,проф.каф. Г и В А

/У.М.Пачевв /

Рецензент:

к.ф.-м.н.,доцент

/ /

Допущена к защите

«_______» 2002г.

Зав. кафедрой

к.ф.м.н., доцент /А.Х. Журтов/

Нальчик 2002 г.

Оглавление

стр.

Введение 3

§1. Предварительные сведения о бинарных квадратичных 4

формах

§2. О периодах неопределенных бинарных квадратных

форм 13

§3. Об оценке сверху числа приведенных неопределимых

бинарных квадратичных форм 21

§4. О диагональных формах и оценке снизу числа

классов в ряде 27

Литература 35

Введение

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

утверждения Ферма о представимости простых чисел [pic] суммой двух

квадратов.

Теория квадратичных форм впервые была развита французским математиком

Лагранжем, которому принадлежат многие идеи в этой теории, в частности, он

ввел важное понятие приведенной формы, с помощью которого им была доказана

конечность числа классов бинарных квадратичных форм заданного

дискриминанта. Затем эта теория была значительно расширенна Гауссом,

который ввел много новых понятий, на основе которых ему удалось получить

доказательства трудных и глубоких теорем теории чисел, ускользавших от его

предшественников в этой области.

Перейдем теперь к краткой характеристике содержания нашей работы,

посвященной некоторым вопросам теории неопределенных бинарных квадратичных

форм.

Вначале нашей работы приводятся предварительные общие сведения о

бинарных квадратичных формах. Во втором параграфе, посвященном периодам

неопределенных квадратичных форм поставлены и решены два вопроса о

двусторонних формах (теоремы 1,2). В третьем параграфе дается элементарное

доказательство известной оценки для числа приведенных неопределенных

бинарных квадратичных форм заданного дискриминанта. Наконец, в последнем

параграфе устанавливаем, что диагональные формы одного и того же

положительного дискриминанта не эквивалентны (теорема 3) и применяем этот

результат к оценке снизу для числа классов в каждом роде неопределенных

квадратичных форм (теорема 4).

§1. Предварительные сведения о бинарных квадратичных форм.

В данном параграфе мы дадим те общие понятия и свойства, касающиеся

бинарных квадратичных форм, на которые будем опираться в дальнейшем

изложении.

Определение 1. Бинарной квадратичной формой называется однородный многочлен

второй степени от двух переменных, т.е. выражение вида

[pic] (1)

где [pic]- вещественные числа.

Коэффициенты [pic]- называются соответственно первым, вторым и третьим

коэффициентами (1) и для краткости такую форму будем обозначать, следуя

Гауссу [2], через [pic] так, что

[pic]

В алгебраической теории квадратичных форм (т.е. в теории квадратичных форм

над полями) рассматриваются формы, у которых второй коэффициент без

множителя [pic], т.е.

[pic].

Но в арифметической теории квадратичных форм (т.е. в теории форм над

кольцами и в первую очередь над кольцом [pic] целых чисел) более

предпочтительной является запись вида (1).

Определение 2. Бинарная квадратичная форма (1) называется классически целой

(или целочисленной по Гауссу), если в ней коэффициенты [pic] являются

целыми числами.

Мы будем в основном рассматривать только классические квадратичные

формы и называть их просто численными.

Определение 3. Бинарные целочисленные квадратичные формы [pic] и [pic]

называются собственно эквивалентными, если существует линейная подстановка

переменных

[pic] (2)

с целыми коэффициентами [pic] и определителем [pic], переводящая форму

[pic] в форму [pic], т.е. такая, что выполняется равенство

[pic] (3)

и несобственно эквивалентными, если целочисленная подстановка (2) с

определителем [pic] переводит форму [pic] в форму [pic]. Эквивалентность

таких форм обозначаем так: [pic]~[pic]

Из (3) и (2) следуют соотношения

[pic]

[pic] (4)

[pic]

связывающие коэффициенты двух эквивалентных форм [pic] и [pic].

Определение 4. Дискриминантом бинарной квадратичной формы [pic] называется

число [pic].

Предложение 1. Эквивалентные бинарные квадратичные формы имеют один и тот

же дискриминант.

Доказательство. Пусть форма [pic] эквивалентна (собственно или

несобственно) форме[pic]. Тогда по определению 3 существуют целые числа

[pic] с определителем [pic], при которых выполнены соотношения (4). Из них

получаем

[pic],

т.е. предложение 1 доказано.

Заметим, что обратное утверждение вообще говоря неверно, т.е. из

того, что бинарные квадратичные формы имеют один и тот же дискриминант еще

не следует, что они эквивалентны. Следующий общий факт приведем без

доказательства.

Предложение 2. Отношение собственной эквивалентности бинарных квадратичных

форм обладает свойствами рефлексивности, симметричности и транзитивности.

Определение 5. Если для квадратичной формы [pic] и для целого числа [pic]

при некоторых целых [pic] и [pic] выполняется равенство [pic], то говорят,

что квадратичная форма [pic] представляет число [pic].

Пример. Квадратичная форма [pic] представляет число [pic], т.к. число [pic]

является значением квадратичной формы [pic] при [pic], т.е. равенство [pic]

выполняется при [pic].

Предложение 3. Эквивалентные бинарные квадратичные формы представляют одно

и то же множество целых чисел.

Доказательство. Пусть формы [pic] и [pic] эквивалентны. Тогда

существует унимодулярная целочисленная подстановка переменных:

[pic]

[pic]

и, значит,

[pic].

Положив теперь в этом равенстве [pic], получим

[pic],

т.е. форма [pic] тоже представляет число [pic]. Поскольку отношение

эквивалентности бинарных квадратичных форм обладает свойством

симметричности (предложение 2) то и любое число, представимое формой [pic]

будет представимое и формой [pic].

Предложение 3 доказано.

Определение 5. Классом [pic] форм называется множество всех бинарных

квадратичных форм, собственно эквивалентных форме [pic].

В силу предложения 2 и определения 5 можно сказать, что множество

бинарных квадратичных форм данного дискриминанта распадается на классы

форм, собственно эквивалентных относительно унимодулярного целочисленного

преобразования переменных (2).

Далее, в зависимости от знака дискриминанта [pic] бинарные

квадратичные формы делятся на определенные и неопределенные формы.

Определение 6. Квадратичная форма [pic] дискриминанта [pic] называется

определенной, если [pic] и неопределенной, если [pic]. Такое определение

подсказано тем, что при [pic] бинарная квадратичная форма принимает

значения только одного знака (положительные при [pic] и отрицательные при

[pic]), а при [pic] она принимает как положительные, так и отрицательные

значения. Теория неопределенных бинарных квадратичных форм существенно

отличается от теории определенных форм и мы будем рассматривать в данной

работе только неопределенные формы.

Рассмотрим теперь вкратце теорию приведения неопределенных бинарных

квадратичных форм. Суть этой теории состоит в выделении в каждом классе так

называемых приведенных форм - «стандартных» форм класса. Рассматривая

квадратичные формы положительного дискриминанта будем считать ее

коэффициенты произвольными вещественными числами. Кроме того будем

предполагать, что крайние коэффициенты [pic] и [pic]формы [pic] отличны от

нуля и корни уравнения [pic] вещественны, различны и иррациональны.

Назовем корень [pic] этого уравнения первым, а [pic]- вторым корнем

формы [pic] (см. [1]), причем [pic] есть дискриминант формы [pic].

Определение 7. Неопределенная квадратичная форма

[pic] с корнями [pic] называется приведенной, если [pic].

Покажем, что у приведенной формы [pic] выполняются неравенства [pic],

[pic], причем [pic] и [pic] заключаются между [pic] и [pic]. В самом деле,

из условия [pic] получаем

[pic],

[pic], [pic], [pic].

Далее, [pic], [pic], т.е. выполняется указанное неравенство [pic].

Обратимся теперь к условиям

[pic] и [pic]. Из них следуют

[pic], [pic] (*)

Аналогично имеем

[pic], [pic] (**)

Покажем теперь, что [pic]. Допустим, что [pic]. Тогда из неравенств (*) и

(**) следуют

[pic] и [pic].

Но последние два неравенства не могут одновременно выполняться. Значит,

наше допущение, что [pic] неверно и мы получаем неравенства [pic]. Наконец,

покажем, что

[pic] и [pic].

Т.к. [pic], то из неравенств (*) и (**) получаем [pic]. С учетом этих

неравенств и равенства [pic], мы получим и неравенства для [pic].

Обратно, система неравенств

[pic] или [pic]

характеризует приведенность неопределенной формы [pic]. Поэтому определению

приведенной формы можно придать следующий вид. Определение 8. Бинарная

квадратичная форма [pic] дискриминанта [pic] называется приведенной, если

[pic]

или

[pic]

Без доказательства приведем следующее свойство приведенных форм.

Предложение 4. Каждая форма дискриминанта [pic] собственно эквивалентна

некоторой приведенной форме.

Доказательство см. [1,2]. В [1] используется аппарат непрерывной

дроби, а в [2] понятие соседней формы.

Определение 9. Целочисленная квадратичная форма [pic] называется собственно

примитивной, если наибольший общий делитель ее коэффициентов равен [pic],

т.е.

НОД [pic] и несобственно примитивной, если

НОД [pic]. В остальных случаях форма называется не примитивной.

Определение 10. Пусть [pic]- наибольший общий делитель чисел [pic] для

формы [pic] определителя [pic]. Множество бинарных квадратичных форм с

одними и теми же [pic] и (при [pic]) с одним и тем же знаком крайних

коэффициентов [pic] называется порядком форм.

Так как [pic] и знаки получающихся коэффициентов [pic] при [pic] не

меняются при переходе от данной формы к эквивалентной ей форме, то порядок

состоит из нескольких классов.

При [pic] формы и порядок называются собственно примитивными, а при

[pic] и [pic] ([pic])- несобственно примитивными. Собственно и классы форм

называются собственно примитивными и несобственно примитивными.

Возникает вопрос: конечно или бесконечно число целочисленных

приведенных неопределенных форм. Ответ дает следующее.

Предложение 5. Число всех целочисленных приведенных неопределенных форм с

заданным дискриминантом конечно.

Доказательство см. [2,п.185].

§2. О периодах неопределенных бинарных квадратичных уравнений

Теория неопределенных бинарных квадратичных форм существенно

отличается от теории определенных форм наличием периодов приведенных форм.

Гаусс первым обнаружил это явление и глубоко вник в природу приведенных

форм с положительным неквадратным дискриминантом в связи с решением

основных задач этой теории (см. [1,2]). В этом параграфе мы дадим основные

свойства периодов неопределенных форм.

Нашему изложению мы сначала предпошлем те основные понятия из

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

(см. [1,2]).

Определение 1. формой соседней справа к целочисленной форме [pic]

называется форма [pic], которая получается из формы [pic] подстановкой

[pic], где [pic]-некоторое целое число.

Заметим, что при такой подстановке форма [pic] собственно

эквивалентна форме [pic]. Зависимость между соседними формами [pic] и [pic]

можно охарактеризовать так: во-первых, формы [pic] и [pic] имеют одинаковый

дискриминант; во-вторых, последний коэффициент [pic] формы [pic] является

вместе с тем первым коэффициентом формы [pic]; в третьих, сумма их средних

коэффициентов [pic] делится на [pic].

Аналогичным образом определяется соседняя слева форма [pic] к форме

[pic].

Из определения соседних форм непосредственно следует

Предложение 1. Соседние формы собственно эквивалентны.

С помощью процесса нахождения последовательных соседних форм мы

придем к другому важному понятию периода приведенных форм. Именно, пусть

[pic]-приведенная форма дискриминанта [pic] и для нее [pic] является

соседней справа; для [pic] форма [pic] является соседней справа; для [pic]

форма [pic] является соседней справа и т.д. Тогда все формы

[pic],[pic],[pic],…, являются собственно эквивалентными между собой, так и

форме [pic].

Так как в силу предложения 5 §1 число всех целочисленных приведенных

неопределенных бинарных квадратичных форм с заданным дискриминантом

конечно, то в бесконечном ряду форм [pic],[pic],[pic],[pic],… не все формы

могут быть различными между собой. Если предположить, что [pic] и [pic]

совпадают, то формы [pic] и [pic] будут приведенными соседними слева для

одной и той же приведенной формы и потому будут совпадать. Поэтому [pic] и

[pic] и т.д. будут совпадать. Следовательно, в ряду [pic],[pic],[pic],…

обязательно повторится первая форма [pic] и если [pic]- первая форма в этом

ряду, совпадающая с [pic], то все формы [pic],[pic],[pic],[pic],…,[pic]

различны между собой.

Определение 2. Совокупность различных последовательных соседних приведенных

неопределенных форм [pic],[pic],[pic],…,[pic] называется периодом формы

[pic].

Приведем несколько общих замечаний об этих периодах, следующих из их

определения (см. [2]).

Предложение 2. Если формы [pic],[pic],[pic],… представлены следующим

образом

[pic], [pic], [pic],…,[pic], [pic], [pic],…, то все величины [pic] будут

иметь одинаковые знаки, причем [pic] все будут положительны.

Отсюда получается следующее свойство периодов.

Предложение 3. Количество квадратичных форм, из которых состоит период

заданной формы [pic] всегда четно.

Доказательство предложения 3 см. [1,2].

Заметим, что каждая форма [pic], которая содержится в периоде формы

[pic] будет иметь тот же период, что и [pic].Именно, этот период будет

таков:

[pic].

Отсюда получается следующее свойство периодов.

Предложение 4. Все целочисленные неопределенные бинарные квадратичные формы

с одинаковым дискриминантом могут быть разбиты на периоды.

Доказательство (см. [2] разд. V, п.187) основано на том их свойстве,

Страницы: 1, 2



© 2003-2013
Рефераты бесплатно, рефераты литература, курсовые работы, реферат, доклады, рефераты медицина, рефераты на тему, сочинения, реферат бесплатно, рефераты авиация, курсовые, рефераты биология, большая бибилиотека рефератов, дипломы, научные работы, рефераты право, рефераты, рефераты скачать, рефераты психология, рефераты математика, рефераты кулинария, рефераты логистика, рефераты анатомия, рефераты маркетинг, рефераты релиния, рефераты социология, рефераты менеджемент.