Функция (математика)

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
График функции
.

Фу́нкция (отображе́ние, опера́тор, преобразова́ние) — математическое понятие, отражающее однозначную парную связь элементов одного множества с элементами из другого множества.

Другими словами, функция — это соответствие между элементами двух множеств, установленное по такому правилу, что каждому элементу одного множества ставится в соответствие некоторый элемент из другого множества.

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

Аналогично, задуманный заранее алгоритм по значению входного данного выдаёт значение выходного данного.

Часто под термином «функция» понимается числовая функция, то есть функция, которая ставит одни числа в соответствие другим. Эти функции удобно представлять в виде графиков.

История[править | править вики-текст]

Термин «функция» (в некотором более узком смысле) был впервые использован Лейбницем (1692 год). В свою очередь, Иоганн Бернулли в письме к тому же Лейбницу употребил этот термин в смысле, более близком к современному[1].

Первоначально понятие функции было неотличимо от понятия аналитического представления. Впоследствии появилось определение функции, данное Эйлером (1751 год), затем — у Лакруа (1806 год), — уже практически в современном виде. Наконец, общее определение функции (в современной форме, но для числовых функций) было дано Лобачевским (1834 год) и Дирихле (1837 год)[2].

К концу XIX века понятие функции переросло рамки числовых систем. Сначала понятие функции было распространено на векторные функции, вскоре Фреге ввёл логические функции (1879), а после появления теории множеств Дедекинд (1887) и Пеано (1911) сформулировали современное универсальное определение.

Определения[править | править вики-текст]

Функция, сопоставляющая каждой из четырёх фигур её цвет.

Наиболее строгим определением функции является теоретико-множественное определение (на основе понятия бинарного отношения). Часто вместо определения функции даётся понятие функции, то есть описание математического объекта с помощью понятий обычного языка, таких как «закон», «правило» или «соответствие».

Понятие функции[править | править вики-текст]

Говорят, что на множестве имеется функция (отображение, операция, оператор) со значениями из , если каждому элементу из множества по правилу поставлен в соответствие некоторый элемент из множества [1].

Говорят также, что функция отображает множество в множество . Функцию обозначают также записью .

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

Если хотят подчеркнуть, что правило соответствия известно, то говорят, что на множестве задана функция , принимающая значения из . Если функция должна находиться в результате решения какого-нибудь уравнения, то говорят, что — неизвестная или неявно заданная функция. Но в любом случае, функция, по смыслу этого понятия, считается заданной, хотя и косвенно.

Если элементу сопоставлен элемент , то тем самым на элементе задано и правило соответствия (которое может быть разным для разных элементов). Следовательно, задание соответствия на каждом элементе множества эквивалентно заданию функции на этом множестве. Поэтому понятие функции можно сформулировать без понятия правило и необходимости его обозначать:

Говорят, что на множестве задана функция , принимающая значения из , если каждому элементу из множества поставлен в соответствие некоторый элемент из множества [3]. Функцию обозначают также записью .

Например, функция, заданная на таблицей пар элементов и или алгоритмическим сопоставлением и , содержит правило соответствия для каждого элемента из , и значения функции при переходе от элемента к элементу множества изменяются по некоторому правилу.

Для числовых функций, часто задаваемых формулами, понятие функции формулируется и обозначается как соответствие между элементами множеств посредством правила. Правило не обозначается, чтобы не было совпадения обозначений правила и функции:

Если каждому элементу из множества по какому-либо правилу ставится в соответствие некоторый элемент из множества , то указанное соответствие называется функцией , заданной на множестве со значениями из [2][4]. Буква в этом обозначении — индивидуальный знак функции.

Итак, функция (или кратко: функция или ) представляет собой тройку объектов: , где

  • множество называется о́бластью задания функции;
  • множество называется о́бластью значе́ний функции;
  • — правило, по которому каждому элементу сопоставляется некоторый элемент .

Обозначенный буквой каждый элемент множества называется независимой переменной или аргументом функции. Множество при этом называется областью изменения переменной .

Элемент , соответствующий фиксированному элементу называется частным значением функции в точке .

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

Теоретико-множественное определение[править | править вики-текст]

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

Функцией называется множество упорядоченных пар , удовлетворяющее условию: для любого элемента существует единственный элемент такой, что [1].

  • множество всех , таких, что , , называется множеством значений функции;
  • множество упорядоченных пар называется также графиком функции; понятие графика функции и понятие функции как множества упорядоченных пар совпадают. При обычной формулировке понятия функции её графиком называется множество пар .

Функции и называются равными, если их графики совпадают[5].

Поскольку равенство функций (в любой формулировке понятия функции) включает в себя не только совпадение правил соответствия между элементами множеств, но и совпадение областей задания, то в следующих парах задаются разные функции:

  1. и ,
  2. и

где — множество вещественных чисел, а — множество неотрицательных вещественных чисел.

Обозначения функции[править | править вики-текст]

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

  • этот факт коротко записывают в виде или .
  • множество — область задания функции — обозначается символом или ;
  • множество — область значений[2] функции ;
  • множество значений функции обозначается символом или ().
  • Если область значений и множество значений совпадают, то говорят, что отображает множество на .
  • Функция, заданная на множестве , наиболее часто обозначается как соответствие между элементами и :
    , или кратко: или ;
    или ;
  • для сокращения числа обозначений знак функции может обозначаться той же буквой, что и каждое значение функции:
    , ;
  • функция обозначается и как функция , которая отображает множество в с обозначением соответствия между элементами и :
    или ;
  • реже используется обозначение функции как соответствие между элементами и без скобок: , или ,
  • а там, где необходимо подчеркнуть двойственность, используются обозначения со скобками: или ;
  • также существует и операторное обозначение , которое можно встретить в общей алгебре.
  • В лямбда-исчислении Чёрча используется обозначение .

Функции нескольких аргументов[править | править вики-текст]

График функции двух переменных

Понятие функции легко обобщается на случай функции многих аргументов.

Если множество представляет собой декартово произведение множеств , тогда отображение , где — множество вещественных чисел, оказывается -местным отображением, при этом элементы упорядоченного набора называются аргументами (данной -местной функции), каждый из которых пробегает своё множество:

где .

В этом случае запись означает, что .

Способы задания функции[править | править вики-текст]

Аналитический способ[править | править вики-текст]

Функция, как математический объект, представляет собой бинарное отношение, удовлетворяющее определенным условиям. Функцию можно задать непосредственно, как множество упорядоченных пар, например: есть функция . Множество упорядоченных пар для функций на бесконечных множествах (каковыми являются привычные вещественные функции — степенная, линейная, показательная, логарифмическая и другие) задаётся с помощью аналитического выражения : где

Функцию, заданную аналитически (например, формулой), обозначают, как соответствие между элементами множеств, записью где есть переменная, пробегающая область задания функции, а соответствующие значения переменной (или, что то же самое, значения выражения ) принадлежат области значений функции.

Например, равенство , где пробегает множество вещественных чисел, задает числовую функцию . Важно понимать, что само по себе равенство не является функцией. Функция, как объект, представляет собой множество упорядоченных пар. А данное равенство есть равенство двух выражений, содержащих переменные. Равенство задает функцию, но не является ею.

Если слева равенства стоит обозначение какого-нибудь выражения, содержащего переменную , то имеется равенство двух выражений, содержащих одну переменную. Если же это другое обозначение переменной , то есть равенство выражений, содержащих разные переменные.

Однако фразы функция или функция обозначают именно функцию. Более того, во многих разделах математики функцию (или ) можно обозначать как функцию , то есть также, как и аналитическое выражение, содержащее переменную . Это синтаксическое соглашение является удобным и оправданным.

Переменные и могут пробегать множества объектов любой природы. Это могут быть числа, векторы, матрицы, яблоки, цвета радуги. Поясним на примере:

Пусть имеется множество яблоко, самолет, груша, стул и множество человек, паровоз, квадрат. Зададим функцию , как множество упорядоченных пар: (яблоко, человек), (самолет, паровоз), (груша, квадрат), (стул, человек).

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

Графический способ[править | править вики-текст]

Числовые функции можно также задавать с помощью графика. Пусть — вещественная функция n переменных.

Рассмотрим некоторое (n+1)-мерное линейное пространство над полем вещественных чисел (так как функция вещественная). Выберем в этом пространстве любой базис (). Каждой точке функции сопоставим вектор: . Таким образом, мы будем иметь множество векторов линейного пространства, соответствующих точкам данной функции по указанному правилу. Точки соответствующего аффинного пространства будут образовывать некоторую поверхность.

Если в качестве линейного пространства взять евклидово пространство свободных геометрических векторов (направленных отрезков), а число аргументов функции не превосходит 2, указанное множество точек можно изобразить наглядно в виде чертежа (графика). Если сверх того исходный базис взять ортонормированным, получим «школьное» определение графика функции.

Для функций трёх и более аргументов такое представление не применимо ввиду отсутствия у человека геометрической интуиции многомерных пространств.

Однако, и для таких функций можно придумать наглядное полугеометрическое представление (например каждому значению четвёртой координаты точки сопоставить некоторый цвет на графике).

Связанные определения[править | править вики-текст]

Сужение и продолжение функции[править | править вики-текст]

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

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

Сужение функции на множество обозначается как .

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

Образ и прообраз (при отображении)[править | править вики-текст]

Элемент , который сопоставлен элементу , называется образом элемента (точки) (при отображении ).

Если взять целиком подмножество области задания функции , то можно рассмотреть совокупность образов всех элементов множества , а именно подмножество области значений (функции ) вида

,

которое, называется образом множества при отображении . Это множество иногда обозначается как или .

Наоборот, взяв некоторое подмножество области значений функции , можно рассмотреть совокупность тех элементов области задания функции , чьи образы попадают в множество , а именно — множество вида

,

которое называется (полным) прообразом множества (при отображении ).

В том частном случае, когда множество состоит из одного элемента, скажем, , множество имеет более простое обозначение .

Тождественное отображение[править | править вики-текст]

Отображения, у которых совпадают область задания и область значений, называются отображениями заданного множества в себя или преобразованиями.

В частности, преобразование , которое сопоставляет каждой точке множества её саму или, что то же самое,

для каждого , называется тождественным.

Это отображение имеет специальное обозначение: или, проще, (если из контекста понятно, какое множество имеется в виду). Такое обозначение обязано своим происхождением англ. слову identity («идентичность, тождественность»).

Другое обозначение тождественного преобразования — . Такое отображение является унарной операцией, заданной на множестве . Поэтому, нередко, тождественное преобразование называют единичным.

Композиция отображений[править | править вики-текст]

Пусть и — два отображения, таких, что область значений первого отображения является подмножеством области задания второго отображения. Тогда для всякого однозначно определяется элемент такой, что , но для этого самого однозначно определяется элемент такой, что . То есть, для всякого однозначно определяется элемент такой, что . Другими словами, задано отображение такое, что

для всякого .

Это отображение называется композицией отображений и и обозначается символом (именно в таком порядке!).

Обратное отображение[править | править вики-текст]

Если отображение является взаимно однозначным или биективным (см. ниже), то существует отображение , у которого

  • область задания (множество ) совпадает с областью значений отображения  ;
  • область значений (множество ) совпадает с областью задания отображения ;
  • тогда и только тогда, когда .

Отображение называется обратным по отношению к отображению .

Отображение, у которого существует обратное, называется обратимым.

В терминах композиции отображений, свойство обратимости заключается в одновременном выполнении двух условий: и .

Свойства[править | править вики-текст]

Свойства образов и прообразов[править | править вики-текст]

Свойства образов[править | править вики-текст]

Пусть и — подмножества области задания функции . Тогда образы множеств и , при отображении , обладают следующими свойствами:

  • ;
  • ;
  • .
  • образ объединения множеств равен объединению образов: ;
  • образ пересечения множеств является подмножеством пересечения образов .

Последние два свойства допускают обобщение на любое количество множеств.

Свойства прообразов[править | править вики-текст]

Положим, и — подмножества множества .

Прообразы множеств и , при отображении , обладает следующими двумя очевидными свойствами:

  • прообраз объединения равен объединению прообразов: ;
  • прообраз пересечения равен пересечению прообразов .

Данные свойства допускают обобщение на любое количество множеств.

Если отображение обратимо (см. ниже), прообраз каждой точки области значений одноточечный, поэтому для обратимых отображений выполняется следующее усиленное свойство для пересечений:

  • образ пересечения равен пересечению образов: .

Поведение функций[править | править вики-текст]

Сюръективность[править | править вики-текст]

Функция называется сюръективной (или, коротко, сюръекция), если каждому элементу множества может быть сопоставлен хотя бы один элемент множества . То есть, функция сюръективна, если образ множества при отображении совпадает с множеством : .

Такое отображение называется ещё отображением множества на множество .

Другими словами, при сюръекции не бывает так, чтобы какой-то элемент не имел прообраза.

Если условие сюръективности нарушается, то такое отображение называют отображением множества в множество .

Инъективность[править | править вики-текст]

Функция называется инъективной (или, коротко, инъекция), если любым двум разным элементам из множества сопоставляются разные элементы из множества . Более формально, функция инъективна, если для любых двух элементов таких, что , следует, что .

Другими словами, при инъекции не бывает так, чтобы два или больше разных элементов из множества отображались в один и тот же элемент из .

Биективность[править | править вики-текст]

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

Возрастание и убывание[править | править вики-текст]

Пусть дана функция Тогда

  • функция называется неубывающей на , если
  • функция называется возраста́ющей на , если
  • функция называется невозраста́ющей на , если
  • функция называется убыва́ющей на , если

Невозрастающие и неубывающие функции называются монотонными.

Возрастающие и убывающие функции называются строго монотонными.

Периодичность[править | править вики-текст]

Функция называется периодической с пери́одом , если выполняется равенство

.

Если это равенство не выполнено ни для какого , то функция называется апериоди́ческой.

Чётность[править | править вики-текст]

  • Функция называется нечётной, если справедливо равенство
  • Функция называется чётной, если справедливо равенство

Экстремумы функции[править | править вики-текст]

Пусть задана функция и — внутренняя точка области задания Тогда

  • называется точкой локального максимума, если существует окрестность точки такая, что
  • называется точкой локального минимума, если существует окрестность точки такая, что

Свойства множеств и функций[править | править вики-текст]

В зависимости от того, какова природа области задания и области значений, различают следующие случаи областей:

  1. абстрактные множества — множества без какой-либо дополнительной структуры;
  2. множества, которые наделены некоторой структурой.

В случае 1 рассматриваются отображения в самом общем виде и решаются наиболее общие вопросы. Таким общим вопросом, например, является вопрос о сравнении множеств по мощности: если между двумя множествами существует взаимно однозначное отображение (биекция), то два данных множества называют эквивалентными или равномощными. Это позволяет провести классификацию множеств в виде единой шкалы, начальный фрагмент выглядит следующим образом:

В соответствии с этим, имеет смысл рассматривать следующие примеры отображений:

  • конечные функции — отображения конечных множеств;
  • последовательности — отображение счётного множества в произвольное множество;
  • континуальные функции — отображения несчётных множеств в конечные, счётные или несчётные множества.

В случае 2, основной объект рассмотрения — заданная на множестве структура (дополнительные свойства элементов множества) и то, что происходит с этой структурой при отображении: если при взаимно однозначном отображении сохраняются свойства заданной структуры, то говорят, что между двумя структурами установлен изоморфизм. Таким образом, изоморфные структуры, заданные в различных множествах, невозможно различить, поэтому в математике принято говорить, что данная структура рассматривается «с точностью до изоморфизма».

Существует великое разнообразие структур, которые могут быть заданы на множествах. Сюда относится:

Природа множеств определяет и свойства соответствующих функций, поскольку эти свойства формулируются в терминах структур, заданных на множествах. Например, свойство непрерывности требует задания топологической структуры.

Обобщения[править | править вики-текст]

Частично определённые функции[править | править вики-текст]

Частично определённая функция из множества в множество есть функция с областью задания .

Некоторые авторы понимают под функцией частично определённую функцию. Это имеет свои преимущества, например, возможна запись , где в этом случае .

Многозначные функции[править | править вики-текст]

В силу определения функции, заданному значению аргумента соответствует ровно одно значение функции. Несмотря на это, нередко можно услышать про так называемые многозначные функции. В действительности, это не более чем удобное обозначение функции, область значений которой сама является семейством множеств.

Пусть , где — семейство подмножеств множества . Тогда будет множеством для всякого .

Функция однозначна, если каждому значению аргумента соответствует единственное значение функции. Функция многозначна, если хотя бы одному значению аргумента соответствует два или более значений функции[6].

См. также[править | править вики-текст]

Примечания[править | править вики-текст]

  1. 1 2 3 В. А. Зорич. Глава I. Некоторые общематематические понятия и обозначения. § 3. Функция // Математический анализ. Часть I. — четвертое, исправленное. — М.: МЦНМО, 2002. — С. 13, 22, 25, 31. — 664 с. — ISBN 5-94057-056-9.
  2. 1 2 3 Г. Е. Шилов. Глава 2. Элементы теории множеств. § 2.8. Общее понятие функции. График // Математический анализ (функции одного переменного). — М.: Наука, 1969. — С. 69. — 528 с.
  3. А. Н. Колмогоров, С. В. Фомин. Глава 1. Элементы теории множеств // Элементы теории функций и функционального анализа. — 3-е изд. — М.: Наука, 1972. — С. 14—18. — 496 с.
  4. В. А. Ильин, В. А. Садовничий, Бл. Х. Сендов. Глава 3. Теория пределов // Математический анализ / Под ред. А. Н. Тихонова. — 3-е изд., перераб. и доп. — М.: Проспект, 2006. — Т. 1. — С. 105—121. — 672 с. — ISBN 5-482-00445-7.
  5. В. А. Садовничий. Теория операторов. — М.: Дрофа, 2001. — С. 241. — 381 с. — ISBN 5-71-074297-X.
  6. Г. Корн, Т. Корн. Справочник по математике. Для научных работников и инженеров. М., 1973 г. Глава 4. Функции и пределы, дифференциальное и интегральное исчисление. 4.2. Функции. 4.2-2. Функции со специальными свойствами. (а), стр.99.

Литература[править | править вики-текст]