Back to parent
Author @mujirin Verifier - Public Shared TheoryTrace Brain enabled

Definisi Epsilon-Delta: Cara Formal Mengatakan “Semakin Dekat”

Dalam dokumen induk, limit pertama-tama dijelaskan dengan bahasa yang sangat alami: suatu nilai yang didekati oleh fungsi ketika masukannya mendekati suatu titik. Bahasa ini cukup baik untuk membangun intuisi. Misalnya, ketika \(x\) mendekati \(1\), nilai \(x+1\) mendekati \(2\). Maka kita menulis

\[ \lim_{x\to 1}(x+1)=2. \]

Namun kata “mendekati” masih agak kabur. Seberapa dekat? Apakah cukup dekat berarti selisihnya kurang dari \(0{,}1\)? Atau kurang dari \(0{,}000001\)? Dalam matematika formal, kita tidak ingin bergantung pada perasaan saja. Kita ingin kalimat “\(f(x)\) mendekati \(L\)” memiliki arti yang tepat. Di sinilah definisi epsilon-delta muncul.

Definisi epsilon-delta adalah cara resmi untuk mengatakan:

nilai \(f(x)\) bisa dibuat sedekat apa pun dengan \(L\), asalkan \(x\) dipilih cukup dekat dengan \(a\), tetapi \(x\neq a\).

Kalimat ini adalah inti dari definisi limit.

Dua jenis kedekatan

Dalam limit

\[ \lim_{x\to a} f(x)=L, \]

ada dua hal yang bergerak dekat.

Pertama, ada kedekatan input, yaitu seberapa dekat \(x\) dengan \(a\). Kedekatan ini diukur dengan

\[ |x-a|. \]

Nilai mutlak dipakai karena kita hanya peduli jarak, bukan arah. Jika \(x=1{,}9\) dan \(a=2\), maka jaraknya \(0{,}1\). Jika \(x=2{,}1\) dan \(a=2\), jaraknya juga \(0{,}1\). Keduanya sama-sama dekat ke \(2\), hanya dari sisi yang berbeda.

Kedua, ada kedekatan output, yaitu seberapa dekat \(f(x)\) dengan \(L\). Ini diukur dengan

\[ |f(x)-L|. \]

Definisi epsilon-delta menghubungkan dua kedekatan ini. Ia mengatakan bahwa kita bisa mengendalikan kedekatan output dengan cara memilih input yang cukup dekat.

Secara formal, pernyataan

\[ \lim_{x\to a} f(x)=L \]

berarti:

\[ \text{untuk setiap } \varepsilon>0,\text{ ada } \delta>0 \text{ sehingga jika } 0<|x-a|<\delta,\text{ maka } |f(x)-L|<\varepsilon. \]

Simbol \(\varepsilon\), dibaca “epsilon”, mengukur seberapa dekat nilai fungsi harus berada dari \(L\). Simbol \(\delta\), dibaca “delta”, mengukur seberapa dekat \(x\) harus berada dari \(a\). Definisi ini merupakan bentuk standar dalam kalkulus dan analisis real [Apostol 1967; Spivak 2008].

Apa peran epsilon?

Bayangkan seseorang memberi tantangan:

“Saya ingin nilai \(f(x)\) berada dalam jarak kurang dari \(\varepsilon\) dari \(L\).”

Misalnya, ia meminta

\[ |f(x)-L|<0{,}01. \]

Artinya nilai fungsi harus sangat dekat dengan \(L\), selisihnya kurang dari \(0{,}01\). Jika ia lebih menuntut, ia bisa meminta

\[ |f(x)-L|<0{,}000001. \]

Dalam definisi, \(\varepsilon\) boleh sekecil apa pun, selama masih positif. Jadi definisi limit tidak hanya mengatakan “bisa dekat”, tetapi “bisa dibuat sedekat apa pun yang diminta”.

Ini penting. Limit bukan berarti nilai fungsi kadang-kadang dekat dengan \(L\). Limit berarti setiap tingkat kedekatan yang diminta dapat dipenuhi, asal \(x\) cukup dekat dengan \(a\).

Apa peran delta?

Setelah seseorang memilih \(\varepsilon\), tugas kita adalah menemukan \(\delta\). Delta memberi tahu seberapa dekat \(x\) harus dipilih dari \(a\).

Kalimat

\[ 0<|x-a|<\delta \]

berarti \(x\) berada dalam jarak kurang dari \(\delta\) dari \(a\), tetapi \(x\) tidak sama dengan \(a\). Bagian \(0<|x-a|\) penting karena limit membahas perilaku di sekitar titik \(a\), bukan harus nilai tepat di \(a\). Fungsi bahkan boleh tidak terdefinisi di \(a\), seperti contoh

\[ \frac{x^2-1}{x-1} \]

pada \(x=1\). Yang penting adalah apa yang terjadi ketika \(x\) mendekati \(1\), bukan harus apa yang terjadi tepat di \(1\).

Delta adalah jawaban terhadap tantangan epsilon. Jika epsilon mengatakan “saya ingin output sedekat ini”, maka delta menjawab “pilih input sedekat ini, maka keinginan itu terpenuhi.”

Contoh paling sederhana: \(f(x)=x+1\)

Mari lihat contoh dari dokumen induk:

\[ \lim_{x\to 1}(x+1)=2. \]

Secara informal, ini jelas: jika \(x\) mendekati \(1\), maka \(x+1\) mendekati \(2\). Sekarang kita lihat dengan definisi epsilon-delta.

Di sini

\[ f(x)=x+1,\quad a=1,\quad L=2. \]

Kita ingin memastikan bahwa

\[ |f(x)-L|<\varepsilon. \]

Substitusikan \(f(x)=x+1\) dan \(L=2\):

\[ |f(x)-L| = |(x+1)-2| = |x-1|. \]

Jadi syarat agar nilai fungsi dekat dengan \(2\) adalah

\[ |x-1|<\varepsilon. \]

Tetapi \(|x-1|\) juga merupakan jarak input \(x\) dari \(1\). Maka mudah sekali: kalau kita pilih

\[ \delta=\varepsilon, \]

maka setiap kali

\[ 0<|x-1|<\delta, \]

otomatis

\[ |f(x)-2|=|x-1|<\delta=\varepsilon. \]

Dengan demikian, definisi epsilon-delta terpenuhi. Ini membuktikan secara formal bahwa

\[ \lim_{x\to 1}(x+1)=2. \]

Untuk pemula, bagian pentingnya bukan sekadar simbolnya, tetapi hubungan pikirannya: karena selisih output sama dengan selisih input, maka membuat input dekat ke \(1\) langsung membuat output dekat ke \(2\).

Contoh yang lebih menarik: lubang di fungsi

Sekarang lihat contoh lain dari dokumen induk:

\[ \lim_{x\to 1}\frac{x^2-1}{x-1}=2. \]

Fungsi ini tidak terdefinisi di \(x=1\), karena penyebutnya menjadi nol. Tetapi untuk \(x\neq 1\), kita dapat menyederhanakan:

\[ \frac{x^2-1}{x-1} = \frac{(x-1)(x+1)}{x-1} = x+1. \]

Penyederhanaan ini hanya sah jika \(x\neq 1\), dan definisi epsilon-delta memang memakai syarat \(0<|x-a|\), sehingga \(x\) tidak sama dengan \(a\). Maka di sekitar \(1\), kecuali tepat di \(1\), fungsi tersebut berperilaku seperti \(x+1\).

Karena tadi kita sudah tahu bahwa \(x+1\) mendekati \(2\) ketika \(x\) mendekati \(1\), limitnya tetap

\[ 2. \]

Inilah salah satu alasan definisi epsilon-delta sangat kuat. Ia menjelaskan secara formal mengapa limit bisa ada walaupun nilai fungsi di titik tersebut tidak ada. Limit tidak bergantung pada nilai tepat di titik itu, melainkan pada nilai-nilai di dekatnya.

Mengapa definisinya memakai “untuk setiap”?

Frasa “untuk setiap \(\varepsilon>0\)” adalah bagian yang sangat penting. Artinya, siapa pun boleh memilih tingkat ketelitian yang diinginkan. Mereka boleh meminta output berada dalam jarak kurang dari \(1\), kurang dari \(0{,}1\), kurang dari \(0{,}000001\), atau lebih kecil lagi.

Jika untuk setiap permintaan itu kita selalu dapat menemukan \(\delta\) yang cocok, maka limit benar-benar ada.

Namun jika ada satu saja tingkat kedekatan yang tidak bisa dipenuhi, maka limit ke nilai tersebut gagal. Misalnya, jika nilai fungsi dari kiri mendekati \(1\), tetapi dari kanan mendekati \(2\), maka tidak ada satu \(L\) yang bisa memenuhi semua tuntutan epsilon dari kedua sisi. Ini sesuai dengan pembahasan dokumen induk tentang limit dua sisi.

Intuisi utama: kendali dari input ke output

Cara paling sederhana memahami definisi epsilon-delta adalah dengan kata “kendali”.

Kita ingin mengendalikan kesalahan output:

\[ |f(x)-L|. \]

Definisi limit mengatakan bahwa kesalahan output ini dapat dibuat lebih kecil daripada angka positif apa pun \(\varepsilon\), dengan cara mengendalikan kesalahan input:

\[ |x-a|. \]

Jika input cukup dekat ke \(a\), yaitu kurang dari \(\delta\), maka output pasti cukup dekat ke \(L\), yaitu kurang dari \(\varepsilon\).

Jadi definisi epsilon-delta bukan ide baru yang berbeda dari intuisi “mendekati”. Ia adalah versi yang lebih presisi dari intuisi itu. Bahasa informal mengatakan:

saat \(x\) mendekati \(a\), \(f(x)\) mendekati \(L\).

Bahasa epsilon-delta mengatakan:

untuk setiap batas kedekatan output yang diminta, ada batas kedekatan input yang menjamin permintaan itu terpenuhi.

Definisi ini memang terasa rumit pada awalnya karena simbolnya banyak. Tetapi maknanya tetap sama dengan gagasan dasar limit dalam dokumen induk: kalkulus ingin membicarakan pola nilai ketika kita mendekati suatu titik, bukan hanya nilai tepat di titik itu.

References

Apostol, T. M. (1967). Calculus, Volume 1: One-Variable Calculus, with an Introduction to Linear Algebra (2nd ed.). Wiley.

Spivak, M. (2008). Calculus (4th ed.). Publish or Perish.

τ TheoryTrace