Contoh pembuktian Barisan Cauchy

Definsi barisan Cauchy:

Suatu barisan didalam bilangan real dikatakan barisan Cauchy jika untuk
setiap terdapat bilangn asli 𝑁 sedemikan hingga untuk setiap bilangan asli 𝑛, 𝑚 ≥
𝑁 berlaku .

𝟏
1. Buktikan barisan (𝒏) merupakan barisan Cauchy!

Pra pembuktian (kontertan/kertas buram)

1 1
Untuk sebarang 𝜖 > 0, kita ingin mencari nilai N yang sesuai sehingga membuat | − | < 𝜖
𝑛 𝑚
untuk setiap 𝑚, 𝑛 ≥ 𝑁.
1 1
Cara mencarinya: kita coba hitung dari |𝑛 − 𝑚|, yakni
1 1 𝑚−𝑛 𝑚+𝑛 𝑚 𝑛 1 1 2
| − |=| |≤| | ≤ | |+| | = | |+| | <
𝑛 𝑚 𝑛𝑚 𝑛𝑚 𝑚𝑛 𝑚𝑛 𝑛 𝑚 𝑁
2 2
Agar 𝑁 < 𝜖 maka kita hitung nilai N yang sesuai yaitu 𝑁 > 𝜖 .

Jadi, kita pilih

2
𝑁> .
𝜖

Bukti formal. Boleh ditulis boleh tidak

Ambil sebarang .
1 1 1 1
Pilih 𝑁 > 2/𝜖. Maka untuk setiap 𝑛, 𝑚 ≥ 𝑁 diperoleh < dan < sehingga
𝑛 𝑁 𝑚 𝑁

1 1 𝑚−𝑛 𝑚+𝑛 𝑚 𝑛 1 1 2 2
| − |=| |≤| | ≤ | | + | | = | | + | | < < = 𝜖.
𝑛 𝑚 𝑛𝑚 𝑛𝑚 𝑚𝑛 𝑚𝑛 𝑛 𝑚 𝑁 2
𝜖
1
Berdasarkan definisi, terbukti bahwa barisan (𝑛) adalah barisan Cauchy.∎

Catatan:
pra pembuktian tidak perlu ditulis dalam jawaban/bukti, itu hanya sebagai hitung-hitungan dikertas
buram saja. Bukti dimulai dari bukti formal.
2. Buktikan bahwa barisan
𝒏+𝟑
𝒂𝒏 =
𝟐𝒏 + 𝟏
adalah barisan Cauchy!

Bukti.

 Pra pembuktian (kontertan/kertas buram)

Untuk sebarang 𝜖 > 0, kita ingin mencari nilai N yang sesuai sehingga membuat |𝑎𝑚 − 𝑎𝑚 | < 𝜖
untuk setiap 𝑚, 𝑛 ≥ 𝑁.
Cara mencarinya: kita coba hitung dari |𝑎𝑚 − 𝑎𝑚 |, yakni

2
Agar 2𝑁+1 < 𝜖 maka kita hitung nilai N yang sesuai.

2𝑁 + 1 1 1 2 1 1 2−𝜖
> ⟺ 2𝑁 + 1 > ⟺ 2𝑁 > − 1 ⟺ 𝑁 > − = .
2 𝜖 𝜖 𝜖 𝜖 2 2𝜖
2−𝜖
Jadi, kita pilih 𝑁 > .
2𝜖

Bukti formal.
2−𝜖
Ambil sebarang 𝜖 > 0. Pilih 𝑁 > 2𝜖
, sehingga jika 𝑚, 𝑛 ≥ 𝑁 maka berlaku

2
< = 𝜖.
2−𝜖
2 ( 2𝜖 ) + 1
Berdasarkan definisi, terbukti bahwa barisan (𝑎𝑛 ) adalah barisan Cauchy.∎
3. Misalkan barisan (𝒂𝒏 ) dedifeinisikan secara rekursif sebagai berikut
𝒂𝟏 = 𝟏
𝒂𝒏+𝟏 = 𝒂𝒏 + (−𝟏)𝒏 𝒏𝟑
untuk setiap 𝒏 ∈ ℕ. Tunjukkan bahwa barisan tersebut bukan barisan Cauchy.

Jawab:

Pra pembuktian
Untuk menunjukan suatu barisan tidak Cauchy, maka kita gunakan negasi dari definsi barisan
Cauchy. Denga kata lain, ada 𝜖 yang membuat untuk setiap 𝑁 sehingga jika 𝒎, 𝒏 ≥ 𝑵,
mengakibatkan |𝑎𝑛 − 𝑎𝑚 | ≥ 𝜖. Bisa saja kita pilih 𝜖 = 1 atau brapapun dan kita pilih 𝑚 dan 𝑛 yang
membuat definisi tidak terpenuhi.
Jika dalam definisi barisan Cauchy yang diambil adalah 𝝐, 𝒎, 𝒏 dan yang dipilih cukup 𝑵 saja,
maka untuk membuktikan “bukan barisan Cauchy” yang diambil 𝑵. Yang dipilih 𝝐, 𝒎, 𝒏.

Bukti formal.
Ambil sebarang 𝑁.
Pilih 𝜖 = 1.
Selanjutnya, perhatikan bahwa |𝑎𝑛+1 − 𝑎𝑛 | = |𝑎𝑛 + (−1)𝑛 𝑛3 − 𝑎𝑛 | = |(−1)𝑛 𝑛3 | = 𝑛3 .
Kemudian pilih 𝑚 = 𝑁 + 1 dan 𝑛 = 𝑁, maka
|𝑎𝑛 − 𝑎𝑚 | = |𝑎𝑁 − 𝑎𝑁+1 | = 𝑁 3 > 1 = 𝜖.
Hal ini menunjukkan bahwa (𝑎𝑛 ) bukan barisan Cauchy.∎