Пређи на садржај

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

С Википедије, слободне енциклопедије
(преусмерено са Mathematical function)
Функција која пресликава обојене облике у њихову боју.
График примера функције,

Функција или пресликавање је правило придруживања једног елемента из скупа који се тада назива домен функције,[1] другом елементу из скупа - кодомен функције, који се још назива и контрадомен функције, скуп копија, скуп слика. Домен функције се често означава са , а кодомен са [2]

Елементи скупа називају се аргументи, независно променљиве, оригинали пресликавања, ликови, или елементи домена. Скуп назива се кодомен (контрадомен) функције, скуп копија, слика, итд. Често се домен функције f означава са , а кодомен понекад

За записивање функција обично се користе неке од следећих ознака: , или . Опсег, распон, подручје дефиниције функције, односно домен функције представља скуп вредности за које функција достиже вредности .[3]

Основна карактеристика функције је да за једну улазну вредност добија највише једна излазна вредност.

Дефиниција

[уреди | уреди извор]

Функција је један од основних појмова математике. Појављује се у већини области математике, у зависности од тога шта представљају домен и кодомен. Функција или пресликавање је свако придруживање елемената једног скупа, елементима другог скупа при чему се сваки елемент првог скупа пресликава у тачно један елемент другог скупа.[4]

Аналитичка дефиниција

[уреди | уреди извор]

Ако две променљиве и стоје у таквој вези да се мењањем вредности једне од њих, нпр. мења и вредност друге променљиве - , онда се променљива назива функцијом променљиве .

Функција може имати више променљивих.

Дефиниције из теорије скупова

[уреди | уреди извор]
Функција, односно релација Скуп А је скуп првих елемената уређених парова, на графу то је полазни скуп стрелице и назива се домен. Скуп B назива се кодомен функције.[5][6]

Скуп се у математици узима за основни појам. Декартов производ скупова је скуп уређених парова. Уређени пар елемената чине било каква два елемента за које је важан поредак. Релација је непразан подскуп Декартовог производа скупова, а функција је једна врста релације.

Дефиниција 1
Нека су и непразни скупови. Тада се бинарна релација зове функција или пресликавање из у , ако важи:

односно ако за сваки елемент из скупа , постоји тачно један елемент из скупа тако да је елемент из слика елемента из .

Дефиниција 2 (еквивалентна претходној)
бинарна релација из у је функција ако је

тј. ако су оригинали једнаки, и слике морају бити једнаке.

Функција у топологији

[уреди | уреди извор]

Функција или пресликавање у тополошком смислу је правило придруживања једног елемента из тополошког простора који се тада назива домен функције, другом елементу из тополошког простора - кодомен функције.

Хомоморфизам је пресликавање између две алгебарске структуре истог типа, које чува њихову форму.

Врсте хомоморфизама:

Непрекидност

[уреди | уреди извор]

Непрекидна функција из једног тополошког простора у други је функција чија је инверзна слика било ког отвореног скупа отворена. Непрекидна пресликавања су морфизми тополошког простора. Интуитивно, непрекидна функција је она функција, која за довољно мале промене вредности аргумента има произвољно мале промене вредности функције.

Врсте пресликавања

[уреди | уреди извор]

Сурјективно пресликавање

[уреди | уреди извор]
Дефиниција
Функција зове се сурјекција, или "на"-пресликавање, ако је

што се може записати и као:

Односно, функција је сурјекција ако и само ако су сви елементи кодомена нечије слике. Сурјекција по дефиницији дозвољава „дупле копије“, тј. да се више елемената из домена пресликавају у исти елемент кодомена.

Инјективно пресликавање

[уреди | уреди извор]
Дефиниција
Функција зове се инјекција, или "1-1"-пресликавање, ако важи:

Дакле, иста копија не може бити резултат копирања различитих оригинала. Инјекција по дефиницији дозвољава да у скупу копија постоје елементи који уопште нису резултат пресликавања.

Бијективно пресликавање

[уреди | уреди извор]
Дефиниција
Функција која је сурјекција и инјекција зове се бијекција.

Бијекцију називамо и обострано једнозначно пресликавање.

Функција реалне променљиве

[уреди | уреди извор]

Како у математичкој анализи, тако и у још појединим областима математике, а можда и у целој математици, функција која се можда и најчешће користи је тзв. функција реалне променљиве.

Под функцијом реалне променљиве, мисли се на функцију где је и Другим речима, функција реалне променљиве је свака функција чији је домен подскуп скупа реалних бројева или цео скуп , а кодомен јој је .

Следећа табела садржи неколико посебно важних типова функција реалне вредности:

Линеарна функција Квадратна функција
Линеарна функција
Квадратна функција.
f(x) = ax + b. f(x) = ax2 + bx + c.
Дисконтинуирана функција Тригонометријске функције
Сигнум функција није непрекидна, пошто „скаче“ у 0.
Синусне и косинусне функције.
Грубо речено, непрекидна функција је она чији график се може нацртати без подизања оловке. f(x) = sin(x) (црвено), f(x) = cos(x) (плаво)

Парност функције

[уреди | уреди извор]
Функција је парна функција.
Функција је непарна функција.
Дефиниција
За скуп кажемо да је симетричан, ако за свако и .

Функцију дефинисану на симетричном скупу називамо парном, ако за је свако . Свака парна функција је симетрична у односу на y осу.

Функцију дефинисану на симетричном скупу називамо непарном, ако за је свако . Свака непарна функција је симетрична у односу на координатни почетак.

Већина функција није ни парна, ни непарна, али се свака функција дефинисана на симетричном подскупу може представити као збир парне и непарне функције.

Периодичност функције

[уреди | уреди извор]
Илустрација периодичне функције са периодом
Дефиниција
За функцију реалне променљиве кажемо да је периодична са периодом , ако постоји такво да важи:

Најмањи такав број (ако постоји), назива се основним периодом функције .

Интересантна периодична функција је, рецимо: Дирихлеова функција дефинисана као:

која је периодична, али нема најмањи период.

Монотоност функције

[уреди | уреди извор]
Дефиниција
Монотоност функције означава својство оних функција које задовољавају било који од следећих услова:
  • растућа функција
  • строго растућа функција
  • опадајућа функција
  • строго опадајућа функција

За функцију која задовољава ово својство (тј. било које од четири наведена својства) кажемо да је монотона на кодомену. Специјално, за функцију која задовољава друго или четврто својство од четири наведена, кажемо да је строго монотона на кодомену.

Инверзна функција

[уреди | уреди извор]

Ако је ƒ функција од X до Y, тада је инверзна функција за ƒ, означена са ƒ−1, функција у супротном смеру, од Y до X, са особином да композиција враћа сваки елемент у самог себе. Свака функција не поседује своју инверзну функцију; оне које је имају називају се инверзибилним.

Као пример, ако је ƒ конвертује температуру из Целзијуса у Фаренхајте, функција која конвертује степене Фаренхајта у степене Целзијуса би била одговарајућа функција ƒ−1.

Испитивање тока функције

[уреди | уреди извор]

Испитивање тока функције се састоји од одређивања низа својстава.

Подручје дефиниције

[уреди | уреди извор]

За одређивање подручја дефиниције функције потребно је познавати елементарне функције

Парност функције проверава се помоћу дефиниције:

Функција је парна ако је за сваки , а непарна ако је ) за сваки . Код парне и непарне функције подручје дефиниције мора бити симетрично у односу на координатни почетак .

Primer

је парна за паран, а непарна за непаран, па је:

.

Функција је парна: ако је , тада је па вреди

За je па вреди

Периодичност

[уреди | уреди извор]

Периодичност функције проверава се помоћу дефиниције

Функција је периодична ако постоји број такав да за сваки вреди

Тада мора вредети . Најмањи такав позитивни број основни период или период функције .

Примери периодичних функција су тригонометријске функције.

Елементарна функција не може бити периодична ако не садржи неку од тригонометријских функција.

Нула функције

[уреди | уреди извор]

Нула функције одређују се решавањем једначине

Асимптоте функције

[уреди | уреди извор]

Асимптоте могу бити вертикалне, хоризонталне и косе. Одређују се налажењем лимеса и Лопиталовим правилом, ако је потребно.

Асимптота функције је права са особином да удаљеност између тачке на графику функције и те праве тежи ка нули ) када тачка на графику одмиче у бесконачност.

Права је вертикална асимптота функције у тачки с леве стране ако је или .

Права је вертикална асимптота функције у тачки с десне стране ако је

или

.

Вертикалне асимптоте се могу налазити у тачкама прекида функције или у отвореним рубовима подручја дефиниције.

Пример
Координатне осе као асимптоте функције

Права је вертикална асимптота функције с обе стране.

Права је вертикална асимптота функције , i с десне стране. У овом случају вертикална асимптота се налази у рубу подручја дефиниције.

Права је хоризонтална асимптота функције на левој страни ако је . Права је хоризонтална асимптота функције на десној страни ако је .

Пример

Права је хоризонтална асимптота функције на обе стране, као и хоризонтална асимптота функција и на левој страни.

Ако је

при чему је

тада је права коса асимптота функције са леве стране.

Косу асимптоту функције са десне стране дефинишемо аналогно.

Удаљеност од тачке на кривој до асимптоте је . Према дефиницији асимптоте када . Kako je константа, закључујемо да .

Задњи услов, који је еквивалентан са

је нужан и довољан услов за постојање косе асимптоте.

Горња једнакост је еквивалентна са

.

па је

.

При томе треба водити рачуна о следећем:

  1. тражење хоризонталних и косих асимптота лимеса када
  2. асимптоте је најбоље тражити у описаном редоследу, увек треба рачунати посебно
  3. треба обратити пажњу на случајеве парних корена када ,
Пример

.

Екстреми функције

[уреди | уреди извор]

Код одређивања екстрема функције потребно је проверити нужне и довољне услове екстрема.

Провера нужних услова врши се по теорему

Нека је функција непрекидна у тачки . Ако функција има локални екстрем у тачки , тада је критична тачка функције .

Потребно је наћи стационарне и критичне тачке по дефиницији

Нека је функција непрекидна у тачки . Тачка је стационарна тачка функције ако је . Тачка је критична тачка функције , ако је стационарна тачка или ако није диференцијабилна у тачки .

Потребно је одредити подручје дефиниције првог извода и решити једначину .

Провера довољних услова може се вршити на три начина:

  • помоћу промене предзнака првог извода на основу теореме: Ако први извод мења предзнак у критичној тачки , тада функција има локални екстрем у тачки . При томе вреди следеће: ако мења предзнак са на , тада је локални минимум, а ако мења предзнак са на , тада је локални максимум.
  • помоћу другог извода на основу теореме: Нека је у стационарној тачки функција два пута диференцијабилна. Ако је , тада функција има локални екстрем у тачки . При томе вреди сљедеће: ако је , тада је локални минимум, а ако је , тада је локални максимум.
  • помоћу виших извода на основу теореме: Нека функција има у некој - околини тачке c непрекидног извода до укључиво реда , при чему је . Нека је Ако је neparan, тада функција има инфлексију у тачки . Ако је паран и ако је уз то још и , тада функција има локални екстрем у тачки и то минимум за и максимум за .

Интервали монотоности

[уреди | уреди извор]

Након налажења првог извода функције интервали монотоности се одређују по предзнаку од на основу теореме: Нека је функција диференцијабилна на интервалу . Тада вреди

  • функција је растућа на интервалу ако и само ако је за сваки
  • Функција је опадајућа на интервалу ако и само ако је за сваки
  • Ако је за сваки , тада је функција строго растућа на интервалу
  • Ако је за сваки , тада је функција строго опадајућа на интервалу .

Конкавност и конвексност функције

[уреди | уреди извор]

Потребно је одредити други извод , а затим интервале конвексности и конкавности помоћу теореме

Нека је функција два пута диференцијабилна на интервалу . Ако је за сваки , тада је функција строго конвексна на интервалу . Ако је за сваки , тада је функција строго конкавна на интервалу .

Тачке инфлексије

[уреди | уреди извор]

Потребно је наћи тачке у којима други извод мења предзнак, односно тачке које испуњавају довољне услове инфлексије по теореми

Нека је функција два пута диференцијабилна на некој околини тачке , осим можда у тачки . Ако мења предзнак у тачки , тада функција има инфлексију у тачки .

За провјеру довољних услова инфлексије можемо користити и више изводе на основу теореме

Нека функција има у некој околини тачке непрекидне изводе до укључиво реда , при чему је . Нека је

Ако је непаран, тада функција iма инфлексију у тачки . Ако је паран и ако је уз то још и , тада функција има локални екстрем у тачки и то минимум за и максимум за .

У том случају потребно је прво наћи тачке у којима је други извод једнак нули, односно тачке које задовољавају нужан услов инфлексије по теореми

Ако функција има инфлексију у тачки и ако постоји, тада је .

Граф функције

[уреди | уреди извор]

График функције се црта на основу добијених информација.[7]

Остале особине

[уреди | уреди извор]

Постоји много посебних класа функција које су важне за појединачне гране математике, или за појединачне примене.

Ово је делимичан списак таквих функција:

Референце

[уреди | уреди извор]
  1. ^ Halmos 1970, стр. 30.
  2. ^ MacLane, Saunders; Birkhoff, Garrett (1967). Algebra (First изд.). New York: Macmillan. стр. 1–13. 
  3. ^ Hamilton, A. G. Numbers, sets, and axioms: the apparatus of mathematics. Cambridge University Press. стр. 83. ISBN 0-521-24509-5. 
  4. ^ Halmos, Paul R. (1958). Finite-Dimensional Vector Spaces (PDF). New York: Van Nostrand Company. стр. 21—25. ISBN 0-387-90093-4. 
  5. ^ Apostol, Tom (1967). Calculus vol 1. John Wiley. стр. 53. ISBN 0-471-00005-1. 
  6. ^ Heins, Maurice (1968). Complex function theory. Academic Press. стр. 4. 
  7. ^ Hartley Rogers, Jr (1987). Theory of Recursive Functions and Effective Computation. MIT Press. стр. 1–2. ISBN 0-262-68052-1. 

Литература

[уреди | уреди извор]

Спољашње везе

[уреди | уреди извор]