BARISAN CAUCHY

Definisi 3.5.1

Sebuah barisan 𝑋 = (𝑋𝑛 ) dari barisan bilangan real

disebut barisan Cauchy jika untuk setiap 𝜀 > 0 ada
sebuah bilangan asli 𝐻(𝜀) sehingga untuk setiap
bilangan asli 𝑛, 𝑚 ≥ 𝐻(𝜀) berlaku Xn − Xm < 𝜀
Contoh 3.5.2
Contoh 3.5.2

b. Barisan 1 + −1 𝑛 bukan barisan cauchy

Negasi dari definisi barisan cauchy adalah terdapat
𝜀 > 0 sehingga untuk setiap 𝐻 ada 𝑛 > 𝐻 dan
𝑚 > 𝐻 sehingga |𝑥𝑛 − 𝑥𝑚 | ≥ 𝜀0
 Lemma 3.5.3

Jika 𝑥𝑛 konvergen maka (𝑥𝑛 ) merupakan barisan cauchy

Bukti. Misalkan 𝑥𝑛 konvergen ke 𝐿. Diberikan

𝜀 > 0 , pilih 𝑁𝜖ℕ sedemikian sehingga untuk
𝜀
setiap 𝑛 ≥ 𝑁 berlaku 𝑥𝑛 − 𝐿 <
2
𝜀 𝜀
𝑥𝑚 − 𝑥𝑛 ≤ 𝑥𝑚 − 𝐿 + 𝐿 − 𝑥𝑛 < + =𝜀
2 2

Ini membuktikan bahwa (𝑥𝑛 ) barisan Cauchy

 Lemma 3.5.4

Barisan Cauchy dari bilangan real adalah

terbatas
Bukti. Misalkan X = 𝑥𝑛 adalah barisan Cauchy.
Pilih 𝜀 = 1 . Jika 𝐻 1 = 𝐻 dan 𝑛 ≥ 𝐻 , maka
𝑥𝑛 − 𝑥𝐻 < 1
Berdasarkan sifat ketaksamaan segitiga diperoleh
𝑥𝑛 ≤ 𝑥𝐻 + 1 untuk setiap 𝑛 ≥ 𝐻.
Pilih
𝑀 = sup{ 𝑥1 , |𝑥2 |, … , 𝑥𝐻−1 , 𝑥𝐻 + 1}

Sehingga ini menunjukkan bahwa |𝑥𝑛 |≤ 𝑀 untuk

setiap 𝑛𝜖ℕ
 Teorema 3.5.5

Sebuah Barisan bilangan real konvergen jika dan hanya

jika barisan tersebut merupakan barisan Cauchy

Bukti. Misalkan X = 𝑥𝑛 adalah barisan Cauchy. Akan

ditunjukkan bahwa X konvergen ke sebuah bilangan real.
Diketahui dari Lemma 3.5.4 bahwa barisan X terbatas.
Berdasarkan teorema Bolzano-Weirstrass 3.4.8 diperoleh
bahwa subbarisan 𝑋 ′ = ( 𝑥𝑛𝑘 ) dari 𝑋 konvergen ke sebuah
bilangan real 𝑥 ∗ . Akan dibuktikan 𝑋 konvergen ke 𝑥 ∗ .
Teorema 3.5.5

Karena 𝑥𝑛 adalah barisan Cauchy, maka untuk setiap 𝜀 > 0

𝜀 𝜀
terdapat bilangan asli 𝐻 sehingga jika 𝑛, 𝑚 ≥ 𝐻 maka
2 2
𝜀
(1) |𝑥𝑛 − 𝑥𝑚 |<
2
Karena 𝑋 ′ =(𝑥𝑛𝑘 ) konvergen 𝑥 ∗ , maka ada bilangan asli 𝐾 ≥
𝜀 ∗ 𝜀
𝐻 sehingga |𝑥𝐾 − 𝑥 |<
2 2

𝜀
Karena 𝐾 ≥ 𝐻 , berdasarkan (1) maka untuk 𝑚 = 𝐾
2
berlaku
𝜀 𝜀
𝑥𝑛 − 𝑥 ∗ < untuk n ≥ 𝐻
2 2
Teorema 3.5.5
𝜀
Oleh karena itu jika n ≥ 𝐻 diperoleh
2

𝜀
Karena 𝐾 ≥ 𝐻 , berdasarkan (1) maka untuk 𝑚 = 𝐾
2
berlaku
𝑥𝑛 − 𝑥 ∗ = (𝑥𝑛 −𝑥𝑘 ) + (𝑥𝑛 − 𝑥 ∗ )
≤ 𝑥𝑛 − 𝑥𝐾 + |𝑥𝑛 − 𝑥𝐾 |
𝜀 𝜀
< + =𝜀
2 2
Karena 𝜀 > 0 sebarang maka disimpulkan bahwa
𝑥𝑛 konvergen ke 𝑥 ∗ , oleh karena itu barisan 𝑥 = 𝑥𝑛
konvergen