Определение функции, области задания и множества значений. Определения, связанные с обозначением функции. Определения сложной, числовой, действительной, монотонной и многозначной функции. Определения максимума, минимума, верхней и нижней граней для ограниченных функций.
СодержаниеФункцией y = f(x) называется закон (правило, отображение), согласно которому, каждому элементу x множества X ставится в соответствие один и только один элемент y множества Y .
Множество X
называется областью определения функции
.
Множество элементов y ∈
Y
,
которые имеют прообразы во множестве X
,
называется множеством значений функции
(или областью значений
).
Область определения функции иногда называют множеством определения или множеством задания функции.
Элемент x ∈
X
называют аргументом функции
или независимой переменной
.
Элемент y ∈
Y
называют значением функции
или зависимой переменной
.
Само отображение f называется характеристикой функции .
Характеристика f обладает тем свойством, что если два элемента и из множества определения имеют равные значения: , то .
Символ, обозначающий характеристику, может совпадать с символом элемента значения функции. То есть можно записать так: . При этом стоит помнить, что y - это элемент из множества значений функции, а - это правило, по которому для элемента x ставится в соответствие элемент y .
Сам процесс вычисления функции состоит из трех шагов. На первом шаге мы выбираем элемент x из множества X . Далее, с помощью правила , элементу x ставится в соответствие элемент множества Y . На третьем шаге этот элемент присваивается переменной y .
Частным значением функции называют значение функции при выбранном (частном) значении ее аргумента.
Графиком функции f называется множество пар .
Сложные функции
Определение
Пусть заданы функции и .
Причем область определения функции f
содержит множество значений функции g
.
Тогда каждому элементу t
из области определения функции g
соответствует элемент x
,
а этому x
соответствует y
.
Такое соответствие называют сложной функцией
: .
Сложную функцию также называют композицией или суперпозицией функций и иногда обозначают так: .
В математическом анализе принято считать, что если характеристика функции обозначена одной буквой или символом, то она задает одно и то же соответствие. Однако, в других дисциплинах, встречается и другой способ обозначений, согласно которому отображения с одной характеристикой, но разными аргументами, считаются различными. То есть отображения и считаются различными. Приведем пример из физики. Допустим мы рассматриваем зависимость импульса от координаты . И пусть мы имеем зависимость координаты от времени . Тогда зависимость импульса от времени является сложной функцией . Но ее, для краткости, обозначают так: . При таком подходе и - это различные функции. При одинаковых значениях аргументов они могут давать различные значения. В математике такое обозначение не принято. Если требуется сокращение, то следует ввести новую характеристику. Например . Тогда явно видно, что и - это разные функции.
Действительные функции
Область определения функции и множество ее значений могут быть любыми множествами.
Например, числовые последовательности - это функции, областью определения которых является множество натуральных чисел, а множеством значений - вещественные или комплексные числа.
Векторное произведение тоже функция, поскольку для двух векторов и имеется только одно значение вектора .
Здесь областью определения является множество всех возможных пар векторов .
Множеством значений является множество всех векторов.
Логическое выражение является функцией. Ее область определения - это множество действительных чисел (или любое множество, в котором определена операция сравнения с элементом “0”). Множество значений состоит из двух элементов - “истина” и “ложь”.
В математическом анализе большую роль играют числовые функции.
Числовая функция - это функция, значениями которой являются действительные или комплексные числа.
Действительная или вещественная функция - это функция, значениями которой являются действительные числа.
Максимум и минимум
Действительные числа имеют операцию сравнения. Поэтому множество значений действительной функции может быть ограниченным и иметь наибольшее и наименьшее значения.
Действительная функция называется ограниченной сверху (снизу)
, если существует такое число M
,
что для всех выполняется неравенство:
.
Числовая функция называется ограниченной
, если существует такое число M
,
что для всех :
.
Максимумом M
(минимумом m
)
функции f
,
на некотором множестве X
называют значение функции при некотором значении ее аргумента ,
при котором для всех ,
.
Верхней гранью
или точной верхней границей
действительной, ограниченной сверху функции называют наименьшее из чисел, ограничивающее область ее значений сверху. То есть это такое число s
,
для которого для всех и для любого ,
найдется такой аргумент ,
значение функции от которого превосходит s′
:
.
Верхняя грань функции может обозначаться так:
.
Верхней гранью неограниченной сверху функции
Нижней гранью
или точной нижней границей
действительной, ограниченной снизу функции называют наибольшее из чисел, ограничивающее область ее значений снизу. То есть это такое число i
,
для которого для всех и для любого ,
найдется такой аргумент ,
значение функции от которого меньше чем i′
:
.
Нижняя грань функции может обозначаться так:
.
Нижней гранью неограниченной снизу функции является бесконечно удаленная точка .
Таким образом, любая действительная функция, на не пустом множестве X , имеет верхнюю и нижнюю грани. Но не всякая функция имеет максимум и минимум.
В качестве примера рассмотрим функцию ,
заданную на открытом интервале .
Она ограничена, на этом интервале, сверху значением 1
и снизу - значением 0
:
для всех .
Эта функция имеет верхнюю и нижнюю грани:
.
Но она не имеет максимума и минимума.
Если мы рассмотрим туже функцию на отрезке ,
то она на этом множестве ограничена сверху и снизу, имеет верхнюю и нижнюю грани и имеет максимум и минимум:
для всех ;
;
.
Монотонные функции
Определения возрастающей и убывающей функций
Пусть функция определена на некотором множестве действительных чисел X
.
Функция называется строго возрастающей (строго убывающей)
.
Функция называется неубывающей (невозрастающей)
, если для всех таких что выполняется неравенство:
.
Определение монотонной функции
Функция называется монотонной
, если она неубывающая или невозрастающая.
Многозначные функции
Пример многозначной функции. Различными цветами обозначены ее ветви. Каждая ветвь является функцией.
Как следует из определения функции, каждому элементу x из области определения, ставится в соответствие только один элемент из множества значений. Но существуют такие отображения, в которых элемент x имеет несколько или бесконечное число образов.
В качестве примера рассмотрим функцию арксинус
: .
Она является обратной к функции синус
и определяется из уравнения:
(1)
.
При заданном значении независимой переменной x
,
принадлежащему интервалу ,
этому уравнению удовлетворяет бесконечно много значений y
(см. рисунок).
Наложим на решения уравнения (1) ограничение. Пусть
(2)
.
При таком условии, заданному значению ,
соответствует только одно решение уравнения (1). То есть соответствие, определяемое уравнением (1) при условии (2) является функцией.
Вместо условия (2) можно наложить любое другое условие вида:
(2.n)
,
где n
- целое. В результате, для каждого значения n
,
мы получим свою функцию, отличную от других. Множество подобных функций является многозначной функцией
. А функция, определяемая из (1) при условии (2.n) является ветвью многозначной функции
.
Это совокупность функций, определенных на некотором множестве.
Ветвь многозначной функции - это одна из функций, входящих в многозначную функцию.
Однозначная функция - это функция.
Использованная литература:
О.И. Бесов. Лекции по математическому анализу. Часть 1. Москва, 2004.
Л.Д. Кудрявцев. Курс математического анализа. Том 1. Москва, 2003.
С.М. Никольский. Курс математического анализа. Том 1. Москва, 1983.
- (позднелат. superpositio, – наложение, от лат. superpositus – положенный наверх) (композиция) – операция логико математич. исчислений, заключающаяся в получении из к. л. данных функций f и g данного исчисления новой функции g (f) (выражение g… … Философская энциклопедия
Термин суперпозиция (наложение) может относиться к следующим понятиям: Суперпозиция композиция функций (сложная функция) Принцип суперпозиции принцип в физике и математике, описывающий наложение процессов (например, волн) и, как следствие,… … Википедия
Композиция функций, составление из двух функций сложной функции … Математическая энциклопедия
У этого термина существуют и другие значения, см. Суперпозиция. Квантовая механика … Википедия
В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
В теории дискретных функциональных систем булевой функцией называют функцию типа, где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… … Википедия
Один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
Функция, вычисление значений к рой может быть проведено с помощью заранее заданной эффективной процедуры, или алгоритма. Характерная черта вычислительных процессов вычисление искомых величин задач происходит последовательно из данных исходных… … Математическая энциклопедия
Необходимо перенести содержимое этой статьи в статью «Дифференцирование сложной функции». Вы можете помочь проекту, объединив статьи. В случае необходимости обсуждения целесообразности объединения, замените этот шаблон на шаблон {{к объединению}} … Википедия
- (лат. compositio составление, связывание, сложение, соединение): В Викисловаре есть статья «композиция» Искусство Композиция (изобразительное искусство) организующий компонент художественной формы, придающий прои … Википедия
Книги
- Дискретная математика. Основные теоретико-множественные конструкции. Часть VI , А. И. Широков. Пособие представляет собой VI часть раздела «Основные теоретикомножественные конструкции дискретной математики». В гл. XI рассматриваются следующие понятия: композиции функций (§1); функции,…
Соответствием G между множествами А и В называется подмножество . Если , то говорят, что b
соответствует а. Множество всех соответствующих элементу
Называется образом элемента а. Множество всех которым соответствует элемент , называется
прообразом элемента b .
Множество пар (Ь, а) таких, что называется обратным по
отношению к G и обозначается . Понятия образа и прообраза для
" G и взаимно обратны.
Примеры. 1) Поставим в соответствие натуральному числу п
множество действительных чисел . Образом числа 5
будет полуинтервал
(так обозначают наибольшее целое, меньшее или равное X ). Прообразом числа 5 при этом соответствии является бесконечное множество: полуинтервал }