Промежуток (математика)


Промежуток[1], или, если более точно, промежуток числовой прямой, — это множество вещественных чисел — таких, что если некоторые два числа принадлежат этому множеству, то любое число, лежащее между ними, тоже принадлежит этому множеству[2]. С использованием логических символов это определение можно записать так:

где квантор всеобщности. В качестве примеров промежутков можно привести следующие множества:

Конечный промежуток состоит из множества чисел, заключённых между двумя числами и  — концами промежутка, которые сами могут быть включены в его состав, или нет[1]. Если a ≤ b, то длиной такого промежутка называется число .

Если , то промежуток называется сегментом[3] или числовым отрезком и обозначается :

В случае отрезок вырождается в множество из одной точки (в синглетон).

Если , то промежуток называется интервалом и обозначается :