Сужение функции (Vr'yuny srutenn)

Перейти к навигации Перейти к поиску

Сужение функции на подмножество её области определения  — функция с областью определения , совпадающая с исходной функцией на всём .

Сужение функции на обычно обозначается или . Так, для , и , означает, что и для любого .

Определение

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

Пусть дано отображение и .

Функция , которая принимает на те же значения, что и функция , называется суже́нием (или, иначе ограничением) функции на множество .

Вариации и обобщения

[править | править код]
  • Наиболее общее определение сужения реализуется в контексте пучков[уточнить].
  • Для функции рассматривают также сужение на подмножество

Продолжение

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

Если функция такова, что она является сужением для некоторой функции , то функция , в свою очередь, называется продолжением функции на множество .

Имея некоторую функцию , её можно продолжить бесконечным числом способов на множество , в том числе непрерывным образом. Однако, если функция  — аналитическая функция в , то существует единственное аналитическое продолжение на .