Definisi. Ukuran Keirasionalan suatu bilangan mengukur seberapa irasional bilangan tersebut, atau mengukur seberapa baik bilangan tersebut diaproksimasi oleh bilangan rasional. Ia juga disebut konstanta Liouville-Roth atau pangkat keirasionalan dari atau ditulis dan merupakan supremum dari bilangan rill sehingga :
terpenuhi, melalui pasangan bilangan bulat coprime yang tak hingga banyaknya.
Kriteria Keirasionalan. Untuk dan bernilai tetap, dan relatif prima, jika terdapat pasangan coprime yang tak terhingga banyaknya pada bentuk :
maka irasional.
Bukti :
Jika rasional akan dibuktikan bahwa hanya terdapat pasangan coprime yang berhingga banyaknya yang memenuhi pertidaksamaan di atas. Untuk dimana dan relatif prima dan , maka untuk diperoleh pertidaksamaan berikut :
Maka . Jadi hanya ada sejumlah kemungkinan nilai bagi yang jumlahnya berhingga. Dan untuk banyaknya kemungkinan nilai harus diperiksa juga. Misalnya untuk pecahan dalam bentuk , dengan variabel bilangan bulat, dan pecahan demikian memenuhi kriteria kerasionalan yang dihipotesiskan maka melalui pertidaksamaan segitiga berikut :
diperoleh , sehingga paling baik dibatasi oleh . Maka untuk sembarang nilai yang berhingga jumlahnya terdapat paling banyak nilai yang memenuhi hipotesis tadi. Jadi hanya ada sejumlah pasangan coprime yang berhingga jumlahnya jika rasional.
2 thoughts on “Ukuran dan Kriteria Keirasionalan”