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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

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

множество  является промежутком, только если

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

Типы промежутков[править | править код]

Конечный промежуток[править | править код]

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

Замкнутый (Закрытый) конечный промежуток[править | править код]

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

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

Открытый конечный промежуток[править | править код]

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

Для обозначения открытого промежутка вместо нередко используют обозначение с подачи Н. Бурбаки.

Полузамкнутый (полуоткрытый) конечный промежуток[править | править код]

Промежутки

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

Бесконечный промежуток[править | править код]

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

и

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

при этом из-за того, что и по определению не входят в они не включаются в эти множества.

Пустой промежуток[править | править код]

Пустое множество также является промежутком, тривиально попадая под его определение:

где a < b.

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

Множество вещественных чисел , дополненное элементами и , называется расширенной (точнее, аффинно расширенной, чтобы отличать от проективно расширенной прямой) числовой прямой и обозначается , то есть

При этом для любого вещественного числа по определению полагают выполненными неравенства

Для расширенной числовой прямой тоже вводят понятия промежутков — отрезков, интервалов, полуинтервалов[1]. В отличие от соответствующих промежутков числовой прямой, они могут содержать элементы . Например, .

Терминология[править | править код]

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

 — замкнутый интервал (англ. closed interval),
 — открытый интервал (англ. open interval),
 — полуоткрытый (или полузамкнутый) интервал (англ. half-open interval/half-closed interval),
 — полуоткрытый (или полузамкнутый) интервал (англ. half-open interval/half-closed interval).

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

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

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

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

Факты[править | править код]

Теорема о промежуточных значениях[править | править код]

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

Операции с промежутками[править | править код]

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

Мера[править | править код]

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

Обобщения[править | править код]

Связные множества[править | править код]

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

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

Выпуклые множества[править | править код]

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

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

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

См. также[править | править код]

Примечания[править | править код]

  1. 1 2 3 Кудрявцев, Л. Д. Курс математического анализа. — 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. 1 2 В. А. Ильин, В. А. Садовничий, Бл. Х. Сендов. Глава 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.