Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
3. Упорядочение множества бесконечных десятичных дробей.Во вводной главе мы уже отмечали, что понятие числа относится к так называемым начальным понятиям (т. е. к понятиям, которые могут быть разъяснены, но не могут быть строго определены, ибо всякая попытка дать строгое определение такого понятия неизбежно сведется к замене определяемого понятия ему эквивалентным). Мы введем понятие вещественных чисел, отправляясь от множества бесконечных десятичных дробей. Рассмотрим множество всевозможных бесконечных десятичных дробей (как положительных, т. е. взятых со знаком Мы будем придерживаться следующего плана. Для множества всех чисел, представимых бесконечными десятичными дробями, мы введем операцию упорядочения. После этого мы убедимся, что для введенной нами операции упорядочения остается справедливым то же самое свойство 4°, которое сформулировано в Наличие только одного этого свойства позволит нам доказать замечательную теорему о том, что у множества чисел, представимых бесконечными десятичными дробями и ограниченных сверху (или соответственно снизу), существует число, представимое бесконечной десятичной дробью и являющееся точной верхней (или соответственно точной нижней) гранью указанного множества чисел. После этого вводятся операции сложения и умножения чисел, представимых бесконечными десятичными дробями. Это дает нам возможность ввести вещественные числа как такие числа, которые представимы бесконечными десятичными дробями и для которых указанным нами способом определены операции упорядочения, сложения и умножения. Доказанная нами теорема о существовании точных граней позволит доказать существование суммы и произведения двух любых вещественных чисел, а также справедливость для этих чисел тех же самых 16 основных свойств, которые сформулированы в п. 1 для рациональных чисел. Приступим к реализации указанного плана. В этом пункте мы введем для чисел, представимых бесконечными десятичными дробями, операцию упорядочения и установим, что эта операция обладает свойством 4°, сформулированном в Рассмотрим произвольное число, представимое бесконечной десятичной дробью, отличной от Числа, не являющиеся положительными, мы будем называть неположительными, а числа, не являющиеся отрицательными, — неотрицательными. Сразу же отметим, что все рациональные числа относятся к множеству чисел, представимых бесконечными десятичными дробями. Представление данного рационального числа бесконечной десятичной дробью можно получить двумя способами: 1) взяв точку М, отвечающую данному рациональному числу на числовой оси, и произведя измерение отрезка 2) взяв обыкновенную дробь Мы представляем читателю убедиться в том, что оба эти способа эквивалентны друг другу. Так, при любом из указанных способов рациональному числу 1/2 ставится в соответствие бесконечная десятичная дробь Прежде чем перейти к формулировке правила упорядочения чисел, представимых бесконечными десятичными дробями, рассмотрим вопрос о представлении в виде бесконечных десятичных дробей тех рациональных чисел, которые представимы в виде конечной десятичной дроби. Заметим, что такие рациональные числа допускают два представления в виде бесконечных десятичных дробей. Например, рациональное число
Вообще, рациональное число
Естественно, мы должны отождествить указанные две бесконечные десятичные дроби (т. е. считать, что они представляют одно и то же вещественное число). Рассмотрим теперь два произвольных вещественных числа а и b и предположим, что эти числа представляются бесконечными десятичными дробями
где из двух знаков Исключим уже рассмотренный выше случай, когда обе бесконечные десятичные дроби в (2.3) имеют одинаковые знаки и служат двумя различными представлениями одного и того же рационального числа, представимого конечной десятичной дробью. После исключения этого случая договоримся называть два числа а и b равными, если их представления в виде бесконечных десятичных дробей (2.3) имеют одинаковые знаки и если справедлива бесконечная цепочка равенств
Итак, мы называем два числа а и b равными, если их представления в виде бесконечных десятичных дробей (2.3) имеют одинаковые знаки и если либо справедлива цепочка равенств (2.4), либо бесконечные десятичные дроби в (2.3) служат двумя представлениями одного и того же рационального числа, представимого конечной десятичной дробью. Пусть даны два неравных числа а и Договоримся называть модулем числа а, представимого бесконечной десятичной дробью, число, представимое той же самой бесконечной десятичной дробью, что и число а, но всегда взятой со знаком Модуль числа а будем обозначать символом Рассмотрим отдельно три возможных случая: 1) случай, когда а и b оба неотрицательны; 2) случай, когда оба числа а и 1) Пусть сначала а и b оба неотрицательны и имеют представления Обозначим через
Тогда мы будем считать, что 2) Пусть теперь 3) Пусть, наконец, одно число (например, а) неотрицательно, а другое число Итак, мы полностью сформулировали правило упорядочения чисел, представимых бесконечными десятичными дробями. Чтобы сделать, сформулированное правило безупречным с логической точки зрения (или, как говорят в математике, корректным), докажем следующую лемму. Лемма. Если Эта лемма позволяет при упорядочении двух неравных чисел не заботиться о том, какое из двух возможных представлений в виде бесконечной десятичной дроби взято для числа, представимого конечной десятичной дробью. Доказательство. Для полного доказательства леммы следует доказать четыре утверждения: 1) из Мы ограничимся доказательством утверждений 1) и 2), ибо утверждения 3) и 4) доказываются аналогично. Пусть
(в этих соотношениях следует считать все Сразу же заметим, что ибо при Если при этом Остается рассмотреть случай Если же в указанном последнем неравенстве Итак, утверждение 1) доказано. Перейдем к доказательству утверждения 2). Предположим, что
В этих представлениях
Иными словами, справедлива цепочка соотношений
С другой стороны, поскольку
Обозначим через
Полученные соотношения на основании правила упорядочения вещественных чисел устанавливают справедливость неравенства Еще раз подчеркнем, что доказанная лемма позволяет при упорядочении двух чисел, представимых бесконечными десятичными дробями, пользоваться любым из двух представлений в виде бесконечной десятичной дроби для рациональных чисел, представимых конечной десятичной дробью. Легко убедиться в том, что сформулированное правило упорядочения в применении к двум рациональным числам, представленным в виде бесконечных десятичных дробей, приводит к тому же результату, что и прежнее правило упорядочения рациональных чисел, представленных в виде отношения двух целых чисел. В самом деле, достаточно рассмотреть случай двух неотрицательных рациональных чисел а и им точки Свойство транзитивности знака Докажем свойство транзитивности знака Рассмотрим три возможных случая: 1) с неотрицательно; 2) с отрицательно, а неотрицательно; 3) с отрицательно и а отрицательно. 1) Пусть сначала с неотрицательно. Тогда b также неотрицательно, ибо если бы b было отрицательно, то в силу правила упорядочения мы получили бы, что Итак, в рассматриваемом случае все три числа
Аналогично в силу условия
Обозначим через 2) Пусть теперь с отрицательно, а неотрицательно. Тогда (независимое от знака числа 3) Рассмотрим, наконец, случай, когда оба числа а и с отрицательны. Заметим, что в этом случае и b отрицательно (ибо в противном случае мы получили бы из правила упорядочения, что Итак, в рассматриваемом случае все три числа
|
1 |
Оглавление
|