Отрезок в геометрии и математике¶
Отрезок — в геометрии часть прямой, ограниченная двумя точками, которые называются концами отрезка. Все точки отрезка лежат на одной прямой между его концами. Отрезок является одним из базовых неопределяемых (или определяемых через аксиомы) понятий геометрии и одновременно простейшим примером связного ограниченного множества в математическом анализе и топологии.
В отличие от прямой, отрезок имеет конечную длину; в отличие от луча, он ограничен с обеих сторон. Отрезок принято обозначать по его концам: например, \( AB \) — отрезок с концами \( A \) и \( B \). Если концы совпадают, отрезок вырождается в точку.
¶Определение и обозначение
В евклидовой геометрии отрезок \( AB \) определяется как множество точек, лежащих на прямой \( AB \) и расположенных между \( A \) и \( B \). Через координаты это записывается так: если точки \( A \) и \( B \) заданы радиус-векторами \( \mathbf{a} \) и \( \mathbf{b} \), то отрезок — это множество точек вида
\[ \mathbf{x} = (1 - t)\mathbf{a} + t\mathbf{b}, \quad 0 \le t \le 1. \]
Такая параметризация удобна тем, что обобщается на многомерные пространства: в \( n \)-мерном пространстве отрезок определяется той же формулой. Длина отрезка в евклидовом пространстве равна расстоянию между концами: \( |AB| = |\mathbf{b} - \mathbf{a}| \).
Концы отрезка включаются в его состав. Если рассматривать только внутренние точки (без концов), получается интервал; если добавить один конец — полуинтервал. В математическом анализе эти понятия обозначают соответственно \( [a, b] \), \( (a, b) \), \( [a, b) \) и \( (a, b] \).
¶Свойства
- Единственность. Через две различные точки проходит ровно один отрезок с этими концами.
- Связность и компактность. В евклидовом пространстве отрезок — связное и компактное множество; это простейший пример континуума.
- Выпуклость. Отрезок является выпуклым множеством: вместе с любыми двумя своими точками он содержит и весь соединяющий их отрезок.
- Мощность. Множество точек отрезка имеет мощность континуума — столько же, сколько точек на всей прямой и в квадрате (результат Георга Кантора).
- Аддитивность длины. Если точка \( C \) лежит между \( A \) и \( B \), то \( |AB| = |AC| + |CB| \).
¶Отрезок в аксиоматике
В аксиоматике Гильберта отрезок не является исходным понятием: он определяется через точки и отношение «лежать между». Аксиомы порядка (аксиомы II группы) задают свойства этого отношения, а аксиомы конгруэнтности позволяют сравнивать отрезки по длине и откладывать равные отрезки. Такое построение позволяет строго обосновать измерение длин без обращения к числам на начальном этапе.
В аксиоматике евклидовой геометрии, основанной на векторных пространствах (например, в подходе Германа Вейля), отрезок определяется напрямую через выпуклые комбинации, как показано выше.
¶Смежные понятия
| Понятие | Описание |
|---|---|
| Прямая | Бесконечное множество точек, не ограниченное с обеих сторон |
| Луч | Часть прямой, ограниченная одной точкой и уходящая в бесконечность |
| Интервал | Множество внутренних точек отрезка без концов |
| Ломаная | Последовательность отрезков, соединённых концами |
| Хорда | Отрезок, соединяющий две точки кривой или окружности |
¶Применение и обобщения
Отрезок лежит в основе многих геометрических построений: из отрезков составляются ломаные, многоугольники, графики функций. В анализе отрезок служит областью определения для многих теорем — например, теоремы о промежуточном значении, теоремы Вейерштрасса о достижении максимума и минимума, теоремы Лагранжа о среднем значении. Именно на отрезке формулируются классические определения непрерывности и равномерной непрерывности функции.
В топологии отрезок \( [0, 1] \) играет роль эталонного пространства: непрерывное отображение отрезка в пространство называется путём, а пространство, любые две точки которого можно соединить путём, называется линейно связным. Гомотопия путей также определяется через отображения квадрата \( [0,1] \times [0,1] \).
В вычислительной геометрии и компьютерной графике отрезок — базовый примитив: алгоритмы отсечения (например, Коэна — Сазерленда), пересечения отрезков и построения выпуклой оболочки оперируют именно отрезками. В численных методах отрезок используется при решении уравнений методами бисекции, хорд и секущих.
Обобщения отрезка включают геодезические отрезки на искривлённых поверхностях и в римановых многообразиях, а также дуги в метрических пространствах — кратчайшие кривые между двумя точками.
¶В культуре и обучении
Понятие отрезка вводится в школьном курсе геометрии в младших классах и служит первым примером геометрической фигуры, у которой измеряют длину с помощью линейки. Через отрезки вводятся масштабная прямая, координатный луч и числовая ось. В русской математической традиции термин «отрезок» устойчиво используется в учебниках начиная с XIX века, в отличие, например, от английского line segment, где уточняющее слово указывает на ограниченность.
Источники: школьные учебники геометрии (Атанасян и др.), курс математического анализа, аксиоматика Гильберта, общие курсы топологии и вычислительной геометрии.