Coba jelasin Potongan Dedekind dari 0,999... dong

Dalam pendekatan potongan Dedekind, setiap bilangan real x didefinisikan sebagai himpunan takhingga dari semua bilangan rasional yang lebih kecil daripada x. Secara spesifik, bilangan real 1 adalah himpunan semua bilangan rasional yang lebih kecil dari 1. Setiap ekspansi desimal positif dapat dengan mudah menentukan potongan Dedekind, yakni himpunan bilangan rasional yang lebih kecil dari beberapa tahap ekspansi. Sehingga bilangan real 0,999… adalah himpunan bilangan rasional r sedemikian rupanya r < 0, atau r < 0,9, atau r < 0,99, atau r lebih kecil dari bilangan lainnya yang berbentuk . Setiap unsur 0,999… adalah lebih kecil dari 1, sehingga ia adalah unsur dari bilangan real 1. Kebalikannya, bilangan 1 adalah bilangan rasional , yang mengimplikasikan . OLeh karena 0,999… dan 1 mengandung bilangan rasional yang sama, 0,999… dan 1 adalah himpunan yang sama, sehingga 0,999… = 1.

Definisi bilangan real sebagai potongan Dedekind pertama kali dipublikasikan oleh Richard Dedekind pada tahun 1872.

Pendekatan seperti di atas dengan penunjukkan sebuah bilangan ke setiap ekspansi desimalnya pertama kali terdapat dalam naskah yang berjudul "Is 0.999 … = 1?" oleh Fred Richman pada majalah Mathematics Magazine yang ditujukan ke para pengajar matematika tingkat perguruan tinggi, terutama tingkat junior/senior, dan murid-muridnya. Richman menemukan bahwa dengan mengambil potongan Dedekind pada subhimpunan rapat bilangan rasional apapun akan menghasilkan hasil yang sama; khususnya, dia menggunakan pecahan desimal, di mana pembuktiannya dapat langsung terlihat: "Maka kita melihat bahwa dalam definisi tradisional bilangan real, persamaan 0.9* = 1 dari awalnya sudah dibangun."