Непрерывность числовой оси

Определение 1. Числовой осью называется прямая с выбранным на ней началом отсчёта, масштабом и направлением.

Теорема 1. Между точками числовой оси и действительными числами существует одно-однозначное соответствие (биекция).

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

раз так, что точка будет лежать левее точки , а точка уже правее. Далее отрезок поделим на частей и отложим отрезок и раз так, что точка будет лежать левее точки , а точка уже правее. Таким образом, на каждом этапе число , … Если эта процедура закончится на каком-то этапе, мы получим число (координату точки на числовой оси). Если нет, то назовём левую границу любого интервала «числом с недостатком», а правую – «числом с избытком», или «приближением числа с недостатком или избытком», а само число будет бесконечной непериодической (почему?) десятичной дробью. Можно показать, что все операции с рациональными приближениями иррационального числа определяются однозначно.

Достаточность. Покажем, что любому действительному числу соответствует единственная точка числовой оси. <

Определение 2. Если , то числовой промежуток называют сегментом, если , то числовой промежуток называют интервалом, если , то числовой промежуток называют полуинтервалом.

Определение 3. Если в сегмент вложены сегменты так, что , а , то такая система называется СВС (системой вложенных сегментов).

Определение 4. Говорят, что (длина сегмента стремится к нулю, при условии, что ), если .

Определение 5. СВС, у которой называется ССС (системой стягивающих сегментов).

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

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

. Пусть и две такие точки, причём , . Так как, , то . Но, с другой стороны, , а, т.е. начиная с некоторого номера , будет меньше любой константы. Это противоречие и доказывает требуемое. ■

Таким образом, мы показали, что числовая ось непрерывна (не имеет «дырок») и больше никаких чисел на ней разместить нельзя. Однако, мы по-прежнему не умеем извлекать корни из любых действительных чисел (в частности из отрицательных) и не умеем решать уравнения типа . В п.5 мы займемся решением этой проблемы.