Limita funkce

Kapitoly článku:
  1. Limita funkce
  2. Nevlastní limita ve vlastním bodě
  3. Vlastní limita v nevlastním bodě
  4. Nevlastní limita v nevlastním bodě
  5. Jednostranná limita
  6. L'Hospitalovo pravidlo

Limita funkce je jedním z nejdůležitějších pojmů matematické analýzy. Popisuje chování nějaké funkce v okolí určitého bodu, díky čemu můžeme například definovat spojitost funkce. Limita funkce nám pomůže pochopit chování funkce i v místech, ve kterých není vůbec definovaná.

Okolí bodu

Začneme definicí epsilon okolí bodu na množině reálných čísel. Nechť r ∈ ℝ. Pak řekneme, že epsilon okolí tohoto bodu pro ε > 0 je otevřený interval (r−ε, r+ε). Redukované epsilon okolí je stejné, pouze neobsahuje bod r. Redukované okolí je (r−ε, r) ∪ (r, r+ε). Epsilon okolí bodu a značíme U(a, ε), redukované okolí pak R(a, ε).

Pro příklad si vezmeme číslo pět a jeho 2-okolí. Počítáme tak U(5, 2), což je interval (5 − 2, 5+2) = (3, 7) Redukované okolí by bylo R(5, 2) = (3, 5) ∪ (5, 7). Totéž okolí, pouze bez bodu pět. Graficky znázorněné 2-okolí bodu 5:

2-okolí bodu 5 2-okolí bodu 5

Redukované 2-okolí by vypadalo stejně, jen by tam nebyl zahrnut modrý bod 5.

Hromadný bod

Dále potřebujeme znát definici hromadného bodu množiny. Prvek a ∈ ℝ je hromadným bodem množiny M ⊆ ℝ, pokud platí, že v každém jeho redukovaném okolí, jakkoliv malém, leží nějaký bod množiny M. Přesněji:

$$\forall \epsilon > 0: R(a, \epsilon) \cap M \ne \emptyset$$

Příklady: každé reálné číslo je hromadným bodem množiny reálných čísel. Když si zvolíme číslo 10, tak v libovolném redukovaném okolí tohoto bodu vždy nalezneme reálné číslo. Pro $\epsilon=\frac{1}{100}$ dostáváme redukované okolí (9, 99; 10) ∪ (10; 10, 01). V obou intervalech se nachází nějaké reálné číslo – přesněji nachází se tam nekonečně mnoho reálných čísel. Takže ať vezmeme jakkoliv malé ε, vždy dostaneme intervaly, které obsahují nekonečně mnoho reálných čísel.

Pokud bychom za M zvolili množinu přirozených čísel, nenašli bychom žádný hromadný bod. Například číslo $\frac12$ není hromadných bodem, protože pro $\epsilon=\frac{1}{10}$ dostáváme intervaly (0, 4; 0, 5) ∪ (0, 5; 0, 6), přičemž ani jeden z intervalů neobsahuje žádné přirozené číslo.

Motivace k limitám

Začneme s nejlehčí definicí – vlastní limita ve vlastním bodě. Nejprve si ukážeme, co vlastně budeme chtít spočítat. Podívejte se na následující graf funkce signum:

Graf funkce sgn(x) Graf funkce sgn(x)

Když si vezmeme bod x1 = 3, tak platí, že funkční hodnota v tomto bodě je 1. Platí $\mbox{sgn}(3)=1$. Přitom také platí, že pro všechny "blízké" okolní body má funkce funkční hodnotu 1, například $\mbox{sgn}(2,5)=1$ nebo $\mbox{sgn}(3,5)$. Pokud se k bodu x1 = 3 blížíme zleva nebo zprava, funkční hodnoty jsou vždy rovny jedné.

Ale pokud si vezmeme bod x2 = 0, tak platí, že $\mbox{sgn}(0) = 0$, přitom všechny okolní body mají jinou funkční hodnotu! Například $\mbox{sgn}(-\frac12)=-1$ nebo $\mbox{sgn}(\frac12)=1$. Funkční hodnoty zprava se blíží k hodnotě 1, zatímco funkční hodnoty zleva se blíží k hodnotě −1. A nakonec získáme v bodě x2 = 0 funkční hodnotu 0. Zrada. Tyto hodnoty, ke kterým se funkce v daném bodě blíží, se pak nazývají limity funkce v bodě.

Definice vlastní limity ve vlastním bodě

Nechť f je funkce, x0 ∈ ℝ je hromadný bod definičního oboru funkce f. Pak řekneme, že L ∈ ℝ je limitou funkce f v bodě x0, jestliže

$$(\forall \epsilon > 0),(\exists\delta>0),(\forall x\in D(f)),(0<|x-x_0|<\delta\Rightarrow |f(x)-L|<\epsilon).$$

A teď co tato definice znamená. Vlastní bod v tomto případě znamená, že daný bod je reálné číslo. Později se budeme bavit o limitách v nevlastních bodech, což bude znamenat nekonečno. Zkusíme si vypočítat tuto limitu:

$$ \lim_{x\rightarrow3} \frac{x}{3} = ?. $$

U takto jednoduchých funkcí platí, že limita funkce v bodě x0 je rovna funkční hodnotě v tomto bodě: f(x0). Později si přesně zadefinujeme, co znamená "jednoduchá funkce". Nyní si vše zakreslíme do obrázku:

Graf funkce f(x)=\frac{x}{3} Graf funkce $f(x)=\frac{x}{3}$

Černá přímka znázorňuje graf funkce $f(x)=\frac{x}{3}$, červený bod x0 představuje bod, ve kterém limitu hledáme a zelený bod L představuje výslednou limitu. Všimněte si, že limitu znázorňujeme na ose y.

Budeme postupovat dle definice dále. Na prvním místě definice je $(\forall \epsilon > 0)$ a později je ε použito v |f(x)−L|<ε – to je takový matematický zápis toho, že chceme, aby všechna f(x) byla od L vzdálena o méně než ε. Hledáme tak ε-okolí bodu L na ose y. Dle definice si můžeme zvolit jakékoliv ε > 0, zvolíme například $\epsilon = \frac{3}{10}$. Nalezneme na ose y body, které jsou od bodu L vzdáleny právě ε:

Zvýrazněné \epsilon-okolí bodu L Zvýrazněné ε-okolí bodu L

Všechny body na ose y, které se nachází mezi těmito zelenými čárami se nachází v ε-okolí bodu L. To jsou ty body, o kterých mluví definice.

Definice pokračuje výrazem $(\exists\delta>0)$, které je dále použito ve výrazu 0<|x − x0|<δ. My říkáme, že nějaký rozdíl x − x0 má být menší než δ. Protože x, x0 se nachází na ose x, budeme i hodnotu δ znázorňovat na ose x. Přitom výraz 0<|x − x0|<δ nám opět říká, abychom vzali všechna x, která jsou od x0 vzdálena méně než o δ, ale zároveň více než nula, tj. x ≠ x0. Znamená to, že tento zápis nám značí redukované δ-okolí bodu x0. Definici limity tak můžeme ekvivalentně přepsat pomocí okolí bodů:

$$(\forall \epsilon > 0),(\exists\delta>0),(\forall x\in D(f)),(x\in R(x_0, \delta) \Rightarrow f(x) \in U(L, \epsilon))$$

Vrátíme se k předchozí definici a budeme pokračovat v kreslení obrázku: Abychom si to znázornili, potřebujeme další část definice:

$$ 0<|x-x_0|<\delta\Rightarrow |f(x)-L|<\epsilon $$

Tedy pro všechna x z redukovaného δ okolí bodu x0 musí platit… nějaká podmínka. Přidáme si do obrázku redukované δ-okolí bodu x0, například pro $\delta=\frac{3}{2}$:

Zvýrazněné \delta-okolí bodu x_0 Zvýrazněné δ-okolí bodu x0

Všechna x, která se nachází mezi červenými přerušovanými čárami patří do δ-okolí x0, kromě samotného bodu x0. Znovu se podíváme na předcházející podmínku:

$$ 0<|x-x_0|<\delta\Rightarrow |f(x)-L|<\epsilon $$

Pro všechna x z redukovaného δ okolí bodu x0 musí platit, že všechny funkční hodnoty f(x) se nachází v ε-okolí bodu L. Vezmeme si tak všechny x z redukovaného δ-okolí bodu x0 a vypočítáme funkční hodnoty. Tyto funkční hodnoty jsou v následující obrázku znázorněny modrou úsečkou:

Funkční hodnoty z redukovaného \delta-okolí bodu x_0 Funkční hodnoty z redukovaného δ-okolí bodu x0

Bod x0 není v redukovaném okolí, proto je v daném místě ten kroužek. Definice nám říká, že pro všechny tyto modré body musí platit, že jsou v ε-okolí bodu L. Řečeno barvami obrázku: všechny modré body musí být umístěny mezi zelenými čárami, které znázorňují ε-okolí. Platí to?

Samozřejmě, že neplatí, například pro $x=\frac{16}{10}$ evidentně dostáváme nějaký modrý bod, který není mezi zelenými čárami, tj. není v ε-okolí bodu L.

To ale nevadí, definice nám říká, že pro každé ε okolí bodu L musí existovat nějaké δ-okolí takové, že … zbytek podmínky. To znamená, že nám stačí, když existuje jedno takové δ-okolí. $\delta=\frac{3}{2}$ zjevně nebyla dobrá volba, ale můžeme zkusit jiné δ, například $\delta=\frac12$. Obrázek by se změnil takto:

Změna \delta-okolí Změna δ-okolí

Opět se podíváme na to, jestli jsou všechny funkční hodnoty pro všechna x z redukovaného δ-okolí bodu x0 v ε-okolí bodu L. Zkrátka jestli jsou všechny modré body mezi červenými čárami. Ano, teď už jsou, hurá.

Znamená to, že L je limitou funkce v bodě x0? Ne nutně, definice totiž praví, že $(\forall \epsilon > 0) \ldots$. My jsme zatím zkontrolovali definici pro jedno konkrétní ε, zbývá jich ještě … nekonečně mnoho.

Jinými slovy – aby opravdu platilo, že $\lim_{x\rightarrow3} \frac{x}{3} = 1$, tak bychom museli pro každé ε-okolí nalézt nějaké δ-okolí takové, aby platila předchozí podmínka. Z obrázku můžeme vidět, že takové δ-okolí vždy nalezneme, například pokud snížíme ε na $\epsilon=\frac{1}{10}$, pak můžeme snížit δ na $\delta=\frac{2}{10}$ a bude to fungovat:

Změna \epsilon-okolí a s tím související změna \delta-okolí Změna ε-okolí a s tím související změna δ-okolí

Ať vezmeme ε sebemenší, vždy musíme najít δ takové, abychom dokázali funkční hodnoty dostat do ε-okolí limity funkce L.

Důkaz vlastní limity ve vlastním bodě

Zkusíme si předchozí limitu opravdu dokázat. Z obrázku už víme, že nejspíš

$$ \lim_{x\rightarrow3} \frac{x}{3} = 1, $$

teď to zkusíme dokázat matematicky. Z obrázku bychom mohli vydedukovat, že když vždy za δ vezmeme tutéž hodnotu, jakou má ε, tak by to mohlo vyjít. Takže položme δ = ε. Nyní tak musíme dokázat

$$ L - \epsilon < f(x) < L + \epsilon, \quad \mbox{pro všechna}\quad x \in (x_0-\delta, \delta)\cup(x_0, x_0+\delta) $$

Protože jsme položili δ = ε, změníme všechna δ na ε:

$$ L - \epsilon < f(x) < L + \epsilon, \quad \mbox{pro všechna}\quad x \in (x_0-\epsilon, \epsilon)\cup(x_0, x_0+\epsilon) $$

Za L dosadíme 1 a za x0 dosadíme 3:

$$ 1 - \epsilon < f(x) < 1 + \epsilon, \quad \mbox{pro všechna}\quad x \in (3-\epsilon, \epsilon)\cup(3, 3+\epsilon) $$

Nyní bychom měli dokázat všechny nerovnosti. Protože je funkce $\frac{x}{3}$ rostoucí, stačí nám ověřit krajní body 3−ε a 3+ε. Začneme s 3−ε – dosadíme do funkce $\frac{x}{3}$ hodnotu ε − 3 a ukážeme, že tato hodnota bude vždy splňovat nerovnosti 1 − ε < f(x) < 1 + ε:

\begin{eqnarray} 1 - \epsilon < &f(x)& < 1 + \epsilon\\ 1 - \epsilon < &\frac{x}{3}& < 1 + \epsilon\\ 1 - \epsilon < &\frac{3-\epsilon}{3}& < 1 + \epsilon\\ 1 - \epsilon < &\frac{3}{3}-\frac{\epsilon}{3}& < 1 + \epsilon\\ 1 - \epsilon < &1-\frac{\epsilon}{3}& < 1 + \epsilon\\ -\epsilon < &-\frac{\epsilon}{3}& < \epsilon\\ \end{eqnarray}

Totéž s 3+ε:

\begin{eqnarray} 1 - \epsilon < &f(x)& < 1 + \epsilon\\ 1 - \epsilon < &\frac{x}{3}& < 1 + \epsilon\\ 1 - \epsilon < &\frac{3+\epsilon}{3}& < 1 + \epsilon\\ 1 - \epsilon < &\frac{3}{3}+\frac{\epsilon}{3}& < 1 + \epsilon\\ 1 - \epsilon < &1+\frac{\epsilon}{3}& < 1 + \epsilon\\ -\epsilon < &\frac{\epsilon}{3}& < \epsilon\\ \end{eqnarray}

Špatně určená limita

Nyní si ještě načrtneme, co by se stalo, kdybychom si mysleli, že limita funkce pro x blížící se třem má hodnotu jedna polovina. Zvolili bychom si nějaké malé okolí epsilon:

Špatně určená limita Špatně určená limita

A v tuto chvíli již nemůžeme najít takové delta okolí bodu x0, jehož všechny funkční hodnoty by se vešly mezi tyto zelené čáry. Vidíme, že pro zvolené δ okolí jsou všechny modré body mimo zelené čáry. Kdybychom zvětšili δ-okolí, tak jen zvětšíme počet modrých bodů, které nedostaneme mezi zelené čáry.

Limita signum

Signum je krásná funkce, která vám asi zamotá hlavu. Graf následuje:

Graf funkce f(x)=sgn(x) Graf funkce f(x) = sgn(x)

Graf není úplně jasný, takže slovní popis: pokud je x záporné, pak je signum minus jedna, pokud je kladné, pak je plus jedna a pokud je x nulové, pak je i signum nula. Graf upravíme pomocí absolutní hodnoty f(x) = |sgn(x)| a získáme tak sgn(0) = 0, pro ostatní případy sgn(x) = 1. Graf:

Graf funkce f(x)=|sgn(x)| Graf funkce f(x) = |sgn(x)|

Otázka zní, čemu je rovna tato limita?

$$\lim_{x\rightarrow0}|\mbox{sgn}(x)|=?$$

Funkce je v bodě nula definována a funkční hodnota je rovna také nule. Nicméně to nám neříká, že se také limita bude rovnat nule. Limita se může lišit od funkční hodnoty v daném bodě.

Jediná možnost, jak zvolit limitu tak, aby nám správně vyšla definice, je zvolit limitu v jedničce. Můžeme si pomoci i intuicí: čemu se blíží funkční hodnota, pokud se x blíží k nule zleva? Neustále se blíží k jedničce. Že nakonec uskočí k nule nám nevadí. Obdobně pro x blížící se k nule zprava.

$$\lim_{x\rightarrow0}|\mbox{sgn}(x)|=1$$

Pokud bychom ponechali funkci v původním tvaru, tj. f(x) = sgn(x), pak funkce v bodě nula nebude mít limitu, bude mít dvě různé jednostranné limity. Zleva se bude x blížit k minus jedné a zprava k plus jedné. Můžete si to zkusit dokázat podle definice.

Neexistující limity

Ukážeme si ještě několik příkladů, kdy limity neexistují.

Nejjednodušší příklad neexistence limity je spočítat limitu v bodě, který není hromadným bodem D(f). Takže například neexistuje limita:

$$\lim_{x\rightarrow-1}\ln x$$

Graf:

Graf funkce f(x)=\ln(x) Graf funkce f(x) = ln(x)

Periodické funkce často nemají limitu v nekonečnu (neplatí pro všechny!). Typicky goniometrické funkce jako třeba sinus. Graf následuje:

Graf funkce f(x)=\sin(x) Graf funkce f(x) = sin(x)

Limita v nekonečnu zkrátka neexistuje, hodnota sinu neustále osciluje mezi jedničkou a minus jedničkou, limitu tak nelze spočítat.

Externí odkazy a zdroje