TRANSLETAN TEOKUR

TEOREMA 2.1

BUKTI

Asumsikan untuk semua Nn, n≥ 1, adalah nol dan untuk menunjukkan bahwa hal yang sama berlaku
untuk N, ambil ε > 0.

Tujuan kami adalah untuk meng-cover himpunan N dengan banyak interval terhitung dengan
panjang total kurang dari ε.

Buktinya ada dalam tiga langkah, masing-masing menjadi sedikit rumit.

STEP 1: Meng-cover Nn dengan interval secara hati-hati

'Hati-hati' berarti panjangnya harus kecil. 'Kecil' artinya kita akan menjumlahkannya nanti hingga
berakhir dengan angka kecil (dan 'kecil' di sini berarti kurang dari ε).

Karena N1 adalah nol, maka terdapat interval I1 k, k ≥ 1, sehingga

Untuk N2 kita menemukan sistem interval I2 k, k ≥ 1, dengan

Anda dapat melihat rencana cerdik untuk membuat panjang total lebih kecil di setiap langkah pada
tingkat geometris. Secara umum, kita menutupi Nn dengan interval 'In' k, k ≥1, yang panjang
totalnya kurang dari ε/ 2n
 n
STEP 2: Interval I k membentuk urutan.

Kami menyusun keluarga interval yang dapat dihitung { I k }k ≥1 ,n ≥1menjadi urutan J j , j ≥ 1. Misalnya
n

1 1 2 1 n
kita menempatkan J 1=I 1 , J 2=I 2 , J 1=I 1 , J 1=I 3 , dll. sehingga tidak ada I k yang dilewati.
Penyatuan sistem interval baru sama dengan penyatuan yang lama dan sebagainya
n
¿ n=1¿ ∞ ¿ k =1¿ ∞ I k ¿=¿ j=1¿ ∞ J j

STEP 3: Hitung total panjang J j

terdapat serangkaian angka dengan dua indeks:

Sekarang kita tulis ini sebagai deret angka yang masing-masing merupakan jumlah deret. Kita dapat
mengatur ulang penjumlahan ganda karena komponennya non-negatif (fakta dari kalkulus dasar).

yang melengkapi bukti