(ε, δ)-definice limity

Pokud se bod x nachází v δ jednotkách kolem bodu c, pak se f(x) nachází v ε jednotkách kolem L. V kalkulu je (ε, δ)-definice limity („epsilon-delta definice limity“) formalizace pojetí limit. Název vznikl podle Augustina-Louise Cauchyho, který sice nikdy neformuloval (\varepsilon,\delta) definici limity ve svém Cours d'Analyse, ale občas používal \varepsilon,\delta argumenty ve svých důkazech. Poprvé byla formalizována Bernardem Bolzanem v roce 1817 a definitivní moderní znění nakonec poskytl Karl Weierstrass.{{Cit|jméno=A.-L.|příjmení=Cauchy|author-link=Augustin Louis Cauchy|titul=Résumé des leçons données à l’école royale polytechnique sur le calcul infinitésimal|místo=Paris|rok=1823|url=http://math-doc.ujf-grenoble.fr/cgi-bin/oeitem?id=OE_CAUCHY_2_4_9_0|kapitola=Septième Leçon - Valeurs de quelques expressions qui se présentent sous les formes indéterminées \frac{\infty}{\infty}, \infty^0, \ldots Relation qui existe entre le rapport aux différences finies et la fonction dérivée|chapter-url=http://gallica.bnf.fr/ark:/12148/bpt6k90196z/f45n5.capture|postscript=, [url=http://gallica.bnf.fr/ark:/12148/bpt6k90196z.image.f47]p. 44[/url].|url archivu=https://www.webcitation.org/5gVUmywgY?url=http://math-doc.ujf-grenoble.fr/cgi-bin/oeitem?id=OE_CAUCHY_2_4_9_0|datum archivace=2009-05-04| nedostupné = ano|datum přístupu=2009-05-01|df=}} Tato definice dělá následující neformální výrok rigorózním: závislý výraz f(x) se blíží hodnotě L, zatímco se proměnná x blíží hodnotě c, pokud f(x) může být libovolně blízko k L, když x je dostatečně blízko k c.

Historie

I když již řekové zkoumali limitní procesy, jako je Babylónská metoda, nejspíš neměli žádný koncept podobný moderní limitě. Potřeba tohoto konceptu se objevila v 17. +more století, kdy se Pierre de Fermat pokusil najít sklon tečny v bodě funkce jako třeba f(x) = x^2. Použití nenulové, ale téměř nulové kvantity, značené E, Fermat provedl následující výpočet:.

\begin{align} {\rm sklon} &= \frac{f(x+E) - f(x)}{E}\\ &= \frac{(x+E)^2 - x^2}{E}\\ &= \frac{x^2 + 2xE + E^2 - x^2}{E}\\ &= \frac{2xE + E^2}{E}\\ &= 2x + E = 2x. \end{align}

Klíčem k výše uvedenému výpočtu je, že ježto E je nenulové, takže lze dělit, ale jelikož je zároveň blízko 0, 2x + E je vlastně 2x. Kvantity jako např. +more E jsou nazývány infinitezimály. Problémem takového výpočtu bylo, že matematici tehdejší doby nebyli schopni důsledně definovat takovou hodnotu s vlastnostmi E i když bylo běžnou praxí „zanedbat“ infinitezimály s vyšší mocninou a zdálo se, že výsledky takových výpočtů jsou správné.

Tento problém se objevil později v letech 1600 v ústředí vývoje kalkulu, protože postupy, jako byl ten Fermatův, jsou důležité pro výpočet derivací. Isaac Newton vyvinul první infinitezimální kalkulus pomocí tzv. +more fluxionů. Vyvinul je v souvislosti s myšlenkou „nekonečně krátkého časového okamžiku. “ Později Newton nicméně fluxiony odmítl ve prospěch teorie poměrů, která je blízká moderní (\varepsilon, \delta) definici limity. Newton si byl navíc vědom, že limita poměru zmenšujících se veličin ve skutečnosti sama poměrem nebyla, jak napsal:.

: Tyto poměry ... ve skutečnosti nejsou poměry konečných veličin, ale limit ... kterým se můžou přiblížit tak těsně, že jejich rozdíl je menší než jakékoli dané množství...

Newton navíc příležitostně limity vysvětlil podobným způsobem, jako je epsilon-delta definice. Gottfried Wilhelm Leibniz vyvinul vlastní infinitezimální počet a snažil se jej upevnit na rigorózním základu, ale stále tím některé matematiky a filozofy neuspokojil.

Augustin-Louis Cauchy podal definici limity pomocí primitivnějšího konceptu, tzv. variabilního množství. +more Nikdy limitu nedefinoval pomocí epsilon-delta definice (Grabiner 1981). Některé z Cauchyho důkazů obsahují známky epsilon-delta metody. Zda jeho přístup může či nemůže být považován za předzvěst Weierstrasse, je předmětem sporů. Grabiner si myslí, že ano, zatímco Schubring (2005) nesouhlasí. Nakane dospívá k závěru, že Cauchy i Weierstrass dali stejný název různým pojetím limity.

Nakonec přichází Bolzano a Weierstrass, kteří jsou považováni za první, kteří dali kalkulu pevný základ v podobě moderní \varepsilon - \delta definice limity. Potřeba odvolat se na nekonečně malé E byla odstraněna a Fermatův výpočet se změnil na výpočet následující limity:

: \lim_{h\rightarrow0} \frac{f(x + h) - f(x)}{h}.

Nelze však říci, že byla tato definice limity bez problémů, jelikož i když odstranila nutnost infinitezimál, vyžadovala konstrukci reálných čísel podle Richarda Dedekinda. Také je nutno dodat, že infinitezimály mají také své místo v moderní matematice, neboť je byli později matematici schopni rigorózně definovat pomocí hyperreálných čísel nebo nadreálných čísel. +more Navíc je pomocí nich také možné vytvořit kalkulus a mají i další matematická použití.

Neformální znění

Dobrá intuitivní nebo zástupná definice je, že „funkce f se blíží k limitě L blízko a (symbolicky, \lim_{x\rightarrow a} f(x) = L ) pokud lze dostat f(x) libovolně blízko k L tak, že vyžadujeme, aby x bylo dostatečně blízko k, ale různé od, a.“

Tím, že jsou dvě hodnoty blízko sebe (např. f(x) a L nebo x a a), myslíme, že vzdálenost mezi nimi je malá. +more Když jsou f(x), L, x, a a reálná čísla, vzdálenost mezi dvěma z nich je absolutní hodnota z jejich rozdílu. To znamená, že když říkáme, že f(x) je blízko k L, myslíme tím, že |f(x) - L| je malá. Když říkáme, že x a a jsou blízko, myslíme tím, že |x - a| je malá.

Když říkáme, že můžeme dostat f(x) libovolně blízko k L, myslíme tím, že pro všechny nenulové vzdálenosti \varepsilon můžeme vzdálenost mezi f(x) a L udělat menší než \varepsilon.

Když říkáme, že můžeme dostat f(x) libovolně blízko k L s tím, že x musí být dostatečně blízko k, ale různé od, a, myslíme tím, že pro každou nenulovou vzdálenost \varepsilon existuje nějaká nenulová vzdálenost \delta taková, že je-li vzdálenost x od a menší než \delta pak vzdálenost mezi f(x) a L je menší než \varepsilon.

Podstatou definice je, že pro jakoukoliv „výzvu“ \varepsilon >0 pro dané f, a a L, se musí najít \delta >0 takové, že pokud 0 pak z toho plyne, že 0 Pokud lze najít takovou odpověď na jakoukoli výzvu, pak bylo dokázáno, že limita existuje.

Přesná definice a podobné výroky

Přesná definice pro reálné funkce

(\varepsilon, \delta) definice limity funkce je následující:

Nechť f je reálná funkce definovaná na podmnožině D reálných čísel. Nechť c je mezní bod D a nechť L je reálné číslo. +more Pak říkáme, že.

: \lim_{x\rightarrow c} f(x) = L,

pokud pro každé \varepsilon existuje \delta takové, že pro všechna x\in D, pokud 0 pak 0

Symbolicky:

: \lim_{x\rightarrow c} f(x) = L \Longleftrightarrow (\forall \varepsilon > 0, \exists \delta > 0, \forall x \in D, 0

Pokud D = [a, b] nebo D = \R, pak je podmínka, že c je mezní bod, je automaticky splněna, protože každý uzavřený reálný interval a celá reálná osa jsou dokonalé množiny.

Přesná definice pro funkce mezi metrickými prostory

Tuto definici lze zobecnit i na funkce, které jsou zobrazením mezi metrickými prostory. Tyto prostory nesou funkci zvanou metrika, která bere dva body v tomto prostoru a vrací reálné číslo, které představuje vzdálenost mezi nimi. +more Zobecněná definice pak zní:.

Nechť f je zobrazení z podmnožiny D metrického prostoru X s metrikou d_X(x, y) do metrického prostoru Y s metrikou d_Y(x,y). Nechť c je mezní bod D a nechť L je bod v Y.

Pak říkáme, že

: \lim_{x\rightarrow c} f(x) = L

pokud pro každé \varepsilon > 0 existuje \delta >0 takové, že pro všechna x\in D, pokud 0 pak 0

Jelikož d(x, y) = |x-y| je metrika na reálných číslech, lze dokázat, že tato definice zobecňuje první definici pro reálné funkce.

Negace definice

Negace této definice je následující:

Nechť f je zobrazení z podmnožiny D metrického prostoru X s metrikou d_X(x, y) do metrického prostoru Y s metrikou d_Y(x,y). Nechť c je mezní bod D a nechť L je bod v Y.

Pak říkáme, že

: \lim_{x\rightarrow c} f(x) \neq L

pokud existuje \varepsilon > 0 takové, že pro všechna \delta >0 existuje x\in D takové, že 0 a d_Y(f(x), L) > \varepsilon.

Říkáme, že \lim_{x\rightarrow c} f(x) neexistuje, pokud pro všechna L\in Y,\ \lim_{x\rightarrow c} f(x) \neq L.

Pro negaci definice pro reálnou funkci definovanou na reálných číslech lze jednoduše dosadit d_X(x, y) = d_Y(x,y) = |x-y|.

Přesná definice pro limitu v nevlastním bodě

Přesná definice pro nekonečné limity je následující:

Nechť f je zobrazení z podmnožiny D metrického prostoru X s metrikou d_X(x,y) do metrického prostoru Y s metrikou d_Y(x,y). Nechť L\in Y.

Pak říkáme, že

: \lim_{x\rightarrow\infty} f(x) = L

pokud pro každé \varepsilon >0 existuje reálné číslo N>0 takové, že existuje x\in D takové, že d_X(x,0) > N, a že pokud d_X(x,0) > N a x\in D, pak d_Y(f(x), L)

Vypracované příklady

Příklad 1

Ukážeme, že

: \lim_{x\rightarrow 0} x \cdot \sin\left(\frac{1}{x}\right) = 0 .

Nechť máme dané \varepsilon>0. Musíme najít \delta>0 takové, že pokud |x-0| pak \left|x\cdot\sin\left(\frac{1}{x}\right)-0\right|

Jelikož sinus je shora omezený na 1 a zdola na -1, platí

\begin{align} \left|x\cdot\sin\left(\frac{1}{x}\right)-0\right| &= \left|x\cdot\sin\left(\frac{1}{x}\right)\right|\\ &= |x|\left|\sin\left(\frac{1}{x}\right)\right|\\ &\le |x|. \end{align}

Pokud tedy vezmeme \delta = \varepsilon, pak pokud |x| = |x-0| tak \left|x\cdot\sin\left(\frac{1}{x}\right)-0\right| \le |x| což dokončuje důkaz.

Příklad 2

Dokažme tvrzení, že

: \lim_{x\rightarrow a} x^2 = a^2

pro libovolné reálné číslo a .

Nechť máme dané \varepsilon. Najdeme \delta takové, že pokud |x-a| pak \left|x^2 - a^2\right|

Začneme rozkladem na součin:

: \left|x^2-a^2\right| = |(x+a)(x-a)| = |x+a|\cdot|x-a|

Všimněme si, že |x-a| je činitel shora ohraničený \delta, takže za mez můžeme určit 1 a později pro \delta vzít něco menšího.

Inu předpokládejme, že |x-a| Jelikož |x| - |y| \le |x-y| platí pro obecná reálná čísla x a y, máme

: |x| - |a| \le |x-a|

Takže

: |x|

A tedy podle trojúhelníkové nerovnosti:

: |x+a| \le |x| + |a|

Pokud tedy budeme dále předpokládat, že

: |x-a|

pak

: \left|x^2-a^2\right|

Nakonec tedy stanovíme

: \delta = \min\left(1, \frac{\varepsilon}{2|a|+1}\right).

Takže pokud |x-a| pak

: \begin{align}

\left|x^2-a^2\right| &= |x+a| \cdot |x-a|\\ &

Našli jsme tedy takové \delta, že pokud |x-a| pak |x^2-a^2| Ukázali jsme tedy, že

: \lim_{x\rightarrow a} x^2 = a^2

pro jakékoliv reálné číslo a.

Příklad 3

Dokažme, že

: \lim_{x\rightarrow 5} 3x-3 = 12.

Nejlépe je to vidět pomocí grafického znázornění limity, které se tím stává pevným základem pro důkaz. Podle formální definice výše je limitní výrok platný, právě když pokud omezíme x na \delta jednotek od c, nevyhnutelně tím také omezíme f(x) na \varepsilon jednotek od L. +more V tomto konkrétním případě to znamená, že tvrzení je pravdivé, právě když omezení x na \delta jednotek od 5 nevyhnutelně omezí.

: 3x-3

na \varepsilon jednotek od 12. Klíčem k odhalení této implikace je ukázat, jak jsou \varepsilon a \delta k sobě navzájem vztaženy tak, že implikace platí. Matematicky chceme ukázat, že

: |x-5|

Po zjednodušení, rozkladu na součin a dělení třemi na pravé straně implikace dostaneme

: |x-5|

což okamžitě splňuje podmínku, pokud zvolíme

: \delta = \frac{\varepsilon}{3}.

Tím je důkaz dokončen. Klíčem k důkazu spočívá v tom, zvolit mez pro x a následně najít odpovídající mez pro f(x), které se v tomto případě lišily o činitel 3, který plyne ze sklonu 3 přímky

: y = 3x-3.

Spojitost

Funkce f je spojitá na c, pokud je na c definovaná a její hodnota se na c rovná limitě f, když se x blíží c:

: \lim_{x\rightarrow c} f(x) = f(c).

Pokud by byla podmínka 0 z definice limity vynechána, pak by byl požadavek, že f(x) má limitu na c, stejný jako vyžadovat, aby bylo f(x) na c spojité.

f je spojitá na intervalu I, pokud je spojitá v každém bodě c náležícím I.

Srovnání s infinitezimální definicí

Keisler dokázal, že hyperreálná definice limity snižuje kvantifikátorovou složitost o dva kvantifikátory. A sice, že f(x) konverguje k limitě L, když se x blíží k a, právě když pro každou infinitezimálu e je hodnota f(x+e) nekonečně blízko k L; viz mikrokontinuitu pro související definici spojitosti, v podstatě podané Cauchym. +more Učebnice infinitezimálního počtu založené na Robinsonově přístupu poskytují definice spojitosti, derivace a integrálu ve standardní formě pomocí infinitezimál. Jakmile byly pojmy jako kontinuita důkladně vysvětleny pomocí mikrokontinuity, přístup pomocí epsilon-delta je představen také. Karel Hrbáček tvrdí, že definice spojitosti, derivace a integrace v Robinsonově nestandardní analýze se musí opírat o ε-δ metodu za účelem ošetření i nestandardní vstupní hodnoty. Błaszczyk a další tvrdí, že mikrokontinuita je užitečná v rozvoji jasné definice stejnoměrné spojitosti a považuje Hrbáčkovu kritiku za „pochybné naříkání“. Hrbáček navrhuje alternativní nestandardní analýzu, která má (na rozdíl od Robinsona) mnoho „úrovní“ infinitezimál, takže limity na jedné úrovni mohou být definovány pomocí infinitezimál další úrovně.

Reference

Související články

Spojité zobrazení * Limita posloupnosti

Definice limity Kategorie:Matematická logika Kategorie:Matematická analýza