Rasyonel sayılar

Rasyonel sayılar, iki tam sayı arasındaki oranı temsil eden, bir pay Şablon:Mvar ve sıfırdan farklı bir payda Şablon:Mvar olmak üzere, bir bölme işlemi veya kesir formunda ifade edilebilen sayıları tanımlar.Şablon:R Örneğin, Şablon:Tmath rasyonel bir sayı olarak kabul edilir, bu kapsamda her tam sayı da (mesela, Şablon:Nobr gibi) rasyonel sayılar kategorisindedir. Rasyonel sayılar kümesi, çoğunlukla kalın harf biçimindeki Q veya karatahta vurgusu kullanılarak $ℚ$ şeklinde ifade edilir.Şablon:Efn

Rasyonel sayı, reel sayılar kümesine ait bir sayıdır. Bu sayılar, ondalık açılımlarının sonlu sayıda rakam içermesiyle karakterize edilir ve bu açılım ya bir noktadan sonra sonlanır (örneğin: Şablon:Math) ya da belirli bir dizinin rakamlarının sürekli olarak tekrar edilmesiyle devam eder (örneğin: Şablon:Math).Şablon:R Bu özellik, yalnızca on tabanlı sistemde geçerli olmayıp, ikili, on altılı gibi diğer tüm tam sayı taban sistemlerinde de geçerlidir.

Rasyonel olmayan bir reel sayı, irrasyonel olarak tanımlanır.Şablon:R Bu kapsamda irrasyonel sayılara örnek olarak Karekök 2 (Şablon:Tmath), π, e ve altın oran (Şablon:Mvar) gösterilebilir. Rasyonel sayılar kümesinin sayılabilir bir yapıda olması ve reel sayılar kümesinin ise sayılamaz bir yapıya sahip olması sebebiyle, reel sayıların büyük çoğunluğu irrasyoneldir.Şablon:R

Rasyonel sayılar, belirli tam sayı çiftleri olan Şablon:Math için, Şablon:Math koşulu altında, eşdeğerlik sınıfı olarak formel bir şekilde ifade edilebilir. Bu çerçevede, eşdeğerlik ilişkisi şu şekilde tanımlanır:

(p_{1}, q_{1}) \sim (p_{2}, q_{2}) ⟺ p_{1} q_{2} = p_{2} q_{1} .

Bu bağlamda, Şablon:Tmath kesri, belirtilen (p, q) çiftinin eşdeğerlik sınıfını temsil eder.Şablon:R

Rasyonel sayılar tam sayıların bir genişlemesidir. $ℚ$ kümesi genelde şöyle tanımlanır:

ℚ = {\frac{a}{b} | a, b \in ℤ \land b \neq 0}

(a ve b tam sayı ve b sıfır olmamak üzere a/b şeklindeki sayılara rasyonel sayı denir)

$\frac{2}{3}$ ve $\frac{4}{6}$ veya $\frac{6}{9}$ eşdeğer rasyonel sayılardır. Dolayısıyla her rasyonel sayı sonsuz şekilde ifade edilebilir. Rasyonel sayıların en basit biçimi $a$ ve $b$ tam sayılarının ortak bölen'inin olmadığı $a / b$ ifadesidir.Şablon:R

Her tam sayı rasyonel sayıdır. Çünkü $- 3 = \frac{- 3}{1}$ veya $0 = \frac{0}{1}$ veya $43 = \frac{43}{1}$ şeklinde yani rasyonel sayı tanımına uygun biçimde yazılabilirler. Rasyonel sayılar kümesi $ℚ$ , tam sayılar kümesi $ℤ$ 'yi kapsar. Yani $ℤ \subset ℚ$ .

Daha ince bir tanımı ise tam sayılar üzerinden tanımlanacak bir denklik bağıntısıyla yapılabilir. Böylece her denklik sınıfı bir rasyonel sayı olarak anılır. $ℤ \times ℤ$ kümesinden seçilmiş keyfi (a,b) ve (c,d) ögeleri için "~" bağıntısı $(a, b) \sim (c, d) \Leftrightarrow a d = b c, b, d = 0$ olarak tanımlansın. Bunun bir denklik bağıntısı olduğu kolaylıkla kanıtlanabilir. Bu durumda, denklik sınıfları $\overline{(a, b)} = {(a, b) | (a, b) \sim (c, d)}$ olurlar. Rasyonel sayı ise basitçe $\frac{a}{b} = \overline{(a, b)}$ şeklinde tanımlanır. Tanımda paydanın sıfır olmama şartı $\frac{a}{0}$ ifadesinin tanımlanmamış olmasındandır. Bir sayının sıfıra bölümü tanımsızdır.Şablon:R

Sıfırdan büyük olan rasyonel sayılara pozitif rasyonel sayılar, sıfırdan küçük rasyonel sayılar da negatif rasyonel sayılar denir. Pozitif rasyonel sayılar kümesi $ℚ^{+}$ ile, negatif rasyonel sayılar kümesi $ℚ^{-}$ ile gösterilir.

Yandaki şekilde, bir yuvarlak pasta 4 eş parçaya bölünmüş ve bu 4 eş parçalardan her birisi $\frac{1}{4}$ olarak görülmektedir. Ancak bir parça alınmış olduğundan kalan eksikdir. Geriye kalan, dört eşit parçaya bölünmüş bütünün üç tane parçası (yani 3'te 4 oranı) veya (kesiri)dir. Bu $\frac{3}{4}$ ifadesi şeklinde gösterilir. Burada ifadede kesir çizgisinin üstündeki değere (yani 3'e) pay, kesir çizgisinin altındaki değere (yani 4'e) payda denir. Bu kesir, “üç bölü dört” ya da “dörtte üç” diye okunur.

Rasyonel sayılar, toplama ve çarpma işlemleri ile birleştirildiğinde, tam sayıları barındıran ve aynı zamanda tam sayılar içeren herhangi bir matematiksel cismin (İng. field) bir parçası olan bir cismi meydana getirir. Bu bağlamda, rasyonel sayılar cismi bir asal cisim niteliğindedir ve bir cismin sıfır karakteristiğe sahip olması, yalnızca o cismin rasyonel sayıları bir alt cisim olarak barındırması ile mümkündür. Şablon:Tmath'nun sonlu genişlemeleri cebirsel sayı cisimleri olarak isimlendirilir ve Şablon:Tmath'nun cebirsel kapanışı, cebirsel sayılar cismidir.Şablon:R

Matematiksel analiz çerçevesinde, rasyonel sayılar, reel sayılar içerisinde yoğun bir alt küme teşkil eder. Reel sayıların tanımlanması, rasyonel sayılar baz alınarak, Cauchy dizileri, Dedekind kesitleri veya sonsuz ondalık sayılar kullanılarak gerçekleştirilebilir.

Terminoloji

"Rasyonel" terimi, Şablon:Tmath kümesine yapılan atıflarda, bir rasyonel sayının iki tam sayının oranını temsil etmesi gerçeğine işaret eder. Matematik alanında "rasyonel", sıklıkla "rasyonel sayı" teriminin kısaltması olarak kullanılmaktadır. "Rasyonel" sıfatı, zaman zaman katsayıların rasyonel sayılar olduğunu ifade eder. Mesela, rasyonel koordinatlara sahip bir nokta rasyonel nokta olarak adlandırılır; rasyonel sayılardan oluşan bir matrise rasyonel matris denir; rasyonel katsayılara sahip bir polinoma rasyonel polinom denilebilir, ancak "rasyoneller üzerinde bir polinom" ifadesi, "rasyonel ifade" ile "rasyonel fonksiyon" arasındaki muhtemel karışıklıkları engellemek amacıyla genellikle tercih edilir. Bununla birlikte, rasyonel eğri, rasyoneller üzerinde tanımlanmış bir eğri anlamına gelmez; bunun yerine rasyonel fonksiyonlarla parametrize edilebilen bir eğriyi ifade eder.

Etimoloji

Günümüzdeki "rasyonel sayılar", "rasyo" ("oran") kavramları ile ilişkilendirilse de, "rasyonel" sözcüğü, "rasyo" teriminin bir türevi olmayıp, tam tersine, "rasyo" sözcüğü "rasyonel"den kaynaklanmaktadır. "Rasyo" (İng. ratio) teriminin çağdaş anlamda ilk kez kullanıldığı dönem İngilizcede yaklaşık olarak 1660 yılına dayanırken, "rasyonel" ifadesinin sayıları tanımlama amacıyla kullanımı bu tarihten yaklaşık bir yüzyıl önce, 1570 yılında meydana gelmiştir.Şablon:R "Rasyonel" teriminin bu özel anlamı, "irrasyonel" teriminin matematiksel bağlamda ilk kullanımından, yani 1551 yılından türemiş olup, Öklit'in eserlerinin çevirilerinde özgün kullanımını izleyerek (Şablon:Dil) kullanılmıştır.Şablon:R Şablon:R

Bu alışılmadık tarihi olgular zinciri, antik Yunan matematikçilerinin, kendilerini irrasyonel olarak nitelendirilen uzunlukları sayı olarak kabul etmekten çekinerek, böylece sapkınlıktan uzak durmayı tercih etmelerinden kaynaklanmaktadır.Şablon:R Dolayısıyla, bu tür uzunluklar, konuşulmaması gereken, yani Yunancada (Şablon:Dil) ifade edilen mantıksız anlamına gelen irrasyonel kelimesi ile tanımlanmıştır.Şablon:R

Aritmetik

Şablon:Ayrıca bakınız

$a, b, c, d \in ℚ$ olmak üzere:

İndirgenemez kesir

Her bir rasyonel sayı, Şablon:Tmath şeklinde, Şablon:Mvar ve Şablon:Mvar aralarında asal tam sayılar olmak üzere ve Şablon:Math koşuluyla, indirgenemez kesir olarak eşsiz bir biçimde gösterilebilir. Bu durum, genellikle rasyonel sayının kanonik formu olarak isimlendirilir.

Bir rasyonel sayının Şablon:Tmath başlangıç noktasından kanonik formuna ulaşılması, Şablon:Mvar ve Şablon:Mvar'yi onların en büyük ortak bölenine bölerek ve eğer Şablon:Math ise, elde edilen pay ve paydanın işaretinin değiştirilmesi işlemiyle mümkün olmaktadır.

Tam sayı ifadelendirme

Her bir tam sayı Şablon:Mvar, rasyonel bir sayı biçiminde Şablon:Tmath olarak gösterilebilir ki bu, rasyonel sayılar bağlamında onun kanonik formunu temsil eder.

Eşitlik ilkesi

\frac{a}{b} = \frac{c}{d}

ifadesi, ancak ve ancak

a d = b c

olduğunda doğrudur.

Her iki kesir de kanonik forma sahip olduğunda:

\frac{a}{b} = \frac{c}{d}

, ancak ve ancak

a = c

ve

b = d

eşitlikleri sağlandığında geçerli olur.Şablon:R

İki rasyonel sayının eşitliği, o sayıların pay ve paydalarının rasyonel olmasıyla anlaşılır. $a, b, c, d \in ℤ$ olmak üzere $\frac{a}{b}$ ve $\frac{c}{d}$ iki rasyonel sayı ise bu iki sayı ancak $a d = b c$ olduğunda eşittir.

Bu koşul, yukarıdaki tanımdan çıkartılabilir. İki rasyonel sayı aynı denklik sınıfındaysa birbirine eşittir, Denklik bağıntısı da zaten $a d = b c$ koşulunu içermekteydi.

Sıralama

Eğer her iki paydanın da pozitif olduğu durumlar (özellikle her iki kesirin kanonik formda olduğu durumlar) göz önüne alınırsa:

\frac{a}{b} < \frac{c}{d}

ancak ve ancak

a d < b c .

şeklinde olur.

Diğer yandan, paydalardan biri negatifse, negatif paydaya sahip her kesirin önce pozitif bir paydaya sahip eşdeğer bir forma dönüştürülmesi gerekir-bunun için hem payının hem de paydasının işaretinin değiştirilmesi gerekir.Şablon:R

Paydaları eşit olan rasyonel sayılar

Paydaları eşit olan rasyonel oranlar için payı büyük olan daha büyük, payı küçük olan daha küçüktür.

Örneğin

\frac{7}{20} > \frac{3}{20}

Burada paydalar eşit ve yirmidir. Pay değerleri karşılaştırılınca soldaki pay 7 sağdaki pay 3'ten daha büyük olduğu için, soldaki rasyonel oran daha büyüktür.

Unutmamalıdır ki negatif paylar karşılaştırılırken sadece mutlak değerlerin karşılaştırılması hatalı olup negatif işaretlerinin de ele alınması ve :negatif sayılı pay değerlerde mutlak değeri büyük görünen sayının daha küçük olduğu hatırlanmalıdır:

Payda 20'ye eşit olup sağdaki negatif pay değeri -3, soldaki negatif pay değeri olan -7'den daha büyük olduğu için sağdaki oran daha büyüktür.

Payları eşit olan rasyonel sayılar

Payı eşit olan rasyonel sayılar için ise paydaları eşit olanın tam tersi bir kural uygulanır:

\frac{5}{6} > \frac{5}{10}

Paylar eşit olduğunda bölünen parça sayısı yani payda büyüdükçe oluşan parça boyutları daha küçük olacaktır.

Payları ya da paydaları eşit olmayan rasyonel sayılar

\frac{3}{4} > \frac{2}{10}

Bu şekildeki durumlarda karşılaştırmadan evvel paydaların eşitlenmesi veya içler dışlar çarpımı yapılmasını gerektirir.

Paydaların eşitlenmesi

Her iki rasyonel sayının da birbirlerinin paydalarıyla genişletilmesini gerektirir.

\frac{3}{4} > \frac{2}{10} ise \frac{3 \cdot 10}{4 \cdot 10} > \frac{2 \cdot 4}{10 \cdot 4}

Yukarıda görüldüğü gibi genişletme işleminden sonra oluşan paydaların ikisi de $10 \cdot 4$ yani 40'tır. Yukarıda görüldüğü gibi karşılaştırılabilir.

İçler dışlar çarpımı

Birinci rasyonel sayının payının ikincinin paydasına, ikincinin paydasının ise birincinin payıyla çarpılmasıdır:

\frac{3}{4} \cdot \frac{2}{10} ise 3 \cdot 10 = 4 \cdot 2 buna göre 30 > 8

.

Toplama

İki kesrin toplanması şu şekilde gerçekleştirilir: $\frac{a}{b} + \frac{c}{d} = \frac{a d + b c}{b d} .$

Eğer her iki kesir de kanonik formdaysa, sonuç ancak ve ancak Şablon:Mvar aralarında asal tam sayılar olması durumunda kanonik formda olacaktır.Şablon:R Şablon:R

Çıkarma

\frac{a}{b} - \frac{c}{d} = \frac{a d - b c}{b d} .

Eğer her iki kesir de kanonik formdaysa, sonuç ancak ve ancak Şablon:Mvar aralarında asal tam sayılar ise kanonik formdadır.Şablon:R

Çarpma

Çarpma kuralı şu şekildedir:

\frac{a}{b} \cdot \frac{c}{d} = \frac{a c}{b d} .

burada sonuç, her iki orijinal kesir de kanonik formda olsa bile, bir indirgenebilir kesir olabilir.Şablon:R Şablon:R

Tersi

Herhangi bir rasyonel sayı Şablon:Tmath, sıklıkla tersi olarak ifade edilen bir toplamın tersine sahiptir,

- (\frac{a}{b}) = \frac{- a}{b} = \frac{a}{- b} ve {(\frac{a}{b})}^{- 1} = \frac{b}{a} eğer a \neq 0, b \neq 0

.

Şablon:Tmath kanonik formda ise, onun karşıtının da kanonik formda olması aynı şekilde geçerlidir.

Sıfırdan farklı bir rasyonel sayı Şablon:Tmath, tersi olarak da adlandırılan bir çarpımın tersine sahiptir,

{(\frac{a}{b})}^{- 1} = \frac{b}{a} .

Şablon:Tmath kanonik formda bulunuyorsa, onun tersinin kanonik formu, Şablon:Mvar değerinin işaretine göre ya Şablon:Tmath ya da Şablon:Tmath şeklinde olur.

Bölme

Eğer Şablon:Mvar sıfırdan farklıysa, bölme kuralı şu şekildedir:

\frac{\frac{a}{b}}{\frac{c}{d}} = \frac{a d}{b c} .

\frac{a}{b} \div \frac{c}{d} = \frac{a d}{b c}

Böylece, Şablon:Tmath'yi Şablon:Tmath ile bölmek, Şablon:Tmath'yi Şablon:Tmath'nin tersi ile çarpmakla eşdeğerdir:Şablon:R

\frac{a d}{b c} = \frac{a}{b} \cdot \frac{d}{c} .

Tam sayı kuvvetine üs alma

Şablon:Mvar negatif olmayan bir tam sayı olduğunda,

{(\frac{a}{b})}^{n} = \frac{a^{n}}{b^{n}} .

Sonuç, Şablon:Tmath için aynı şekilde kanonik formda bulunuyorsa, kanonik formdadır. Belirli bir durum olarak,

{(\frac{a}{b})}^{0} = 1 .

Eğer Şablon:Math, o zaman

{(\frac{a}{b})}^{- n} = \frac{b^{n}}{a^{n}} .

Eğer Şablon:Tmath kanonik formdaysa, sonucun kanonik formu Şablon:Math veya Şablon:Mvar çift ise Şablon:Tmath olacaktır. Aksi takdirde, sonucun kanonik formu Şablon:Tmath olur.

Sürekli kesir gösterimi

Şablon:Ana Bir sonlu sürekli kesir ifadesi, aşağıdaki formda gösterilebilir:

a_{0} + \frac{1}{a_{1} + \frac{1}{a_{2} + \frac{1}{⋱ + \frac{1}{a_{n}}}}},

bu ifadede, Şablon:Mvar tam sayıları temsil eder. Herhangi bir rasyonel sayı Şablon:Tmath, katsayıları Şablon:Mvar, Şablon:Math çifti üzerine Öklid algoritması uygulanarak elde edilebilen bir sonlu sürekli kesir olarak gösterilebilir.

Diğer gösterimler

Bayağı kesir: Şablon:Tmath
Karmaşık sayı: Şablon:Tmath
Bir bağ çizgisi kullanılarak devirli sayı ile: $2 . \overline{6}$
Parantez kullanılarak devirli sayı ile: $2 . (6)$
Geleneksel tipografi kullanılarak sürekli kesir: $2 + \frac{1}{1 + \frac{1}{2}}$
kısaltılmış notasyon ile sürekli kesir: $[2; 1, 2]$
Mısır kesri: $2 + \frac{1}{2} + \frac{1}{6}$
Asal üs ayrışımı: $2^{3} \times 3^{- 1}$
Tırnak notasyonu: $3^{'} 6$

aynı rasyonel değeri temsil etmenin farklı yollarıdır.

Tanım

Rasyonel sayılar, tam sayıların sıralı çiftlerine dayanan denklik sınıfları biçiminde kurulabilir.Şablon:R Şablon:R

Daha kesin bir ifadeyle, Şablon:Tmath kümesi, Şablon:Math olacak şekilde tam sayıların Şablon:Math çiftlerinin kümesi olarak alınsın. Bu küme üzerinde bir denklik bağıntısı

(m_{1}, n_{1}) \sim (m_{2}, n_{2}) ⟺ m_{1} n_{2} = m_{2} n_{1},

ile tanımlanmıştır.Şablon:R Şablon:R

Toplama ve çarpma işlemleri aşağıdaki kurallarla tanımlanabilir:

(m_{1}, n_{1}) + (m_{2}, n_{2}) \equiv (m_{1} n_{2} + n_{1} m_{2}, n_{1} n_{2}),

(m_{1}, n_{1}) \times (m_{2}, n_{2}) \equiv (m_{1} m_{2}, n_{1} n_{2}) .

Şablon:R

Bu denklik ilişkisi, daha önce tanımlanmış toplama ve çarpma işlemleriyle uyumlu bir kongrüans ilişkisi olarak işlev görür; böylece rasyonel sayılar kümesi Şablon:Tmath, bu denklik ilişkisine göre tanımlanan bölüm kümesi, Şablon:Tmath formunda, söz konusu işlemler aracılığıyla türetilmiş toplama ve çarpma işlemleriyle zenginleştirilmiştir. (Bu yapı, herhangi bir tam bölge kullanılarak oluşturulabilir ve söz konusu bölgenin kesirler cismini meydana getirir.)Şablon:R

Bir Şablon:Math çiftinin denklik sınıfı, Şablon:Tmath şeklinde ifade edilir. Şablon:Math ve Şablon:Math çiftleri, ancak ve ancak eğer

m_{1} n_{2} = m_{2} n_{1} .

ise aynı denklik sınıfına dahildir (yani eşdeğerdirler). Bu durum,

\frac{m_{1}}{n_{1}} = \frac{m_{2}}{n_{2}}

ancak ve ancakŞablon:R Şablon:R

m_{1} n_{2} = m_{2} n_{1},

olduğunda mümkündür.

Her denklik sınıfı Şablon:Tmath, sonsuz sayıda çift tarafından temsil edilebilir, çünkü

\dots = \frac{- 2 m}{- 2 n} = \frac{- m}{- n} = \frac{m}{n} = \frac{2 m}{2 n} = \dots .

Her denklık sınıfı, benzersiz bir kanonik temsilci elemanı içerir. Kanonik temsilci, denklik sınıfındaki Şablon:Math benzersiz çiftidir öyle ki Şablon:Mvar ve Şablon:Mvar aralarında asaldır ve Şablon:Math. Bu, rasyonel sayının en düşük terimlerle temsili olarak adlandırılır.

Tam sayılar, tam sayı Şablon:Mvar'yi rasyonel sayı Şablon:Tmath ile özdeşleştirerek rasyonel sayılar olarak düşünülebilir.

Rasyonel sayılar üzerinde, tam sayıların doğal sıralamasını genişleten bir tam sıralama tanımlanabilir. Buna göre

\frac{m_{1}}{n_{1}} \leq \frac{m_{2}}{n_{2}}

Eğer

\begin{matrix} (n_{1} n_{2} > 0 ve m_{1} n_{2} \leq n_{1} m_{2}) \\ veya \\ (n_{1} n_{2} < 0 ve m_{1} n_{2} \geq n_{1} m_{2}) . \end{matrix}

Özellikler

Yukarıda gösterilen toplama ve çarpma işlemleriyle birlikte, tüm rasyonel sayıların kümesi Şablon:Tmath, bir alan oluşturur.Şablon:R

Şablon:Tmath, özdeşlik dışında hiçbir alan otomorfizmine sahip değildir. (Bir alan otomorfizmi 0 ve 1'i sabit tutmalıdır; iki sabit elemanın toplamını ve farkını sabit tutmak zorunda olduğundan, her tam sayıyı sabit tutmalıdır; iki sabit elemanın bölümünü sabit tutmak zorunda olduğundan, her rasyonel sayıyı sabit tutmalı ve dolayısıyla özdeş olmalıdır.)

Şablon:Tmath, kendisi dışında alt alanı olmayan bir asal alandır.Şablon:R Rasyoneller, sıfır karakteristiğe sahip en küçük alandır. Sıfır karakteristiğe sahip her alan, Şablon:Tmath ile izomorfik benzersiz bir alt alana sahiptir.

Yukarıda tanımlanan sırayla, Şablon:Tmath, kendisi dışında alt alanı olmayan bir sıralı alandır ve her sıralı alanın, Şablon:Tmath ile izomorfik benzersiz bir alt alanı içerdiği anlamında en küçük sıralı alandır.Şablon:R

Şablon:Tmath, tam sayıların Şablon:Tmath kesirler alanıdır. Şablon:Tmath'nun cebirsel kapanışı, yani rasyonel polinomların köklerinin alanı, cebirsel sayılar alanıdır.

Rasyonel sayılar, yoğun sıralanmış bir kümedir: herhangi iki rasyonel sayı arasında başka bir rasyonel sayı bulunur ve dolayısıyla sonsuz sayıda başka rasyonel sayı bulunur. Örneğin,

\frac{a}{b} < \frac{c}{d}

( $b, d$ pozitif olmak üzere) şeklindeki herhangi iki kesir için,

\frac{a}{b} < \frac{a + c}{b + d} < \frac{c}{d} .

En küçük veya en büyük elemanı olmayan, sayılabilir, yoğun (yukarıdaki anlamda) ve tamamen sıralı bir küme, rasyonel sayılarla sıra izomorfiktir.Şablon:R

Sayılabilirlik

Tüm rasyonel sayılar kümesinin sayılabilir olduğu, sağ tarafta yer alan gösterim ile açıklanmıştır. Her bir rasyonel sayının, iki tam sayının oranı şeklinde ifade edilebilme özelliği göz önünde bulundurulduğunda, kare kafes üzerindeki her bir noktaya, bir Kartezyen koordinat sistemi benzeri bir yaklaşımla, iki tam sayı atanması mümkündür; böylelikle her bir kafes noktası bir rasyonel sayı ile ilişkilendirilebilir. Bu yöntem, sağlanan grafikte kırmızı ile işaretlenmiş olan, birçok farklı kafes noktasının aynı rasyonel sayıyı temsil etmesi gibi bir fazlalığın ortaya çıkmasına neden olmaktadır. Bu fazlalığın bir örneği, sağ alt köşeye doğru diagonal bir hat üzerinde gözlemlenebilir; bu tür oranlar, herhangi bir sıfırdan farklı sayının kendisi ile bölünmesi durumunda daima bir değerini alacaktır.

Bu tür fazlalıklar olmadan tüm rasyonel sayıların tanımı mümkündür: örnekler arasında Calkin-Wilf ağacı ve Stern-Brocot ağacı bulunmaktadır.

Tüm rasyonel sayılar kümesi sayılabilir olduğu ve tüm reel sayılar kümesi (aynı zamanda tüm irrasyonel sayılar kümesi) sayılamaz olduğu için, rasyonel sayılar kümesi bir null kümesidir, yani Lebesgue ölçümü anlamında neredeyse tüm reel sayılar irrasyoneldir.

Reel sayılar ve topolojik özellikler

Rasyonel sayılar, reel sayıların yoğun bir alt kümesidir; her reel sayının yanında keyfi olarak yakın rasyonel sayılar vardır.Şablon:R İlgili bir özellik, rasyonel sayıların, sürekli kesir olarak sonlu genişlemelere sahip tek sayılar olmasıdır.Şablon:R

Reel sayıların alışılageldik topolojisi içinde, rasyonel sayılar ne bir açık küme ne de bir kapalı kümedir.

Sıralarının bir sonucu olarak, rasyonel sayılar bir sıra topolojisi taşır. Rasyonel sayılar, reel sayıların bir alt uzayı olarak, ayrıca bir altuzay topolojisi taşır. Rasyonel sayılar, mutlak fark metriği $d (x, y) = | x - y |,$ kullanılarak bir metrik uzay oluşturur ve bu, Şablon:Tmath üzerinde üçüncü bir topoloji sağlar. Bu üç topoloji çakışır ve rasyonelleri bir topolojik alana dönüştürür. Rasyonel sayılar, yerel kompakt uzay olmayan bir uzayın önemli bir örneğidir. Rasyoneller, topolojik olarak, izole noktası olmayan benzersiz sayılabilir ölçülebilir uzay olarak nitelendirilir. Uzay ayrıca tamamen bağlantısızdır. Rasyonel sayılar, tam metrik uzay oluşturmaz ve reel sayılar, yukarıda verilen metrik $d (x, y) = | x - y |$ altında Şablon:Tmath'nun tamamlanmasıdır.

p-sel sayılar

Şablon:Ana Yukarıda bahsedilen mutlak değer metriğine ek olarak, Şablon:Tmath'yu bir topolojik alan haline getiren diğer metrikler de vardır:

Şablon:Mvar bir asal sayı olsun ve sıfırdan farklı herhangi bir tam sayı Şablon:Mvar için, $| a |_{p} = p^{- n},$ burada Şablon:Mvar Şablon:Mvar'yı bölen Şablon:Mvar'nin en yüksek kuvvetidir.

Ayrıca $| 0 |_{p} = 0$ olarak belirleyelim. Herhangi bir rasyonel sayı Şablon:Tmath için,

{| \frac{a}{b} |}_{p} = \frac{| a |_{p}}{| b |_{p}} .

olarak belirleyelim.

O zaman

d_{p} (x, y) = | x - y |_{p}

Şablon:Tmath üzerinde bir metrik tanımlar.Şablon:R

Metrik uzay Şablon:Tmath tam değildir ve tamamlanmış hali [[p-sel sayılar|Şablon:Mvar-adik sayı alanı]] Şablon:Tmath'dir. Ostrowski teoremi, rasyonel sayılar Şablon:Tmath üzerindeki herhangi bir önemli mutlak değerin, ya alışılagelmiş reel mutlak değere ya da bir [[p-sel sayılar|Şablon:Mvar-adik]] mutlak değere eşdeğer olduğunu belirtir.