В математическом анализе непрерывность Липшица , названная в честь немецкого математика Рудольфа Липшица , является сильной формой равномерной непрерывности функций . Интуитивно понятно, что липшицева непрерывная функция ограничена в скорости своего изменения: существует такое вещественное число, что для каждой пары точек на графике этой функции абсолютное значение наклона соединяющей их линии не превышает это действительное число; наименьшая такая граница называется константой Липшица функции (и связана с модулем равномерной непрерывности ). Например, каждая функция, определенная на интервале и имеющая ограниченную первую производную, является липшицевой. [1]
Для двух метрических пространств ( X , d X ) и ( Y , d Y ), где d X обозначает метрику на множестве X , а d Y — метрику на множестве Y , функция f : X → Y называется липшицевой, если существует действительная константа K ≥ 0 такая, что для всех x 1 и x 2 в X ,
[3]
Любой такой K называется константой Липшица для функции f, а f также может называться K-липшицем . Наименьшую константу иногда называют (лучшей) константой Липшица [4] функции f или расширения или дилатации [5] : p. 9, Определение 1.4.1 [ 6 ] [7] f . Если K = 1, функция называется коротким отображением , а если 0 ≤ K < 1 и f отображает метрическое пространство в себя, функция называется сжатием .
В частности, вещественная функция f : R → R называется липшицевой, если существует положительная вещественная константа K такая, что для всех вещественных x 1 и x 2
В этом случае Y — это множество действительных чисел R со стандартной метрикой d Y ( y 1 , y 2 ) = | y 1 − y 2 |, и X является подмножеством R .
В общем случае неравенство (тривиально) выполняется, если x 1 = x 2 . В противном случае можно эквивалентным образом определить функцию как липшицеву непрерывную тогда и только тогда, когда существует константа K ≥ 0 такая, что для всех x 1 ≠ x 2
Для вещественных функций нескольких действительных переменных это справедливо тогда и только тогда, когда абсолютное значение наклонов всех секущих линий ограничено K . Множество линий наклона К , проходящих через точку на графике функции, образует круговой конус, и функция липшицева тогда и только тогда, когда график функции всюду полностью лежит вне этого конуса (см. рисунок).
Функция называется локально липшицевой, если для каждого x из X существует окрестность U точки x такая , что f, ограниченная U , является липшицевой. Эквивалентно, если X — локально компактное метрическое пространство, то f локально липшицево тогда и только тогда, когда оно липшицево непрерывно на каждом компактном подмножестве X . В пространствах, не являющихся локально компактными, это необходимое, но не достаточное условие.
В более общем смысле, функция f , определенная на X , называется непрерывной по Гельдеру или удовлетворяет условию Гёльдера порядка α > 0 на X , если существует константа M ≥ 0 такая, что
для всех x и y в X . Иногда условие Гёльдера порядка α называют также равномерным условием Липшица порядка α > 0.
Для действительного числа K ≥ 1, если
тогда f называется K -билипшицевым (также пишется K -билипшицевым ). Мы говорим, что f билипшицева или билипшицева, имея в виду , что такой K существует . Билипшицево отображение инъективно и фактически является гомеоморфизмом своего образа. Билипшицева функция — это то же самое, что инъективная липшицева функция, обратная функция которой также является липшицевой.
Функция , определенная для всех действительных чисел, является непрерывной по Липшицу с константой Липшица K = 1, поскольку она всюду дифференцируема , а абсолютное значение производной ограничено сверху единицей. Первое свойство указано ниже в разделе «Свойства».
Аналогично, функция синуса является непрерывной по Липшицу, поскольку ее производная, функция косинуса, ограничена сверху единицей по абсолютному значению.
Липшицевы непрерывные функции, не всюду дифференцируемые
Функция , определенная на вещественных числах, является непрерывной по Липшицу с постоянной Липшица, равной 1, согласно неравенству обратного треугольника . В более общем смысле, норма векторного пространства является липшицевой относительно соответствующей метрики, с константой Липшица, равной 1.
Липшицевы непрерывные функции, всюду дифференцируемые, но не непрерывно дифференцируемые.
Функция , производная которой существует, но имеет существенный разрыв при .
Непрерывные функции, которые не являются (глобально) липшицевыми.
Функция f ( x ) = √ x, определенная на [0, 1], не является липшицевой. Эта функция становится бесконечно крутой, когда x приближается к 0, поскольку ее производная становится бесконечной. Однако он равномерно непрерывен [8] и непрерывен по Гёльдеру класса C 0, α при α ⩽ 1/2, а также абсолютно непрерывен на [0, 1] (оба из которых предполагают первое).
Дифференцируемые функции, которые не являются (локально) липшицевыми
Функция f , определенная формулами f (0) = 0 и f ( x ) = x 3/2 sin(1/ x ) для 0 < x ≤ 1, дает пример функции, которая дифференцируема на компактном множестве, но не является локально липшицевой. потому что его производная функция не ограничена. См. также первое свойство ниже.
Аналитические функции, которые не являются (глобально) липшицевыми.
Показательная функция становится сколь угодно крутой при x → ∞ и, следовательно, не является глобально липшицевой, несмотря на то, что является аналитической функцией .
Функция f ( x ) = x 2 с областью определения всех действительных чисел не является липшицевой непрерывной. Эта функция становится сколь угодно крутой, когда x приближается к бесконечности. Однако оно локально липшицево.
Характеристики
Всюду дифференцируемая функция g : R → R является липшицевой (с K = sup | g ′( x )|) тогда и только тогда, когда она имеет ограниченную первую производную ; одно направление следует из теоремы о среднем значении . В частности, любая непрерывно дифференцируемая функция является локально липшицевой, поскольку непрерывные функции локально ограничены, поэтому ее градиент также локально ограничен.
Липшицева функция g : R → R абсолютно непрерывна и , следовательно, дифференцируема почти всюду , то есть дифференцируема в каждой точке вне множества нулевой меры Лебега . Его производная по существу ограничена по величине константой Липшица, и при a < b разность g ( b ) − g ( a ) равна интегралу от производной g ' на интервале [ a , b ].
И наоборот, если f : I → R абсолютно непрерывна и, следовательно, дифференцируема почти всюду и удовлетворяет | ж ' ( Икс ) | ⩽ K для почти всех x в I , то f непрерывна по Липшицу с константой Липшица не более K.
Для дифференцируемого отображения Липшица неравенство справедливо для лучшей константы Липшица . Если область выпуклая, то на самом деле . [ нужны дальнейшие объяснения ]
Предположим, что { f n } — последовательность липшицевых непрерывных отображений между двумя метрическими пространствами и что все f n имеют константу Липшица, ограниченную некоторым K . Если fn сходится к отображению f равномерно , то f также является липшицевым, причем константа Липшица ограничена тем же K. В частности, это означает, что множество вещественных функций на компактном метрическом пространстве с определенной оценкой константы Липшица является замкнутым и выпуклым подмножеством банахова пространства непрерывных функций. Однако этот результат не справедлив для последовательностей, в которых функции могут иметь неограниченные константы Липшица. Фактически, пространство всех липшицевых функций на компактном метрическом пространстве является подалгеброй банахова пространства непрерывных функций и, следовательно, плотно в нем, что является элементарным следствием теоремы Стоуна – Вейерштрасса (или как следствие аппроксимационной теоремы Вейерштрасса , поскольку каждый многочлен локально липшицев непрерывен).
Всякое липшицево непрерывное отображение равномерно непрерывно и, следовательно, тем более непрерывно . В более общем смысле, набор функций с ограниченной константой Липшица образует равнонепрерывное множество. Из теоремы Арзела –Асколи следует, что если { f n } — равномерно ограниченная последовательность функций с ограниченной константой Липшица, то у нее есть сходящаяся подпоследовательность. По результату предыдущего абзаца предельная функция также является липшицевой, с такой же оценкой для константы Липшица. В частности, множество всех вещественнозначных липшицевых функций на компактном метрическом пространстве X , имеющих константу Липшица ⩽ K , является локально компактным выпуклым подмножеством банахова пространства C ( X ).
Для семейства липшицевых функций f α с общей константой функция (и ) также является липшицевой непрерывной с той же константой Липшица при условии, что она принимает конечное значение хотя бы в точке.
Если U — подмножество метрического пространства M и f : U → R — липшицева непрерывная функция, всегда существуют липшицевы непрерывные отображения M → R , которые расширяют f и имеют ту же константу Липшица, что и f (см. также теорему Киршбрауна ). Расширение предоставляется
где k — константа Липшица для f на U.
Липшицевы многообразия
Липшицева структура на топологическом многообразии определяется с помощью атласа карт , карты переходов которых являются билипшицевыми; это возможно, поскольку билипшицевы отображения образуют псевдогруппу . Такая структура позволяет определять локально липшицевы отображения между такими многообразиями аналогично тому, как определяются гладкие отображения между гладкими многообразиями : если M и N — липшицевы многообразия, то функция является локально липшицевой тогда и только тогда, когда для каждой пары координатных карт и , где U и V — открытые множества в соответствующих евклидовых пространствах, композиция
MN. [9]
Эта структура является промежуточной между структурой кусочно-линейного многообразия и топологическим многообразием : структура PL порождает уникальную липшицеву структуру. [10] Хотя липшицевы многообразия тесно связаны с топологическими многообразиями, теорема Радемахера позволяет проводить анализ, что дает различные приложения. [9]
Односторонний Липшиц
Пусть F ( x ) — полунепрерывная сверху функция от x , и что F ( x ) — замкнутое выпуклое множество для всех x . Тогда F односторонне липшицева [11] , если
для некоторого C и для всех x 1 и x 2 .
Возможно, что функция F может иметь очень большую константу Липшица, но умеренную или даже отрицательную одностороннюю константу Липшица. Например, функция
имеет константу Липшица K = 50 и одностороннюю константу Липшица C = 0. Примером, который является односторонним, но не липшицевым, является F ( x ) = e − x , с C = 0.
Лемма Джонсона-Линденштрауса . Для любого целого числа n ≥0, любого конечного подмножества X ⊆ Rn и любого действительного числа 0<ε<1 существует (1+ε ) -билипшицева функция, где
^ Томсон, Брайан С.; Брукнер, Джудит Б.; Брукнер, Эндрю М. (2001). Элементарный реальный анализ. Прентис-Холл. п. 623.
^ Searcoid, Mícheál Ó (2006), «Функции Липшица», Метрические пространства , серия Springer по математике для студентов, Берлин, Нью-Йорк: Springer-Verlag , ISBN978-1-84628-369-7
^ Беньямини, Йоав; Линденштраусс, Йорам (2000). Геометрический нелинейный функциональный анализ . Американское математическое общество. п. 11. ISBN0-8218-0835-4.
^ Бураго, Дмитрий; Бураго, Юрий; Иванов, Сергей (2001). Курс метрической геометрии . Американское математическое общество. ISBN0-8218-2129-6.
^ Махру, Омар А; Шалчи, Заид; Хаммонд, Кристофер Дж (2014). «'Расширение' и 'расширение': тенденции в использовании по обе стороны Атлантики». Британский журнал офтальмологии . 98 (6): 845–846. doi : 10.1136/bjophthalmol-2014-304986. ПМИД 24568871.
^ Громов, Михаил (1999). «Количественная теория гомотопии». В Росси, Хьюго (ред.). Перспективы математики: приглашенные доклады по случаю 250-летия Принстонского университета, 17–21 марта 1996 г., Принстонский университет . Американское математическое общество. п. 46. ИСБН0-8218-0975-Х.
^ Роббин, Джоэл В., Непрерывность и равномерная непрерывность (PDF)
^ Аб Розенберг, Джонатан (1988). «Приложения анализа на липшицевых многообразиях». Миниконференции по гармоническому анализу и операторным алгебрам (Канберра, 1987) . Канберра: Австралийский национальный университет . стр. 269–283. МР 954004