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

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис

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

множество [math]\displaystyle{ X \subseteq \mathbb{R} }[/math] является промежутком, только если
[math]\displaystyle{ \forall x \forall y \forall z \big( (x \in X ) \wedge (z \in X ) \wedge (x \lt y \lt z) \Rightarrow y \in X \big), }[/math]

где [math]\displaystyle{ \forall }[/math]квантор всеобщности. В качестве примеров промежутков можно привести следующие множества:

[math]\displaystyle{ \begin{aligned} X_1 &= \{ x \in \mathbb{R} \colon 0 \leqslant x \leqslant 1\}, & X_2 &= \{ x \in \mathbb{R} \colon 0 \leqslant x \lt 1\}, & X_3 &= \{ x \in \mathbb{R} \colon 0 \lt x \leqslant 1\}, \\ X_4 &= \{ x \in \mathbb{R} \colon 0 \lt x \lt 1\}, & X_5 &= \{ x \in \mathbb{R} \colon x \gt 0\}, & X_6 &= \{ x \in \mathbb{R} \colon x \lt 1\},\\ X_7 &= \mathbb{R}, & X_8 &= \varnothing. \end{aligned} }[/math]

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

Конечный промежуток

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

Замкнутый (Закрытый) конечный промежуток

Если [math]\displaystyle{ a \leqslant b, a \in \mathbb{R}, b \in \mathbb{R} }[/math], то промежуток [math]\displaystyle{ \{x \in \mathbb{R} \colon a \leqslant x \leqslant b \} }[/math] называется сегментом[3] или числовым отрезком и обозначается [math]\displaystyle{ [a, b] }[/math]:

[math]\displaystyle{ [a, b]\ \stackrel{\text{def}}{=}\ \{x \in \mathbb{R} \colon a \leqslant x \leqslant b \}. }[/math]

В случае [math]\displaystyle{ a = b }[/math] отрезок вырождается в множество из одной точки (в синглетон).

Открытый конечный промежуток

Если [math]\displaystyle{ a \lt b, a \in \mathbb{R}, b \in \mathbb{R} }[/math], то промежуток [math]\displaystyle{ \{x \in \mathbb{R} \colon a \lt x \lt b \} }[/math] называется интервалом и обозначается [math]\displaystyle{ (a, b) }[/math]:

[math]\displaystyle{ (a, b)\ \stackrel{\text{def}}{=}\ \{x \in \mathbb{R} \colon a \lt x \lt b \}. }[/math]

Для обозначения открытого промежутка вместо [math]\displaystyle{ (a, b) }[/math] нередко используют обозначение [math]\displaystyle{ ]a, b[ }[/math] с подачи Н. Бурбаки.

Полузамкнутый (полуоткрытый) конечный промежуток

Промежутки

[math]\displaystyle{ [a, b)\ \stackrel{\text{def}}{=}\ \{x \in \mathbb{R} \colon a \leqslant x \lt b \}, \quad (a, b]\ \stackrel{\text{def}}{=}\ \{x \in \mathbb{R} \colon a \lt x \leqslant b \} }[/math]

называются полусегментами (не дополненными до сегмента) или полуинтервалами.

Бесконечный промежуток

Бесконечные промежутки

[math]\displaystyle{ \{x \in \mathbb{R} \colon x \geqslant a \}, \quad \{x \in \mathbb{R} \colon x \gt a \}, \quad \{x \in \mathbb{R} \colon x \leqslant b \}, \quad \{x \in \mathbb{R} \colon x \lt b \} \quad }[/math]и[math]\displaystyle{ \quad\mathbb{R} }[/math]

с положительной или с отрицательной стороны не ограничены каким-либо вещественным числом. В этом случае удобно считать, что у этих промежутков одним из концов или обоими концами служат несобственные числа [math]\displaystyle{ -\infty }[/math] и [math]\displaystyle{ +\infty }[/math], полагая, что для любого вещественного числа [math]\displaystyle{ x \in \mathbb{R} }[/math] справедливо соотношение [math]\displaystyle{ -\infty \lt x \lt + \infty }[/math]. Обозначения и наименования бесконечных промежутков аналогичны тем названиям, какие они есть для конечных промежутков. Например, вышенаписанные множества можно переписать соответственно как

[math]\displaystyle{ [a, +\infty), \quad (a, +\infty), \quad (-\infty, b], \quad (-\infty, b), \quad (-\infty, +\infty), }[/math]

при этом из-за того, что [math]\displaystyle{ -\infty }[/math] и [math]\displaystyle{ +\infty }[/math] по определению не входят в [math]\displaystyle{ \R, }[/math] они не включаются в эти множества.

Пустой промежуток

Пустое множество [math]\displaystyle{ \varnothing }[/math] также является промежутком, тривиально попадая под его определение:

[math]\displaystyle{ [b,a]=(b,a)=[b,a)=(b,a]=(a,a)=[a,a)=(a,a]=\varnothing, }[/math]
где a < b.

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

Множество вещественных чисел [math]\displaystyle{ \mathbb{R} }[/math], дополненное элементами [math]\displaystyle{ +\infty }[/math] и [math]\displaystyle{ -\infty }[/math], называется расширенной (точнее, аффинно расширенной, чтобы отличать от проективно расширенной прямой) числовой прямой и обозначается [math]\displaystyle{ \overline{\mathbb{R}} }[/math], то есть

[math]\displaystyle{ \overline{\mathbb{R}} = \mathbb{R} \cup \{ -\infty, +\infty\}=[-\infty,+\infty]. }[/math]

При этом для любого вещественного числа [math]\displaystyle{ x \in \mathbb{R} }[/math] по определению полагают выполненными неравенства

[math]\displaystyle{ -\infty \lt x, \quad x \lt +\infty, \quad -\infty \lt +\infty }[/math]

Для расширенной числовой прямой тоже вводят понятия промежутков — отрезков, интервалов, полуинтервалов[1]. В отличие от соответствующих промежутков числовой прямой, они могут содержать элементы [math]\displaystyle{ \pm \infty }[/math]. Например, [math]\displaystyle{ (a, +\infty] = (a, +\infty) \cup {\{+\infty\}} }[/math].

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

В русском языке слова промежуток и интервал соответствуют одному английскому слову interval. В англоязычной литературе[4] и в переводах иностранных книг, а также в некоторых других книгах на русском языке используется следующая терминология:

[math]\displaystyle{ [a, b] = \{x \in \mathbb{R} \colon a \leqslant x \leqslant b \} }[/math] — замкнутый интервал (англ. closed interval),
[math]\displaystyle{ (a, b) = \{x \in \mathbb{R} \colon a \lt x \lt b \} }[/math] — открытый интервал (англ. open interval),
[math]\displaystyle{ [a, b) = \{x \in \mathbb{R} \colon a \leqslant x \lt b \} }[/math] — полуоткрытый (или полузамкнутый) интервал (англ. half-open interval/half-closed interval),
[math]\displaystyle{ (a, b] = \{x \in \mathbb{R} \colon a \lt x \leqslant b \} }[/math] — полуоткрытый (или полузамкнутый) интервал (англ. half-open interval/half-closed interval).

То есть в такой терминологии они все называются интервалами, но только разного типа.

В более старой русскоязычной литературе[5] вместо «интервал» используется слово промежуток: замкнутый промежуток, открытый промежуток, полуоткрытый (или полузамкнутый) промежуток.

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

См. также открытые и замкнутые множества.

Факты

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

Известная теорема Больцано — Коши о промежуточных значениях непрерывной функции гласит: образ любого промежутка при непрерывном отображении тоже является промежутком. У этой теоремы есть обобщение на случай произвольных топологических пространств: образ связного множества при непрерывном отображении связен. Числовые промежутки, и притом только они, как раз и являются связными подмножествами [math]\displaystyle{ \mathbb{R} }[/math].

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

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

Мера

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

Обобщения

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

Обобщением промежутка числовой прямой является понятие связного топологического пространства. На числовой прямой всякое связное множество есть промежуток, и обратно, любой промежуток есть связное множество.

Также промежуток числовой прямой лежит в основе другого, более специального понятия линейной связности. Во множестве вещественных чисел [math]\displaystyle{ \mathbb{R} }[/math], а также в евклидовом пространстве [math]\displaystyle{ \mathbb{R}^n }[/math] произвольной размерности [math]\displaystyle{ n }[/math] понятия связности и линейной связности совпадают.

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

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

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

В самом общем случае понятие промежутка можно ввести на любом множестве, на котором введено отношение порядка [math]\displaystyle{ \lt }[/math].

См. также

Примечания

  1. 1,0 1,1 1,2 Кудрявцев, Л. Д. Курс математического анализа. — 5-е изд. — М.: «Дрофа», 2003. — Т. 1. — С. 64—65. — 704 с. — ISBN 5-7107-4119-1.
  2. В ряде источников описывается как интервал; например, см. Интервал // Казахстан. Национальная энциклопедия. — Алматы: Казахская энциклопедия, 2005. — Т. II. — ISBN 9965-9746-3-2. (CC BY-SA 3.0)
  3. 3,0 3,1 В. А. Ильин, В. А. Садовничий, Бл. Х. Сендов. Глава 2. Вещественные числа // Математический анализ / Под ред. А. Н. Тихонова. — 3-е изд., перераб. и доп. — М.: Проспект, 2006. — Т. I. — С. 53. — 672 с. — ISBN 5-482-00445-7. Архивная копия от 23 июня 2015 на Wayback Machine
  4. Гелбаум, Б., Олмстед, Дж. Контрпримеры в анализе = Counterexamples in Analysis. — М.: ЛКИ, 2007. — С. 17—18. — 258 с. — ISBN 978-5-382-00046-6.
  5. Фихтенгольц, Г. М. Основы математического анализа. — 7-е изд. — М.: «ФИЗМАТЛИТ», 2002. — Т. 1. — С. 35. — 416 с. — ISBN 5-9221-0196-X.