§ 2.2. Определение неравенства
Зададим два числа определяемых бесконечными десятичными дробями, не имеющими периода 9. Будем считать, что они равны между собой тогда и только тогда, когда их знаки одинаковы и
Для положительных по определеннию или, что все равно, если или если найдется такой индекс (целое неотрицательное число) I, что
Однако верно утверждение, независимо от того, будут ли дроби иметь период 9 или нет: если или, общее, есуш то выполняется неравенство а
В самом деле,
По определению или в зависимости от того, будет ли а положительным или отрицательным; далее, по определению если или если
Если число то по определению и абсолютная величина Таким образом,
Приведенные определения согласованы с соответствующими определениями для рациональных чисел.