Функција или пресликавање је правило придруживања једног елемента из скупа који се тада назива домен функције,[1] другом елементу из скупа - кодомен функције, који се још назива и контрадомен функције, скуп копија, скуп слика. Домен функције се често означава са , а кодомен са [2]
Елементи скупа називају се аргументи, независно променљиве, оригинали пресликавања, ликови, или елементи домена. Скуп назива се кодомен (контрадомен) функције, скуп копија, слика, итд. Често се домен функције f означава са , а кодомен понекад
За записивање функција обично се користе неке од следећих ознака: , или . Опсег, распон, подручје дефиниције функције, односно домен функције представља скуп вредности за које функција достиже вредности .[3]
Основна карактеристика функције је да за једну улазну вредност добија највише једна излазна вредност.
Функција је један од основних појмова математике. Појављује се у већини области математике, у зависности од тога шта представљају домен и кодомен. Функција или пресликавање је свако придруживање елемената једног скупа, елементима другог скупа при чему се сваки елемент првог скупа пресликава у тачно један елемент другог скупа.[4]
Аналитичка дефиниција
Ако две променљиве и стоје у таквој вези да се мењањем вредности једне од њих, нпр. мења и вредност друге променљиве - , онда се променљива назива функцијом променљиве .
Функција може имати више променљивих.
Дефиниције из теорије скупова
Скуп се у математици узима за основни појам. Декартов производ скупова је скуп уређених парова. Уређени пар елемената чине било каква два елемента за које је важан поредак. Релација је непразан подскуп Декартовог производа скупова, а функција је једна врста релације.
Дефиниција 1
Нека су и непразни скупови. Тада се бинарна релација зове функција или пресликавање из у , ако важи:
односно ако за сваки елемент из скупа , постоји тачно један елемент из скупа тако да је елемент из слика елемента из .
Дефиниција 2 (еквивалентна претходној)
бинарна релација из у је функција ако је
тј. ако су оригинали једнаки, и слике морају бити једнаке.
Функција или пресликавање у тополошком смислу је правило придруживања једног елемента из тополошког простора који се тада назива домен функције, другом елементу из тополошког простора - кодомен функције.
Изоморфизам је бијективни хомоморфизам. Два објекта су изоморфна ако постоји изоморфизам између њих. Изоморфни објекти су потпуно неразазнатљиви што се тиче структуре која је у питању.
Непрекидна функција из једног тополошког простора у други је функција чија је инверзна слика било ког отвореног скупа отворена. Непрекидна пресликавања су морфизмитополошког простора. Интуитивно, непрекидна функција је она функција, која за довољно мале промене вредности аргумента има произвољно мале промене вредности функције.
Односно, функција је сурјекција ако и само ако су сви елементи кодомена нечије слике. Сурјекција по дефиницији дозвољава „дупле копије“, тј. да се више елемената из домена пресликавају у исти елемент кодомена.
Дакле, иста копија не може бити резултат копирања различитих оригинала. Инјекција по дефиницији дозвољава да у скупу копија постоје елементи који уопште нису резултат пресликавања.
Бијективно пресликавање
Дефиниција
Функција која је сурјекција и инјекција зове се бијекција.
Бијекцију називамо и обострано једнозначно пресликавање.
Како у математичкој анализи, тако и у још појединим областима математике, а можда и у целој математици, функција која се можда и најчешће користи је тзв. функција реалне променљиве.
Под функцијом реалне променљиве, мисли се на функцију где је и Другим речима, функција реалне променљиве је свака функција чији је домен подскуп скупа реалних бројева или цео скуп , а кодомен јој је .
Следећа табела садржи неколико посебно важних типова функција реалне вредности:
Више информација Линеарна функција, Квадратна функција ...
Функцију дефинисану на симетричном скупу називамо парном, ако за је свако . Свака парна функција је симетрична у односу на y осу.
Функцију дефинисану на симетричном скупу називамо непарном, ако за је свако .
Свака непарна функција је симетрична у односу на координатни почетак.
Већина функција није ни парна, ни непарна, али се свака функција дефинисана на симетричном подскупу може представити као збир парне и непарне функције.
Монотоност функције означава својство оних функција које задовољавају било који од следећих услова:
растућа функција
строго растућа функција
опадајућа функција
строго опадајућа функција
За функцију која задовољава ово својство (тј. било које од четири наведена својства) кажемо да је монотона на кодомену. Специјално, за функцију која задовољава друго или четврто својство од четири наведена, кажемо да је строго монотона на кодомену.
Ако је функција од X до Y, тада је инверзна функција за , означена са , функција у супротном смеру, од Y до X, са особином да композиција враћа сваки елемент у самог себе. Свака функција не поседује своју инверзну функцију; оне које је имају називају се инверзибилним.
Као пример, ако је конвертује температуру из Целзијуса у Фаренхајте, функција која конвертује степене Фаренхајта у степене Целзијуса би била одговарајућа функција .
Испитивање тока функције се састоји од одређивања низа својстава.
Подручје дефиниције
За одређивање подручја дефиниције функције потребно је познавати елементарне функције
Парност
Парност функције проверава се помоћу дефиниције:
Функција је парна ако је за сваки , а непарна ако је ) за сваки . Код парне и непарне функције подручје дефиниције мора бити симетрично у односу на координатни почетак .
Primer
је парна за паран, а непарна за непаран, па је:
.
Функција је парна: ако је , тада је па вреди
За je па вреди
Периодичност
Периодичност функције проверава се помоћу дефиниције
Функција је периодична ако постоји број такав да за сваки вреди
Тада мора вредети . Најмањи такав позитивни број основни период или период функције .
Елементарна функција не може бити периодична ако не садржи неку од тригонометријских функција.
Нула функције
Нула функције одређују се решавањем једначине
Асимптоте функције
Асимптоте могу бити вертикалне, хоризонталне и косе. Одређују се налажењем лимеса и Лопиталовим правилом, ако је потребно.
Асимптота функције је права са особином да удаљеност између тачке на графику функције и те праве тежи ка нули ) када тачка на графику одмиче у бесконачност.
Права је вертикална асимптота функције у тачки
с леве стране ако је или
.
Права је вертикална асимптота функције у тачки с десне стране ако је
или
.
Вертикалне асимптоте се могу налазити у тачкама прекида функције или у отвореним рубовима подручја дефиниције.
Пример
Права је вертикална асимптота функције с обе стране.
Права је вертикална асимптота функције , i с десне стране. У овом случају вертикална асимптота се налази у рубу подручја дефиниције.
Права је хоризонтална асимптота функције на левој страни ако је .
Права је хоризонтална асимптота функције на десној страни ако је .
Пример
Права је хоризонтална асимптота функције на обе стране, као и хоризонтална асимптота функција и на левој страни.
Ако је
при чему је
тада је права коса асимптота функције са леве стране.
Косу асимптоту функције са десне стране дефинишемо аналогно.
Удаљеност од тачке на кривој до асимптоте је . Према дефиницији асимптоте када . Kako je константа, закључујемо да
.
Задњи услов, који је еквивалентан са
је нужан и довољан услов за постојање косе асимптоте.
Горња једнакост је еквивалентна са
.
па је
.
При томе треба водити рачуна о следећем:
тражење хоризонталних и косих асимптота лимеса када
асимптоте је најбоље тражити у описаном редоследу, увек треба рачунати посебно
треба обратити пажњу на случајеве парних корена када ,
Пример
.
Екстреми функције
Код одређивања екстрема функције потребно је проверити нужне и довољне услове екстрема.
Провера нужних услова врши се по теорему
Нека је функција непрекидна у тачки . Ако функција има локални екстрем у тачки , тада је критична тачка функције .
Потребно је наћи стационарне и критичне тачке по дефиницији
Нека је функција непрекидна у тачки . Тачка је стационарна тачка функције ако је . Тачка је критична тачка функције , ако је стационарна тачка или ако није диференцијабилна у тачки .
Потребно је одредити подручје дефиниције првог извода и решити једначину .
Провера довољних услова може се вршити на три начина:
помоћу промене предзнака првог извода на основу теореме: Ако први извод мења предзнак у критичној тачки , тада функција има локални екстрем у тачки . При томе вреди следеће: ако мења предзнак са на , тада је локални минимум, а ако мења предзнак са на , тада је локални максимум.
помоћу другог извода на основу теореме: Нека је у стационарној тачки функција два пута диференцијабилна. Ако је , тада функција има локални екстрем у тачки . При томе вреди сљедеће: ако је , тада је локални минимум, а ако је , тада је локални максимум.
помоћу виших извода на основу теореме: Нека функција има у некој - околини тачке c непрекидног извода до укључиво реда , при чему је . Нека је Ако је neparan, тада функција има инфлексију у тачки . Ако је паран и ако је уз то још и , тада функција има локални екстрем у тачки и то минимум за и максимум за .
Интервали монотоности
Након налажења првог извода функције интервали монотоности се одређују по предзнаку од на основу теореме: Нека је функција диференцијабилна на интервалу . Тада вреди
функција је растућа на интервалу ако и само ако је за сваки
Функција је опадајућа на интервалу ако и само ако је за сваки
Ако је за сваки , тада је функција строго растућа на интервалу
Ако је за сваки , тада је функција строго опадајућа на интервалу .
Конкавност и конвексност функције
Потребно је одредити други извод , а затим интервале конвексности и конкавности помоћу теореме
Нека је функција два пута диференцијабилна на интервалу . Ако је за сваки , тада је функција строго конвексна на интервалу . Ако је за сваки , тада је функција строго конкавна на интервалу .
Тачке инфлексије
Потребно је наћи тачке у којима други извод мења предзнак, односно тачке које испуњавају довољне услове инфлексије по теореми
Нека је функција два пута диференцијабилна на некој околини тачке , осим можда у тачки . Ако мења предзнак у тачки , тада функција има инфлексију у тачки .
За провјеру довољних услова инфлексије можемо користити и више изводе на основу теореме
Нека функција има у некој околини тачке непрекидне изводе до укључиво реда , при чему је . Нека је
Ако је непаран, тада функција iма инфлексију у тачки . Ако је паран и ако је уз то још и , тада функција има локални екстрем у тачки и то минимум за и максимум за .
У том случају потребно је прво наћи тачке у којима је други извод једнак нули, односно тачке које задовољавају нужан услов инфлексије по теореми
Ако функција има инфлексију у тачки и ако постоји, тада је .
Граф функције
График функције се црта на основу добијених информација.[7]
Постоји много посебних класа функција које су важне за појединачне гране математике, или за појединачне примене.
Ово је делимичан списак таквих функција:
бијекција, инјекција и сурјекција, или појединачно:
Dubinsky, Ed; Harel, Guershon (1992). The Concept of Function: Aspects of Epistemology and Pedagogy. Mathematical Association of America. ISBN0-88385-081-8.
Hammack, Richard (2009). „12. Functions”(PDF). Book of Proof. Virginia Commonwealth University. Приступљено 01. 08. 2012.
Husch, Lawrence S. (2001). Visual Calculus. University of Tennessee. Архивирано из оригинала 24. 09. 2011. г. Приступљено 27. 09. 2007.
Katz, Robert (1964). Axiomatic Analysis. D. C. Heath and Company.
Kleiner, Israel (1989). Evolution of the Function Concept: A Brief Survey. The College Mathematics Journal. 20. Mathematical Association of America. стр.282—300. JSTOR2686848. doi:10.2307/2686848.
Malik, M. A. (1980). Historical and pedagogical aspects of the definition of function. International Journal of Mathematical Education in Science and Technology. 11. стр.489—492. doi:10.1080/0020739800110404.
Reichenbach, Hans (1947). Elements of Symbolic Logic. ISBN978-0-486-24004-6., Dover Publishing Inc., New York NY, .
Ruthing, D. (1984). Some definitions of the concept of function from Bernoulli, Joh. to Bourbaki, N. Mathematical Intelligencer. 6. стр.72—77.
Thomas, George B.; Finney, Ross L. (1995). Calculus and Analytic Geometry (9th изд.). Addison-Wesley. ISBN978-0-201-53174-9.