В математике, сопоставление сужения или сужение или подрядчик, в метрическом пространстве (M, d) есть функция f от M к самой себе, со свойством, что существует некоторое неотрицательное действительное число такое, что для всех x и y в M,
Наименьшее такое значение k называется константой Липшица f. Сжимающие отображения иногда называют липшицевыми отображениями . Если вместо этого вышеупомянутое условие выполняется для k ≤ 1, то отображение называется нерасширяющим отображением.
В более общем смысле идея сжимающего отображения может быть определена для отображений между метрическими пространствами. Таким образом, если (M, d) и (N, d ') - два метрических пространства, то является сжимающим отображением, если существует константа такая, что
для всех x и y в M.
Каждое сжатое отображение липшицево и, следовательно, равномерно непрерывный (для липшицевой функции постоянная k уже не обязательно меньше 1).
Отображение сжатия имеет не более одной фиксированной точки. Более того, теорема Банаха о неподвижной точке утверждает, что каждое сжатое отображение на непустом полном метрическом пространстве имеет уникальную неподвижную точку, и что для любого x в M повторяющаяся функция последовательность x, f (x), f (f (x)), f (f (f (x))),... сходится к фиксированной точке. Эта концепция очень полезна для систем повторяющихся функций, где часто используются сопоставления сокращения. Теорема Банаха о неподвижной точке также применяется при доказательстве существования решений обыкновенных дифференциальных уравнений и используется в одном из доказательств теоремы об обратной функции.
Сжимающие отображения играют важную роль в динамическое программирование проблемы.
Нерасширяющее отображение с может быть усилено до твердо нерасширяющее отображение в гильбертовом пространстве , если следующее выполняется для всех x и y в :
где
Это частный случай усредненные нерасширяющие операторы с . Строго нерасширяющее отображение всегда нерасширяющее с помощью неравенства Коши – Шварца.
Класс устойчиво нерасширяющих отображений замыкается под выпуклыми комбинациями, но не композициями. Этот класс включает в себя проксимальные отображения собственных, выпуклых, полунепрерывных снизу функций, следовательно, он также включает ортогональные проекции на непустые замкнутые выпуклые множества. Класс жестко нерасширяющих операторов равен множеству резольвент максимально монотонных операторов. Удивительно, но хотя итерация нерасширяющих карт не дает гарантии нахождения фиксированной точки (например, умножение на -1), твердой нерасширяемости достаточно, чтобы гарантировать глобальную сходимость к фиксированной точке, при условии, что фиксированная точка существует. Точнее, если , то для любой начальной точки , итерация
дает сходимость к фиксированная точка . Эта сходимость может быть слабой в бесконечномерной настройке.
A карта субподряда или субподрядчик - это карта f в метрическом пространстве (M, d) такие, что
Если изображение субподрядчика f компактно, тогда f имеет фиксированную точку.
В локально выпуклом пространстве (E, P) с топологией, заданной множеством P из полунорм, для любого p ∈ P можно определить p-сжатие как отображение f такое, что существует некоторое k p< 1 such that p(f(x) − f(y)) ≤ kpр (х - у). Если f является p-сжатием для всех p ∈ P и (E, P) является последовательно полным, то f имеет фиксированную точку, заданную как предел любой последовательности x n + 1 = f (x n), и если (E, P) равно Hausdorff, то фиксированная точка уникальна.