Функция
от Уикипедия, свободната енциклопедия
В математиката под функция се разбира съпоставяне на елементи от дадено множество на елементи от друго множество (не непременно различно от първото) така, че на всеки елемент от първото множество да е съпоставен точно един елемент от второто множество. Функциите са обект на изследване в много дялове на математиката и служат при дефинирането на други математически обекти. В зависимост от важните за конкретното приложение свойства и необходимата точност дадена функция може да бъде посочена чрез формула, чрез графика, чрез алгоритъм, чрез описание на свойствата ѝ или чрез описание на връзката ѝ с други функции. Строга дефиниция на понятието функция може да бъде формулирано в теорията на множествата с помощта на наредени двойки и релации.
Съдържание |
[редактиране] Терминология, означения и примери
Функциите се срещат във всички области на математиката и природните науки, но различните области имат различни означения, различна представа за свойствата на функциите и дори различна дефиниция. Теорията на множествата разглежда функциите в най-голяма общност. Единственото свойство, което се изисква от една функция, е да съпоставя единствена стойност на всеки свой допустим аргумент. Не се изисква аргументът или стойността да са числа, например функцията, която съпоставя на всяка държава нейната столица, не задава зависимост между числови множества. В алгебрата функциите обикновено се изразяват с помощта на алгебрични операции. Функциите, изследвани в анализа, обикновено притежават допълнителни свойства като непрекъснатост или диференцируемост. Пример за такава функция е функцията синус. Обикновено изучаваните там функции не могат да се изразят с една единствена формула. В комплексния анализ се разглеждат аналитични функции, които могат да се изразят чрез развитие в степенен ред. В комплексния анализ се разглеждат и специален клас многозначни функции, които могат да съпоставят повече от една стойност на даден аргумент. Въпреки че формално погледнато те не са функции, те имат много близки свойства до свойствата на аналитичните функции. За разлика от теорията на множествата в ламбда-смятането функциите са примитивен обект и не се дефинират посредством множества. В повечето области на математиката термините карта, изображение, трансформация и оператор се използват като синоними на функция. В някои случаи обаче те могат да имат по-специално значение. Например под трансформация често се разбира функция, за която множеството на аргументите и множеството на стойностите съвпадат. В теорията на категориите се използва понятието морфизъм, което е обобщение на някои видове функции.
Функциите обикновено се означават със символи от латинската или гръцката азбука. Стойността, която функцията f приема при аргумент x, се означава с f(x). Множеството от допустими стойности на аргумента се нарича дефиниционна област на функцията.
[редактиране] Формална дефиниция
Една приблизителна дефиниция на понятието функция е следната: Нека A и B са множества. Функция от A в B е правило, което съпоставя на всеки елемент от A точно един елемент от B. Тази интуитивна представа за функциите се използва от древни времена и все още се среща на места, където строга дефиниция не е необходима, например в училищните учебници по математика. Проблемът при нея е, че зависи от неясното понятие правило.
Поради това в теорията на множествата се използва следната дефиниция: Частична функция f от множество A в множество B се нарича всяко подмножество Gf на декартовото произведение
такова, че за всяко
съществува най-много едно
за което
. Ако за всяко x съществува точно едно такова y, то f се нарича тотална функция. Под функция обикновено се разбира тотална функция. Множеството Gf се нарича графика на функцията.
[редактиране] История на понятието
Обекти, които според съвременните разбирания се считат за функции, са били разглеждани още в дълбока древност. В древен Вавилон например са открити таблици на квадратите и кубовете на естествените числа. Птолемей е изчислявал дължини на хорди в окръжност, което по същество означава, че е използвал тригонометрични функции. Идеята за понятието обаче започва да се оформя през 14 век. Самото понятие функция се използва за първи път от Готфрид Лайбниц около 1670 г. Функциите, които той е разглеждал, днес се наричат диференцируеми функции и са най-често срещаният вид функции от нематематици. За тях имат смисъл понятията граница и производна.
По-късно през 1755 г.Леонард Ойлер дава в книгата си Institutiones calculi differentialis съвременното разбиране за функция, а именно зависимост между две величини, при което промяната на едната величина (аргументът на функцията) води до промяната на другата (стойността на функцията). Въпреки това определение обаче Ойлер разглежда само непрекъснати функции, които могат да се изразят с формула, състояща се от крайно или безкрайно много алгебрични операции. Фурие започва да раглежда и някои прекъснати функции, но той смята, че всяка функция може да се изрази чрез ред на Фурие. Дирихле за пръв път разглежда числовите функции в пълната им общност. Той дава съвременната дефиниция на непрекъсната функция и дава пример за навсякъде прекъсната функция. Също така изяснява разликата между функцията и нейното представяне чрез формули.
[редактиране] Литература
- И. П. Натансон: Функция в Большая Советская Энциклопедия (БСЭ)
- Israel Kleiner: Evolution of the Function Concept: A Brief Survey, The College Mathematics Journal (1989)
- J. J. O'Connor и E. F. Robertson: The function concept (2005)
[редактиране] Външни препратки
| Тази страница частично или изцяло представлява превод на страницата „Function_(mathematics)“ в Уикипедия на английски. Оригиналният текст, както и този превод, са защитени от Лиценза за свободна документация на ГНУ. Прегледайте историята на редакциите на оригиналната страница, както и на преводната страница, за да видите списъка на съавторите. |