Что означает действительное число

13.04.202214.04.2022 admin 0 Comments

Действительные числа: определение, примеры, представления

Данная статья посвящена теме «Действительные числа». В статье дается определение действительных чисел, иллюстрируется их положение на координатной прямой, рассматриваются способы задания действительных чисел числовыми выражениями.

Определение действительных чисел

Целые и дробные числа вместе составляют рациональные числа. В свою очередь, рациональные и иррациональные числа составляют действительные числа. Как дать определение, что такое действительные числа?

Данное определение можно записать иначе с учетом следующего:

Нуль также является действительным числом. Согласно определению, существуют как положительные, так и отрицательные действительные числа. Нуль является единственным действительным числом, которое не положительно и не отрицательно.

Координатная прямая и действительные числа

Каждой точке не координатной прямой соответствует определенное и единственное действительное число. Иными словами, действительные числа занимают всю координатную прямую, а между точками кривой и числами присутствует взаимно-однозначное соответствие.

Представления действительных чисел

Под определение дейситвительных чисел попадают:

Также действительные числа часто представляются в виде выражений со степенями, корнями и логарифмами. Сумма, разность произведение и частное действительных чисел также являются действительными числами.

Значение любого выражения, составленного из действительных чисел, также будет являться действительным числом.

Источник

ДЕЙСТВИТЕЛЬНОЕ ЧИСЛО

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

Существенным свойством Д. ч. является свойство их непрерывности, к-рым рациональные числа не обладают.

VI. Свойство непрерывности. Для всякой системы вложенных отрезков

Как рациональные, так и иррациональные числа обладают свойством плотности во множестве всех Д. ч.: каковы бы ни были два Д. ч. а и b, а 0,

Свойство непрерывности Д. ч. можно сформулировать иначе.

VI’. Всякое ограниченное сверху множество имеет точную верхнюю грань (см. Верхняя и нижняя грани).

и .

При построении теории Д. ч. можно пользоваться не только десятичной системой счисления, но и другими: двоичной, троичной и т. д. Существенно, что ни при одном из приведенных выше построений теории Д. ч. (аксиоматическом, с помощью сечений рациональных чисел, на базе фундаментальных последовательностей рациональных чисел или на основе бесконечных десятичных дробей) не доказывается существование (непротиворечивость) множества Д. ч. С этой точки зрения все эти методы равноправны.

Источник

Действительные числа

Что такое действительные числа

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

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

Стандартным условным обозначением является буква R, выполненная полужирным шрифтом.

Осторожно! Если преподаватель обнаружит плагиат в работе, не избежать крупных проблем (вплоть до отчисления). Если нет возможности написать самому, закажите тут.

Обозначение не случайное, оно взято из английского слова realis (в переводе — действительный).

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

По своей сути действительное число является бесконечной десятичной дробью. Его можно записать следующим образом:

Как обычно, значение до первой запятой — целое. Если в каком-либо сегменте после запятой образуются нули, они не пишутся.

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

ао, а1, а2….. аn и ао, а1, а2….. аn+10-n

Где n — значение натурального числа.

История термина

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

Позднее Евдокс Книдский пытался создать общую теорию, которая бы включала также несоизмеримые величины. Однако в практику эти попытки в то время не вошли. Прошло более двух тысяч лет, пока возникла истинная необходимость введения такого понятия. Толчком послужил математический анализ, развиваемый Р.Дедекиндом, Г.Кантором, Э.Гейне и их коллегами. Периодом создания теории вещественных (или действительных) чисел считается вторая половина XIX века.

Для современных математиков то множество, которое объединяет рациональные и иррациональные величины, является непрерывным упорядоченным полем. С позиции изоморфизма оно является единственным.

Представления действительных чисел

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

Рациональные (Q), в свою очередь, подразделяются на целые (Z) и дробные. В совокупность целых входят ноль, натуральные значения (N) и им противоположные.

Самое простое, что можно представить в математике — это натуральное число. Это то, что мы перечисляем при простом счете. Именно с этих чисел дети начинают учиться решать элементарные примеры. Они же используются в сложнейших математических задачах. Если выстроить натуральные единицы в порядке возрастания, получится натуральный ряд. Он является бесконечным, поскольку после n всегда существует n+1.

Отрицательные числа не относятся к натуральным, ими не получится объективно считать.

Существует две теории определения группы натуральных чисел. Согласно первой, они появляются, когда человек что-либо нумерует. Например: первый, второй, третий и последующий участник. Согласно второй, в них есть необходимость в ситуациях, когда нужно определиться с количеством чего-либо. Например, 1 стул, 0 стульев, 100 стульев. Казалось бы, оба подхода определяют натуральные числа, однако явно заметна разница: в первом случае ноль исключен, во втором — без него не обойтись.

Поэтому сегодня существует два условных обозначения для этой группы:

Характеризуя натуральные числа, обращают внимание на их свойства:

Целые числа

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

Действительное значение можно сделать целым при сокращении его дробной части. Так, 7,5 или 124,85 не являются целыми, 2, 8, 12, 154 — являются.

Для обозначения множества целых чисел применяется Z. В математике существует раздел «Теория чисел», который занимается изучением их характеристик.

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

Натуральные заметны при счете, например, 1, 2, 3 и т.д. Отрицательные имеют впереди знак «-». Для всех целых чисел существует противоположное значение со знаком минус. При этом абсолютная величина числа не содержит минуса. Ее правильным обозначением является ׀a׀.

В решениях задач для целых величин предусматриваются такие действия:

При этом деление может осуществляться с остатком. Целые могут сравниваться друг с другом, при этом Z — это линейно упорядоченное, бесконечное множество. Его мощность идентична мощности натуральных чисел. Оба они применяются для счета.

Десятичные дроби

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

Десятичные дроби записываются так: 5,6; 7,88; 9,2568. Разрядность после запятой может быть различной, но в любом случае десятичная дробь не может иметь знаменателя. Другими словами, он равен 0 целых и 0 десятых.

После запятой могут стоять абсолютно разные цифры. Их значение определяется местом, на котором они расположены после запятой. Так, в десятичной дроби 5,123 цифра 1 соответствует десятым, 2 — сотым, 3 — тысячным и так далее. Если какой-либо ранг пропущен, вместо него обязательно ставится нуль. Так, в числе 5,208 десятым соответствует 2, а тысячным — 8. Сотые в данном примере отсутствуют.

Десятичная дробь может быть конечной либо бесконечной. Схематическая запись конечной выглядит так: ao,a1, a2…an. Число цифр после запятой четко определено.

Примером бесконечной является число π. Его значение равняется 3,1415926535897…Из примера видно, что количество цифр после запятой не определено, т.е. ao, a1, a2…

Бесконечная десятичная дробь может характеризоваться периодичностью. В таком случае в цифрах после запятой наблюдается периодически повторяющаяся группа цифр.

В таком случае цифры 456 называются периодом дроби, а количество цифр в группе (3 цифры) — длина периода.

Появлением десятичных дробей мы обязаны Китаю, когда там, в III веке н.э. считали на счетных досках. Позднее, трактат «Ключи арифметики», от имени Дж. Гияс-ад-дин-аль-Каши (математик и астроном) объявил об их официальном открытии. В Европе первым объявил об их существовании И. Бонфис (1350 год), а пользоваться ими стали в 1585 году, по мере выхода труда Стевина «Десятая».

Обыкновенные дроби

Говоря о дроби, математики имеют ввиду число, которое состоит из одной, двух либо нескольких одинаковых по величине частей от единицы. Эти части называются долями.

Кроме рассмотренных выше десятичных дробей, существуют обыкновенные, схематически выражаемые формулой m/n. Они могут иметь знак «-» либо «+». Значение цифр в обыкновенной дроби следующее: над чертой — числитель (показывает сколько раз взята выбранная доля), под чертой — знаменатель (то, насколько частей разделили первоначальное число).

Дробь, в которой целый числитель и знаменатель отличный от нуля, относится к рациональным числам.

Обыкновенные дроби представлены правильными и неправильными вариантами. Если числитель меньше (по модулю), чем знаменатель, то эта дробь правильная Если наоборот — неправильная (тогда она — рациональное число, которое по модулю превышает либо равно единице).

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

Более сложной модификацией является дробь составная, т.е. «многоэтажная». В ней числитель и знаменатель (либо только один из них) также представлены обыкновенными дробями.

С обыкновенными дробями можно производить следующие действия:

То, как обозначаются обыкновенные дроби сегодня, пришло из Древней Индии. Вначале разделительная черта не использовалась, но цифры писались одна под другой. Черта появилась лишь 300 лет назад, с подачи итальянского купца Фибоначчи. Уверенное пользование такими цифрами началось после выхода труда Стевина «Десятая».

Координатная прямая и действительные числа

Для решения многих математических задач удобно построить схему, на которой отразить месторасположение какого-либо тела с известными координатами. Если действие можно произвести по одной прямой линии, действительные числа располагаются на ней через равные промежутки, принятые за единицу измерения. Такое изображение называется числовой прямой. На ней обязательно существует 0 (точка отсчета) и единицы измерения — действительные числа — расположенные в порядке возрастания либо убывания (как на рисунке).

Прямая с нанесенными на ней началом отсчета, направлением отсчета и отрезками равной длины называется осью координат. При этом вправо от 0 всегда направлена положительная координатная полуось, а влево — отрицательная.

Координата — число, которое определяет нахождение точки (либо тела) на координатной оси.

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

Координатную прямую часто называют геометрической моделью всего множества действительных чисел. Второе ее название — числовая прямая.

Правила вычисления с действительными числами, формулы

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

Для них действуют формулы типа: a больше (либо меньше) числа b, если при вычитании b из a получается положительная (либо отрицательная) величина.

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

Существуют и правила для сравнения действительных чисел:

Иногда для простоты расчетов прибегают к округлению действительных чисел. При большой разрядности исходного в условии обычно оговаривается до каких единиц произвести округление. Если последующая цифра за заданным рангом 5 и больше, то округление происходит с увеличением, если меньше — с уменьшением.

Источник

Действительные числа

Статья находится на проверке у методистов Skysmart.
Если вы заметили ошибку, сообщите об этом в онлайн-чат
(в правом нижнем углу экрана).

Определение действительных чисел

Рациональные числа объединяют в себе целые числа и дробные числа. А действительные числа объединяют рациональные и иррациональные числа. Отсюда сформулируем определение действительных чисел:

Рациональное число — это число, которое можно представить в виде положительной или отрицательной обыкновенной дроби или числа ноль. Множество рациональных чисел —

Иррациональное число — это число, которое невозможно выразить в форме деления двух целых чисел, то есть в рациональной дроби m/n. Оно может быть выражено в форме бесконечной непериодической десятичной дроби. Множество иррациональных чисел —

Множество действительных чисел состоит из множества рациональных чисел вместе с множеством иррациональных чисел. Это множество R иначе обозначается как область действительных чисел (-∞; +∞). Можно записать так, что R есть объединение двух множеств: рациональных и иррациональных чисел:

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

Действительные числа — это числа, которые можно записать в виде конечной или бесконечной, периодической или непериодической десятичной дроби. Их иногда называют вещественными.

Примеры действительных чисел:

Число нуль также является действительным числом, так как 0 — рациональное число.

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

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

Действительные числа на координатной прямой

Координатная прямая — это прямая, которая изображается с определенной точкой отсчета, которая принимается за 0, единичным отрезком и заданным направлением движения.

Интересный факт: действительные числа заполняют каждую точку координатной прямой.

Каждой точке координатной прямой соответствует единственное действительное число — координата этой точки. При этом каждому действительному числу соответствует единственная точка на координатной прямой. То есть, между действительными числами и точками координатной прямой существует взаимно однозначное соответствие.

Для тех, кто хочет связать свою жизнь с точными науками, Skysmart предлагает курс подготовки к ЕГЭ по математике (профиль).

Представления действительных чисел

По определению действительными числами являются:

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

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

будут действительные числа.

Сравнение действительных чисел

Любые действительные числа можно сравнивать. Для сравнения действительных чисел есть два способа:

Источник

Содержание:

Действительные числа

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

Действительные числа

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

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

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

Расстояние между двумя точками числовой оси равно абсолютной величине разности их координат и то есть, Обратите внимание на то, что

Действительные (вещественные числа)

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

квадратный из отрицательной величины не может быть выражен никаким действительным числом.

Абсолютная величина действительного числа

Абсолютной величиной (или модулем) действительного числа х (обозначается |х|) называется неотрицательное действительное число,
удовлетворяющее условиям:

Свойства абсолютных величин:

4. Пусть — положительное число, тогда неравенства и равносильны.

5. Для любых двух действительных чисел справедливы неравенства

6. Для любых двух действительных чисел справедливы неравенства
7.

Постоянные и переменные величины

Постоянной величиной называется величина, численные значения которой не меняются.

Величина с одним и тем же названием может быть постоянной (скорость равномерного движения) или переменной (скорость равномерно ускоренного движения).

Величины, которые сохраняют своё значение в любом явлении, называются абсолютными постоянными, например число

Переменной величиной называется величина, которая принимает различные числовые значения.

Совокупность всех числовых значений переменной величины называется областью изменения этой величины.

Промежутком или открытым интервалом (а,b) называется совокупность всех чисел х, заключенных между данными числами причем сами эти числа не принадлежат рассматриваемой совокупности чисел

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

Естественным образом определяются полуоткрытые интервалы, т.е. промежутки, открытые с одной стороны. Например: или

Определения интервалов можно сформулировать, используя вместо понятия «число» понятие «точка».

Окрестностью данной точки называется произвольный интервал содержащий эту точку внутри себя.

Действительные числа

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

Определение 1.17. Множество R называется множеством вещественных чисел, а его элементы — вещественными (действительными) числами, если выполнен следующий комплекс условий, называемый аксиоматикой вещественных чисел:

1. Аксиомы сложения

(a) x + y = y + x, ∀x, y ∈ (коммутативность сложения);
(b) в существует нейтральный элемент, называемый нулем, обозначаемый 0, такой, что x + 0 = x, ∀x ∈ ;
(c) для любого элемента x ∈ в существует элемент, называемый противоположным к x, обозначаемый (-x), такой, что x + (-x) = 0;
(d) x + (y + z) = (x + y) + z, ∀x, y, z ∈ (ассоциативность сложения).

2. Аксиомы умножения

(a) x ∙ y = y ∙ x, ∀x,y ∈ (коммутативность умножения);
(b) в \ <0>существует нейтральный элемент, называемый единицей, обозначаемый 1, такой, что 1 ∙ x = x, ∀x ∈ ;
(c) для любого элемента x ∈ \ <0>существует в \ <0>обратный элемент, обозначаемый 1/x или x-1, такой, что x ∙ (1/x) = 1;
(d) x ∙ (y ∙ z) = (x ∙ y) ∙ z, ∀x,y,z ∈ (дистрибутивность умножения). Операции сложения и умножения связаны условием:
(e) (x + y) ∙ z = x ∙ z + y ∙ z, ∀x,y., z ∈ (дистрибутивность умножения по отношению к сложению).

Множество, на котором определены обе операции, и которые удовлетворяют группам аксиом 1 и 2, называется алгебраическим полем.

(Часто знак операции умножения в математических выражениях опускают и вместо x ∙ y пишут xy.)

3. Аксиомы порядка

Для любых элементов x, y ∈ определено отношение , то есть либо x y, либо y x. При этом выполняются условия:
(a) x x, ∀x ∈ ;
(b) если x, y ∈ таковы, что x y и y x, то x = y;
(c) если x, y, z ∈ таковы, что x y и y z, то x z (транзитивность);
(d) если x, y, z ∈ и x y, то x + z y + z;
(e) если x,y ∈ и 0 x, 0 6 y, то 0 x ∙ y.

Отношение называют отношением неравенства и читают: «не превосходит» или «меньше или равно». Множество, между элементами которого имеется отношение , удовлетворяющее аксиомам 3, называется упорядоченным. Поэтому множество является упорядоченным алгебраическим полем.

4. Аксиома полноты (непрерывности)

Если X и Y — непустые подмножества множества , обладающие тем свойством, что для любых элементов x ∈ X и y ∈ Y выполняется неравенство x y, то существует такое число c, что

x c y, ∀x ∈ X, ∀y ∈ Y.

Эту аксиому часто называют принципом отделимости.

Можно доказать, что во введенном множестве R имеют место все, известные из школьного курса математики, свойства чисел. Желающие могут получить их самостоятельно или изучить соответствующий раздел в книгах [2] или [6].

Важнейшие подмножества действительных чисел

Определение 1.18. Множество X ⊂ называется множеством натуральных чисел, а его элементы — натуральными числами, если X — наименьшее числовое множество, которое содержит единицу и вместе с каждым элементом x содержит элемент x + 1.

Множество натуральных чисел обозначают через , а его произвольный элемент — через n. Число 1 + 1 ∈ обозначают символом 2 и называют двойкой, число 2 + 1 обозначают символом 3 и называют тройкой и так далее. Можно доказать, что

0 1 2 ∙∙∙ nn + 1 . и = <1, 2. n,n + 1. >.

Прямым следствием определения 1.18 является принцип математической индукции.
Если подмножество E множества натуральных чисел таково, что 1 ∈ E и вместе с числом x ∈ E множеству E принадлежит x + 1, то E = .

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

(1.1)
В этой формуле a, b — произвольные действительные числа, n — произвольное натуральное число,

Пусть E — множество тех натуральных чисел n, для которых справедлива формула (1.1). При , что соответствует формуле (1.1). Поэтому n = 1 ∈ E.

Но и при k = 1,2,3. n,

Таким образом, n + 1 ∈ E и, следовательно, E = .

Определение 1.19. Множество, состоящее из всех натуральных чисел, им противоположных и нуля называют множеством целых чисел и обозначают символом Z.

Определение 1.20. Множество | m ∈ , n ∈ > называют множеством рациональных чисел и обозначают через . Элемент множества называют рациональным числом.

Можно доказать, что (например, можно доказать, что в не существует числа s такого, что s ∙ s = 2).

Определение 1.21. Действительные числа, которые не являются рациональными, называются иррациональными.

Часто полезна «геометрическая терминология в которой множество называют числовой прямой, его элементы — точками числовой прямой.

Пусть a, b ∈ и a b, то есть a b и a b. Введем следующие обозначения и названия для перечисленных ниже числовых множеств:

[a, b] := | a x y> — отрезок ab (или сегмент ab);
(a, b) := | a x b> — интервал ab;
(a, b] := | a x b> — полуинтервал ab, содержащий b;
[a, b) := | a x b> — полуинтервал ab, содержащий a.

В этих обозначениях часто пишут: = (-∞, +∞).

Действительные числа

Определение действительного числа по Дедекинду

Одним из основных понятий, изучаемых в курсе математического анализа, является понятие действительного числа. Оно возникает в школьном курсе элементарной алгебры фактически на интуитивном уровне как развитие понятия о числе — от натуральных чисел к целым, от целых к рациональным, от рациональных к действительным. В нашу задачу не входит сейчас аккуратное выведение этой цепочки из основных представлений о натуральных числах и их свойствах. Будем считать, что понятие рационального числа и основные свойства рациональных чисел, а также другие вопросы школьного курса элементарной алгебры (в частности, основная символика теории множеств) хорошо известны. Напомним, что множество натуральных чисел обозначается N, множество целых чисел — Z. множество рациональных чисел — Q.

При переходе к действительным числам (множество которых обозначается R) возникает качественно новое понятие непрерывности, присущее именно математическому анализу Поэтому этот шаг будет разобран подробно и аккуратно.

Определение 1.1. Сечением а множества рациональных чисел Q называется такое разбиение Q на два непустых множества , что для всех выполняется неравенство х 2 = 2.

Легко видеть, что в примере 1) в нижнем классе А есть наибольший элемент в верхнем классе А’ нет наименьшего элемента. В примере 2) в A нет наибольшего элемента, в А’ есть наименьший. В примере 3) в A нет наибольшего элемента, в А’ нет наименьшего.

Докажем, например, что в примере 3) в A нет наибольшего элемента (значком □ будем обозначать начало доказательства, значком ■ — конец доказательства).

□ Доказательство от противного. Пусть в А есть наибольший элемент г. Тогда г > 0, г 2 2 2, что заведомо выполняется при т.е. при Для таких n число : это противоречит тому, что г — наибольший элемент в А. Значит, в А нет наибольшего элемента. ■

Докажем теперь, что невозможен случай, когда в А есть наибольший элемент, в А’ есть наименьший.

□ Пусть существуют — соответственно наибольший и наименьший элементы в этих классах. Выберем рациональное число такое, что (например, . Так как , то , так как , то — это невозможно, так как любое рациональное число принадлежит либо А, либо А’.

Итак, существуют сечения трёх типов.

I. В нижнем классе есть наибольший элемент, в верхнем нет наименьшего.

II. В нижнем классе нет наибольшего элемента, в верхнем есть наименьший.

III. В нижнем классе нет наибольшего элемента, в верхнем нет наименьшего.

Определение 1.2. Иррациональным числом называется сечением III типа.

В случаях I и II говорят, что сечение производится рациональным числом (соответствующим наибольшему элементу в нижнем классе или наименьшему в верхнем). Сечения I и II типов отождествляются с соответствующими рациональными числами. Чтобы соответствие было взаимно однозначным, сечения типа I в дальнейшем не рассматриваются.

Например, сечение в примере 1) мы не будем рассматривать. Сечение в примере 2) — это рациональное число 1. Сечение в примере 3) — это иррациональное число (которое естественно объявить корнем квадратным из 2, не придавая пока этому термину строгого смысла).

Определение 1.3. Действительным (вещественным) числом называется любое сечение II или III типов. Множество действительных чисел обозначается R. Сечения II типа отождествляются с соответствующими рациональными числами.

У сечений, соответствующих действительным числам, в нижнем классе нет наибольшего элемента. Если в верхнем классе есть наименьший элемент — сечение является рациональным числом, если нет — иррациональным.

Определение 1.4. Два действительных числа называются равными, если А = В, А’ = В’ (совпадают как множества, достаточно требовать только А = В).

Определение 1.5. Рассмотрим два неравных действительных числа . Говорят, что , если (т.е. ) , если (т.е. ; включения множеств считаются строгими.

Символ > читается «больше», символ М.

Запишем окончательно на языке кванторов, что означает неограниченность множества X сверху:

Наблюдая преобразование (1.1) в (1.2), мы можем сформулировать формальное правило построения отрицаний в позитивном смысле:

1) кванторы меняются друг на друга, т.е. превращается в превращается в ;

2)высказывания, стоящие при кванторах, не меняются;

3)существенные высказывания, не стоящие при кванторах, меняются на противоположные.

Пример 1.2. Множество N натуральных чисел ограничено снизу , но не является ограниченным сверху — принцип Архимеда).

Определение 1.8. Действительное число л называется точной верхней гранью множества , если это число является верхней границей множества X, а никакое меньшее число не является верхней границей X.

На языке кванторов это описывается как конъюнкция (т.е. одновременное выполнение) двух высказываний:

Логический символ («и») означает одновременное выполнение двух высказываний.

Точная верхняя грань обозначается sup («supremum»):

Определение 1.9. Действительное число называется точной нижней гранью множества , если это число является нижней границей множества X, а никакое большее число не является нижней границей X.

На языке кванторов записывается конъюнкция двух высказываний:

Точная нижняя грань обозначается inf («infimum»):

Из определений следует, что sup X — это наименьшая из верхних границ множества X, a inf X — это наибольшая из нижних границ. Пока ниоткуда не следует, что эти наименьшая из верхних и наибольшая из нижних границ существуют. Дело в том, что ограниченное сверху множество может иметь наибольший элемент, а может и не иметь; ограниченное снизу множество может иметь наименьший элемент, а может и не иметь.

Лемма 1.2. Если множество имеет наибольший элемент а, то а = sup X. Если множество имеет наименьший элемент , то

□ Доказательство приведём для наибольшего элемента, вторая часть доказывается аналогично.

Так как а — наибольший элемент X, то для всех выполнено неравенство . С другой стороны, какое бы число мы ни взяли, число л является элементом множества, и ; значит, для любого найдётся элемент X, больший а’. Доказано, что а = supX. ■

Но может быть и так, что во множестве нет наибольшего (наименьшего) элемента, а точная верхняя (нижняя) грань существует. В этом случае говорят, что точная верхняя (нижняя) грань не достигается.

Пример 1.3. Пусть —множество всех чисел вида . Очевидно, наибольшим элементом множества является число 1; по лемме 1.2 supX = 1 (точная верхняя грань множества достигается).

С другой стороны, ясно, что при всех выполняется неравенство ; множество ограничено снизу, но наименьшего элемента в нём нет. Докажем, что inf X = 0 (таким образом, точная нижняя грань не достигается).

□ В самом деле, для всех выполняется неравенство Но какое бы число мы ни взяли, найдутся рациональное число г такое, что (теорема 1.2), и натуральное число п такое, что т.е. (свойства неравенств между рациональными числами мы считаем известными). Поэтому . Итак, для любого найдётся число такое, что . Доказано, что inf X = 0. ■

Теорема 1.5 (о точной верхней (нижней) грани). Для любого непустого множества действительных чисел, ограниченного сверху, существует и единственна точная верхняя грань. Для любого непустого множества действительных чисел, ограниченного снизу, существует и единственна точная нижняя грань.

□ Доказательство проведём для точной верхней грани, вторая часть доказывается аналогично (отметим, что пустое множество формально является ограниченным сверху и снизу, но говорить о точных верхней и нижней гранях бессмысленно).

Пусть сначала ограниченное сверху множество имеет наибольший элемент. Тогда по лемме 1.2 этот элемент является точной верхней гранью.

Пусть теперь в X нет наибольшего элемента. Проведём сечение во множестве К так, что А’ — это все верхние границы X (они существуют в силу ограниченности X сверху), а — все остальные числа. Ясно, что , для любых выполняется неравенство (ясно, что , но если , то число х больше некоторой верхней границы, значит, х — тоже верхняя граница, а это не так). При этом (если какой-то элемент X является верхней границей, то он наибольший в X, а мы рассматриваем случай, когда наибольшего элемента нет).

По теореме Дедекинда существует действительное число a либо наибольшее в , либо наименьшее в . Но если a — наибольшее число в , то, так как — верхняя граница для X, т.е. — противоречие. Значит, a — наименьшее число в (наименьшая из верхних границ). Итак, а — верхняя граница X, а никакое меньшее число верхней границей не является, т.е. a = supX.

Докажем теперь, что точная верхняя грань единственна. Пусть a = supX и = supX. a 0, a inf X = 0.

Определение 1.10. Если множество неограничено сверху, то по определению supX = . Если множество неограничено снизу, то по определению inf X = .

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

Пусть действительное число а не является целым числом или конечной десятичной дробью. Рассмотрим соответствующее сечение во множестве рациональных чисел (в нижнем классе А нет наибольшего элемента).

Обозначим через со наибольшее целое число в А. Тогда — наименьшее целое число в А’. Так как а не целое, то . Разобьём отрезок на 10 отрезков равной длины и выберем из них тот, который содержит число

(a не совпадает с концом отрезка, так как не является конечной десятичной дробью).

Снова разбиваем полученный отрезок на 10 отрезков равной длины 0,01 и т.д., на n-м шагу получим

Естественно, что если с_n = 9, то при переходе к правому концу отрезка предыдущую цифру нужно увеличить на 1, а вместо с_n + 1 написать 0. Если , то при переходе к правому концу отрезка нужно увеличить на 1, и вместо написать нули.

Так как а не является конечной десятичной дробью, то процесс никогда не оборвётся, и мы получим бесконечную последовательность цифр Бесконечную десятичную дробь можно считать представлением действительного числа а.

Например, для числа :

Описанная выше конструкция даст следующие интервалы:

Левый конец соответствующего интервала длины обычно называют десятичным приближением n-го порядка числа a с недостатком, правый конец — десятичным приближением n-го порядка числа а с избытком; применяются обозначения соответственно . Например:

Бесконечная десятичная дробь является представлением числа .

Интересно отмстить, что в такой конструкции для числа и т.д. Поэтому = и т.д.;

Представлением числа является бесконечная десятичная дробь

Легко видеть, что для любого

причем

Особое значение имеет случай, когда а — конечная десятичная дробь с n знаками после запятой:

или целое число:

Случай целого a можно рассматривать как частный случай конечной десятичной дроби при n = 0.

В описанной выше конструкции после n-го шага процесс оборвётся. Число ft будет являться общим концом двух отрезков длины Если a рассматривается как левый коней, правого из двух возникших отрезков, то получим уже привычную десятичную дробь:

(для иллюстрации общности процесса мы дополнили её бесконечной последовательностью нулей). Если же a рассматривать как правый конец левого из двух возникших отрезков, то а представляется как бесконечная дробь, в которой начиная с (n + 1)-го места после запятой идут девятки:

Таким образом, конечная десятичная дробь имеет два десятичных представления (с нулями, начиная с некоторого места, и с девятками, начиная с некоторого места). Например:

В любом случае при

причём

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

Лемма 1.4. Пусть a —действительное число. Тогда для любого рационального положительного числа s найдутся paциональные числа такие, что

Иными словами, любое действительное число может быть зажато между двумя сколь угодно близкими рациональными числами.

□ Если a — рациональное число, то возьмём Ясно, что Если а — иррациональное число, то, во всяком случае, л не является конечной десятичной дробью, и

Поэтому можно взять (неравенство при любом натуральном n легко доказывается, например, по индукции). По принципу Архимеда для любого положительного рационального числа найдётся натуральное число значит,

Мы видели, что любое действительное число представляется бесконечной десятичной дробью. Это представление единственно, если действительное число не является целым или конечной десятичной дробью, в противном случае таких представлений два. Докажем обратное утверждение.

Теорема 1.6. Любая бесконечная десятичная дробь является представлением некоторого действительного числа, причем это число определяется единственным образом.

□ Пусть — бесконечная десятичная дробь . Рассмотрим при , рациональные числа и — приближения для данной дроби с недостатком и с избытком соответственно. Ясно, что для всех выполняется неравенство , поэтому

Пусть теперь Тогда

Применяя формулу суммы членов геометрической прогрессии, получим

поэтому . Итак, при любых натуральных значениях m и n выполняется неравенство .

Рассмотрим множества рациональных чисел

При фиксированном выполняется неравенство для любого натурального n, поэтому множество А ограничено сверху, и по лемме 1.3 его точная верхняя грань

Аналогично, при фиксированном выполняется неравенство для любого натурального n, поэтому множество В ограничено снизу, и по лемме 1.3 его точная нижняя грань

Из леммы 1.3 и последнего неравенства, верного при всех , следует, что . Итак, при всех имеют место неравенства и при ( — произвольное положительное рациональное число). По лемме 1.1 а = . Так как при , то данная бесконечная десятичная дробь является представлением числа а.

Единственность искомого действительного числа следует из леммы 1.1. В самом деле, если два числа являются представлениями одной и той же бесконечной десятичной дроби, то из неравенств (где — произвольное положительное рациональное число) следует, что

Арифметические операции с действительными числами

Нам предстоит определить для действительных чисел арифметические операции (сложение, вычитание, умножение, деление) так, чтобы сохранялись привычные свойства этих операций, а для рациональных чисел результаты операций не отличались от обычных.

Пусть — два действительных числа. Будем рассматривать всевозможные рациональные числа удовлетворяющие неравенствам

Определение 1.11. Суммой действительных чисел называется действительное число такое, что для любых рациональных чисел удовлетворяющих неравенствам (1.5), выполняется неравенство

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

□ I) Существование. Рассмотрим множество всевозможных сумм <а + b>в условиях (1.5). Оно ограничено сверху некоторой суммой Рассмотрим число в условиях (1.5).

Тогда при выполнении условий (1.5) . Но так как при фиксированных в условиях (1.5) выполняется неравенство для любых a, b в условиях (1.5), то по лемме 1.3, . Итак, в условиях (1.5) . Исключим равенства. Пусть найдутся a, b такие, что . Но по теореме 1.2 найдутся рациональные числа такие, что . Значит, , что противоречит определению как sup в условиях (1.5). Значит, . Аналогично показывается, что Построенное число удовлетворяет условиям (1.6).