Definisi limit (ε, δ)

Dalam kalkulus, **definisi limit-(''ε'', ''δ'')** (dibaca "definisi limit epsilon–delta) adalah formalisasi dari pengertian limit. Konsep tersebut karena Augustin-Louis Cauchy, yang tidak pernah memberi nilai definisi limit (\varepsilon,\delta) dalam *[[Cours d'Analyse]]*, tetapi terkadang digunakan argumen \varepsilon,\delta dalam bukti. Ini pertama kali diberikan sebagai definisi formal oleh Bernard Bolzano pada tahun 1817, dan pernyataan modern yang pasti akhirnya diberikan oleh Karl Weierstrass. Hal tersebut memberikan ketelitian pada gagasan informal berikut: ungkapan tergantung f(x) mendekati nilai L, sebagai variabel x mendekati nilai c jika f(x) dapat dibuat sedekat L, dengan mengambil nilai x yang cukup dekat dengan nilai c.

## Sejarah

Meskipun orang Yunani memeriksa proses pembatasan, seperti metode Babilonia, mereka mungkin tidak memiliki konsep yang mirip dengan modern limit. Ketentuan konsep limit muncul pada tahun 1600-an, ketika Pierre de Fermat berusaha menemukan kelerengan dari garis tangen pada suatu titik x dari fungsi seperti f(x)=x^2. Menggunakan kuantitas taknol tetapi hampir nol, E, Fermat melakukan perhitungan berikut:

:
\begin{align}
\text{kelerengan} & = \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}


Kunci dari perhitungan di atas adalah sejak E taknol, salah satunya dapat membagi f(x+E)-f(x) dari E, tapi ketika E dekat dengan 0, 2x+E pada dasarnya adalah 2x. Kuantitas seperti E disebut infinitesimal. Masalah dengan perhitungan ini adalah bahwa para matematikawan zaman itu tidak dapat secara tepat mendefinisikan kuantitas dengan sifat  E, meskipun itu adalah praktik umum untuk 'mengabaikan' infinitesimal pangkat yang lebih tinggi dan ini tampaknya membuahkan hasil yang benar.

Masalah ini muncul kembali kemudian pada tahun 1600an di pusat perkembangan kalkulus, karena perhitungan seperti Fermat penting untuk perhitungan turunan. Isaac Newton kalkulus yang dikembangkan pertama kali melalui jumlah yang sangat kecil yang disebut fluks. Dia mengembangkannya dengan mengacu pada gagasan tentang "momen waktu yang sangat kecil..." Namun, Newton kemudian menolak fluks demi teori rasio yang mendekati modern \varepsilon\text{–}\delta  definisi limit. Selain itu, Newton menyadari bahwa limit rasio kuantitas lenyap adalah *bukan* rasio itu sendiri, saat ia menulis:

: Rasio terakhirnya ... sebenarnya  bukan rasio kauntitas terakhirnya, tetapi limit ... yang mana ini dapat didekatkan lebih dekat bahwa perbedaannya lebih kecil dari suatu kuantitas yang diberikan...

Sebagai tambahan, Newton terkadang menjelaskan limit dalam istilah yang serupa dengan definisi epsilon–delta. Gottfried Wilhelm Leibniz mengembangkan sebuah infinitesimal oleh dirinya dan mencoba untuk memberikannya dengan sebuah dasar yang setepat-tepatnya, tetapi ini tetap disambut dengan gelisah oleh beberapa matematikawan dan para filsafat.

Augustin-Louis Cauchy memberikan sebuah definisi limit dalam hal gagasan lebih primitif yang disebut sebuah *kuantitas variabel*. Dia tidak pernah memberikan epsilon–delta definisi limit (Grabiner 1981). Beberapa bukti Cauchy berisi indikasi metode epsilon–delta. Whether or not his foundational approach can be considered a harbinger of Weierstrass's is a subject of scholarly dispute. Grabiner feels that it is, while Schubring (2005) disagrees. Nakane concludes that Cauchy and Weierstrass gave the same name to different notions of limit.

Eventually, Weierstrass and Bolzano are credited with providing a rigorous footing for calculus, in the form of the modern \varepsilon\text{–}\delta definition of the limit. The need for reference to an infinitesimal E was then removed, and Fermat's computation turned into the computation of the following limit:

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


This is not to say that the limiting definition was free of problems as, although it removed the need for infinitesimals, it did require the construction of the real numbers by Richard Dedekind. This is also not to say that infinitesimals have no place in modern mathematics, as later mathematicians were able to rigorously create infinitesimal quantities as part of the hyperreal number or surreal number systems. Moreover, it is possible to rigorously develop calculus with these quantities and they have other mathematical uses.

## Contoh yang bekerja
### Contoh 1
Ini akan menunjukkan bahwa

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

Diberikan \varepsilon > 0, \delta >0  diperlukan sehingga |x-0|  menyiratkan \left|x\sin\left(\frac{1}{x}\right) - 0\right| .

Karena sinus dibatasi di atas 1 dan di bawahnya oleh -1,


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


Demikianlah, jika \delta = \varepsilon dipilih, maka |x| =|x-0|  menyiratkan \left|x\sin{\left(\frac{1}{x}\right)} - 0\right| \leq |x| , yang melengkapi buktinya.

### Contoh 2
Pernyataan

:  \lim_{x\to a} x^2 = a^2
akan dibuktikan untuk suatu bilangan real a.

Diberikan \varepsilon>0, \delta > 0  akan ditemukan sehingga |x-a| menyiratkan |x^2-a^2|.

Dimulai dengan memfaktorkan:

:  |x^2-a^2| = |(x-a)(x+a)|=|x-a||x+a|.

Istilah |x-a| dibatasi oleh \delta jadi batas dari 1 dapat kita misalkan, dan kemudian sesuatu yang lebih kecil daripadanya dapat diambil untuk \delta.

Jadi, ini dianggap bahwa  |x-a| . Karena  |x| - |y| \leq |x-y|  berlaku pada umumnya untuk bilangan real x dan y, kita memiliki

:  |x| - |a| \leq |x-a| .

Dengan demikian,

:  |x| .

Dengan demikian, melalui pertidaksamaan segitiga,

:  |x+a| \leq |x| + |a| 

Dengan demikian, jika kita menganggapnya lebih jauh bahwa

: |x-a| 

maka

:|x^2-a^2| 

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

Jadi, jika  |x-a|, maka

: 
\begin{align}
|x^2-a^2| &= |x-a||x+a| \\
          &
Dengan demikian, kita memiliki sebuah \delta sehingga  |x-a|  menyiratkan |x^2-a^2|  . Dengan demikian, kita telah menunjukkan bahwa

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

untuk suatu bilangan real a.

### Contoh 3
Pernyataan

: \lim_{x \to 5} (3x - 3) = 12

akan dibuktikan.

Ini mudah dibuktikan melalui pemahaman grafis limit, dan demikian berfungsi sebagai dasar-dasar yang kuat untuk induksi pembuktiannya. Menurut definisi formal di atas, sebuah pernyataan limit adalah benar jika dan hanya jika membatasi x ke satuan \delta dari c akan pasti membatasi f(x) ke satuan \varepsilon dari L. Dalam kasus yang spesifik, ini berarti bahwa pernyataan tersebut benar jika dan hanya jika membatasi x ke satuan \delta dari 5 akan pasti membatasi

: 3x - 3

ke satuan \varepsilon dari 12. Kunci secara keseluruhan untuk membuktikan implikasi ini adalah untuk menunjukkan bagaimana \delta dan \varepsilon harus berkaitan dengan satu sama lain sehingga implikasinya berlaku. Secara matematis, ini akan menunjukkan bahwa

:  0 .

Dengan menyederhanakan, memfaktorkan, dan membagi 3 di ruas kanan implikasi menghasilkan

:  | x - 5 | ,

yang secara langsung memberikan nilai yang diperlukan jika

:  \delta = \varepsilon / 3 

dipilih.

Dengan demikian, buktinya terselesaikan. Kunci mengenai bukti tersebut terletak dalam kemampuan salah satunya untuk memilih batas-batas di x, dam kemudian menyimpulkan batas-batas berpadanan di f(x), yang mana dalam kasus ini berkaitan dengan sebuah faktor dari 3, yang secara keseluruhan karena kemiringan dari 3 di garis

:  y = 3x - 3.

## Kekontinuan
Sebuah fungsi f dikatakan kontinu di c jika keduanya didefinisikan di c dan nilainya di c sama dengan limit dari f ketika x mendekati c:

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

Definisi (\varepsilon, \delta) untuk sebuah fungsi kontinu dapat diperoleh dari definisi limit dengan menggantikan 0 dengan |x-c|, untuk memastikan bahwa f didefinisikan di c dan sama dengan limitnya.

Sebuah fungsi f dikatakan kontinu di selang I jiak fungsi f kontinu di setiap titik c dari I.

## Perbandingan dengan definisi infinitesimal
Keisler proved that a hyperreal definition of limit reduces the logical quantifier complexity by two quantifiers. Namely, f(x) converges to a limit *L* as x tends to *a* if and only if the value f(x+e) is infinitely close to *L* for every infinitesimal *e*. (See Microcontinuity for a related definition of continuity, essentially due to Cauchy.)

Infinitesimal calculus textbooks based on Robinson's approach provide definitions of continuity, derivative, and integral at standard points in terms of infinitesimals. Once notions such as continuity have been thoroughly explained via the approach using microcontinuity, the epsilon–delta approach is presented as well. Karel Hrbáček argues that the definitions of continuity, derivative, and integration in Robinson-style non-standard analysis must be grounded in the *ε*–*δ* method, in order to cover also non-standard values of the input. Błaszczyk et al. argue that microcontinuity is useful in developing a transparent definition of uniform continuity, and characterize the criticism by Hrbáček as a "dubious lament". Hrbáček proposes an alternative non-standard analysis, which (unlike Robinson's) has many "levels" of infinitesimals, so that limits at one level can be defined in terms of infinitesimals at the next level.

## Keluarga definisi limit formal
Tidak ada definisi limit yang tunggal - adanya seluruh definisi keluarga. Ini dikarenakan kehadiran takhingga, dan konsep limit "dari sebelah kanan"" dan "dari sebelah kiri". Limit itu sendiri dapat menjadi sebuah nilai terhingga, \infty, atau -\infty. Nilai yang mendekati oleh x juga dapat menjadi nilai terhingga, \infty, atau -\infty, dan jika ini merupakan sebuah nilai terhingga, ini dapat mendekati dari kiri atau dari kanan. Biasanya, setiap kombinasinya diberikan definisi itu sendiri, seperti di bawah ini:|178=f(x) =|180=\iff|164=\iff|181={\color{Red}\forall N |182={\color{Green}\exists \delta > 0,}|183=\forall x \in D,|184={\color{Green}c-\delta} |185=x|186=|187=\Rightarrow|188=|189=f(x)|190=|191=|192=\lim_{x \to 0} -|1/x| = -\infty|193=\lim_{x \to {\color{Green}c^+}}|165={\color{Red}\forall N > 0,}|163={\color{Red}\infty}|195={\color{Red}-\infty}|146=f(x) =|133={\color{Red}\forall N > 0,}|134={\color{Green}\exists \delta > 0,}|135=\forall x \in D,|136={\color{Green}c-\delta} |137=x|138=|139=\Rightarrow|140={\color{Red}N} |141=f(x)|142=|143=|144=\lim_{x \to 0^-} -1/x = \infty|145=\lim_{x \to {\color{Green}\infty}}|147={\color{Red}\infty}|162=f(x) =|148=\iff|149={\color{Red}\forall N > 0,}|150={\color{Green}\exists M > 0,     }|151=\forall x \in D,|152={\color{Green}M       } |153=x|154=|155=\Rightarrow|156={\color{Red}N} |157=f(x)|158=|159=|160=\lim_{x \to \infty} e^x = \infty|161=\lim_{x \to {\color{Green}-\infty}}|194=f(x) =|196=\iff|131={\color{Red}\infty}|244=\iff|231=\forall x \in D,|232={\color{Green}M       } |233=x|234=|235=\Rightarrow|236=|237=f(x)|238=|239=|240=\lim_{x \to \infty} -x = -\infty|241=\lim_{x \to {\color{Green}-\infty}}|242=f(x) =|243={\color{Red}-\infty}|245={\color{Red}\forall N |229={\color{Red}\forall N |246={\color{Green}\exists M |247=\forall x \in D,|248=|249=x|250=|251=\Rightarrow|252=|253=f(x)|254=|255=|256=\lim_{x \to -\infty} x^3 = -\infty|cols=16|col8align=right|230={\color{Green}\exists M > 0,     }|228=\iff|197={\color{Red}\forall N |211={\color{Red}-\infty}|198={\color{Green}\exists \delta > 0,}|199=\forall x \in D,|200={\color{Green}c       } |201=x|202=|203=\Rightarrow|204=|205=f(x)|206=|207=|208=\lim_{x \to 0^+} \log(x) = -\infty|209=\lim_{x \to {\color{Green}c^-}}|210=f(x) =|212=\iff|227={\color{Red}-\infty}|213={\color{Red}\forall N |214={\color{Green}\exists \delta > 0,}|215=\forall x \in D,|216={\color{Green}c-\delta} |217=x|218=|219=\Rightarrow|220=|221=f(x)|222=|223=|224=\lim_{x \to 0^-} 1/x = -\infty|225=\lim_{x \to {\color{Green}\infty}}|226=f(x) =|132=\iff|130=f(x) =||49=\lim_{x \to {\color{Green}c^-}}|36=\iff|37={\color{Red}\forall\varepsilon > 0,}|38={\color{Green}\exists \delta > 0,}|39=\forall x \in D,|40={\color{Green}c       } |41=x|42=|43=\Rightarrow|44={\color{Red}L-\varepsilon} |45=f(x)|46=|47=|48=\lim_{x \to 0^+} x^2 + \sgn(x) = 1|50=f(x) =|34=f(x) =|51={\color{Red}L}|52=\iff|53={\color{Red}\forall\varepsilon > 0,}|54={\color{Green}\exists \delta > 0,}|55=\forall x \in D,|56={\color{Green}c-\delta} |57=x|58=|59=\Rightarrow|60={\color{Red}L-\varepsilon} |61=f(x)|62=|63=|35={\color{Red}L}|33=\lim_{x \to {\color{Green}c^+}}|65=\lim_{x \to {\color{Green}\infty}}|16=**Contoh**|||**Definisi**|||||||||||17=\lim_{x \to {\color{Green}c}}|32=\lim_{x \to 0} \sin(x) = 0|18=f(x) =|19={\color{Red}L}|20=\iff|21={\color{Red}\forall\varepsilon > 0,}|22={\color{Green}\exists \delta > 0,}|23=\forall x \in D,|24={\color{Green}c-\delta} |25=x|26=|27=\Rightarrow|28={\color{Red}L-\varepsilon} |29=f(x)|30=|31=|64=\lim_{x \to 0^-} x^2 + \sgn(x) = -1|66=f(x) =|129=\lim_{x \to {\color{Green}c^-}}|114=f(x) =|101={\color{Red}\forall N > 0,}|102={\color{Green}\exists \delta > 0,}|103=\forall x \in D,|104={\color{Green}c-\delta} |105=x|106=|107=\Rightarrow|108={\color{Red}N} |109=f(x)|110=|111=|112=\lim_{x \to 0}  |1/x| = \infty|113=\lim_{x \to {\color{Green}c^+}}|115={\color{Red}\infty}|99={\color{Red}\infty}|116=\iff|117={\color{Red}\forall N > 0,}|118={\color{Green}\exists \delta > 0,}|119=\forall x \in D,|120={\color{Green}c       } |121=x|122=|123=\Rightarrow|124={\color{Red}N} |125=f(x)|126=|127=|128=\lim_{x \to 0^+} 1/x = \infty|100=\iff|98=f(x) =|67={\color{Red}L}|81=\lim_{x \to {\color{Green}-\infty}}|68=\iff|69={\color{Red}\forall\varepsilon > 0,}|70={\color{Green}\exists M > 0,     }|71=\forall x \in D,|72={\color{Green}M       } |73=x|74=|75=\Rightarrow|76={\color{Red}L-\varepsilon} |77=f(x)|78=|79=|80=\lim_{x \to \infty} 1/x = 0|82=f(x) =|97=\lim_{x \to {\color{Green}c}}|83={\color{Red}L}|84=\iff|85={\color{Red}\forall\varepsilon > 0,}|86={\color{Green}\exists M |87=\forall x \in D,|88=|89=x|90=|91=\Rightarrow|92={\color{Red}L-\varepsilon} |93=f(x)|94=|95=|96=\lim_{x \to -\infty} e^x = 0|col12align=right}}

## Lihat pula

* Fungsi kontinu
* Limit barisan
* Daftar topik kalkulus
* Teorema apit

## Referensi