V této sekci se podíváme na vztah mezi srovnáním funkcí (pomocí nerovnosti) a srovnáním jejich limit.
Věta.
Nechť a je reálné číslo, ∞ nebo−∞. Nechť f,g jsou funkce definované na nějakém prstencovém okolí a, předpokládejme, že f má v a limitu A a g má v a limitu B.
(i) Jestliže existuje prstencové okolí a, na kterémf ≤ g, pakA ≤ B.
(ii) JestližeA < B, pak nutně existuje prstencové okolí a, na kterémf < g.
Tato tvrzení my měla vypadat rozumně, když si zkusíte nakreslit pár obrázků.
Může to být ještě jasnější, když si zkusíte představit opak. Zkuste nakreslit
obrázek, kde
Věta také platí pro nevlastní limity, předpokládá se přitom, že každé reálné číslo je větší než mínus nekonečno a menší než nekonečno. Jako obvykle je i tato věta pravdivá pro jednostranné limity po zjevných modifikacích (použijeme jednostranná prstencová okolí).
Mohlo by pomoci našemu chápání limity, jestliže se pokusíme nahlédnout, proč
věta neříká víc. Začneme prvním tvrzením. Mohli bychom dostat lepší závěr,
kdybychom v předpokladu použili ostrou nerovnost? Odpověď je záporná. I
kdybychom věděli, že všude
V druhém tvrzení je to podobné. Ostrá nerovnost je tam naprosto nutná,
protože kdybychom ji zkusili trochu povolit, dostaneme se do problémů.
Schválně si zkusme představit, že víme jen
Větu jsme začali předpokladem, že máme limitu. Bez tohoto předpokladu není srovnání limit možné, protože jen ze srovnání mezi f a g nemůžeme odvodit existenci limity. Existuje ale výjimka.
Věta.
Nechť a je reálné číslo, ∞ nebo−∞. Nechť f,g jsou funkce definované na nějakém prstencovém okolí bodu a, na kterémf ≤ g.
Jestliže f jde do nekonečna v a, pak také g jde do nekonečna v a.
Jestliže g jde do mínus nekonečna v a, pak také f jde do mínus nekonečna v a.
Mělo by to dávat smysl, v prvním případě f vytlačí g nahoru a přinutí ji jít do nekonečna, druhé tvrzení je opačná situace. Věta zase platí pro jednostranné limity.
Jak je to s vlastními limitami? I kdybychom uzavřeli funkci shora a zdola
konvergentními funkcemi, nemůžeme garantovat její konvergenci. Konec konců,
víme, že omezené funkce nemusí konvergovat, například funkce
Věta (Věta o sevření).
Nechť a je reálné číslo, ∞ nebo−∞. Nechť f,g a h jsou funkce definované na nějakém prstencovém okolí bodu a, na kterémf ≤ g ≤ h. Jestliže f a h konvergují k L v bodě a, pak také g konverguje k L v a.
Tvrzení by zase mělo znít rozumně, když se podíváte na obrázek, g nemá jinou volbu než jít k L.
Tato věta má také verze s jednostrannými limitami. Funguje i pro nevlastní limity, ale pro ty je zbytečně komplikovaná, na ně máme lepší větu výše.
Věta o sevření má několik užitečných důsledků:
Věta (Věta o sevření - verze s absolutní hodnotou).
Nechť a je reálné číslo, ∞ nebo−∞. Nechť f,g jsou funkce definované na nějakém prstencovém okolí a, na kterém| f | ≤ g. Jestližeg→0 va, pak také f →0 v a.Věta.
Nechť a je reálné číslo, ∞ nebo−∞. Nechť f,g jsou funkce definované na nějakém prstencovém okolí a, předpokládejme, že je na něm f omezená.
(i) Jestližeg→0 v a, pakf⋅g→0 v a.
(ii) Jestliže|g|→∞ v a, pakf /g→0 v a.
(iii) Jestližeg→∞ v a, pakf + g→∞ v a.
Tvrzení v (i) se často vyjadřuje slovy "nula krát omezená je nula", tvrzení v (ii) jako "nula dělená nekonečnem je nula"; dají se přidat mezi pravidla algebry limit.
Příklad:
Pro tipy na správné použití sevření odkazujeme na Přehled metod, jmenovitě šuplík "srovnání a oscilace".