Полуоткрытый интервал¶

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

¶Определение и обозначение

Полуоткрытый интервал определяется парой действительных чисел \(a\) и \(b\), где \(a < b\). Существует два варианта:

Левосторонний полуоткрытый интервал \([a, b)\): включает левую границу \(a\) и исключает правую границу \(b\). В виде множества записывается как:

\[ [a, b) = \{ x \in \mathbb{R} \mid a \le x < b \}. \]

Правосторонний полуоткрытый интервал \((a, b]\): включает правую границу \(b\) и исключает левую границу \(a\). В виде множества записывается как:

\[ (a, b] = \{ x \in \mathbb{R} \mid a < x \le b \}. \]

В обозначениях квадратная скобка указывает на включение граничной точки, а круглая — на её исключение. В англоязычной литературе часто используются обозначения \([a, b)\) и \((a, b]\) соответственно. Для бесконечных полуоткрытых интервалов применяются обозначения \([a, +\infty)\) или \((-\infty, b]\), где бесконечность всегда обозначается круглой скобкой, так как не является числом.

¶Свойства

¶Топологические свойства

В стандартной топологии действительной прямой полуоткрытый интервал не является ни открытым, ни замкнутым множеством. Он не является открытым, так как содержит граничную точку, у которой не существует окрестности, целиком лежащей в интервале. Он не является замкнутым, так как его дополнение не является открытым (предельная точка, не принадлежащая интервалу, например, \(b\) для \([a, b)\), является точкой прикосновения, но не входит в множество). Однако полуоткрытый интервал является полуоткрытым множеством в смысле топологии, порождённой полуинтервалами (например, в топологии стрелки или топологии Зоргенфрея).

¶Измеримость по Лебегу

Полуоткрытый интервал является измеримым по Лебегу множеством. Его мера Лебега равна длине интервала: \(\lambda([a, b)) = \lambda((a, b]) = b - a\). Это свойство следует из того, что добавление или удаление одной точки (границы) не меняет меры множества.

¶Связность

Полуоткрытый интервал является связным множеством в \(\mathbb{R}\) (как и любой интервал). Однако он не является компактным в стандартной топологии, так как не является замкнутым и ограниченным одновременно (по теореме Гейне — Бореля). Например, \([0, 1)\) некомпактен, поскольку не содержит своей предельной точки 1.

¶Применение

¶В математическом анализе

Полуоткрытые интервалы часто используются при определении односторонних пределов и непрерывности. Например, функция \(f(x) = \sqrt{x}\) определена на \([0, +\infty)\), что является полуоткрытым интервалом. В интегральном исчислении полуоткрытые интервалы применяются при разбиении отрезка для построения интегральных сумм Римана, где точки разбиения могут быть выбраны как левые или правые концы подынтервалов.

¶В теории меры

В аксиоматическом построении меры Лебега полуоткрытые интервалы часто используются в качестве базовых элементов. Например, мера Бореля на \(\mathbb{R}\) может быть определена на полукольце полуоткрытых интервалов вида \([a, b)\), что упрощает доказательство счётной аддитивности.

¶В численных методах

При численном интегрировании (например, метод прямоугольников) полуоткрытые интервалы используются для задания сеток. Если сетка содержит \(n\) узлов, то интервал \([a, b)\) разбивается на \(n\) полуоткрытых подынтервалов \([x_i, x_{i+1})\), что гарантирует, что каждый узел принадлежит ровно одному подынтервалу.

¶В статистике и теории вероятностей

В статистике полуоткрытые интервалы применяются для построения гистограмм и эмпирических функций распределения. Например, интервалы группировки данных часто задаются как \([a, b)\), чтобы избежать двойного учёта наблюдений, попадающих на границы. В теории вероятностей функция распределения случайной величины \(F(x) = P(X \le x)\) использует полуоткрытые интервалы \((-\infty, x]\) для определения вероятности.

¶В программировании

В языках программирования (например, Python, C++) полуоткрытые интервалы широко используются для работы с диапазонами. В Python функция range(start, stop) генерирует числа от start до stop-1, что соответствует полуоткрытому интервалу \([start, stop)\). Это удобно для итерации по массивам, так как количество элементов равно stop - start, а индексация начинается с нуля.

¶Примеры

Пример 1: Интервал \([0, 1)\) включает все действительные числа от 0 (включительно) до 1 (исключительно). Числа 0, 0.5, 0.999 принадлежат ему, а число 1 — нет.
Пример 2: Интервал \((-2, 3]\) включает все числа от -2 (исключительно) до 3 (включительно). Число -2 не принадлежит, а число 3 — принадлежит.
Пример 3: В физике полуоткрытые интервалы используются для задания диапазонов измерений, например, температура \(T \in [0, 100)\) °C, где 0 °C включено, а 100 °C — нет (так как при 100 °C вода кипит при нормальном давлении).

¶Связь с другими понятиями

Полуоткрытые интервалы являются частным случаем интервалов в упорядоченных множествах. В общей топологии они служат базой для топологии Зоргенфрея (топологии стрелки), где открытыми множествами являются всевозможные объединения полуоткрытых интервалов \([a, b)\). Эта топология является более тонкой, чем стандартная, и обладает интересными свойствами (например, она наследственно сепарабельна, но не метризуема).

В теории меры полуоткрытые интервалы образуют полукольцо, что позволяет строить меру Лебега с помощью процедуры продолжения меры с полукольца на сигма-алгебру.

¶Литература

Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — М.: Наука, 1976.
Рудин У. Основы математического анализа. — М.: Мир, 1976.
Халмош П. Теория меры. — М.: Иностранная литература, 1953.
Зорич В. А. Математический анализ. Часть I. — М.: МЦНМО, 2012.