29-06-2023
Функция (отображение, оператор, преобразование) — математическое понятие, отражающее связь между элементами множеств. Можно сказать, что функция — это «закон», по которому каждому элементу одного множества (называемому областью определения) ставится в соответствие некоторый элемент другого множества (называемого областью значений).
Математическое понятие функции выражает интуитивное представление о том, как одна величина полностью определяет значение другой величины. Так значение переменной однозначно определяет значение выражения , а значение месяца однозначно определяет значение следующего за ним месяца, также любому человеку можно сопоставить другого человека — его отца. Аналогично, некоторый задуманный заранее алгоритм по варьируемым входным данным выдаёт определённые выходные данные.
Часто под термином «функция» понимается числовая функция; то есть функция которая ставит одни числа в соответствие другим. Эти функции удобно представляются на рисунках в виде графиков.
Содержание |
Термин «функция» (в некотором более узком смысле) был впервые использован Лейбницем (1692 год). В свою очередь, Иоганн Бернулли в письме к тому же Лейбницу употребил этот термин в смысле, более близком к современному[1].
Первоначально, понятие функции было неотличимо от понятия аналитического представления. Впоследствии появилось определение функции, данное Эйлером (1751 год), затем — у Лакруа (1806 год) — уже практически в современном виде. Наконец, общее определение функции (в современной форме, но для числовых функций) было дано Лобачевским (1834 год) и Дирихле (1837 год)[2].
К концу XIX века понятие функции переросло рамки числовых систем. Первыми это сделали векторные функции, вскоре Фреге ввёл логические функции (1879), а после появления теории множеств Дедекинд (1887) и Пеано (1911) сформулировали современное универсальное определение.
Наиболее строгим определением функции является теоретико-множественное определение (на основе понятия бинарного отношения). Часто вместо определения функции даётся её интуитивное описание; то есть понятие функции переводится на обычный язык, используя слова «закон», «правило» или «соответствие».
Функция (отображение, операция, оператор) — это закон или правило, согласно которому каждому[3] элементу из множества ставится в соответствие единственный элемент из множества [4].
При этом говорят, что функция задана на множестве , или что отображает в .
Если элементу сопоставлен элемент , то говорят, что элемент находится в функциональной зависимости от элемента . При этом переменная называется аргументом функции или независимой переменной, множество называется областью задания или областью определения функции, а элемент , соответствующий конкретному элементу — частным значением функции в точке . Множество всех возможных частных значений функции называется её областью значений или областью изменения.
В теоретической математике функцию удобно определить как бинарное отношение (то есть множество упорядоченных пар ), которое удовлетворяет следующему условию: для любого[3] существует единственный элемент такой, что .
Это и позволяет говорить о том, что элементу сопоставлен один и только один элемент такой, что .
Таким образом, функция — это упорядоченная тройка (или кортеж) объектов , где
Если задана функция , которая определена на множестве и принимает значения в множестве , то есть, функция отображает множество в , то
Наличие функциональной зависимости между элементом и элементом
Определение функции легко обобщить на случай функции многих аргументов.
Если множество представляет собой декартово произведение множеств , тогда отображение оказывается -местным отображением, при этом элементы упорядоченного набора называются аргументами (данной -местной функции), каждый из которых пробегает своё множество:
В этом случае означает, что .
Функция, как математический объект, представляет собой бинарное отношение, удовлетворяющее определенным условиям. Функцию можно задать непосредственно как множество упорядоченных пар, например: есть функция . Однако, этот способ совершенно непригоден для функций на бесконечных множествах (каковыми являются привычные вещественные функции: степенная, линейная, показательная, логарифмическая и т. п.).
Для задания функции пользуются выражением: . При этом, есть переменная, пробегающая область определения функции, а — область значений. Эта запись говорит о наличии функциональной зависимости между элементами множеств. х и y могут пробегать любые множества объектов любой природы. Это могут быть числа, векторы, матрицы, яблоки, цвета радуги. Поясним на примере:
Пусть имеется множество яблоко, самолет, груша, стул и множество человек, паровоз, квадрат. Зададим функцию f следующим образом: (яблоко, человек), (самолет, паровоз), (груша, квадрат), (стул, человек). Если ввести переменную x, пробегающую множество и переменную y, пробегающую множество , указанную функцию можно задать аналитически, как: .
Аналогично можно задавать числовые функции. Например: , где х пробегает множество вещественных чисел, задает некоторую функцию f. Важно понимать, что само выражение не является функцией. Функция, как объект, представляет собой множество (упорядоченных пар). А данное выражение, как объект, есть равенство двух переменных. Оно задает функцию, но не является ею.
Однако, во многих разделах математики, можно обозначать через f(x) как саму функцию, так и аналитическое выражение, ее задающее. Это синтаксическое соглашение является крайне удобным и оправданным.
Числовые функции можно также задавать с помощью графика. Пусть — вещественная функция n переменных.
Рассмотрим некоторое (n+1)-мерное линейное пространство над полем вещественных чисел (так как функция вещественная). Выберем в этом пространстве любой базис (). Каждой точке функции сопоставим вектор: . Таким образом, мы будем иметь множество векторов линейного пространства, соответствующих точкам данной функции по указанному правилу. Точки соответствующего аффинного пространства будут образовывать некоторую поверхность.
Если в качестве линейного пространства взять евклидово пространство свободных геометрических векторов (направленных отрезков), а число аргументов функции f не превосходит 2, указанное множество точек можно изобразить наглядно в виде чертежа (графика). Если сверх того исходный базис взять ортонормированным, получим «школьное» определение графика функции.
Для функций 3 аргументов и более такое представление не применимо ввиду отсутствия у человека геометрической интуиции многомерных пространств.
Однако, и для таких функций можно придумать наглядное полугеометрическое представление (например каждому значению четвертой координаты точки сопоставить некоторый цвет на графике).
Пусть дано отображение и .
Отображение , которое принимает на те же значения, что и функция , называется суже́нием (или, иначе ограничением) функции на множество .
Сужение функции на множество обозначается как .
Если функция такова, что она является сужением для некоторой функции , то функция , в свою очередь, называется продолжением функции на множество .
Элемент , который сопоставлен элементу , называется образом элемента (точки) (при отображении ).
Если взять целое подмножество области определения функции , то можно рассмотреть совокупность образов всех элементов множества , а именно подмножество области значений (функции ) вида
которое, называется образом множества (при отображении ). Это множество иногда обозначается как или .
Наоборот, взяв некоторое подмножество области значений функции , можно рассмотреть совокупность тех элементов области определения (функции ), чьи образы попадают в множество , а именно — множество вида
которое называется (полным) прообразом множества (при отображении ).
В том частном случае, когда множество состоит из одного элемента, скажем, , множество имеет более простое обозначение .
Отображения, у которых совпадают область определения и область значений, называются отображениями заданного множества в себя или преобразованиями.
В частности, преобразование , которое сопоставляет каждой точке множества её саму или, что тоже самое,
называется тождественным.
Это отображение имеет специальное обозначение: или, проще, (если из контекста понятно, какое множество имеется в виду). Такое обозначение обязано своим происхождением англ. слову identity («идентичность, тождественность»).
Другое обозначение тождественного преобразования — . Такое отображение является унарной операцией, заданной на множестве . Поэтому, нередко, тождественное преобразование называют единичным.
Пусть и — два заданных отображения таких, что область значений первого отображения является подмножеством области определения второго отображения. Тогда для всякого однозначно определяется элемент такой, что , но для этого самого однозначно определяется элемент такой, что . То есть, для всякого однозначно определяется элемент такой, что . Другими словами, определено отображение такое, что
Это отображение называется композицией отображений и и обозначается
Если отображение является взаимно однозначным или биективным (см. ниже), то определено отображение , у которого
Такое отображение называется обратным по отношению к отображению .
Отображение, у которого определено обратное, называется обратимым.
В терминах композиции функции, свойство обратимости заключается в одновременном выполнении двух условий: и .
Пусть задана функция , где и — данные множества, причём . Каждая такая функция может обладать некоторыми свойствами, описание которых приведено ниже.
Положим, и — подмножества области определения. Взятие образа (или, что то же самое, применение оператора ) обладает следующими свойствами:
Далее
Последние два свойства, вообще говоря, допускают обобщение на любое количество множеств, большее двух (как оно здесь сформулировано).
Положим, и — подмножества множества .
По аналогии с взятием образа, взятие прообраза (переход к прообразу) обладает также следующими двумя очевидными свойствами:
Данные свойства, также, допускают обобщение на любое количество множеств, большее двух (как оно здесь сформулировано).
В случае, если отображение обратимо (см. ниже), прообраз каждой точки области значений одноточечный, поэтому для обратимых отображений выполняется следующее усиленное свойство для пересечений:
Функция называется сюръективной (или, коротко, сюръекция), если каждому элементу множества прибытия может быть сопоставлен хотя бы один элемент области определения. Другими словами, функция сюръективна, если образ множества при отображении совпадает с множеством : .
Такое отображение называется ещё отображением на.
Если условие сюръективности нарушается, то такое отображение называют отображением в.
Функция называется инъективной (или, коротко, инъекция), если разным элементам множества сопоставлены разные элементы множества . Более формально, функция инъективна, если для любых двух элементов таких, что , непременно выполняется .
Другими словами, сюръекция — это когда «у каждого образа есть прообраз», а инъекция — это когда «разные — в разные». То есть при инъекции не бывает так, чтобы два или больше разных элементов отображались в один и тот же элемент . А при сюръекции не бывает так, чтобы какой-то элемент не имел прообраза.
Если функция является и сюръективной, и инъективной, то такую функцию называют биективной или взаимно однозначной.
Пусть дана функция Тогда
(Строго) возрастающая или убывающая функция называется (строго) монотонной.
Функция называется периодической с пери́одом , если справедливо
Если это равенство не выполнено ни для какого , то функция называется апериоди́ческой.
Пусть дана функция и — внутренняя точка области определения Тогда
В зависимости от того, какова природа области определения и области значений, различают случаи, когда эти области — это:
В первом случае рассматриваются отображения в самом общем виде и решаются наиболее общие вопросы. Таким общим вопросом, например, является вопрос о сравнении множеств по мощности: если между двумя множествами существует взаимно однозначное отображение (биекция), то два данных множества называют эквивалентными или равномощными. Это позволяет провести классификацию множеств в виде единой шкалы, начальный фрагмент выглядит следующим образом:
В соответствии с этим, имеет смысл рассматривать следующие примеры отображений:
Во втором случае, основной объект рассмотрения — заданная на множестве структура и то, что происходит с этой структурой при отображении: если существует взаимно однозначное отображение одной структуры в другую, что при отображении сохраняются свойства заданной структуры, то говорят, что между двумя структурами установлен изоморфизм. Таким образом, изоморфные структуры, заданные в различных множествах, невозможно различить, поэтому в математике принято говорить, что данная структура рассматривается «с точностью до изоморфизма».
Существует великое разнообразие структур, которые могут быть заданы на множествах. Сюда относится:
Природа множеств определяет и свойства соответствующих функций, поскольку эти свойства формулируются в терминах заданных на множествах структурах. Например, свойство непрерывности, требует задания топологической структуры.
Частично определённая функция из множества в множество есть функция с областью определения .
Некоторые авторы понимают под функцией, частично определённую функцию. Это имеет свои преимущества, например возможна запись , где в этом случае .
В силу определения функции, заданному значению аргумента соответствует ровно одно значение функции. Несмотря на это, нередко можно услышать про т. н. «многозначные» функции. В действительности, это не более чем удобное обозначение функции, область значений которой сама является семейством множеств.
Пусть , где — семейство подмножеств множества . Тогда будет множеством для всякого .
Функция однозначна, если каждому значению аргумента соответствует единственное значение функции. Функция многозначна, если хотя бы одному значению аргумента соответствует два или более значений функции[5].
Функциональная зависимость.