Промежуток

Промежуток, или более точно, промежуток числовой прямой — множество вещественных чисел, обладающее тем свойством, что вместе с любыми двумя числами содержит любое, лежащее между ними. С использованием логических символов, это определение можно записать так:XR — промежуток, если $\forall x \forall y \forall z \biggl( (x \in X ) \wedge (z \in X ) \wedge (x 0\}, & X_6 = \{ x \in \mathbb{R} \colon x < 1\},\\ X_7 = \mathbb{R}, & X_8 = \varnothing & \end{matrix}$

Типы промежутков

Конечный промежуток состоит из множества чисел, заключенных между двумя числами a и b — концами промежутка, которые сами могут быть включены в его состав, или нет. Если ab,aR,bR, то промежуток {xR:axb} называется сегментом или числовым отрезком, и обозначается [a,b]: [a,b]=def{xR:axb} В случае a=b отрезок состоит из одной точки. Если a<b,aR,bR, то промежуток {xR:a<x<b} называется интервалом, и обозначается (a,b): (a,b)=def{xR:a<x<b} Промежутки [a,b)=def{xR:ax<b},(a,b]=def{xR:a<xb} называются полусегментами (не дополненными до сегмента) или полуинтервалами. Длиной промежутка во всех случаях называется число ba. Бесконечные промежутки {xR:xa},{xR:x>a},{xR:xb},{xR:x<b},R не ограничены либо сверху, либо снизу каким-либо вещественным числом. В этом случае удобно считать, что у этих промежутков одним из концов, или обоими служат несобственные числа +,, полагая, что для любого вещественного числа xR справедливы неравенства x<+,x>. Обозначения и наименования бесконечных промежутков аналогичны таковым для конечных промежутков. Например, выписанные выше бесконечные промежутки обозначаются соответственно [a,+),(a,+),(,b],(,b),(,+) Пустое множество также является промежутком.

Промежутки расширенной числовой прямой

Множество вещественных чисел R, дополненное элементами + и , называется расширенной числовой прямой и обозначается R¯, то есть R¯=R{+}{} При этом для любого вещественного числа xR по определению полагают выполненными неравенства <x,x<+,<+ Для расширенной числовой прямой также вводят понятия промежутков — отрезков, интервалов, полуинтервалов. В отличие от соответствующих промежутков числовой прямой они могут содержать элементы ±. Например, (a,+]=(a,+){+}.

Терминология

В русском языке слова промежуток и интервал соответствуют одному английскому слову — . В англоязычной литературе, и в переводах иностранных книг, а также в некоторых других книгах на русском языке, используется следующая терминология: [a,b] = \{\{x \{in \{mathbb\{R\} \{colon a \{leqslant x \{leqslant b \{\}  — замкнутый интервал (a,b) = \{\{x \{in \{mathbb\{R\} \{colon a \textless x \textless b \{\}  — открытый интервал [a,b) = \{\{x \{in \{mathbb\{R\} \{colon a \{leqslant x \textless b \{\}  — полуоткрытый (или полузамкнутый) интервал (a,b] = \{\{x \{in \{mathbb\{R\} \{colon a \textless x \{leqslant b \{\}  — полуоткрытый (или полузамкнутый) интервал То есть, различные типы интервалов. В более старой русскоязычной литературе вместо «интервал» используется слово промежуток: замкнутый промежуток, открытый промежуток, полуоткрытый (или полузамкнутый) промежуток. Однако, особенно в учебной литературе, где наибольшее количество теорем для функций на компактных множествах, для замкнутого промежутка предпочтительно иметь отдельное название в одно слово — сегмент (термин «отрезок» имеет скорее геометрический оттенок, как и «промежуток числовой прямой»). В этом случае термин «интервал» закрепляется только за открытым промежутком. См. также открытые и замкнутые множества.

Факты

Теорема о промежуточных значениях

Известная теорема Больцано — Коши о промежуточных значениях непрерывной функции гласит: образ любого промежутка при непрерывном отображении снова есть промежуток. Как следует из обобщения этой теоремы на случай произвольных топологических пространств, эта теорема — следствие того факта, что промежутки — в точности связные подмножества R. См. ниже связные множества.

Операции с промежутками

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

Мера

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

Обобщения

Связные множества

Обобщением промежутка числовой прямой является понятие связного топологического пространства. На числовой прямой всякое связное множество есть промежуток, и обратно, любой промежуток есть связное множество. Также промежуток числовой прямой лежит в основе другого, более специального понятия линейной связности. Во множестве вещественных чисел R, а также в евклидовом пространстве Rn произвольной размерности n понятия связности и линейной связности совпадают.

Выпуклые множества

Другим обобщением понятия промежутка числовой прямой является понятие выпуклого множества.

Промежутки в частично упорядоченных множествах

В самом общем случае понятие промежутка можно ввести на любом множестве, на котором введено отношение порядка <.