Новости    Библиотека    Энциклопедия    Биографии    Карта сайта    Ссылки    О проекте




предыдущая главасодержаниеследующая глава

**2. Теорема Лиувилля и конструирование трансцендентных чисел

Доказательство существования трансцендентных чисел еще до Кантора было дано Ж. Лиувиллем (1809-1862). Оно дает возможность на самом деле конструировать примеры таких чисел. Доказательство Лиувилля более трудно, чем доказательство Кантора, и это не удивительно, так как сконструировать пример, вообще говоря, сложнее, чем доказать существование. Приводя ниже доказательство Лиувилля, мы имеем в виду только подготовленного читателя, хотя для понимания доказательства совершенно достаточно знания элементарной математики.

Как обнаружил Лиувилль, иррациональные алгебраические числа обладают тем свойством, что они не могут быть приближены рациональными числами с очень большой степенью точности, если только не взять знаменатели приближающих дробей чрезвычайно большими.

Предположим, что число z удовлетворяет алгебраическому уравнению с целыми коэффициентами

f(x) = a0 + a1x + a2x2 + ... + аnхn = 0 (аn≠0), (2)

но не удовлетворяет такому же уравнению более низкой степени. Тогда говорят, что само х есть алгебраическое число степени n. Так, например, число z = √2 есть алгебраическое число степени 2, так как удовлетворяет уравнению х2 - 2 = 0 степени 2, но не удовлетворяет уравнению первой степени; число - степени 3, так как удовлетворяет уравнению х3 - 2 = 0, но не удовлетворяет (как мы покажем в главе III) уравнению более низкой степени. Алгебраическое число степени n>1 не может быть рациональным, так как рациональное число удовлетворяет уравнению qx - р = 0 степени 1. Каждое иррациональное число z может быть с какой угодно степенью точности приближено с помощью рационального числа; это означает, что всегда можно указать последовательность рациональных чисел


с неограниченно растущими знаменателями, обладающую тем свойством, что


Теорема Лиувилля утверждает: каково бы ни было алгебраическое число z степени n>1, оно не может быть приближено посредством рационального числа с точностью, лучшей чем другими словами, при достаточно больших знаменателях непременно выполняется неравенство


Мы собираемся привести доказательство этой теоремы, но раньше покажем, как с ее помощью можно строить трансцендентные числа. Рассмотрим число

z = a1*10-1! + a2*10-2! + a3*10-3! + ... + аm*10-m! + аm+1*10-(m+1)! + ... = 0, а1a2000a300000000000000000a4000...,

где аi обозначают произвольные цифры от 1 до 9 (проще всего было бы положить все аi равными 1), а символ n!, как обычно (см. стр. 42), обозначает 1*2*...*n. Характерным свойством десятичного разложения такого числа является то, что быстро возрастающие по своей длине группы нулей чередуются в нем с отдельными цифрами, отличными от нуля. Обозначим через zm конечную десятичную дробь, получающуюся, когда в разложении возьмем все члены до аm*10-m! включительно. Тогда получим неравенство

|z - zm|<10*10-(m+1)! (4)

Предположим, что z было бы алгебраическим числом степени n. Тогда, полагая в неравенстве Лиувилля (3) мы должны иметь

|z - zm|>

при достаточно больших значениях т. Сопоставление последнего неравенства с неравенством (4) дает

откуда следует (n + 1)m!>(m + 1)! - 1 при достаточно больших m. Но это неверно для значений m, больших чем n (пусть читатель потрудится дать подробное доказательство этого утверждения). Мы пришли к противоречию. Итак, число z - трансцендентное.

Остается доказать теорему Лиувилля. Предположим, что z - алгебраическое число степени n>1, удовлетворяющее уравнению (1), так что

f(z) = 0. (5)

Пусть последовательность рациональных чисел, причем zm → z.

Тогда

f(zm) = f(zm) - f(z) = а1(zm - z) + а2(zm2 - z2) + ... + an(2n - zn).

Деля обе части на zm - z и пользуясь алгебраической формулой


мы получаем:


(6)

Так как zm стремится к z, то при достаточно больших m рациональное число zm будет отличаться от z меньше, чем на единицу. Поэтому при достаточно больших m можно сделать следующую грубую оценку:


(7)

причем стоящее справа число М постоянное, так как z не меняется в процессе доказательства. Выберем теперь m настолько большим, чтобы у дроби знаменатель qm был больше, чем М; тогда


(8)

Ради краткости условимся дальше писать р вместо рm и q вместо qm. В таком случае


(9)

Рациональное число не может быть корнем уравнения f(x) = 0, так как тогда можно было бы из многочлена f(x) выделить множитель (х - zm), и, значит, z удовлетворяло бы уравнению степени, низшей чем n. Итак, f(zm)≠0. Но числитель в правой части равенства (9) есть целое число и, следовательно, по абсолютному значению он по меньшей мере равен единице. Таким образом, из сопоставления соотношений (8) и (9) вытекает неравенство


(10)

как раз и составляющее содержание указываемой теоремы.

На протяжении нескольких последних десятилетий исследования, касающиеся возможности приближения алгебраических чисел рациональными, были продвинуты гораздо дальше. Например, норвежский математик А. Туэ (1863-1922) установил, что в неравенстве Лиувилля (3) показатель n+1 может быть заменен меньшим показателем К. Л. Зигель показал, что можно взять и еще меньший (еще меньший при больших n) показатель 2√n.

Трансцендентные числа всегда были темой, приковывающей к себе внимание математиков. Но до сравнительно недавнего времени среди чисел, которые интересны сами по себе, было известно очень немного таких, трансцендентный характер которых был бы установлен. (В главе III будет доказана трансцендентность числа я, и отсюда будет следовать невозможность квадратуры круга с помощью линейки и циркуля.) В своем выступлении на Парижском международном математическом конгрессе 1900 г. Давид Гильберт предложил тридцать математических проблем, допускающих простую формулировку, некоторые - даже совсем элементарную и популярную, из которых ни одна не только не была решена, но даже и не казалась способной быть разрешенной средствами математики той эпохи. Эти "проблемы Гильберта" оказали сильное возбуждающее влияние на протяжении всего последующего периода развития математики. Почти все они мало-помалу были разрешены, и во многих случаях их решение было связано с ясно выраженными успехами в смысле выработки более общих и более глубоких методов. Одна из проблем, казавшаяся довольно безнадежной, заключалась в доказательстве того, что число

2√2

является трансцендентным (или хотя бы иррациональным). На протяжении трех десятилетий не было даже намека на такой подход к вопросу с чьей-нибудь стороны, который открывал бы надежду на успех. Наконец, Зигель и, независимо от него, молодой русский математик А. Гельфонд открыли новые методы для доказательства трансцендентности многих чисел, имеющих значение в математике. В частности, была установлена трансцендентность не только гильбертова числа 2√2, но и целого довольно обширного класса чисел вида аb, где а - алгебраическое число (&38800;0 и ≠1), а b - иррациональное алгебраическое число.

предыдущая главасодержаниеследующая глава




ИНТЕРЕСНО:

Петер Шольц - самый молодым лауреат Филдсовской премии

Кашер Биркар - беженец из Ирана - стал лауреатом Филдсовской премии

Эмми Нётер — была великой женщиной и при этом величайшей женщиной-математиком

Зачем математики ищут простые числа с миллионами знаков?

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

Многомерный математический мир… в вашей голове

В школах Великобритании введут китайские учебники математики

Найдено самое длинное простое число Мерсенна, состоящее из 22 миллионов цифр

Как математик помог биологам совершить важное открытие

Математические модели помогут хирургам

Почему в математике чаще преуспевают юноши

Физики-практики откровенно не любят математику

В индийской рукописи нашли первое в истории упоминание ноля

Вавилонская глиняная табличка оказалась древнейшей «тригонометрической таблицей» в мире

Ученые рассказали о важной роли игр с пальцами в обучении детей математике
Пользовательского поиска

© Злыгостев Алексей Сергеевич, статьи, подборка материалов, оформление, разработка ПО 2001-2018
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'MathemLib.ru: Математическая библиотека'
Рейтинг@Mail.ru