Предположим, что нам уже известно, что существуют целые числа, что есть нуль и что значит увеличить число на единицу. Не говорите, пожалуй­ста: «Вот так середина!», потому что для математика это сере­дина, ведь он знает теорию множеств и может вывести все эти свойства целых чисел. Но мы не будем вторгаться в область философии математики и математической логики, а ограни­чимся предположением, что нам известны целые числа и мы умеем считать. Если взять целое число а и прибавить к нему b раз по единице, мы получим число а+b; этим определяется сложение целых чисел.

Определив сложение, проделаем вот что: начнем с нуля и прибавим к нему b раз число а; таким образом мы определим умножение целых чисел и будем называть результат произве­дением а на b.

Теперь можно проделать ряд последовательных умножений: если умножить единицу b раз на число а, то мы возведем а в сте­пень b и запишем результат в виде аb.

Исходя из этих определений, легко доказать такие соотношения

Эти результаты хорошо известны, мы не хотим долго на них останавливаться, а выписаны они больше для порядка. Конечно, 1 и 0 обладают особыми свойствами, например а+0=а, а·1=а и а в первой степени равно а.

Составляя табличку формул (22.1), мы пользовались такими свойствами, как непрерывность и соотношение порядка; дать им определение очень трудно: для этого создана целая наука. Кроме того, мы выписали, конечно, слишком много «правил»; некоторые из этих правил можно вывести из других, но не будем на этом останавливаться.

§ 2. Обратные операции

Кроме прямых операций сложения, умножения и возведе­ния в степень, существуют обратные операции. Их можно определить так. Предположим, что нам заданы а и с; как найти b, удовлетворяющее уравнениям а+b=с, ab=c, ba=с? Если а+b=с, то b определяется при помощи вычитания: b=с-а.



16 из 84