Akademik

вещественное число, - положительное число, отрицательное число или нуль. Понятие Д. ч. возникло путем расширения понятия рационального числа. Необходимость этого расширения обусловлена как практическим использованием математики при выражении значения любой величины с помощью вполне определенного числа, так и внутренним развитием самой математики, в частности стремлением расширить область применимости ряда операций над числами (извлечение корня, вычисление логарифмов, решение уравнений и т. п.). К общему понятию Д. ч. подошли еще древнегреческие математики в своей теории несоизмеримых отрезков, однако как самостоятельное понятие оно было сформулировано впервые лишь в 17 в. И. Ньютоном (I. Newton) в "Arithmetica Universales": "Число есть не столько совокупность нескольких единиц, сколько отвлеченное отношение какой-нибудь величины к другой, однородной с ней принятой за единицу". Строгие теории Д. ч. были построены в конце 19 в. Г. Кантором (G. Cantor), P. Дедекиндом (R. Dedekind) и К. Вейерштрассом (К. Weierstrass).

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

I. Свойство упорядоченности. Для любых двух чисел а и 6 определено соотношение порядка, т. е. два любых Д. ч. аи bудовлетворяют одному и только одному из следующих соотношений: а<b, а=b или а>b; при этом, если а<bи b<с, то а<с (транзитивность упорядоченности).

II. Свойство oпepaции сложения. Для любой упорядоченной пары чисел аи bопределено такое единственное число, наз. их суммой и обозначаемое через а+b, что выполняются следующие свойства: II₁ )а+b=b+а (коммутативность); II₂) a+(b+с)=(а+b)+с для любых чисел а, b и с(ассоциативность); II₃) существует такое число, наз. нулем и обозначаемое 0, что а+0=а для любого числа а; II₄) для любого числа асуществует такое число, наз. противоположным а и обозначаемое через -а, что а+ (-a) = 0; II₅) если а<b, то а+с<b+с для любого числа с. Нуль единствен, и для каждого числа единственно противоположное ему число. Для любой упорядоченной пары чисел а и bчисло а+ (-b)наз. разностью чисел а и bи обозначается а-b.

III. Свойство операции умножения. Для любой упорядоченной пары чисел аи bопределено такое единственное число, наз. их произведением и обозначаемое через аb, что: III₁) ab=ba (коммутативность); III₂) a(bc)=(ab)cдля любых чисел a, bи с (ассоциативность); III₃) существует такое число, наз. единицей и обозначаемое через 1, что a1=a для любого числа а; III₄) для любого числа а, не равного нулю, существует такое число, наз. обратным данному и обозначаемое через 1/a, что а(1/а)=1; III₅) если а<b и с>0, то ac<bc. Эти свойства гарантируют единственность единицы и единственность обратного каждому элементу. Для любой упорядоченной пары чисел аи b, b неравно 0, число a(1/b )наз. частным от деления а на 6 и обозначается a/b.

Число 1+1 обозначается 2, число 2+1 обозначается 3 и т. д. Эти числа 1, 2, 3... наз. натуральными числами. Числа, большие нуля, наз. положительными, а числа, меньшие нуля,- отрицательными. Числа наз. целыми числами (считается, что + а=а). Числа вида т/п, где т- целое, а n - натуральное, наз. рациональными числами. Они включают в себя все целые числа. Д. ч., не являющиеся рациональными, наз. иррациональными.

IV. Свойство дистрибутивности умножения относительно сложения. Для любой тройки чисел а, bи с( а+b) с=ас+bс.

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

V. Архимедово свойство. Каково бы ни было число а, существует такое целое число п, что n>а. Совокупность элементов, удовлетворяющих свойствам I - V, образует упорядоченное архимедово поле. Таковым является не только совокупность Д. ч., но и множество рациональных чисел.

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

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

существует хотя бы одно число, к-рое принадлежит всем отрезкам данной системы. Это свойство наз. также принципом вложенных отрезков Кантора. Если длины b _п- а _п вложенных отрезков стремятся к нулю при то существует единственная точка, принадлежащая всем этим отрезкам. Из перечисленных свойств Д. ч. следуют многие другие; так, из свойств I - V можно получить, что 1>0, правила действий с рациональными дробями, правила знаков при умножении и делении Д. ч., свойства абсолютной величины Д. ч., правила преобразования равенств и неравенств и т. п. Свойства I - VI полностью описывают свойства множества Д. ч. и только их, иначе говоря, если эти свойства назвать аксиомами, то окажется, что Д. ч. - совокупность элементов, удовлетворяющая аксиомам I - VI. Это означает, что аксиомы I - VI определяют множество Д. ч. с точностью до изоморфизма: если имеются две совокупности Xи Y, удовлетворяющие свойствам I - VI, то всегда существует изоморфное относительно упорядоченности и операций сложения и умножения отображение Xна Y, т. е. указанное отображение, обозначим его через (здесь является элементом, соответствующим элементу взаимно однозначно отображает Xна У так, что если

то

Отсюда следует, что множество Д. ч. (в отличие, напр., от множества рациональных чисел) невозможно расширить с сохранением свойств I - V, т. е. не существует множества, в к-ром было бы введено соотношение порядка, операции сложения и умножения, удовлетворяющие свойствам I - V, и к-рое содержало бы подмножество, изоморфное множеству Д. ч., и не совпадало бы с ним. Д. ч. существенно больше, чем рациональных чисел, именно рациональные числа составляют счетное подмножество множества Д. ч., которое само несчетно.

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

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

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

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

Можно использовать также понятие сечения АВ в области Д. ч. (см. Дедекиндово сечение). Говорят, что сечение АВ производится числом а, если для всех (при этом либо либо

Всякое число производит сечение.

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

VI". Всякое сечение Д. ч. производится нек-рым числом. Такое число единственно и является либо наибольшим в нижнем классе, либо наименьшим в верхнем.

Каждое из утверждений VI, VI' и VI" равносильно каждому из остальных в том смысле, что из каждого из них, принятого за аксиому (и остальных свойств I-V), вытекают два других. Более того, как из свойства VI', так и из свойства VI" (и свойств I - IV) вытекает не только VI, но и архимедово свойство V. Определение Д. ч. как совокупности элементов, обладающих свойствами I-VI, является аксиоматич. построением теории Д. ч. Существует несколько методов построения этой теории на основе рациональных чисел.

Первая такая теория была построена Р. Дедекиндом на основе понятия сечения R₁|R₂ в области рациональных чисел. Если для данного сечения R₁|R₂ рациональных чисел в R_r есть наибольшее рациональное число или в R₂ наименьшее, то говорят, что сечение R₁|R₂ производится этим числом. Всякое рациональное число производит сечение. Сечение, у к-рого в нижнем классе нет наибольшего, а в верхнем нет наименьшего, наз. иррациональным числом. Рациональные и иррациональные числа наз. действительным и числами, при этом для единообразия рациональные числа рассматриваются как сечения, к-рые они производят.

Пусть x=R₁|R₂ и x' = R'₁|R'₂. Д. ч. хназ. меньшим Д. ч. х' (или, что то же самое, х' наз. большим х), если Обычным образом вводятся понятия положительных, отрицательных Д. ч. (см. выше) и абсолютной величины | х| Д. ч. х. Суммой Д. ч. хи х' наз. такое число х+х', что для всех

выполняются неравенства Произведением положительных Д. ч. хи х' наз. такое число хх', что для всех положительных r₁, r'₁, r₂, r'₂ выполняются неравенства Для произвольных Д. ч. хи х', не равных нулю, их произведение определяется как Д. ч., абсолютная величина к-рого равна |x||x'| и к-рое положительно, если хи х' одного знака, и отрицательно, если хи х' разных знаков. Наконец, для любого Д. ч. хполагается 0x=x0=0.

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

Другая теория была построена Г. Кантором с помощью понятия фундаментальной последовательности рациональных чисел, т. е. такой последовательности {r _п} рациональных чисел, что для любого рационального числа е>0 существует такой номер n_e , что для всех и выполняется неравенство |r _п-r_m|<e. Последовательность {r_n} рациональных чисел наз. нульпоследовательностью, если для любого рационального e>0 найдется такой номер п _e, что для всех n>n_e справедливо неравенство |r _п|<e:. Две фундаментальные последовательности рациональных чисел {r _п} и {r' _п} наз. эквивалентными, если последовательность {r _п-r' _п} является нульпоследовательностью. Это определение эквивалентности обладает свойствами рефлексивности, симметричности и транзитивности, и потому все множество фундаментальных последовательностей рациональных чисел распадается на классы эквивалентности. Совокупность всех этих классов эквивалентности и наз. в этом случае множеством действительных чисел. В силу этого определения, всякое Д. ч. представляет собой класс эквивалентности фундаментальных последовательностей рациональных чисел. Каждая из этих последовательностей наз. представителем данного Д. ч. Фундаментальная последовательность рациональных чисел {r _п} наз. положительной (соответственно отрицательной), если существует такое рациональное число r>0, что все члены этой последовательности, начиная с нек-рого, больше, чем r(соответственно, меньше, чем r). Всякая фундаментальная последовательность рациональных чисел является либо нульпоследовательностью, либо положительной, либо отрицательной. Если фундаментальная последовательность рациональных чисел положительна (отрицательна), то и любая ей эквивалентная фундаментальная последовательность рациональных чисел также положительна (отрицательна). Д. ч. наз. положительным (отрицательны м), если какой-то, а, следовательно, и любой его представитель положителен (отрицателен). Д. ч. наз. нулем, если нск-рый, а следовательно, и любой его представитель является нульпоследовательностью. Каждое Д. ч. либо положительно, либо отрицательно, либо нуль. Для того, чтобы сложить или умножить два Д. ч. х и х', надо сложить, соответственно умножить, два любых их представителя тогда получатся снова фундаментальные последовательности рациональных чисел {r _п+r' _п} и {r _пr' _п}. Классы эквивалентности, представителями к-рых они являются, и наз. в этом случае суммой х+х' и произведением хх' данных чисел. Эти операции определены однозначно, т. е. не зависят от выбора представителей данных чисел. Вычитание и деление Д. ч. определяются как действия, обратные сложению и умножению. Если для двух Д. ч. хи у имеется х-у>0, то Д. ч. хназ. большим Д. ч. у. Таким образом определенная совокупность Д. ч. с указанным соотношением порядка и операциями сложения и умножения снова удовлетворяет свойствам I - VI.

Еще одна теория Д. ч. была построена К. Вейерштрассом на основе бесконечных десятичных дробей. В этой теории действительным числом наз. всякая бесконечная десятичная дробь со знаком плюс или минус:

где a₀ - неотрицательное целое число (целые числа считаются известными), а a_n, n=1, 2, ...,- одна из цифр О, 1, 2, ..., 9. При этом бесконечная десятичная дробь с периодом из 9:

считается равной бесконечной десятичной дроби

(в случае п=0 равной бесконечной десятичной дроби (a₀+1), 000 ... 0.. .). Эта дробь записывается также как конечная десятичная дробь

и говорится, что она имеет пзначащих цифр после запятой. Бесконечная десятичная дробь, не имеющая периода (9), наз. допустимой бесконечной десятичной дробью. Очевидно, что всякое Д. ч. уже единственным образом записывается в виде допустимой бесконочной десятичной дроби. Если Д. ч. хзаписывается с помощью допустимой бесконечной десятичной дробью со знаком плюс (минус) и среди цифр а., имеется хоть одна отличная от нуля, то хназ. положительным (отрицательным) Д. ч. и пишется х>0( х<0), а если все a_n=0, n=0, 1, 2, ..., то - нулем: х=0. Для числа

число a₀, a₁,a₂,... a_n ... наз. его абсолютной величиной и обозначается | х|, а число, у к-рого знак плюс (соответственно минус) заменен на минус (на плюс), наз. противоположным данному и обозначается - х. Если

- допустимая бесконечная десятичная дробь, то число

соответственно число

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

и

По определению, полагают х<у, если либо a₀<b₀, либо существует такой номер п ₀, n₀=О, 1, ..., что a_k=b₀, k=0,1, ..., п ₀, а a_n0+1<b_n0+1. Каждое отрицательное число и нуль считаются меньше всякого положительного числа. Если хи уоба отрицательны и |y|<|x|, то полагают, что x<y.

Последовательность целых чисел п _k, k=1,2, ..., наз. стабилизирующейся к числу т, если существует такой номер k₀, что n_k= тпри всех Последовательность бесконечных десятичных дробей

наз. стабилизирующейся к числу

если i-й столбец бесконечной матрицы - номер столбца, к- строчки, стабилизируется для любого i=0, 1, 2 к числу а,-. Если x>0 и y>0, то конечные десятичные дроби

и .

имеют пзначащих цифр после запятой и образуют последовательности, стабилизирующиеся к нек-рым числам. Эти. числа и наз. соответственно суммой х+у, разностью х- у, произведением ху и частным x/y Д. ч. х и у. Эти определения распространяются на Д. ч. произвольных знаков. Напр., если и то х+у=- (|x| + |y|), если хи уразных знаков, то где выбирается знак, одинаковый со знаком того из чисел хили у, абсолютная величина к-рого наибольшая. Для любых чисел хи у полагают х- у = х+ (-у)(в случае x>0, y>0 это определение совпадает с выше сформулированным) и т. д. Совокупность допустимых бесконечных десятичных дробей с таким образом определенными соотношениями порядка, операциями сложения, вычитания, умножения и деления удовлетворяет аксиомам I-VI. -

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

Геометрически множество Д. ч. изображается направленной (ориентированной) прямой, а отдельные числа - точками этой прямой. Поэтому совокупность Д. ч. часто наз. числовой прямой, а отдель- . ные числа - точками. Имея в виду такое изображение Д. ч., иногда вместо аменьше b(соответственно bбольше а)говорят, что число алежит левее числа b(соответственно, что bлежит правее а). Между точками геометрической (евклидовой) прямой, упорядоченными по их положению, и элементами числовой прямой существует взаимно однозначное соответствие, сохраняющее порядок. Это обстоятельство и является оправданием изображения множества Д. ч. в виде прямой.

Лит.:[1] Dedekind R., Stctigkeit und irrationale Zahlen, Braunschweig, 1872 (рус. пер.- Дедекинд Р., Непрерывность и иррациональные числа, 3 изд., Одесса, 1914); [2] Dаntscher V., Vorlesungen liber die Weierstrass'sche Theorie der irrationalen Zahlen, Lpz., 1908; [3] Сantоr G., "Math. Ann.", 1872, Bd 5, S. 123 - 30; [4] Немыцкий В. В., Слудская М. И., Черкасов А. Н., Курс математического анализа, 3 изд., т. 1, М., 1957; [5] Ильин В. А., Позняк Э. Г., Основы математического анализа, т. 1, 3 изд., М., 1971; [6] Кудрявцев Л. Д., Математический анализ, 2 изд., т. 1, М., 1973; [7] Никольский С. М., Курс математического анализа, т. 1, М., 1973; [8] Фихтенгольц Г. М., Курс дифференциального и интегрального исчисления, 7 изд., т. 2, М., 1969; [9] Бурбаки Н., Общая топология. Топологические группы. Числа и связанные с ними группы и пространства, пер. с франц., М., 1969, гл. 4.

Л. Д. Кудрявцев.