Функција (математика)
Функција или пресликавање је правило придруживања једног елемента из скупа који се тада назива домен функције,[1] другом елементу из скупа - кодомен функције, који се још назива и контрадомен функције, скуп копија, скуп слика. Домен функције се често означава са , а кодомен са [2]
Елементи скупа називају се аргументи, независно променљиве, оригинали пресликавања, ликови, или елементи домена. Скуп назива се кодомен (контрадомен) функције, скуп копија, слика, итд. Често се домен функције f означава са , а кодомен понекад
За записивање функција обично се користе неке од следећих ознака: , или . Опсег, распон, подручје дефиниције функције, односно домен функције представља скуп вредности за које функција достиже вредности .[3]
Основна карактеристика функције је да за једну улазну вредност добија највише једна излазна вредност.
Дефиниција
уредиФункција је један од основних појмова математике. Појављује се у већини области математике, у зависности од тога шта представљају домен и кодомен. Функција или пресликавање је свако придруживање елемената једног скупа, елементима другог скупа при чему се сваки елемент првог скупа пресликава у тачно један елемент другог скупа.[4]
Аналитичка дефиниција
уредиАко две променљиве и стоје у таквој вези да се мењањем вредности једне од њих, нпр. мења и вредност друге променљиве - , онда се променљива назива функцијом променљиве .
Функција може имати више променљивих.
Дефиниције из теорије скупова
уредиСкуп се у математици узима за основни појам. Декартов производ скупова је скуп уређених парова. Уређени пар елемената чине било каква два елемента за које је важан поредак. Релација је непразан подскуп Декартовог производа скупова, а функција је једна врста релације.
- Дефиниција 1
- Нека су и непразни скупови. Тада се бинарна релација зове функција или пресликавање из у , ако важи:
односно ако за сваки елемент из скупа , постоји тачно један елемент из скупа тако да је елемент из слика елемента из .
- Дефиниција 2 (еквивалентна претходној)
- бинарна релација из у је функција ако је
тј. ако су оригинали једнаки, и слике морају бити једнаке.
Функција у топологији
уредиФункција или пресликавање у тополошком смислу је правило придруживања једног елемента из тополошког простора који се тада назива домен функције, другом елементу из тополошког простора - кодомен функције.
Хомоморфизам је пресликавање између две алгебарске структуре истог типа, које чува њихову форму.
Врсте хомоморфизама:
- Изоморфизам је бијективни хомоморфизам. Два објекта су изоморфна ако постоји изоморфизам између њих. Изоморфни објекти су потпуно неразазнатљиви што се тиче структуре која је у питању.
- Епиморфизам је сурјективни хомоморфизам.
- Мономорфизам је инјективни хомоморфизам.
- Ендоморфизам је хомоморфизам са неког објекта на самог себе се зове .
- Аутоморфизам је ендоморфизам који је и изоморфизам.
- Хомеоморфизам је непрекидни изоморфизам (непрекидни бијективни хомоморфизам) чији је и инверз непрекидна функција.
Непрекидност
уредиНепрекидна функција из једног тополошког простора у други је функција чија је инверзна слика било ког отвореног скупа отворена. Непрекидна пресликавања су морфизми тополошког простора. Интуитивно, непрекидна функција је она функција, која за довољно мале промене вредности аргумента има произвољно мале промене вредности функције.
Врсте пресликавања
уредиСурјективно пресликавање
уреди- Дефиниција
- Функција зове се сурјекција, или "на"-пресликавање, ако је
што се може записати и као:
Односно, функција је сурјекција ако и само ако су сви елементи кодомена нечије слике. Сурјекција по дефиницији дозвољава „дупле копије“, тј. да се више елемената из домена пресликавају у исти елемент кодомена.
Инјективно пресликавање
уреди- Дефиниција
- Функција зове се инјекција, или "1-1"-пресликавање, ако важи:
Дакле, иста копија не може бити резултат копирања различитих оригинала. Инјекција по дефиницији дозвољава да у скупу копија постоје елементи који уопште нису резултат пресликавања.
Бијективно пресликавање
уреди- Дефиниција
- Функција која је сурјекција и инјекција зове се бијекција.
Бијекцију називамо и обострано једнозначно пресликавање.
Функција реалне променљиве
уредиКако у математичкој анализи, тако и у још појединим областима математике, а можда и у целој математици, функција која се можда и најчешће користи је тзв. функција реалне променљиве.
Под функцијом реалне променљиве, мисли се на функцију где је и Другим речима, функција реалне променљиве је свака функција чији је домен подскуп скупа реалних бројева или цео скуп , а кодомен јој је .
Следећа табела садржи неколико посебно важних типова функција реалне вредности:
Линеарна функција | Квадратна функција |
---|---|
f(x) = ax + b. | f(x) = ax2 + bx + c. |
Дисконтинуирана функција | Тригонометријске функције |
Грубо речено, непрекидна функција је она чији график се може нацртати без подизања оловке. | f(x) = sin(x) (црвено), f(x) = cos(x) (плаво) |
Парност функције
уреди- Дефиниција
- За скуп кажемо да је симетричан, ако за свако и .
Функцију дефинисану на симетричном скупу називамо парном, ако за је свако . Свака парна функција је симетрична у односу на y осу.
Функцију дефинисану на симетричном скупу називамо непарном, ако за је свако . Свака непарна функција је симетрична у односу на координатни почетак.
Већина функција није ни парна, ни непарна, али се свака функција дефинисана на симетричном подскупу може представити као збир парне и непарне функције.
Периодичност функције
уреди- Дефиниција
- За функцију реалне променљиве кажемо да је периодична са периодом , ако постоји такво да важи:
Најмањи такав број (ако постоји), назива се основним периодом функције .
Интересантна периодична функција је, рецимо: Дирихлеова функција дефинисана као:
која је периодична, али нема најмањи период.
Монотоност функције
уреди- Дефиниција
- Монотоност функције означава својство оних функција које задовољавају било који од следећих услова:
- растућа функција
- строго растућа функција
- опадајућа функција
- строго опадајућа функција
За функцију која задовољава ово својство (тј. било које од четири наведена својства) кажемо да је монотона на кодомену. Специјално, за функцију која задовољава друго или четврто својство од четири наведена, кажемо да је строго монотона на кодомену.
Инверзна функција
уредиАко је ƒ функција од X до Y, тада је инверзна функција за ƒ, означена са ƒ−1, функција у супротном смеру, од Y до X, са особином да композиција враћа сваки елемент у самог себе. Свака функција не поседује своју инверзну функцију; оне које је имају називају се инверзибилним.
Као пример, ако је ƒ конвертује температуру из Целзијуса у Фаренхајте, функција која конвертује степене Фаренхајта у степене Целзијуса би била одговарајућа функција ƒ−1.
Испитивање тока функције
уредиИспитивање тока функције се састоји од одређивања низа својстава.
Подручје дефиниције
уредиЗа одређивање подручја дефиниције функције потребно је познавати елементарне функције
Парност
уредиПарност функције проверава се помоћу дефиниције:
Функција је парна ако је за сваки , а непарна ако је ) за сваки . Код парне и непарне функције подручје дефиниције мора бити симетрично у односу на координатни почетак .
- Primer
је парна за паран, а непарна за непаран, па је:
.
Функција је парна: ако је , тада је па вреди
За je па вреди
Периодичност
уредиПериодичност функције проверава се помоћу дефиниције
- Функција је периодична ако постоји број такав да за сваки вреди
Тада мора вредети . Најмањи такав позитивни број основни период или период функције .
Примери периодичних функција су тригонометријске функције.
Елементарна функција не може бити периодична ако не садржи неку од тригонометријских функција.
Нула функције
уредиНула функције одређују се решавањем једначине
Асимптоте функције
уредиАсимптоте могу бити вертикалне, хоризонталне и косе. Одређују се налажењем лимеса и Лопиталовим правилом, ако је потребно.
Асимптота функције је права са особином да удаљеност између тачке на графику функције и те праве тежи ка нули ) када тачка на графику одмиче у бесконачност.
Права је вертикална асимптота функције у тачки с леве стране ако је или .
Права је вертикална асимптота функције у тачки с десне стране ако је
или
.
Вертикалне асимптоте се могу налазити у тачкама прекида функције или у отвореним рубовима подручја дефиниције.
- Пример
Права је вертикална асимптота функције с обе стране.
Права је вертикална асимптота функције , i с десне стране. У овом случају вертикална асимптота се налази у рубу подручја дефиниције.
Права је хоризонтална асимптота функције на левој страни ако је . Права је хоризонтална асимптота функције на десној страни ако је .
- Пример
Права је хоризонтална асимптота функције на обе стране, као и хоризонтална асимптота функција и на левој страни.
Ако је
при чему је
тада је права коса асимптота функције са леве стране.
Косу асимптоту функције са десне стране дефинишемо аналогно.
Удаљеност од тачке на кривој до асимптоте је . Према дефиницији асимптоте када . Kako je константа, закључујемо да .
Задњи услов, који је еквивалентан са
је нужан и довољан услов за постојање косе асимптоте.
Горња једнакост је еквивалентна са
.
па је
.
При томе треба водити рачуна о следећем:
- тражење хоризонталних и косих асимптота лимеса када
- асимптоте је најбоље тражити у описаном редоследу, увек треба рачунати посебно
- треба обратити пажњу на случајеве парних корена када ,
- Пример
.
Екстреми функције
уредиКод одређивања екстрема функције потребно је проверити нужне и довољне услове екстрема.
Провера нужних услова врши се по теорему
Нека је функција непрекидна у тачки . Ако функција има локални екстрем у тачки , тада је критична тачка функције .
Потребно је наћи стационарне и критичне тачке по дефиницији
Нека је функција непрекидна у тачки . Тачка је стационарна тачка функције ако је . Тачка је критична тачка функције , ако је стационарна тачка или ако није диференцијабилна у тачки .
Потребно је одредити подручје дефиниције првог извода и решити једначину .
Провера довољних услова може се вршити на три начина:
- помоћу промене предзнака првог извода на основу теореме: Ако први извод мења предзнак у критичној тачки , тада функција има локални екстрем у тачки . При томе вреди следеће: ако мења предзнак са на , тада је локални минимум, а ако мења предзнак са на , тада је локални максимум.
- помоћу другог извода на основу теореме: Нека је у стационарној тачки функција два пута диференцијабилна. Ако је , тада функција има локални екстрем у тачки . При томе вреди сљедеће: ако је , тада је локални минимум, а ако је , тада је локални максимум.
- помоћу виших извода на основу теореме: Нека функција има у некој - околини тачке c непрекидног извода до укључиво реда , при чему је . Нека је Ако је neparan, тада функција има инфлексију у тачки . Ако је паран и ако је уз то још и , тада функција има локални екстрем у тачки и то минимум за и максимум за .
Интервали монотоности
уредиНакон налажења првог извода функције интервали монотоности се одређују по предзнаку од на основу теореме: Нека је функција диференцијабилна на интервалу . Тада вреди
- функција је растућа на интервалу ако и само ако је за сваки
- Функција је опадајућа на интервалу ако и само ако је за сваки
- Ако је за сваки , тада је функција строго растућа на интервалу
- Ако је за сваки , тада је функција строго опадајућа на интервалу .
Конкавност и конвексност функције
уредиПотребно је одредити други извод , а затим интервале конвексности и конкавности помоћу теореме
- Нека је функција два пута диференцијабилна на интервалу . Ако је за сваки , тада је функција строго конвексна на интервалу . Ако је за сваки , тада је функција строго конкавна на интервалу .
Тачке инфлексије
уредиПотребно је наћи тачке у којима други извод мења предзнак, односно тачке које испуњавају довољне услове инфлексије по теореми
- Нека је функција два пута диференцијабилна на некој околини тачке , осим можда у тачки . Ако мења предзнак у тачки , тада функција има инфлексију у тачки .
За провјеру довољних услова инфлексије можемо користити и више изводе на основу теореме
- Нека функција има у некој околини тачке непрекидне изводе до укључиво реда , при чему је . Нека је
Ако је непаран, тада функција iма инфлексију у тачки . Ако је паран и ако је уз то још и , тада функција има локални екстрем у тачки и то минимум за и максимум за .
У том случају потребно је прво наћи тачке у којима је други извод једнак нули, односно тачке које задовољавају нужан услов инфлексије по теореми
- Ако функција има инфлексију у тачки и ако постоји, тада је .
Граф функције
уредиГрафик функције се црта на основу добијених информација.[7]
Остале особине
уредиПостоји много посебних класа функција које су важне за појединачне гране математике, или за појединачне примене.
Ово је делимичан списак таквих функција:
- бијекција, инјекција и сурјекција, или појединачно:
- непрекидна
- диференцијабилна функција, интеграбилна
- линеарна, полиноми, рационална
- алгебарска, трансцендентална
- тригонометријска
- фрактал
- парна или непарна
- конвексна, монотона, једномодална
- холоморфска, мероморфска, цела
- векторска
- израчунљиве
- функција целог дела
- функција реалне променљиве
Види још
уреди- Функција (топологија)
- Бијекција
- Инјекција
- Сурјекција
- Линеарна функција
- Непрекидна функција
- Елементарне функције
- Експоненцијална функција
- Логаритамска функција
- Степена функција
- Тригонометријске функције
- Инверзна функција
- Хиперболичке функције
- Функција реалне променљиве
- Парност функције
- Периодичност функције
- Монотоност функције
Референце
уреди- ^ Halmos 1970, стр. 30.
- ^ MacLane, Saunders; Birkhoff, Garrett (1967). Algebra (First изд.). New York: Macmillan. стр. 1–13.
- ^ Hamilton, A. G. Numbers, sets, and axioms: the apparatus of mathematics. Cambridge University Press. стр. 83. ISBN 0-521-24509-5.
- ^ Halmos, Paul R. (1958). Finite-Dimensional Vector Spaces (PDF). New York: Van Nostrand Company. стр. 21—25. ISBN 0-387-90093-4.
- ^ Apostol, Tom (1967). Calculus vol 1. John Wiley. стр. 53. ISBN 0-471-00005-1.
- ^ Heins, Maurice (1968). Complex function theory. Academic Press. стр. 4.
- ^ Hartley Rogers, Jr (1987). Theory of Recursive Functions and Effective Computation. MIT Press. стр. 1–2. ISBN 0-262-68052-1.
Литература
уреди- Душан Аднађевић, Зоран Каделбург: Математичка анализа 1, Студентски трг, Београд, 1995.
- Bartle, Robert (1967). The Elements of Real Analysis. John Wiley & Sons.
- Bloch, Ethan D. (2011). Proofs and Fundamentals: A First Course in Abstract Mathematics. Springer. ISBN 978-1-4419-7126-5.
- Halmos, Paul R. (1970). Naive Set Theory. Springer-Verlag. ISBN 0-387-90092-6.
- Spivak, Michael (2008). Calculus (4th изд.). Publish or Perish. ISBN 978-0-914098-91-1.
- Anton, Howard (1980). Calculus with Analytical Geometry. Wiley. ISBN 978-0-471-03248-9.
- Bartle, Robert G. (1976). The Elements of Real Analysis (2nd изд.). Wiley. ISBN 978-0-471-05464-1.
- Dubinsky, Ed; Harel, Guershon (1992). The Concept of Function: Aspects of Epistemology and Pedagogy. Mathematical Association of America. ISBN 0-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. JSTOR 2686848. doi:10.2307/2686848.
- Lützen, Jesper (2003). „Between rigor and applications: Developments in the concept of function in mathematical analysis”. Ур.: Roy Porter. The Cambridge History of Science: The modern physical and mathematical sciences. Cambridge University Press. ISBN 0521571995. An approachable and diverting historical presentation.
- 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. ISBN 978-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. ISBN 978-0-201-53174-9.
Спољашње везе
уреди- списак категорија математичких функција
- Khan Academy: Functions, free online micro lectures Архивирано на сајту Wayback Machine (23. јануар 2013)
- Hazewinkel Michiel, ур. (2001). „Function”. Encyclopaedia of Mathematics. Springer. ISBN 978-1556080104.
- Weisstein, Eric W. „Function”. MathWorld.
- The Wolfram Functions Site
- Shodor: Function Flyer
- xFunctions
- Draw Function Graphs
- Functions
- Function at ProvenMath
- Comprehensive web-based function graphing & evaluation tool
- Abstractmath.org articles on functions