Sewaktu saya belajar analisis real, saya menemukan suatu fungsi yang menarik, fungsi tersebut didefinisikan
jika
irasional dan
jika
rasional dan
dimana
dan
relative prima
Yang menarik dari fungsi diatas adalah fungsi tersebut tidak terbatas untuk sebarang interval . Kita tahu bahwa suatu fungsi
dikatakan terbatas jika terdapat konstanta
dimana
.
Nah untuk membuktikannya ambil sebarang dan
dibentuk interval
jika kita ambil
sangat kecil mendekati nol dan kita asumsikan
terbatas pada interval
itu berarti penyebut
terbatas yang berakibat jumlah bilangan rasional pada interval
juga terbatas, yang mana hal tersebut tidak mungkin.
***
Umumnya jika suatu fungsi mempunyai interval/domain yang sempit/terbatas maka fungsi tersebut akan terbatas tetapi disini saya telah menunjukan bahwa ada fungsi yang sesempit apapun intervalnya, fungsi tersebut tetap tidak terbatas
@watchmath
ya..mungkin maksudnya si Mawi Wijna seperti itu, thanks udah ngelenkapi pembuktian ini
Di bagian atas harusnya tertulis
.
Untuk argumen Aria, meskipun (mungkin) obvious perlu disebutkan mengapa hanya ada berhingga banyaknya penyebut (di atas hanya dibilang ada berhingga banyaknya pembilang. Jika penyebutnya bisa tak berhingga banyaknya maka I tetap bisa mempunyai tak hingga banyaknya bilangan rasional).
Memodifikasi sedikit argumen mawi Wijna. Interval I pasti mempunyai dua bilangan rasional yang berbeda
.
merupakan bilangan rasional di I untuk setiap n. Tulis
dalam bentuk paling sederhana. Jelas ada tak berhingga banyaknya
yang relatif prima terhadap k. Kesimpulan mengikuti.
Sekarang
@ mawi Wijna
![A=[3,4]](https://s0.wp.com/latex.php?latex=A%3D%5B3%2C4%5D&bg=ffffff&fg=333333&s=0&c=20201002)


itu sebarang bilangan asli, kalau kita ambil
sangat besar maka jelas 
Kayaknya kamu salah dech misalkan kita ambil interval
maka diperoleh
kamu sendiri bilang kalau
pembuktian kok agak aneh ya? boleh saya coba buktiin ga?
Misal diambil sebarang interval I = [a, b] dengan a <= b. Akan ditunjukkan untuk sebarang bilangan asli n, selalu terdapat y elemen di I sehingga y = m/n untuk suatu bilangan bulat m.
Misalkan dibentuk y = ceil(a + (b/2 – a/2)) / n,
dengan ceil(x) adalah bilangan bulat terkecil yang merupakan pembulatan ke atas dari bilangan real x. Dengan demikian y merupakan elemen I. Akibatnya Himpunan {g(x)| x bilangan rasional} tidak terbatas.
CMIIW