Ülesanded täielikult lahendatud
-
Funktsioonide f(x) = x² ja g(x) = 2x + 3 kompositsioonid 5 sammu
f(x) = x², g(x) = 2x + 3, kohal x₀ = 2. Moodustage liitfunktsioonid mõlemas järjekorras ning seejärel lahendage keerulisem küsimus, mille paneel lahtiseks jätab: kas see erinevus on juhuslik kokkusattumus x₀ = 2 valikust või erinevad need kaks liitfunktsiooni iga x korral?
-
Moodustage liitfunktsioon sümbolkujul enne arvuliste väärtuste leidmist. Avaldises f∘g rakendatakse sisemist funktsiooni esimesena, seega võetakse ruutu kogu avaldis 2x + 3 — mitte x ega 3 eraldi.
-
Vastupidises järjekorras toimub ruutuvõtmine esimesena, seega korrutatakse kahega ja nihutatakse just avaldist x². Mõlemad tulemused on ruutfunktsioonid, kuid ainult ühel neist on lineaarliige ning see liige ongi kogu erinevuse põhjuseks.
-
Asendage mõlemasse x₀ = 2. Jälgida tuleb just vaheväärtusi: ühes järjekorras läheb välimisse funktsiooni 7 ja teises 4, seega esitatakse välimisele funktsioonile igal korral erinev küsimus. Paneel kuvab need kõik — 7 ja 4 sisenemisel, 49 ja 11 väljumisel.
-
Lahutamine muudab ühes punktis tehtava võrdluse funktsiooniks, mida saab uurida igal pool. Selle väärtus kohal 2 on 38, mis on 49 − 11, seega pole algebraliselt midagi kaotsi läinud.
-
Vahe on ruutfunktsioon positiivse x² kordajaga, mistõttu saab see nullistuda maksimumselt kaks korda — ja diskriminant 36 − 12 on positiivne, seega see tõepoolest nullistub kaks korda. Jäänud on vaid võrrandi lahendamine.
Vastus
49 vastu 11, vahega 38, kusjuures paneel kuvab koos nendega vaheväärtused 7 ja 4. Tugevam tulemus on see, kuhu paneel ei jõua: kogu reaalarvsirge ulatuses kattuvad need kaks liitfunktsiooni täpselt 2 punktis, x = −3 ± √6, mis on −0,5505 ja −5,4495. Ainult esimene neist jääb graafiku joonistatud akna −3 kuni 3 sisse. Seega ei olnud x₀ = 2 õnnelik valik — peaaegu iga x₀ oleks andnud erinevuse ning paneeli otsus "ei võrdu" on vastus, mille see annaks kõigi peale 2 sisendi. Samuti need lõikuvad, mitte ei puutu, ning seda näitab ahelreegel: vahe tuletise leidmisel saadakse 2(2x + 3)·2 − 2·2x = 4x + 12, mis kahel juurel on +9,798 ja −9,798 — absoluutväärtuselt võrdsed, vastandmärkidega, sest juurte vahel kulgeb kõrgemalt just g∘f, 12 võrra kohal x = −3, kus graafiku aken algab.
-
-
Kompositsioonide määramispiirkond funktsioonidele f(x) = √x ja g(x) = x² − 1 5 sammu
f(x) = √x, g(x) = x² − 1, kohal x₀ = 0,5. Üks järjekord annab tulemuseks arvu ja teine ei anna üldse midagi. Leidke kummagi liitfunktsiooni määramispiirkond ning seejärel leidke kõik x väärtused, mille korral need kaks kattuvad.
-
Jälgige liitfunktsiooni f∘g teekonda läbi keskosa ja vaadake, kus see katkeb. 0,5 on funktsiooni g jaoks täiesti lubatud sisend ning −0,75 on funktsiooni g täiesti lubatud väljund. Lubamatu on aga edasiandmine: −0,75 ei ole arv, millest saaks võtta ruutjuurt. Paneel kuvab −0,75 ning seejärel pole tal liitfunktsiooni enda jaoks ühtegi arvu kuvada.
-
Teine järjekord elab sama edasiandmise üle, sest √0,5 = 0,707107 on funktsiooni g jaoks lubatud sisend. Mõlemad need arvud on paneelil olemas ning kummalegi liitfunktsioonile pole antud teistsugust x₀ väärtust.
-
Kirjutage mõlemad määramispiirkonnad korrektselt üles, liikudes seestpoolt väljapoole. f∘g nõuab, et g väljund oleks mittenegatiivne, mis on tingimus ruudule x²; g∘f nõuab vaid seda, et x endast saaks ruutjuurt võtta.
-
Oma määramispiirkonnas iga liitfunktsioon lihtsustub, kusjuures üks neist lihtsustub üllatavalt: ruutjuure ruutu võtmine tühistab selle, seega on g∘f sirgjoon. 2 kõverjoonelise funktsiooni liitmisel (kompositsioonil) on saadud tulemus, milles pole üldse kõverust.
-
Seal, kus mõlemad on määratud, küsige, millal need on võrdsed. Ruut x² taandub mõlemal pool välja ja järelejäänu on lineaarne, mistõttu on neil maksimaalselt 1 lahend.
Vastus
Avaldisel f(g(0,5)) puudub väärtus, samal ajal kui g(f(0,5)) = −0,5, kusjuures otsustavate vaheväärtustena on paneelil −0,75 ja 0,707107. Järjekord muutis siin määramispiirkonda enne, kui see muutis ühtegi väärtust, ning see on erinevus, mida ükski x₀ valik ei saa parandada: f∘g on olemas vaid seal, kus |x| ≥ 1, ning g∘f vaid seal, kus x ≥ 0, seega on neil ühine vaid [1, ∞). Graafiku joonistatud akna −3 kuni 3 korral kõver f∘g lihtsalt puudub terve ühiku ulatuses mõlemal pool 0, samal ajal kui sirge g∘f kulgeb otse läbi. Seal, kus need kattuvad, kohtuvad need täpselt ühe korra, kohal x = 1, kus mõlemad võrduvad arvuga 0, ning seejärel lahknevad kohe: kohal x = 3 on nende väärtused √8 = 2,828 ja 2. Väidet "funktsioonide kompositsioon ei ole kommutatiivne" õpetatakse tavaliselt väitena väärtuste kohta. Siin on see väide selle kohta, milliseid küsimusi üldse esitada saab.
-
Allikad (1)
- Insight block 3 says a fractal is hiding in repeated composition. This is the field that grew out of asking where: J. Milnor, "Using the Fatou Set to Study the Julia Set", in Dynamics in One Complex Variable, 174–218. Princeton University Press, 3rd edition, 2011.