Määritelmä 5.7 Otetaan f, g ∈ Fp. (i) Funktiota f sanotaan merkityksettömäksi suhteessa g:hen, kun x → p, jos on olemassa ω ∈ Fp siten, että ω(x) → 0, kun x → p, ja että f(x) = g(x)ω(x) paikallisesti kohdassa p. Tässä tapauksessa kirjoitetaan f ≺ g. Tällöin voidaan myös sanoa, että g dominoi f:tä. (ii) Funktiota f sanotaan asyymptottisesti ekvivalentiksi g:n kanssa, kun x → p, jos on olemassa h ∈ Fp siten, että h(x) → 1, kun x → p, ja että f(x) = g(x)h(x) paikallisesti kohdassa p. Tässä tapauksessa kirjoitetaan f ∼ g. On selvää, että jos g(x) ei ole nolla paikallisesti kohdassa p, niin f ≺ g ⇐⇒ f(x) lim = 0 x→p g(x) ja f ∼ g ⇐⇒ f(x) lim x→ = 1. p g(x)
Lause 5.8 Otetaan f, g, f1, g1 ∈ Fp ja oletetaan, että g(x) ei ole nolla paikallisesti kohdassa p. Tällöin: (i) jos f1 ≺ f ja g1 ≺ g, niin f(x) + f1(x) lim 1(x) = f(x) + lim p g(x) + g1(x) x→ ; p g(x) (ii) jos f1 ∼ f ja g1 ∼ g, niin f(x) lim = f1(x) lim p x→ x→ p g(x) g1(x)
Lauseessa 5.8 (i) sanotaan joskus, että se on merkityksettömien termien eliminointiperiaate, ja (ii) puolestaan tunnetaan myös asyymptottisesti ekvivalenttisten termien korvausperiaatteena. Suhteet f ≺ g ovat transitiivisia, ja f ∼ g on aito ekvivalenssirelaatio. Näillä suhteilla on seuraavat ominaisuudet: f1 ≺ g ja f2 ≺ g =⇒ f1 + f2 ≺ g f1 ≺ αg ja f2 ≺ βg, kun α + β ≠ 0 =⇒ f1 + f2 ≺ (α + β)g f1 ≺ g1 ja f2 ≺ g2 =⇒ f1 f2 ≺ g1g2 f1 ∼ g1 ja f2 ∼ g2 =⇒ f1 f2 ∼ g1g2 f ≺ g ja g ∼ h =⇒ f ≺ h f ∼ g ja g ≺ h =⇒ f ≺ h. Lukijan on syytä olla tarkkana, ettei sekoita ≺ ja ∼ merkintöjä. Esimerkiksi: f1 ≺ g1 ja f2 ≺ g2 ei takaa sitä, että f1 + f2 ≺ g1 + g2. Samoin f1 ∼ g1 ja f2 ∼ g2 ei takaa, että f1 + f2 ∼ g1 + g2. Tällaisia virheitä on helppo keksiä.
Merkintä f ≺ g ei ole universaali. Kuten luvussa 8 käsitellään, aina kun g ∈ Fp, on tapana kirjoittaa { } o(g) = f ∈ Fp : f ≺ g ja sitten korvata täsmällinen kirjoitus f ∈ o(g) epävirallisemmalla mutta tehokkaammalla f = o(g). Tämä merkintä tunnetaan Landau'n pienen o-merkintänä. Epävirallisesti, jos oletetaan, että g ei ole nolla paikallisesti kohdassa p, niin f = o(g) tarkoittaa, että kun f ja g jaetaan, tulos ei ole nolla, vaan hyvin pieni, joka lähestyy nollaa, kun x → x0. Kirjain, joka muistuttaa parhaiten numeroa 0, on tietysti o. Huomaa, että f = o(1) tarkoittaa, että f(x) → 0.
Jos f ∼ g, niin f = g(1 + ω), jossa ω → 0. Tästä seuraa, että f ∼ g ⇐⇒ f = g + o(g). Asyymptottisen ekvivalenssin käyttö ja merkityksettömien termien analyysi kannattaa vähentää laskelmia, aina kun mahdollista, tunnetuiksi rajoiksi, jotka liittyvät elementaarisiin funktioihin. Perusrajojen luettelo, jota käytetään läpi tekstin, on liitteessä B.
5.4 Järjestykset
Seuraavassa käsitellään käsitteitä, jotka auttavat ymmärtämään, miten nopeasti funktio f ∈ Fp joko lähestyy nollaa tai divergoi, kun x → p. Tämän arvioimiseksi valitaan viitefunktioiden skaala, yleensä potenssiskaalat, ja vertaamme f:tä näihin.
Määritelmä 5.8 (Järjestys, I) Kiinteä p ∈ R. Funktiota f ∈ Fp sanotaan häviävän järjestyksellä α > 0, kun x → p+, jos on olemassa λ+ ∈ R{0}, siten että f ∼ λ+|x − p|α, kun x → p+, eli f(x) lim x→p | = λ . + x − p|α. Samalla tavalla sanotaan, että f häviää järjestyksellä α > 0, kun x → p−, jos on olemassa λ− ∈ R{0}, siten että f ∼ λ−|x − p|α, kun x → p−. Jos f häviää järjestyksellä α sekä x → p+ että x → p−, silloin f sanotaan häviävän järjestyksellä α kohdassa p.
Esimerkiksi funktio f(x) = (sin x)³ häviää järjestyksellä 3, kun x → 0. Tällöin λ± = ±1, ja sen pääosa on itse asiassa x³.
Määritelmä 5.9 (Järjestys, II) Funktio f ∈ F±∞ sanotaan divergoivan järjestyksellä α > 0, kun x → ±∞, jos on olemassa λ± ∈ R{0}, siten että f ∼ λ±|x |−α, kun x → ±∞, eli lim x→±∞ f(x)|x|−α = λ±. Tässä tapauksessa f:n pääosa ±∞ kohdassa on λ±|x |−α. Esimerkiksi funktio f(x) = log(1 + x−n), jossa n on positiivinen kokonaisluku, divergoi järjestyksellä n kohdassa +∞.
Järjestykset ja rajoja käsittelevät esimerkit
Esimerkiksi eksponenttifunktio ex divergoi +∞ kohdassa suuremmalla järjestyksellä kuin mikään α > 0, koska ex / x−α → +∞ kaikilla positiivisilla α:lla, kun x → +∞.
Jos funktio f ja g divergoivat eri järjestyksillä, voimme käyttää tätä eroa rajoja käsitellessä, esimerkiksi:
Lause 5.9 (Järjestykset ja suhteet rajoihin) Oletetaan p ∈ R ja f, g ∈ Fp, ja oletetaan, että g(x) ei ole nolla paikallisesti kohdassa p. (i) Jos f häviää järjestyksellä α ja g järjestyksellä β, niin:
-
α > β → lim f(x)/g(x) = 0 x → p+
-
α = β → lim f(x)/g(x) = r, missä r ∈ R{0} x → p+
-
α < β → lim f(x)/g(x) = ±∞ x → p+
Milloin funktiolla on alkuperäinen funktio ja miten määrittää sen muoto?
Funktio, joka divergoituu pisteessä (esimerkiksi oikealta lähestyttäessä), ei voi omata alkuperäistä funktiota kyseisen pisteen ympäristössä. Tämä on keskeinen periaate, sillä alkuperäinen funktio määritellään jatkuvaksi ja differentioituvaksi, ja divergointi rikkoo tätä jatkuvuutta. Esimerkiksi funktiolle, jonka määrittelyjoukko on rajoitettu avoimeksi joukoksi, alkuperäisen funktion olemassaolo liittyy vahvasti sen jatkuvuuteen ja määrittelyjoukon muotoon.
Kun tarkastellaan funktiota välillä , sen alkuperäinen funktio , joka toteuttaa ehdon , löytyy määrittämällä ensin epämääräinen integraali ja sitten sovittamalla vakio vaatimuksiin. Funktio on jatkuva tällä välillä, koska se koostuu jatkuvista funktioista, ja sen alkuperäinen funktio on siten olemassa tällä välillä. Koska on positiivinen ja sen derivaatta negatiivinen, on tiukasti kasvava ja konkaavi.
Kun käsitellään rationaalisia funktioita, joiden nimittäjä ei saa olla nolla, on tarkasteltava määrittelyjoukon muotoa erityisen huolellisesti. Esimerkiksi funktio määrittyy kaikilla reaaliluvuilla, jos ja vain jos nimittäjä ei koskaan saavuta nollaa, eli silloin kun . Tällöin on jatkuva koko :ssä, ja alkuperäinen funktio on määritelty koko :ssä. Jos , funktio ei ole määritelty kaikkialla, eikä sillä ole globaalia alkuperäistä funktiota. Epämääräinen integraali voidaan ratkaista muuttujanvaihdolla, minkä jälkeen funktioiden muoto liittyy usein arctan-funktion kaltaisiin funktioihin, jotka ovat tyypillisiä rajoitettuja antiderivaattoja rationaalisille funktioille.
Funktioissa, joissa esiintyy itseisarvoja, kuten , alkuperäisen funktion olemassaolo ja muoto riippuvat arvojen valinnasta ja erityisesti siitä, onko määrittelyjoukko koko . Jos , funktio on jatkuva koko :ssä, ja alkuperäinen funktio on globaali. Kun funktio koostuu eri lausekkeista eri väleillä, alkuperäisten funktioiden yhdistäminen ("liittäminen") oikealla tavalla siten, että ne ovat jatkuvia ja derivoituvia pisteissä, joissa lausekkeet vaihtuvat, on olennainen osa analyysiä. Tällöin käytetään raja-arvojen ja derivaatan raja-arvon kriteerejä, jotka takaavat alkuperäisen funktion yhtenäisyyden ja derivoinnin pisteissä, joissa funktio "liimautuu" yhteen.
Monimutkaisemmat koostefunktiot, joissa on sisäkkäisiä itseisarvoja ja eksponentteja, voidaan pilkkoa palasiksi ja integroida osissa. Jatkuvuus ja derivoituvuus pisteissä, joissa funktio muuttaa muotoaan, varmistetaan yhtäläisillä raja-arvoilla ja derivaatan rajaarvoilla. Tämä varmistaa, että globaali alkuperäinen funktio voidaan määrittää koko reaalilukujen joukolle.
Integraalilaskennassa on tärkeää tunnistaa, milloin voidaan käyttää substituutiota, osittaisintegraatiota tai arctan-funktion kaltaisia perusfunktioita. Näiden menetelmien hallinta on avain ymmärtää alkuperäisten funktioiden rakennetta ja niiden käyttäytymistä erityisesti määrittelyjoukon reunaehdoissa.
Alkuperäisen funktion olemassaolo ja sen määrittelyjoukon laajuus liittyvät läheisesti funktion jatkuvuuteen, määrittelyjoukon muotoon ja sen derivaatan käyttäytymiseen. Erityisesti on tärkeää huomata, että jos funktio ei ole jatkuva tai sillä on singulariteetteja määrittelyjoukossaan, globaalia alkuperäistä funktiota ei voi olla olemassa. Lisäksi, kun funktio koostuu eri lausekkeista, sen alkuperäinen funktio muodostuu yhtenäisistä osista, joiden yhtymäkohdissa on varmistettava jatkuvuus ja derivoituvuus raja-arvokriteerien avulla. Tämä lähestymistapa on keskeinen kokonaiskuvan ymmärtämisessä, kuinka alkuperäiset funktiot rakentuvat ja miten niitä käytetään matematiikan eri osa-alueilla.
Miten määrittää epäyhtälöfunktion alue ja sen derivoituvuus
Epäyhtälöfunktioiden analysoinnissa on keskeistä määrittää funktion määrittelyalue, sen käyttäytyminen määrittelyalueen rajoilla, sekä missä ja miten se on derivoituva. Tämä prosessi vaatii usein epämääräisten integraalien käsittelyä ja Taylorin sarjojen apuna käyttöä. Esimerkiksi funktio, joka sisältää epäyhtälöintegraaleja, kuten missä on määritelty ja jatkuva, voi antaa paljon tietoa funktiosta sen käyttäytymisen ja derivoituvuuden suhteen.
Kun tarkastellaan funktioita, jotka sisältävät epämääräisiä integraaleja, kuten esimerkissä annettu , on tärkeää ymmärtää, milloin integrointifunktio on määritelty ja missä se on jatkuva. Tässä esimerkissä integraali on määritelty, jos kuuluu väliin , mutta ei enempää. Integraaliin liittyvät epäyhtälöfunktiot voivat olla sekä jatkuvia että derivoituvia tietyissä väleissä ja sisältää rajoitteita, jotka on määritettävä tarkasti, jotta saadaan selville, missä funktio on derivoitavissa ja milloin se ei ole.
Toinen esimerkki tarkastelee funktiota jonka määrittelyalue määritellään, kun tutkitaan :n käyttäytymistä rajoilla, kuten ja . Tässä integraalissa käyttäytyy niin, että on raja, jossa epäyhtälöfunktio muuttuu ja sen integraali kasvaa äärettömäksi.
Kun tarkastellaan rajatapahtumia, kuten tai , ja arvioidaan, kuinka funktio käyttäytyy rajalla, se paljastaa, onko funktion raja-arvo olemassa ja mikä on funktion derivoituvuuden tila. Esimerkiksi voi olla derivoitavissa tietyissä väleissä, mutta ei rajoilla, kuten kohdassa , jossa ei ole derivoitavissa.
Määrityksissä on tärkeää myös huomioida integraalin käyrän ja funktion derivaatan käyttäytyminen. Jos integraali kasvaa liian nopeasti jossakin tietyssä pisteessä tai jos derivoituminen on määrittämätöntä tietyssä kohdassa, se voi johtaa siihen, että funktio ei ole derivoitavissa tai sen raja-arvo on äärettömän suuri. Tässä asiassa käytetään hyväksi Taylorin laajennuksia ja integrointialueen rajojen tarkastelua. Jos funktion käyttäytyminen tietyssä pisteessä osoittaa äärettömyyttä, funktion määrittelyalue voi supistua eikä se ole enää jatkuva tai derivoituvissa kaikilla arvoilla.
Kun tarkastellaan funktion erottelun rajoja ja arvioidaan, kuinka muuttuu lähempänä rajoja, kuten tai , voidaan tarkentaa, missä funktion arvioitu rajatapaus on määritelty ja missä se ei ole. Esimerkiksi, jos lähestyy äärettömyyttä, tämä voi viitata siihen, että epäyhtälöintegraali ei ole määritelty rajoilla.
Mikä on tärkeää ymmärtää, kun työskentelemme epäyhtälöintegraalien ja integrointifunktioiden kanssa?
Lukijan on tärkeää ymmärtää, että integraalin määrittelyalue ja funktion derivoituvuus voivat vaihdella riippuen integraalin käyttäytymisestä tietyissä kohdissa, kuten äärettömissä tai äärellisissä rajoissa. Tällöin integraalin lähestyminen rajalle saattaa vaatia erityistä huomiota ja voi vaikuttaa siihen, onko funktio derivoitavissa vai ei. On myös tärkeää huomioida, että epämääräiset integraalit voivat johtaa siihen, että funktio ei ole derivoitavissa tietyissä pisteissä, mutta silti voidaan osoittaa, että se on jatkuva tietyissä väleissä.
Miten määritetään maksimi, minimi, supremumi ja infimum?
Tässä tehtävässä käsitellään erityisesti kuinka maksimi, minimi, supremumi ja infimum määritetään tietyille joukkoille ja funktioille. Yleisesti ottaen nämä käsitteet liittyvät joukon ääripäihin, joilla kuvataan arvon ylä- ja alarajoja sekä rajaa, johon arvot voivat lähestyä, mutta eivät välttämättä koskaan saavuta.
Tarkastellaan ensin funktiota , joka määrittelee joukon , missä on ei-negatiivinen luku. Tehtävä on tutkia, miten tämä joukko käyttäytyy eri -arvoilla ja miten määritetään sen maksimi ja minimi. Käytännön kannalta on tärkeää ymmärtää, että nämä joukot voivat vaihdella riippuen siitä, kuinka muuttuu.
Jos , voidaan helposti laskea joukon minimi ja maksimi:
Erityisesti, kun , joukon minimi ja maksimi ovat yhtä suuret ja saavat arvon:
Näiden tulosten saamiseksi on hyvä tehdä piirros, mutta itse ratkaisu ei ole piirros vaan analyyttinen laskelma, joka vaatii huolellista tarkastelua.
Mikäli halutaan tutkia joukon ääriarvoja, kuten supremumia ja infimumia, tarvitaan tarkempaa analyysiä. Supremumi on joukkojen ylärajan pienin mahdollinen arvo, joka kuitenkin saattaa olla joukossa itse. Infimum puolestaan on joukon alaraja, joka saattaa olla myös joukossa. Jos etsitään supremumia, on tärkeää tarkistaa, että kaikki mahdolliset ylärajan ehdot toteutuvat ja että raja on mahdollisimman pieni. Infimumin laskemisessa taas analysoidaan joukkojen alarajoja ja valitaan pienin mahdollinen raja.
Esimerkiksi joukossa voidaan tutkia sen ylä- ja alarajoja. Yksinkertainen tarkastelu riittää löytämään, että supremumi on , mutta joukossa ei ole maksimiarvoa, koska ei kuulu itse joukkoon. Vastaavasti infimum on , ja tämä arvo kuuluu joukkoon, koska se täyttää joukon ehdot.
Tällaiset tehtävät vaativat paitsi laskemista myös käsitteellistä ymmärrystä siitä, miten tarkastellaan funktioiden ja joukkojen rajoja ja ääripäitä. Usein kannattaa erikseen analysoida joukon ylä- ja alarajat, mikä helpottaa oikean vastauksen löytämistä.
Kun tarkastellaan joukkoja, kuten , on tärkeää muistaa, että kaikki tietyt epäyhtälöt, kuten , voivat vaikuttaa siihen, kuinka suuret tai pienet arvot joukon jäsenet voivat olla. Tällöin supremumi ja infimum määritetään ottamalla huomioon kaikki mahdolliset ratkaisuväliin kuuluvat arvot ja tarkistamalla, täyttävätkö ne ehdot.
Samalla tavalla kuin edellisissä esimerkeissä, on tärkeää muistaa, että supremumi ja infimum ovat rajoja, jotka saattavat olla jäseninä joukossa tai voivat olla sen ulkopuolella. Supremumi on yläraja, jonka pienin mahdollinen arvo kuuluu joukkoon, mutta infimum on alaraja, joka saattaa olla itse joukossa. Näiden laskeminen voi olla haastavaa, mutta huolellinen analyysi ja laskeminen antavat vastauksen.
Yksi tärkeä huomio on se, että vaikka matematiikassa on olemassa tarkkoja sääntöjä ja kaavoja, ne eivät aina ole riittäviä ilman perusteellista ymmärrystä käsitteiden takana olevasta logiikasta. Täsmällinen lähestymistapa on avain siihen, että nämä käsitteet saadaan määriteltyä oikein ja sovellettua ongelmien ratkaisemiseen.

Deutsch
Francais
Nederlands
Svenska
Norsk
Dansk
Suomi
Espanol
Italiano
Portugues
Magyar
Polski
Cestina
Русский