Координатная прямая — это одномерное линейное пространство (ось), на котором каждой точке соответствует её действительное число-положение (координата).
Основные характеристики:
- нулевой точке соответствует число 0; вправо положительная ориентация, влево — отрицательная;
- единичный отрезок по длине равен единице;
- расстояние между двумя точками с координатами a и b равно |a − b|;
- порядок точек соответствует порядку их координат: a ≤ b тогда A(a) находится левее B(b);
- на прямой определяются интервалы вида [a, b], (a, b), (-∞, a], [a, ∞) и т. д.
Формальное определение: Координатная прямая — множество точек одной размерности, на которое через отображение x ↔ X(x) из множества вещественных чисел R ставятся в соответствие точки на прямой так, что расстояние d(X(a), X(b)) = |a − b|.
Пример: Пусть точка A имеет координату a = −3, точка B — b = 4. Расстояние между ними равно |4 − (−3)| = 7. Путь между ними идёт вправо на 7 единиц.