Gerçek Sayılar: Kümeler, Sayı Doğrusu ve Çözümlü Sorular

Bir sayının gerçek sayı olup olmadığını nasıl anlarsınız?

Gerçek sayılar kümesi $\mathbb{R}$ ile gösterilir ve rasyonel sayılarla irrasyonel sayıların birleşimidir: $\mathbb{R}=\mathbb{Q}\cup\mathbb{I}$. Buradaki birleşim, iki kümedeki bütün sayıların birlikte ele alınması anlamına gelir.

Bir sayının rasyonel olması için $a/b$ biçiminde yazılabilmesi gerekir. Bu gösterimde $a$ ve $b$ tam sayı, $b\neq0$ olmalıdır. Örneğin $-3$, $5/2$, $0$, $0{,}75$ ve $0{,}\overline{3}$ rasyoneldir. Çünkü $-3=-3/1$, $0{,}75=3/4$ ve $0{,}\overline{3}=1/3$ biçiminde yazılabilir.

Ondalık gösterim rasyonellik hakkında pratik bir karar verir: Sonlu ondalık gösterim rasyoneldir; devirli, yani belirli bir rakam grubunun tekrar ettiği sonsuz ondalık gösterim de rasyoneldir. Buna karşılık sonsuz ve devirsiz ondalık gösterim irrasyoneldir. $\sqrt{2}$ ve $\pi$ bu gruba örnektir. Bu iki grubun dışında kalan bir sayı, bu sayı kümeleri bağlamında gerçek sayı olarak sınıflandırılamaz.

Burada önemli nokta şudur: Bir sayının ondalık gösterimini uzun yazmak, onun irrasyonel olduğunu göstermez. $0{,}3333\ldots$ ifadesindeki 3 rakamı tekrar ettiği için bu sayı irrasyonel değil, rasyoneldir. Aynı şekilde $0{,}125$ sonlu olduğu için rasyoneldir. Karar verirken ondalığın uzunluğuna değil, sonlu olup olmadığına veya tekrar düzenine bakılır.

Doğal sayıdan gerçek sayıya uzanan kapsama zinciri

Sayı kümeleri arasında iç içe geçmiş bir yapı vardır. En yaygın gösterimle doğal sayılar $\mathbb{N}$, tam sayılar $\mathbb{Z}$, rasyonel sayılar $\mathbb{Q}$ ve gerçek sayılar $\mathbb{R}$ arasında

$\mathbb{N}\subseteq\mathbb{Z}\subseteq\mathbb{Q}\subseteq\mathbb{R}$

ilişkisi bulunur. Doğal sayıların 0'ı içerip içermemesi kullanılan tanıma göre değişebilir; ancak 0'ın hangi kümelere ait olduğu değişmez: 0 bir tam, rasyonel ve gerçek sayıdır.

Doğal sayılar sayma amacıyla kullanılır. Negatif değerlerin eklenmesiyle tam sayılar oluşur. Tam sayılar, paydası 1 olan kesirler olarak yazılabildiğinden rasyoneldir. Rasyonel sayılar ise bütün kesirli oranları ve sonlu veya devirli ondalıkları kapsar. Fakat $\sqrt{2}$ gibi bazı sayılar tam sayıların ya da rasyonel sayıların içine yerleştirilemez; bu nedenle irrasyonel sayılar da gerçek sayıların kapsamına eklenir.

Kapsama ilişkisi tek yönlü okunmalıdır. Her doğal sayı gerçek sayıdır; fakat her gerçek sayı doğal sayı değildir. Örneğin $-4$ gerçek sayıdır ama doğal sayı değildir. $1/2$ gerçek sayıdır ama tam sayı değildir. $\sqrt{2}$ gerçek sayıdır ancak rasyonel değildir. Bir soruda 'hangi kümeye aittir?' denildiğinde, sayının ait olduğu en küçük kümeyi ve ait olduğu daha geniş kümeleri ayrı ayrı değerlendirmek gerekir.

Sayı doğrusu üzerindeki nokta ile gerçek sayı arasındaki ilişki

Gerçek sayıların geometrik modeli sayı doğrusudur. Sayı doğrusu üzerinde seçilen bir başlangıç noktası 0, birim aralık ve pozitif yön sayesinde sayılar konumlarla eşleştirilir. Pozitif sayılar 0'ın sağında, negatif sayılar solunda bulunur; 0 ise iki yönün sınır noktasıdır.

Bu eşleştirmede her gerçek sayıya sayı doğrusunda bir nokta karşılık gelir ve her nokta bir gerçek sayıyla ilişkilendirilir. Örneğin $-2$, 0'ın iki birim solundaki noktayı; $3/2$, 1 ile 2 arasındaki bir buçuk konumunu gösterir. $\sqrt{2}$ de yaklaşık olarak 1 ile 2 arasında yer alır; yaklaşık değer kullanmak, sayının kendisini $1{,}41421356$ gibi sonlu bir ondalığa dönüştürmez.

Sayı doğrusunda iki farklı gerçek sayı arasında yine gerçek sayılar bulunur. Örneğin 1 ve 2 arasında $3/2$, $4/3$ ve $\sqrt{2}$ gibi değerler vardır. Hatta iki farklı gerçek sayı arasında sonsuz sayıda gerçek sayı bulunur. Bu özellik, gerçek sayıları yalnızca ardışık sayılardan oluşan doğal sayılardan ayırır.

Bir sayının sayı doğrusundaki yerini karşılaştırırken işaret ve büyüklük birlikte değerlendirilir. Negatif sayılarda 0'a daha yakın olan sayı daha büyüktür: $-2>-5$. Mutlak değer, sayının 0'a uzaklığını verir; ancak tek başına sayının büyüklük sırasını belirlemez. Bu nedenle $|-5|=5$ olsa da $-5$, $5$'ten küçüktür.

Köklü ifadelerde gerçek sayı olma koşulu

Köklü ifadeler, gerçek sayı sorularında en sık kullanılan sınır durumlarından biridir. Gerçek sayılar kümesinde çift dereceli kökün içi negatif olamaz. Bu nedenle $\sqrt{9}=3$ gerçek sayıdır; $\sqrt{0}=0$ gerçek sayıdır; fakat $\sqrt{-9}$ gerçek sayılar içinde tanımlı değildir.

Tek dereceli köklerde ise negatif kök içleri gerçek olabilir. Örneğin $\sqrt[3]{-8}=-2$ gerçek sayıdır. Dolayısıyla 'kök içi negatifse ifade gerçek değildir' genellemesi yalnızca çift dereceli kökler için geçerlidir.

Kök içi pozitif bir tam kare ise sonuç tam sayı olur: $\sqrt{25}=5$. Kök içi pozitif fakat tam kare değilse sonuç çoğu zaman irrasyoneldir; $\sqrt{2}$ bunun temel örneğidir. Ancak bir köklü ifade tek başına incelenmemeli, sadeleştirme yapılmalıdır. Örneğin $\sqrt{8}=2\sqrt{2}$ olur ve irrasyonel kalır. Buna karşılık $\sqrt{18}/\sqrt{2}=\sqrt{9}=3$ rasyoneldir. Yani bir ifadenin türü, görünen kökün içinden değil, işlem tamamlandıktan sonraki değerinden belirlenir.

Çift dereceli köklerde tanım koşulu değişkenli ifadelerde de önemlidir. $\sqrt{x-2}$ ifadesinin gerçek olması için $x-2\geq0$, yani $x\geq2$ gerekir. Burada eşitsizlik, kökün içinin negatif olmamasını sağlayan karar kuralıdır.

Gerçek sayıların ölçme ve matematiksel modellemedeki rolü

Gerçek sayıların sayı doğrusunu boşluksuz biçimde temsil etmesi, sürekli değişen büyüklüklerin modellenmesini mümkün kılar. Uzunluk, zaman, sıcaklık ve hız gibi nicelikler belirli bir aralıkta yalnızca tam sayıları değil, aradaki değerleri de alabilir. Örneğin 3 metre ile 4 metre arasındaki bir uzunluk 3,5 metre olabileceği gibi başka bir gerçek sayı da olabilir.

Burada ölçüm sonucu ile matematiksel gerçek değer ayrılmalıdır. Bir mezura veya sensör sınırlı hassasiyetle $3{,}14$ metre gösterebilir; bu gösterim sonlu ve rasyoneldir. Nesnenin ideal matematiksel uzunluğu ise ölçüm aracının gösterdiği basamaklardan daha ayrıntılı bir gerçek sayı olarak modellenebilir. Bu durum, ölçülen her değerin irrasyonel olduğu anlamına gelmez.

Geometride de gerçek sayılar zorunlu hale gelir. Bir kenarı 1 birim olan karenin köşegeni Pisagor bağıntısıyla $d^2=1^2+1^2=2$ olduğundan $d=\sqrt{2}$ olur. Bu uzunluk gerçek sayıdır fakat rasyonel değildir. Çember hesaplarında kullanılan $\pi$ de gerçek ve irrasyonel bir sayıdır. Hesap makinesindeki yaklaşık gösterim, gerçek sayının kendisi değil, seçilen basamak sayısına göre üretilmiş yaklaşıktır.

Gerçek sayılar ayrıca limit, süreklilik, türev ve integral gibi konuların sayı altyapısını oluşturur. Bu ileri konuların ayrıntıları farklı olsa da temel fikir aynıdır: Değişen bir büyüklüğü yalnızca tam sayı adımlarıyla değil, aradaki tüm gerçek değerleri dikkate alarak incelemek.

Çözümlü örnekler: sınıflandırma ve gerçeklik denetimi

Örnek 1 — Verilenler: $-4$, $0{,}75$, $0{,}\overline{6}$, $\sqrt{2}$ ve $\sqrt{-16}$. Bu sayıların rasyonel, irrasyonel veya gerçek olmayan ifadeler olarak sınıflandırılması isteniyor.

1. $-4=-4/1$ biçiminde yazılabildiği için rasyoneldir. Rasyonel olan her sayı gerçek olduğundan $-4\in\mathbb{R}$.
2. $0{,}75=75/100=3/4$ olduğundan rasyoneldir ve gerçektir.
3. $0{,}\overline{6}=0{,}666\ldots$ devirli ondalıktır. Devirli ondalıklar rasyonel olduğundan bu sayı gerçektir. İstenirse $x=0{,}\overline{6}$ alınarak $10x=6{,}\overline{6}$ ve çıkarma sonucunda $9x=6$, yani $x=2/3$ bulunur.
4. $\sqrt{2}$, iki tam sayının oranı biçiminde yazılamayan bir irrasyonel sayıdır; buna rağmen gerçek sayıdır.
5. $\sqrt{-16}$ çift dereceli kök içerir ve kök içi negatiftir. Bu nedenle gerçek sayılar kümesinde bir karşılığı yoktur.

Sonuç: İlk dört ifade gerçektir; ilk üçü rasyonel, $\sqrt{2}$ irrasyoneldir. $\sqrt{-16}$ gerçek sayı değildir.

Örnek 2 — Verilenler: $\sqrt{x-5}$ ifadesinin gerçek olması isteniyor. Çözüm adımları:

1. Karekök çift derecelidir; bu yüzden kök içi negatif olamaz.
2. Koşul $x-5\geq0$ şeklinde yazılır.
3. Her iki tarafa 5 eklenir: $x\geq5$.

Sonuç: $\sqrt{x-5}$ ifadesi yalnızca $x\geq5$ için gerçek sayıdır. Örneğin $x=9$ seçilirse ifade $\sqrt{4}=2$ olur; $x=3$ seçilirse $\sqrt{-2}$ oluşacağından gerçek sayı elde edilmez.

Sık yapılan hatalar ve karıştırılan sınır durumları

1. 'Sonsuz ondalık irrasyoneldir' demek: Bu ifade eksiktir. Devirli sonsuz ondalıklar rasyoneldir. $0{,}\overline{3}=1/3$ buna örnektir. Yalnızca sonsuz ve devirsiz ondalık gösterimler irrasyoneldir.

2. İrrasyonel sayıları gerçek sayıdan ayrı sanmak: İrrasyonel sayılar, gerçek sayıların dışındaki sayılar değil, gerçek sayıların bir alt grubudur. $\mathbb{I}\subseteq\mathbb{R}$ kabul edilir.

3. Negatif sayıların tamamının gerçek olmadığını düşünmek: $-7$ ve $-1/2$ gerçek sayıdır. Sorun negatiflikte değil, çift dereceli kökün içinin negatif olmasındadır.

4. Yaklaşık değer ile tam değeri eşitlemek: $\sqrt{2}\approx1{,}414$ yazılabilir; ancak $\sqrt{2}=1{,}414$ denemez. İlki yaklaşık değer, ikincisi yanlış bir eşitliktir.

5. Mutlak değeri işaret yerine kullanmak: $|-3|=3$ ifadesi 3'ün, -3 ile aynı olduğunu göstermez. Mutlak değer uzaklığı verir; sayı doğrusundaki konumu korumaz.

6. Kümeler arasındaki kapsama yönünü ters çevirmek: $\mathbb{N}\subseteq\mathbb{Z}\subseteq\mathbb{Q}\subseteq\mathbb{R}$ zincirinde küçük küme büyük kümenin içindedir. Bu nedenle her tam sayı rasyoneldir; fakat her rasyonel sayı tam sayı değildir.

7. Sadeleştirmeden karar vermek: $\sqrt{18}/\sqrt{2}$ ifadesini yalnızca üstteki köke bakarak irrasyonel sanmak hatalıdır. İfade sadeleştirilince $\sqrt{9}=3$ bulunur ve sonuç rasyoneldir.