Страница:Dedekind-Nepreryvnost i irratzionalnye chisla.pdf/28

Материал из Викитеки — свободной библиотеки
Эта страница была вычитана


ния[1]. Мы ограничимся здесь приведением простейшего примера — сложения.

Если есть какое-либо рациональное число, то мы от­несем его к классу когда существует число в и число в такого рода, что .

Все другие числа отнесем к классу . Это подразделение всех рациональ­ных чисел на два класса и , очевидно, образует се-

  1. Автор, очевидно, хотел сказать следующее: действия сложения, вычитания, умножения и деления определены были до сих нор только для рациональных чисел; для иррациональных же чисел эти действия не будут иметь смысла до тех пор, пока мы не условимся относительно того, какой именно смысл мы желаем им придавать в применении к иррациональным числам. Так, например, сумму двух иррациональных чисел нельзя определить ни как совокупность, в которой содержится столько единиц и аликвотных частей единицы, сколько их в двух сла­гаемых, вместе взятых, ни индуктивно, как это делал Грассман для це­лых чисел, ибо ни то, ни другое определение не имеет здесь смысла. Мы могли бы и совсем не употреблять термина „сумма“ в применении к иррациональным числам, говоря, что иррациональные числа не имеют суммы, но делать такое или подобное ограничение было бы в высшей степени неудобно; с другой стороны, сообразуясь с выгодами соблю­дения в одной и той же области знания так называемого правила перманентности в определении термина (по этому правилу всякое из­менение в соозначении термина должно совершаться так, чтобы новое соозначение по возможности не только не противоречило прежнему, но заключало бы последнее, как частный случай), будет наиболее целе­сообразным определить термины основных действий над веществен­ными числами так, чтобы в своем новом соозначении эти термины могли быть относимы как к рациональным, так и к иррациональным числам, и чтобы, совершая над рациональными числами действия на основании нового их определения, мы всегда получали прежние ре­ зультаты. Пусть будет результат совершения некоторого действия О над двумя произвольными рациональными числами и . Если найдем правило К, по которому, зная сечения, производимые числами и , мы всегда в состоянии найти сечение, производимое числом , то действие О можно будет определить, как процесс составления некоторого се­чения по правилу К из сечений, производимых числами и . Такое определение действия О, имея смысл и в том случае, когда одно из чисел и или оба они иррациональны, обладает евойством перманентности. Процесс отыскания новых перманентных определений дей­ствий при переходе от рациональных чисел ко всей системе веществен­ных чисел автор называет приведением вычислений с вещественными числами к вычислениям с рациональными числами. Примеч. переводчика.