В математическом анализе , Полунепрерывность (или Полунепрерывность ) является свойством расширенных реальных -значных функций , которые слабее , чем непрерывности . Расширенная функция с действительными значениямиявляется верхним (соответственно, снизить ) полунепрерывная в точке если, грубо говоря, значения функции для аргументов близки к ненамного выше (соответственно ниже) чем
Функция является непрерывной тогда и только тогда, когда она полунепрерывна как сверху, так и снизу. Если мы возьмем непрерывную функцию и увеличим ее значение в определенной точке к (для некоторой положительной постоянной ), то результат полунепрерывен сверху; если мы уменьшим его значение до то результат полунепрерывен снизу.
Формальное определение
Предполагать является топологическим пространством , это точка в а также - расширенная функция с действительными значениями.
Функция называется полунепрерывной сверху в точке если для каждого существует район из такой, что для всех когда а также как правило в виде стремится к когда
Для частного случая метрического пространства это можно выразить как
где lim sup - верхний предел (функции в точке ). (Для неметрических пространств может быть дано эквивалентное определение с использованием сетей .)
Функция называется полунепрерывным сверху, если он полунепрерывен сверху в каждой точке своей области определения .
Функция называется полунепрерывным снизу в точке если для каждого существует район из такой, что для всех в когда , а также как правило в виде стремится к когда .
Точно так же в случае метрического пространства это можно выразить как
где является нижним пределом функции в точке
Функция называется полунепрерывным снизу, если он полунепрерывен снизу в каждой точке своей области определения. [1]
Характеристики
Функция является полунепрерывной сверху (соответственно полунепрерывной снизу) тогда и только тогда, когда (соотв. ) - открытое множество для любогоВ качестве альтернативы функция является полунепрерывной снизу тогда и только тогда, когда все ее нижние уровни устанавливаются (также называемые подуровнями или траншеями ) закрыты . Функция полунепрерывно снизу тогда и только тогда, когда полунепрерывно сверху. [2]
Функция полунепрерывно снизу тогда и только тогда, когда его надграфик (множество точек, лежащих на его графике или выше ) замкнут .
Функция из некоторого топологического пространства полунепрерывно снизу тогда и только тогда, когда оно непрерывно относительно топологии Скотта на
Так как является подбазой евклидовой топологии на функция непрерывно тогда и только тогда, когда а также открыты для всех Эту характеристику можно рассматривать как мотивировку определений полунепрерывности сверху и снизу. [2] Кроме того, функция непрерывна в точкетогда и только тогда, когда он там и верхний, и нижний полунепрерывный. [2] Следовательно, полунепрерывность может использоваться для доказательства непрерывности.
Примеры
Рассмотрим функцию кусочно определяется:
Эта функция полунепрерывна сверху при но не нижний полунепрерывный.
Индикаторная функция из замкнутого множества является полунепрерывно сверху, тогда как функция индикатора открытого множества ниже полунепрерывная. Функция пола , который возвращает наибольшее целое число, меньшее или равное заданному действительному числу. всюду полунепрерывно сверху. Точно так же функция потолка полунепрерывно снизу.
Функция может быть полунепрерывной сверху или снизу, но не непрерывной слева или справа . Например, функция
полунепрерывно сверху в , поскольку его значение там выше, чем его значение в его окрестности. Однако он не является непрерывным ни слева, ни справа: предел слева равен 1, а предел справа равен 1/2, оба из которых отличаются от значения функции 2. Если изменяется, например, путем установки то полунепрерывно снизу
Аналогично функция
полунепрерывно сверху в в то время как ограничения функции слева или справа в нуле даже не существуют.
Если является евклидовым пространством (или, в более общем смысле, метрическим пространством) и пространство кривых в(с супремальным расстоянием то функционал длины который присваивает каждой кривой его длина полунепрерывно снизу.
Индикаторная функция любого открытого множества снизу. Индикаторная функция замкнутого множества полунепрерывна сверху. Однако в выпуклом анализе термин «индикаторная функция» часто относится к характеристической функции , и характеристическая функция любого замкнутого набора является полунепрерывной снизу, а характеристическая функция любого открытого набора полунепрерывна сверху.
Позволять быть мерным пространством и пусть обозначим множество положительно измеримых функций, наделенных топологией сходимости по мере относительно. Тогда по лемме Фату интеграл, рассматриваемый как оператор из к полунепрерывно снизу.
Достаточные условия
Если а также - две действительные функции, обе полунепрерывные сверху в тогда так Если обе функции неотрицательны, функция произведения также будет полунепрерывным сверху при То же верно и для функций, полунепрерывных снизу при [3]
состав полунепрерывных сверху функций а также не обязательно полунепрерывно сверху, но если также не убывает, то является полунепрерывным сверху. [4]
Умножение положительной полунепрерывной сверху функции на отрицательное число превращает ее в полунепрерывную снизу функцию.
Предполагать является полунепрерывной снизу функцией для любого индекса в непустом множестве и определить как точечный супремум ; это,
- для каждого
потом полунепрерывно снизу. [5] [2] Даже если все непрерывны, не обязательно быть непрерывным; действительно, каждая полунепрерывная снизу функция на однородном пространстве (например, метрическом пространстве ) возникает как верхняя грань последовательности непрерывных функций. Точно так же поточечная нижняя грань произвольного набора полунепрерывных сверху функций полунепрерывна сверху.
Предполагать неотрицательные полунепрерывные снизу функции, индексируемые такой, что для каждого потом полунепрерывно снизу. [2] Если дополнительно каждые непрерывно, то обязательно непрерывно. [2]
Максимум и минимум конечного числа полунепрерывных сверху функций полунепрерывны сверху, то же самое верно и для полунепрерывных снизу функций.
Характеристики
Если это компактное пространство (например, устройство закрыто , ограниченный интервал ) а также полунепрерывно сверху, то имеет максимум на Аналогичное утверждение для (-] -значные полунепрерывные снизу функции и минимумы. (См. Статью о теореме об экстремальном значении для доказательства.)
Любая полунепрерывная сверху функция на произвольном топологическом пространстве локально постоянен на некоторое открытое плотное подмножество из
Смотрите также
- Непрерывная функция - математическая функция без резких изменений значения
- Направленная непрерывность
- Полунепрерывная многозначная функция
Рекомендации
- ^ Kiwiel, Кшиштоф C. (2001). «Сходимость и эффективность субградиентных методов квазивыпуклой минимизации». Математическое программирование, Series A . 90 (1). Берлин, Гейдельберг: Springer. С. 1–25. DOI : 10.1007 / PL00011414 . ISSN 0025-5610 . MR 1819784 .
- ^ а б в г д е Мугер, Майкл (2020). Топология для рабочего математика . С. 93–94.
- ^ Путерман, Мартин Л. (2005). Марковские процессы принятия решений, дискретное стохастическое динамическое программирование . Wiley-Interscience. С. 602 . ISBN 978-0-471-72782-8.
- ^ Мур, Джеймс С. (1999). Математические методы экономической теории . Берлин: Springer. п. 143 . ISBN 9783540662358.
- ^ «Теорема Бэра» . Энциклопедия математики .
дальнейшее чтение
- Бенесова, Б .; Крузик, М. (2017). «Слабая полунепрерывность снизу интегральных функционалов и приложения». SIAM Обзор . 59 (4): 703–766. arXiv : 1601.00390 . DOI : 10.1137 / 16M1060947 .
- Бурбаки, Николас (1998). Элементы математики: общая топология, 1–4 . Springer. ISBN 0-201-00636-7.
- Бурбаки, Николас (1998). Элементы математики: общая топология, 5–10 . Springer. ISBN 3-540-64563-2.
- Gelbaum, Bernard R .; Олмстед, Джон MH (2003). Контрпримеры в анализе . Dover Publications. ISBN 0-486-42875-3.
- Хайерс, Дональд Х .; Исак, Джордж; Рассиас, Фемистокл М. (1997). Темы нелинейного анализа и приложений . World Scientific. ISBN 981-02-2534-2.