Ограниченная функция

Математическая функция, набор значений которой ограничен.

Схематическое изображение ограниченной функции (красный) и неограниченной (синий). Интуитивно понятно, что график ограниченной функции остается внутри горизонтальной полосы, а график неограниченной функции — нет.

В математике функция, определенная на некотором множестве с действительными или комплексными значениями, называется ограниченной, если множество ее значений ограничено . Другими словами, существует такое действительное число , что ${\displaystyle f}$ ${\displaystyle X}$ ${\displaystyle M}$

${\displaystyle |f(x)|\leq M}$

для всех в . ^[1] Функция, которая не ограничена, называется неограниченной . ^{[ нужна цитата ]} ${\displaystyle x}$ ${\displaystyle X}$

Если действительное значение и для всех в , то говорят, что функция ограничена (из) сверху величиной . Если для всех в , то говорят, что функция ограничена (от) снизу величиной . Действительная функция ограничена тогда и только тогда, когда она ограничена сверху и снизу. ^{[1] [ необходимы дополнительные ссылки ]} ${\displaystyle f}$ ${\displaystyle f(x)\leq A}$ ${\displaystyle x}$ ${\displaystyle X}$ ${\displaystyle A}$ ${\displaystyle f(x)\geq B}$ ${\displaystyle x}$ ${\displaystyle X}$ ${\displaystyle B}$

Важным частным случаем является ограниченная последовательность , где в качестве множества натуральных чисел принимается множество . Таким образом, последовательность ограничена, если существует такое действительное число, что ${\displaystyle X}$ ${\displaystyle \mathbb {N} }$ ${\displaystyle f=(a_{0},a_{1},a_{2},\ldots )}$ ${\displaystyle M}$

${\displaystyle |a_{n}|\leq M}$

для каждого натурального числа . Множество всех ограниченных последовательностей образует пространство последовательностей . ^{[ нужна цитата ]} ${\displaystyle n}$ ${\displaystyle l^{\infty }}$

Определение ограниченности можно обобщить на функции, принимающие значения в более общем пространстве, потребовав, чтобы изображение было ограниченным множеством в . ^{[ нужна цитата ]} ${\displaystyle f:X\rightarrow Y}$ ${\displaystyle Y}$ ${\displaystyle f(X)}$ ${\displaystyle Y}$

Связанные понятия

Слабее ограниченности является локальная ограниченность . Семейство ограниченных функций может быть равномерно ограниченным .

Ограниченный оператор не является ограниченной функцией в смысле определения на этой странице (если только ), но обладает более слабым свойством сохранения ограниченности ; ограниченные множества отображаются в ограниченные множества . Это определение можно распространить на любую функцию, если и допустить концепцию ограниченного множества. Ограниченность также можно определить, посмотрев на график. ^{[ нужна цитата ]} ${\displaystyle T:X\rightarrow Y}$ ${\displaystyle T=0}$ ${\displaystyle M\subseteq X}$ ${\displaystyle T(M)\subseteq Y}$ ${\displaystyle f:X\rightarrow Y}$ ${\displaystyle X}$ ${\displaystyle Y}$

Примеры

• Функция синуса ограничена, поскольку для всех . ^{[1] [2]} ${\displaystyle \sin :\mathbb {R} \rightarrow \mathbb {R} }$ ${\displaystyle |\sin(x)|\leq 1}$ ${\displaystyle x\in \mathbb {R} }$
• Функция , определенная для всех вещественных чисел, кроме −1 и 1, является неограниченной. По мере приближения к −1 или 1 значения этой функции увеличиваются по величине. Эту функцию можно сделать ограниченной, если ограничить ее область определения, например, или . ^{[ нужна цитата ]} ${\displaystyle f(x)=(x^{2}-1)^{-1}}$ ${\displaystyle x}$ ${\displaystyle x}$ ${\displaystyle [2,\infty )}$ ${\displaystyle (-\infty ,-2]}$
• Функция , определенная для всех действительных , ограничена , так как для всех . ^{[ нужна цитата ]} ${\textstyle f(x)=(x^{2}+1)^{-1}}$ ${\displaystyle x}$ ${\textstyle |f(x)|\leq 1}$ ${\displaystyle x}$
• Обратная тригонометрическая функция арктангенс определяется как: или возрастает для всех действительных чисел и ограничена радианами ^[3 ] ${\displaystyle y=\arctan(x)}$ ${\displaystyle x=\tan(y)}$ ${\displaystyle x}$ ${\displaystyle -{\frac {\pi }{2}}<y<{\frac {\pi }{2}}}$
• По теореме об ограниченности каждая непрерывная функция на замкнутом интервале, такая как , ограничена. ^[4] В более общем смысле, любая непрерывная функция из компакта в метрическое пространство ограничена. ^{[ нужна цитата ]} ${\displaystyle f:[0,1]\rightarrow \mathbb {R} }$
• Все комплекснозначные функции , которые являются целыми , либо неограничены, либо постоянны, как следствие теоремы Лиувилля . ^[5] В частности, комплекс должен быть неограниченным, поскольку он целый. ^{[ нужна цитата ]} ${\displaystyle f:\mathbb {C} \rightarrow \mathbb {C} }$ ${\displaystyle \sin :\mathbb {C} \rightarrow \mathbb {C} }$
• Функция , принимающая значение 0 для рационального числа и 1 для иррационального числа (см. функцию Дирихле ) , ограничена . Таким образом, функция не обязательно должна быть «хорошей», чтобы быть ограниченной. Набор всех ограниченных функций, определенных на этом интервале , намного больше, чем набор непрерывных функций на этом интервале. ^{[ нужна цитата ]} Более того, непрерывные функции не обязательно должны быть ограничены; например, функции и , определенные как и , обе непрерывны, но ни одна из них не ограничена. ^[6] (Однако непрерывная функция должна быть ограниченной, если ее область определения одновременно замкнута и ограничена. ^[6] ) ${\displaystyle f}$ ${\displaystyle x}$ ${\displaystyle x}$ ${\displaystyle [0,1]}$ ${\displaystyle g:\mathbb {R} ^{2}\to \mathbb {R} }$ ${\displaystyle h:(0,1)^{2}\to \mathbb {R} }$ ${\displaystyle g(x,y):=x+y}$ ${\displaystyle h(x,y):={\frac {1}{x+y}}}$

Смотрите также

• Ограниченное множество
• Компактная поддержка
• Локальная ограниченность
• Равномерная ограниченность

Рекомендации

1. Джеффри, Алан (13 июня 1996 г.). Математика для инженеров и ученых, 5-е издание. ЦРК Пресс. ISBN 978-0-412-62150-5.
2. «Функции синуса и косинуса» (PDF) . math.dartmouth.edu . Архивировано (PDF) из оригинала 2 февраля 2013 года . Проверено 1 сентября 2021 г.
3. Полянин, Андрей Д.; Черноуцан, Алексей (18 октября 2010 г.). Краткий справочник по математике, физике и инженерным наукам. ЦРК Пресс. ISBN 978-1-4398-0640-1.
4. Вайсштейн, Эрик В. «Теорема о экстремальном значении». mathworld.wolfram.com . Проверено 1 сентября 2021 г.
5. "Теоремы Лиувилля - Математическая энциклопедия" . энциклопедияofmath.org . Проверено 1 сентября 2021 г.
6. Горпаде, Судхир Р.; Лимайе, Балмохан В. (20 марта 2010 г.). Курс многомерного исчисления и анализа. Springer Science & Business Media. п. 56. ИСБН 978-1-4419-1621-1.