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

Сложена функција

С Википедије, слободне енциклопедије

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

Симбол означава два пресликавања --> --> . Он има смисла ако припада области дефинисаности функције . У супротном, ако не припада области дефинисаности функције , онда симбол нема смисла и не означава сложену функцију.[1]

Сложена функција може имати и више, односно, два, три или уопште коначан број међуаргумената. Свака сложена функција може се разложити на ланац узастопних пресликавања, односно функција у којима ће између функције у и аргумента x посредовати коначан број међуаргумената, због чега се сложена функција назива и посредна функција.[1][2]

Конкретан пример за композицију две функције.
  • Композиција функција на коначном скупу: Ако је f = {(1, 1), (2, 3), (3, 1), (4, 2)}, и g = {(1, 2), (2, 3), (3, 1), (4, 2)}, онда је gf = {(1, 2), (2, 1), (3, 2), (4, 3)}, као што је приказано на слици.
  • Композиција функција на бесконачном скупу: Ако је f: RR (где је R скуп свих реалних бројева) дат са f(x) = 2x + 4 и g: RR је дато са g(x) = x3, онда:
    (fg)(x) = f(g(x)) = f(x3) = 2x3 + 4, и
    (gf)(x) = g(f(x)) = g(2x + 4) = (2x + 4)3.
  • Ако је висина авиона у тренутку  t једнака a(t), а ваздушни притисак на висини x је p(x), онда је (pa)(t) притисак око авиона у тренутку t.

Композиција функција је увек асоцијативна — особина наслеђена из састава релација.[3] Односно, ако су f, g, и h уклопљиви, онда је f ∘ (g ∘ h) = (f ∘ g) ∘ h.[4] Пошто заграде не мењају резултат, углавном се изостављају.

У строгом смислу, композиција g ∘ f је смислена само ако је кодомен f једнак домену g; у ширем смислу, довољно је да први буде подскуп другог.[nb 1] Штавише, често је подесно прећутно ограничити домен f, тако да f производи само вредности у домену g. На пример, композиција g ∘ f функција f : R(−∞,+9] дефинисана са f(x) = 9 − x2 и g : [0,+∞)R дефинисана са може се дефинисати на интервалу [−3,+3].

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

Каже се да функције g и f комутирају једна са другом ако је g ∘ f = f ∘ g. Комутативност је посебно својство, које се постиже само одређеним функцијама, и то често у посебним околностима. На пример, |x| + 3 = |x + 3| само када је x ≥ 0. На слици је приказан још један пример.

Састав један-на-један (ијективних) функција је увек један-на-један. Слично, композиција функција субјективног пресликавања је увек на. Из тога следи да је композиција две бијекције такође бијекција. Инверзна функција композиције (претпостављена инверзибилна) има својство да је (f ∘ g)−1 = g−1f−1.[5]

Деривати композиција које укључују диференцибилне функције могу се наћи помоћу правила ланца. Више изводе таквих функција даје Фа ди Брунова формула.[4]

Композициони моноиди

[уреди | уреди извор]
Сличност која трансформише троугао EFA у троугао ATB је композиција хомотетије H и ротације R, чији је заједнички центар S. . На пример, слика  испод ротације R је U, , што се може написати  R (A) = U.  And  H(U) = B значи да пресликавање H трансформише U  у B. . Дакле, H(R (A)) = (H ∘ R )(A) = B.

Претпоставимо да се разматрају две (или више) функција f: XX, g: XX које имају исти домен и кодомен; ово се често назива трансформацијама. Тада се могу формирати здружени ланци трансформација, као што је ffgf. Такви ланци имају алгебарску структуру моноида, који се називају трансформациони моноид или (много ређе) композициони моноид. Генерално, трансформациони моноиди могу имати изузетно компликовану структуру. Један посебно значајан пример је де Рамова крива. Скуп свих функција f: XX назива се полугрупа пуне трансформације[6] или симетрична полугрупа''[7] на X. (Заправо могу се дефинисати две полугрупе у зависности од тога како се дефинише операција полугрупе као лева или десна композиција функција.[8])

Ако су трансформације бијективне (а самим тим инвертибилне), онда скуп свих могућих комбинација ових функција формира групу трансформација; и може се рећи да је група генерисана овим функцијама. Основни резултат теорије група, Кејлијева теорема, у суштини наводи да је свака група заправо само подгрупа пермутационе групе (до изоморфизма).[9]

Скуп свих бијективних функција f: XX (званих пермутације) формира групу у односу на композицију функције. Ово је симетрична група, која се понекад назива и композицијска група.

У симетричној полугрупи (свих трансформација) налази се и слабији, нејединствен појам инверзне вредности (која се назива псеудоинверзном вредности) јер је симетрична полугрупа регуларна полугрупа.[10]

Напомене

[уреди | уреди извор]
  1. ^ The strict sense is used, e.g., in category theory, where a subset relation is modelled explicitly by an inclusion function.
  1. ^ а б в Д. Михаиловић; Р. Р. Јањић (1987). „4.1.6. Извод сложене функције”. Ур.: Дончев, Никола. Елементи математичке анализе (9 изд.). Београд: Научна књига. стр. 105—107. 
  2. ^ „3.4: Composition of Functions”. Mathematics LibreTexts (на језику: енглески). 2020-01-16. Приступљено 2020-08-28. 
  3. ^ Velleman, Daniel J. (2006). How to Prove It: A Structured Approach. Cambridge University Press. стр. 232. ISBN 978-1-139-45097-3. 
  4. ^ а б Weisstein, Eric W. „Composition”. mathworld.wolfram.com (на језику: енглески). Приступљено 2020-08-28. 
  5. ^ Rodgers, Nancy (2000). Learning to Reason: An Introduction to Logic, Sets, and Relations. John Wiley & Sons. стр. 359—362. ISBN 978-0-471-37122-9. 
  6. ^ Hollings, Christopher (2014). Mathematics across the Iron Curtain: A History of the Algebraic Theory of Semigroups. American Mathematical Society. стр. 334. ISBN 978-1-4704-1493-1. 
  7. ^ Grillet, Pierre A. (1995). Semigroups: An Introduction to the Structure Theory. CRC Press. стр. 2. ISBN 978-0-8247-9662-4. 
  8. ^ Dömösi, Pál; Nehaniv, Chrystopher L. (2005). Algebraic Theory of Automata Networks: An introduction. SIAM. стр. 8. ISBN 978-0-89871-569-9. 
  9. ^ Carter, Nathan (2009-04-09). Visual Group Theory. MAA. стр. 95. ISBN 978-0-88385-757-1. 
  10. ^ Ganyushkin, Olexandr; Mazorchuk, Volodymyr (2008). Classical Finite Transformation Semigroups: An Introduction. Springer Science & Business Media. стр. 24. ISBN 978-1-84800-281-4. 

Литература

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


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

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