Wikipedista:Jan Růžička/(ε, δ)-definice limity

Pokud bod x je v δ jednotek kolem c, f(x) v ε jednotek 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 (${\displaystyle }$) definici limity ve svém Cours d ' Analyse, ale občas používal ${\displaystyle }$ argumenty ve svých důkazech. Poprvé byla formalizována Bernardem Bolzanem v roce 1817 a definitivní moderní znění nakonec poskytl Karl Weierstrass. 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, pokud 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. století, kdy se Pierre de Fermat pokusil najít sklon tečny v bodě ${\displaystyle }$funkce jako třeba ${\displaystyle }$. Použití nenulové, ale téměř nulové kvantity, značené ${\displaystyle }$, Fermat provedl následující výpočet:

Klíčem k výše uvedenému výpočtu je, že ježto ${\displaystyle }$ je nenulové, takže lze dělit ${\displaystyle }$ ${\displaystyle }$, ale jelikož ${\displaystyle }$ je blízko 0, ${\displaystyle }$ je vlastně ${\displaystyle }$. Kvantity jako např. ${\displaystyle }$ 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 ${\displaystyle }$ 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. fluxionů. Vyvinul je v souvislosti s myšlenkou "nekonečně malého časového okamžiku..." Později Newton nicméně fluxiony odmítl ve prospěch teorie poměrů, která je blízká moderní ${\displaystyle }$ 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í. 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í.Šablona:Dubious Nakane dospívá k závěru, že Cauchy i Weierstrass dali stejný název různým pojetím limity.Šablona:Unreliable source?

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

${\displaystyle }$

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. 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, ${\displaystyle }$) 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 o), myslíme, že vzdálenost mezi nimi je malá. 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 ${\displaystyle }$ je malá. Když říkáme, že x a v jsou blízko, myslíme tím, že ${\displaystyle }$ 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 ${\displaystyle }$můžeme vzdálenost mezi f(x) a L udělat menší než ${\displaystyle }$.

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 ${\displaystyle }$ existuje nějaká nenulová vzdálenost ${\displaystyle }$ taková, že je-li vzdálenost x od a menší než ${\displaystyle }$ pak vzdálenost mezi f(x) a L je menší než ${\displaystyle }$.

Podstatou definice je, že pro jakoukoliv "výzvu" ${\displaystyle }$ pro dané f, a a L, se musí najít ${\displaystyle }$ takové, že pokud ${\displaystyle }$, pak z toho plyne, že ${\displaystyle }$. 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

${\displaystyle }$ definice limity funkce je následující:

Nechť ${\displaystyle }$ reálná funkce definovaná na podmnožině ${\displaystyle }$ reálných čísel. Nechť ${\displaystyle }$ mezní bod ${\displaystyle }$ a nechť ${\displaystyle }$ je reálné číslo. Pak říkáme, že

${\displaystyle }$

pokud pro každé ${\displaystyle }$ existuje ${\displaystyle }$ takové, že pro všechna ${\displaystyle }$pokud ${\displaystyle }$pak ${\displaystyle }$.

Symbolicky:

${\displaystyle }$

Pokud ${\displaystyle }$ nebo ${\displaystyle }$, pak je podmínka, že ${\displaystyle }$ je mezní bod, je automaticky splněna, protože 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. Zobecněná definice pak zní:

Nechť ${\displaystyle }$ je zobrazení z podmnožiny ${\displaystyle }$ metrického prostoru ${\displaystyle }$ s metrikou ${\displaystyle }$do metrického prostoru ${\displaystyle }$ s metrikou ${\displaystyle }$. Nechť ${\displaystyle }$ je mezní bod ${\displaystyle }$ a nechť ${\displaystyle }$bod v ${\displaystyle }$.

Pak říkáme, že

${\displaystyle }$

pokud pro každé ${\displaystyle }$ existuje ${\displaystyle }$ takové, že pro všechna ${\displaystyle }$pokud ${\displaystyle }$pak ${\displaystyle }$.

Jelikož ${\displaystyle }$ 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ť ${\displaystyle }$ je zobrazení z podmnožiny ${\displaystyle }$metrického prostoru ${\displaystyle }$ s metrikou ${\displaystyle }$do metrického prostoru ${\displaystyle }$ s metrikou ${\displaystyle }$. Nechť ${\displaystyle }$ mezní bod ${\displaystyle }$ a nechť ${\displaystyle }$ bod v ${\displaystyle }$.

Pak říkáme, že

${\displaystyle }$

pokud existuje ${\displaystyle }$ takové, že pro všechna ${\displaystyle }$ ${\displaystyle }$ takové, že ${\displaystyle }$ a ${\displaystyle }$.

Říkáme, že ${\displaystyle }$ neexistuje, pokud pro všechna ${\displaystyle }$, ${\displaystyle }$.

Pro negaci definice pro reálnou funkci definovanou na reálných číslech lze jednoduše dosadit ${\displaystyle }$.

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

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

Nechť ${\displaystyle }$ je zobrazení z podmnožiny ${\displaystyle }$ metrického prostoru ${\displaystyle }$ s metrikou ${\displaystyle }$do metrického prostoru ${\displaystyle }$ s metrikou ${\displaystyle }$. Nechť ${\displaystyle }$.

Pak říkáme, že

${\displaystyle }$

pokud pro každé ${\displaystyle }$existuje reálné číslo ${\displaystyle }$ takové, že existuje ${\displaystyle }$ takové, že ${\displaystyle }$ a že pokud ${\displaystyle }$ a ${\displaystyle }$pak ${\displaystyle }$.

Vypracované příklady

Příklad 1

Ukážeme, že

${\displaystyle }$.

Nechť máme dané ${\displaystyle }$. Musíme najít ${\displaystyle }$ takové, že pokud ${\displaystyle }$ ${\displaystyle }$.

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

${\displaystyle }$

Pokud tedy vezmeme ${\displaystyle }$pak pokud ${\displaystyle }$ ${\displaystyle }$, což dokončuje důkaz.

Příklad 2

Dokažme tvrzení, že

${\displaystyle }$

pro libovolné reálné číslo ${\displaystyle }$.

Nechť máme dané ${\displaystyle }$. Najdeme ${\displaystyle }$ takové, že pokud ${\displaystyle }$ ${\displaystyle }$.

Začneme rozkladem na součin:

${\displaystyle }$

Uvědomme si, že ${\displaystyle }$ je činitel ohraničený ${\displaystyle }$ takže můžeme brát mez 1 a později pro ${\displaystyle }$.

Inu předpokládejme, že ${\displaystyle }$. Jelikož ${\displaystyle }$ platí pro obecná reálná čísla ${\displaystyle }$ a ${\displaystyle }$máme

${\displaystyle }$

Takže,

${\displaystyle }$

A tedy podle trojúhelníkové nerovnosti,

${\displaystyle }$

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

${\displaystyle }$

pak

${\displaystyle }$.

Nakonec stanovíme

${\displaystyle }$.

Takže pokud ${\displaystyle }$pak

${\displaystyle }$

Našli jsme tedy takové ${\displaystyle }$, že pokud ${\displaystyle }$ ${\displaystyle }$. Ukázali jsme tedy, že

${\displaystyle }$

pro jakékoliv reálné číslo ${\displaystyle }$.

Příklad 3

Dokažme, že

${\displaystyle }$

Nejlépe je to vidět pomocí grafického znázornění limity, a to tedy dává pevný základ pro důkaz. Podle formální definice výše je limitní výrok platný, právě když pokud omezíme ${\displaystyle }$ ${\displaystyle }$ jednotek od ${\displaystyle }$ nevyhnutelně tím také omezíme ${\displaystyle }$ ${\displaystyle }$ jednotek od ${\displaystyle }$. V tomto konkrétním případě to znamená, že tvrzení je pravdivé, právě když omezení ${\displaystyle }$ ${\displaystyle }$ jednotek od 5 nevyhnutelně omezí

${\displaystyle }$

na ${\displaystyle }$ jednotek od 12. Klíč k odhalení této implikace je ukázat, jak jsou ${\displaystyle }$ a ${\displaystyle }$, že implikace platí. Matematicky chceme ukázat, že

${\displaystyle }$

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

${\displaystyle }$

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

${\displaystyle }$

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

${\displaystyle }$

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:

${\displaystyle }$

Pokud by byla podmínka 0 < |x − c| 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 ${\displaystyle }$ konverguje k limitě L, když se ${\displaystyle }$ blíží k a, právě když pro každou infinitezimálu e je hodnota ${\displaystyle }$ nekonečně blízko k L; viz mikrokontinuitu pro související definici spojitosti, v podstatě podané Cauchym. 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ě.

Související články

• Spojité zobrazení
• Limita posloupnosti