WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     | 1 |   ...   | 12 | 13 || 15 | 16 |   ...   | 76 |

n2 n3 n(Указание: воспользуйтесь результатами, полученными на стр. 31–33.) 4. Рациональные числа и периодические десятичные дроби.

p Такие рациональные числа, которые не могут быть представлены в q виде конечных десятичных дробей, разлагаются в бесконечные десятичные дроби посредством обыкновенного приема «длинного» деления. На каждой ступени этого процесса возникает остаток, не равный нулю, иначе дробь оказалась бы конечной. Различные возникающие остатки могут быть только целыми числами от 1 до q - 1, так что имеется всего q - возможностей для значений этих остатков. Это значит, что после q делений некоторый остаток k появится во второй раз. Но тогда все следующие остатки также будут повторяться в том же порядке, в каком они уже появлялись после первого возникновения остатка k. Таким образом, десятичное разложение всякого рационального числа обладает свойством периодичности; после некоторого числа десятичных знаков одна и та же группа десятичных знаков начинает повторяться бесконечное 1 число раз. Например, = 0,166666666...; = 0,142857142857142857...;

6 1 122 = 0,09090909...; = 0,1109090909...; = 0,122222222... и т. д.

11 1100 (Заметим по поводу тех рациональных чисел, которые представляются в виде конечной десятичной дроби, что у этой конечной дроби можно вообразить после последнего ее десятичного знака бесконечно повторяющуюся цифру 0, и, таким образом, рассматриваемые рациональные числа не исключаются из данной выше общей формулировки.) Из приведенных примеров видно, что у некоторых из десятичных разложений, соответствующих рациональным числам, периодическому «хвосту» предшествует непериодическая «голова».

Обратно, можно показать, что все периодические дроби представляют собой рациональные числа. Рассмотрим, например, бесконечную периодическую дробь p = 0,3322222...

Можно написать: p = + 10-3 · 2(1 + 10-1 + 10-2 +...). Выражение в § 2НЕСОИЗМЕРИМЫЕ ОТРЕЗКИ. ИРРАЦИОНАЛЬНЫЕ ЧИСЛА, ПРЕДЕЛЫ скобках есть бесконечная геометрическая прогрессия:

1 1 + 10-1 + 10-2 + 10-3 +... = =.

1 Значит, 33 10 2970 + 20 2990 p = + 10-3 · 2 · = = =.

100 9 9 · 103 9000 В общем случае доказательство строится таким же образом, но затруднено необходимостью вводить несколько громоздкие обозначения.

Рассмотрим периодическую дробь общего вида p = 0,a1a2a3... amb1b2b3... bnb1b2b3... bn...

Обозначим через B = 0,b1b2b3... bn периодическую часть нашего разложения. Тогда можно написать p = 0,a1a2a3... am + 10-mB(1 + 10-n + 10-2n + 10-3n +...).

Выражение в скобках — бесконечная геометрическая прогрессия, для которой q = 10-n. Сумма этой прогрессии, согласно формуле (10) предыдущего пункта, равна, и потому 1 - 10-n 10-m · B p = 0,a1a2a3... am +.

1 - 10-n Упражнения. 1) Разложите в десятичные дроби следующие рациональ1 1 2 3 1 ные числа:,,,,,, и определите периоды разложений.

11 13 13 13 17 2) Число 142857 обладает тем свойством, что при умножении его на 2, 3, 4, 5 или 6 в нем совершаются только перестановки цифр. Объясните это свойство, исходя из разложения числа в десятичную дробь.

3) Разложите числа, приведенные в упражнении 1, в бесконечные дроби с основаниями 5, 7 и 12.

4) Разложите число в двоичную дробь.

5) Напишите разложение 0,11212121... Установите, какое число оно представляет при основаниях 3 или 5.

5. Общее определение иррациональных чисел посредством стягивающихся отрезков. На стр. 82 мы ввели предварительное определение: «число» есть конечная или бесконечная десятичная дробь.

Мы условились вместе с тем десятичные дроби, не представляющие рационального числа, называть иррациональными числами. На основе результатов, полученных в предыдущем пункте, мы можем теперь предложить следующую формулировку: «числовой континуум, или система действительных чисел («действительные» числа противопоставляются здесь «мнимым», или «комплексным», см. § 5), есть совокупность всевозможных бесконечных десятичных дробей». (Приписывая нули, 94 МАТЕМАТИЧЕСКАЯ ЧИСЛОВАЯ СИСТЕМА гл. II можно, как уже было отмечено, конечную десятичную дробь написать в виде бесконечной, или есть другой способ: последнюю цифру дроби a заменить на a - 1 и к ней приписать бесчисленное множество девяток.

Так, мы видели, например, что 0,999... = 1, — см. п. 3.) Рациональные числа суть периодические дроби; иррациональные числа суть непериодические дроби. Но и такое определение не представляется вполне удовлетворительным: действительно, мы видели в главе I, что самой природой вещей десятичная система ничем особым не выделяется из других возможных; таким же образом можно было бы оперировать, например, двоичной системой. По этой причине является чрезвычайно желательным дать более общее определение числового континуума, независимое от специального выбора основания 10 или любого иного. Вероятно, простейший метод для введения такого обобщения заключается в следующем.

Рассмотрим на числовой оси некоторую последовательность I1, I2, I3,..., In,... отрезков с рациональными концами; предположим, что каждый следующий отрезок содержится в предыдущем и что длина n-го отрезка In стремится к нулю при неограниченном возрастании n. Такую последовательность «вложенных» друг в друга отрезков мы будем называть последовательностью стягивающихся отрезков. В случае десятичных отрезков длина In равна 10-n, но с таким же успехом она могла бы равняться, скажем, 2-n, или можно ограничиться хотя бы тем требованием, чтобы она была меньше. Дадим теперь следующую n формулировку, которую будем рассматривать как основной геометрический постулат: какова бы ни была последовательность стягивающихся отрезков, существует одна и только одна точка числовой оси, которая одновременно содержится во всех отрезках. (Совершенно ясно, что существует не более одной такой точки, так как длины отрезков стремятся к нулю, а две различные точки не могли бы содержаться в отрезке, длина которого была бы меньше, чем расстояние между точками.) Эта точка, по определению, и называется действительным числом; если она не является рациональной, то называется иррациональным числом.

С помощью такого определения мы устанавливаем полное соответствие между точками и числами. Здесь не прибавлено ничего существенно нового: всего лишь определению числа как бесконечной десятичной дроби придана более общая форма.

Все же читателя в этом месте могут охватить известные сомнения, которые следует признать вполне обоснованными. Что же на самом деле представляет собой та «точка» на числовой оси, которая, как мы допускаем, содержится одновременно во всех стягивающихся отрезках последовательности в случае, если она не соответствует рациональному числу Наш ответ таков: существование на числовой оси § 2НЕСОИЗМЕРИМЫЕ ОТРЕЗКИ. ИРРАЦИОНАЛЬНЫЕ ЧИСЛА, ПРЕДЕЛЫ Рис. 11. Стягивающиеся отрезки. Пределы последовательностей (рассматриваемой как геометрический образ) точки, содержащейся во всех стягивающихся отрезках с рациональными концами, есть основной геометрический постулат. Нет надобности делать редукцию, приводя его к иным математическим предложениям. Мы принимаем его, как принимаем в математике другие аксиомы или постулаты, основываясь на его интуитивной правдоподобности и на его полезности, обнаруживающейся при построении логически последовательной системы математических предложений. Чисто формально мы могли бы исходить из числовой прямой, которую мыслили бы как совокупность одних только рациональных точек, и затем определили бы иррациональную точку как символ, обозначающий некоторую последовательность стягивающихся отрезков. Иррациональная точка полностью определяется последовательностью стягивающихся рациональных отрезков, длины которых стремятся к нулю. Значит, наш основной постулат на самом деле способен служить определением. Принять такое определение, после того как мы были приведены к последовательности стягивающихся отрезков интуитивным ощущением, утверждающим «существование» иррациональной точки, — значит отбросить «костыли интуиции», на которые опиралось наше рассуждение, и осознать, что все математические свойства иррациональных точек могут быть понимаемы и представляемы как свойства последовательностей стягивающихся отрезков.

С чисто математической точки зрения в данном случае важно то обстоятельство, что, приняв определение иррационального числа как 96 МАТЕМАТИЧЕСКАЯ ЧИСЛОВАЯ СИСТЕМА гл. II последовательности стягивающихся отрезков, мы приобретаем возможность дать определения сложения, умножения и т. д., а также отношений неравенства, являющихся непосредственным обобщением соответствующих определений в поле рациональных чисел, и притом с сохранением всех основных законов, действующих в поле рациональных чисел. Так, например, чтобы определить сумму двух иррациональных чисел и исходя из двух последовательностей стягивающихся отрезков, определяющих числа и, построим новую последовательность стягивающихся отрезков, складывая соответственно начальные и конечные точки отрезков, входящих в состав данных последовательностей. То же можно сделать с произведением, разностью - и частным /. И можно показать на основе этих определений, что арифметические законы, рассмотренные в § 1 этой главы, при переходе к иррациональным числам не нарушаются. Подробности, сюда относящиеся, мы опускаем.

Проверка всех этих законов проста и производится непосредственно без особых затруднений, но могла бы показаться несколько скучноватой начинающему читателю, который, естественно, интересуется скорее тем, что можно сделать с помощью математики, чем анализом ее логических основ. Нередко случается, что новейшие учебники математики отталкивают читателя именно тем, что с первых же страниц дают педантическое обоснование системы действительных чисел. Читатель, спокойно игнорирующий эти страницы, пусть успокоит свою совесть сознанием того факта, что вплоть до конца XIX столетия все великие математики делали свои открытия на основе «наивной» концепции числового континуума, доставляемой непосредственно интуицией.

Наконец, с физической точки зрения, определение иррационального числа посредством последовательности стягивающихся отрезков естественно уподобляется определению числового значения некоторой доступной наблюдению величины — путем ряда измерений, производимых последовательно со все возрастающей точностью. Всякая операция, совершаемая, скажем, с целью определения длины некоторого отрезка, практически осмыслена лишь в пределах некоторой возможной погрешности, величину которой определяет точность инструмента. Так как рациональные числа расположены на прямой всюду плотно, то никакая физическая операция, как бы точна она ни была, не позволит различить, является ли данная длина рациональной или же иррациональной. Таким образом, могло бы показаться, что в иррациональных числах нет никакой необходимости для адекватного описания физических явлений. Но, как мы увидим в главе VI, при математическом описании физических явлений истинное преимущество, приобретаемое посредством привлечения иррациональных чисел, заключается в чрезвычайном упрощении этого описания — именно благодаря свободному использованию понятия предела, основой которого является числовой континуум.

§ 2НЕСОИЗМЕРИМЫЕ ОТРЕЗКИ. ИРРАЦИОНАЛЬНЫЕ ЧИСЛА, ПРЕДЕЛЫ *6. Иные методы определения иррациональных чисел. Дедекиндовы сечения. Несколько иной путь для определения иррациональных чисел был избран Рихардом Дедекиндом (1831–1916), одним из самых выдающихся основоположников логического и философского анализа основ математики. Его статьи — «Stetigkeit und irrationale Zahlen»1 (1872) и «Was sind und was sollen die Zahlen»2 (1887) — оказали глубокое влияние на исследование основных принципов математики. Дедекинд предпочитал общие абстрактные концепции конкретным построениям вроде последовательностей стягивающихся отрезков. Его процедура базируется на идее «сечения»; мы сейчас опишем, что это такое.

Предположим, что каким-то способом удалось разбить совокупность всех рациональных чисел на два класса A и B таким образом, что всякое число b класса B больше, чем всякое число a класса A. Всякое разбиение такого рода называется сечением в области рациональных чисел. Если произведено сечение, то должна осуществиться одна из следующих трех логически мыслимых возможностей.

1) Существует наибольший элемент a в классе A. Такое положение вещей имеет место, например, в том случае, если к классу A отнесены все рациональные числа 1, к классу B — все рациональные числа > 1.

2) Существует наименьший элемент b в классе B. Это происходит, например, в том случае, если к классу A отнесены все рациональные числа < 1, к классу B — все рациональные числа 1.

3) Нет ни наибольшего элемента в классе A, ни наименьшего в классе B. Сечение этого рода получится, например, в том случае, если к классу A отнесены все рациональные числа, квадрат которых меньше чем 2, а к классу B — все рациональные числа, квадрат которых больше чем 2. Классами A и B исчерпываются все рациональные числа, так как было показано, что такого рационального числа, квадрат которого равен 2, не существует.

Такой случай, когда в классе A есть наибольший элемент a и вместе с тем в классе B — наименьший элемент b, логически немыслим, так a + b как тогда рациональное число, заключенное как раз между a и b, было бы больше, чем наибольший элемент в A, и меньше, чем наименьший элемент в B, и, значит, не могло бы принадлежать ни к A, ни к B.

В третьем случае, когда нет ни наибольшего рационального числа в классе A, ни наименьшего в классе B, тогда, по Дедекинду, сечение определяет, или, лучше, представляет собой, некоторое иррациональ«Непрерывность и иррациональные числа». — Прим. ред.

«Что такое числа и чем они должны быть» — Прим. ред.

98 МАТЕМАТИЧЕСКАЯ ЧИСЛОВАЯ СИСТЕМА гл. II ное число. Не составит труда проверить, что определение Дедекинда согласуется с определением, в основе которого находятся вложенные отрезки: из всякой последовательности вложенных отрезков I1, I2, I3,... мы получаем сечение, если отнесем к классу A все те рациональные числа, которые меньше, чем левый конец хотя бы одного интервала In, к классу B — все прочие рациональные числа.

Pages:     | 1 |   ...   | 12 | 13 || 15 | 16 |   ...   | 76 |



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.