En Büyük Sayı Var mı? Sonsuzluk ve Büyük Sayılar

Doğal sayılarda neden son eleman bulunamaz?

Doğal sayılar sayma amacıyla kullanılan 0, 1, 2, 3, ... biçimindeki dizidir. Bu dizinin en büyük elemanı olduğunu varsayalım ve bu sayıya (N) diyelim. (N) bir doğal sayı olduğuna göre (N+1) de doğal sayıdır. Ayrıca (N+1>N) eşitsizliği geçerlidir. Böylece (N)'den daha büyük başka bir doğal sayı bulunur. Bu, (N)'nin en büyük sayı olamayacağını gösterir.

Akıl yürütme herhangi bir özel sayıya bağlı değildir. 10 için 11, 1.000 için 1.001, bir milyon için 1.000.001 elde edilir. Dolayısıyla “çok büyük bir sayı bulmak” ile “en büyük sayıyı bulmak” aynı problem değildir. İlkinde belirli bir sayı seçilebilir; ikincisinde ise seçilen her adayın üzerinde başka bir aday bulunur.

Bu sonuç, doğal sayıların sınırsız olduğunu ifade eder. “Sınırsız” burada sayıların fiziksel olarak yazılabileceği anlamına gelmez; matematiksel olarak herhangi bir sonlu doğal sayı için daha büyük bir doğal sayının tanımlanabildiği anlamına gelir. Bir sayıyı kâğıda yazmanın veya bilgisayarda saklamanın sınırı, doğal sayıların matematiksel yapısına ait bir sınır değildir.

En büyük sayı sorusunda sayı kümesi neden önemlidir?

“En büyük sayı yoktur” cümlesi, bütün sayı kümeleri ve bütün alt kümeler için aynı biçimde kullanılmamalıdır. Doğal sayılar kümesinde üst sınır yoktur; ancak belirli bir aralık veya sonlu bir liste ele alındığında en büyük eleman bulunabilir. Örneğin 0 ile 9 arasındaki rakamlar içinde en büyük değer 9'dur. Benzer biçimde, (0\leq x\leq 1) koşulunu sağlayan gerçek sayılar arasında en büyük değer 1'dir.

Bu nedenle bir soruda önce “hangi kümeden söz ediliyor?” ve “küme sınırlandırılmış mı?” soruları sorulmalıdır. Doğal sayılar, tam sayılar veya gerçek sayılar bütün olarak ele alındığında genel olarak en büyük eleman bulunmaz. Negatif sayılarda da benzer bir yön ayrımı vardır: Herhangi bir negatif sayıdan 1 çıkarılırsa daha küçük bir sayı elde edilir. Örneğin (-100-1=-101) ve (-101<-100). Bu yüzden negatif tam sayıların en küçük elemanı yoktur.

Buna karşılık, “en büyük sayı yok” ifadesi, verilen bir aralıkta maksimum yok demek değildir. ([0,1]) kapalı aralığında 1 en büyük değerdir; çünkü aralıktaki her (x) için (x\leq1). Sınavlarda aralığın uç noktalarının dahil olup olmadığını gösteren parantezler bu nedenle önemlidir. Açık aralıkta uç nokta kümeye dahil değilse, üst sınıra yaklaşmak mümkün olsa bile maksimum bulunmayabilir.

Sonsuzluk sembolü neden sıradan bir sayı gibi okunmaz?

Sonsuzluk genellikle (\infty) sembolüyle gösterilir. Ancak bu sembol, doğal sayılar listesindeki son elemanı veya belirli bir sayısal değeri temsil etmez. “Sonsuza gitmek” denildiğinde çoğunlukla değerlerin herhangi bir sabit sınırı aşacak kadar büyümesi anlatılır; “sonsuz” bir sayıya ulaşıldığı söylenmez.

Bu ayrım, işlemlerde de dikkat gerektirir. Sonlu bir sayı için (n+1) işlemi yeni bir sonlu sayı verir. Buna karşılık (\infty+1) ifadesi, sonlu sayılar üzerindeki olağan aritmetik işlemin doğrudan bir örneği değildir. Bazı limit ve genişletilmiş sayı sistemlerinde bu tür ifadeler özel kurallarla yorumlanabilir; fakat bu yorum, (\infty)'nin normal bir gerçek sayı olduğu anlamına gelmez.

Örneğin (f(x)=x^2) için (x) büyüdükçe (f(x)) de sınırsız biçimde büyür. Bu durum (\lim_{x\to\infty}x^2=\infty) şeklinde yazılabilir. Buradaki ifade, fonksiyonun belirli bir “sonsuz” değere ulaştığını değil, değerlerinin herhangi bir sonlu üst sınırı aştığını belirtir. Limit konusunun ayrıntıları için Türev ve İntegral Arasındaki Fark Nedir? bağlantısına bakılabilir.

Googol ve googolplex: Sonlu sayıların sınırı yoktur

Büyük sayıların adlandırılması, “en büyük sayı” problemini çözmez. Googol, 1'in ardından 100 sıfır gelen sayıdır ve (10^{100}) biçiminde yazılır. Googolplex ise 1'in ardından bir googol kadar sıfır gelen sayı olarak tanımlanır: (10^{\text{googol}}=10^{10^{100}}).

Bu tanımlar, iki sayının da sonlu olduğunu gösterir. Bir sayının yazımı pratikte çok uzun veya fiziksel olarak zor olabilir; fakat matematiksel tanımı kesin olduğu için o sayı sonludur. Googolplex için bile “googolplex + 1” ifadesi anlamlıdır ve googolplex'ten büyüktür. Bu nedenle bir sayının isminin ünlü olması, onun en büyük sayı olduğu anlamına gelmez.

Büyük sayılar; olasılık, kombinatorik ve teorik matematikte çok sayıda olası durumu ifade etmek için kullanılabilir. Örneğin permütasyon ve kombinasyon problemlerinde nesnelerin farklı dizilişleri veya seçimleri hesaplanırken çok büyük sonlu sonuçlar ortaya çıkabilir. Ancak bu sonuçlar, sonsuzlukla aynı kategoriye konulmamalıdır. İlgili ayrım için Permütasyon ve Kombinasyon Arasındaki Fark Nedir? içeriği incelenebilir.

Sayılabilir ve sayılamaz sonsuzluk arasındaki ayrım

Sonsuzluk tek bir bağlamda kullanılan tek tip bir büyüklük olarak düşünülmemelidir. Doğal sayılar kümesi sonsuzdur; çünkü sayma dizisi her adımda yeni bir doğal sayıyla devam eder. Bu tür sonsuz kümeler sayılabilir sonsuzluk olarak adlandırılır: Elemanlar birinci, ikinci, üçüncü diye bir sıraya yerleştirilebilir.

Gerçek sayılar kümesi için ise farklı bir durumdan söz edilir. 0 ile 1 arasındaki gerçek sayılar bile sonsuzdur ve bu elemanlar doğal sayılar gibi tek tek numaralanarak tamamlanamaz; bu nedenle sayılamaz sonsuzluk kavramı kullanılır. Buradaki “daha büyük” ifadesi, tek tek sayıların büyüklüğünü değil, kümelerin elemanlarını eşleştirme biçimini anlatır.

Bu konu, “sonsuzluk bir sayı mıdır?” sorusundan farklı bir düzeydedir. İlk soru, (\infty)'nin sayı olup olmadığını sorgular; bu bölümdeki ayrım ise sonsuz kümelerin büyüklüklerinin birbirinden farklı olabileceğini inceler. Daha ayrıntılı kavramsal açıklama için Sonsuzluk Bir Sayı mıdır? bağlantısı kullanılabilir. Ayrıca pi sayısının ondalık gösterimi ile sonsuzluk kavramı da karıştırılmamalıdır; Pi Sayısı Neden Bitmez? bu farkı açıklar.

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

1. “Googolplex en büyük sayıdır.” Bu yanlıştır. Googolplex çok büyük fakat sonlu bir sayıdır; ona 1 eklenebilir.

2. “Sonsuzluk, ulaşılması gereken son sayıdır.” Sonsuzluk bir son eleman değildir. Sayıların belirli bir son değerde durmadığını veya bir ifadenin sınırsız büyüdüğünü belirtir.

3. “Her kümede en büyük sayı yoktur.” Bu da doğru değildir. 0 ile 9 arasındaki rakamlar veya ([0,1]) aralığı gibi sınırlandırılmış kümelerde en büyük eleman bulunabilir. Kümenin tanımı ve uç noktaların dahil edilip edilmediği kontrol edilmelidir.

4. “Bir sayı ne kadar büyükse sonsuza o kadar yakındır.” Sonlu sayıların büyüklüğü ile sonsuzluk arasında “sonlu bir mesafe” tanımlanmaz. Büyük bir sayı hâlâ sonludur; sonsuzluk ise bu tür sayılardan biri değildir.

5. “Sonsuzluk artı 1 kesin olarak sıradan aritmetikte bir sayıdır.” Limitlerde veya özel sayı sistemlerinde sembolik kurallar bulunabilir; fakat bu, (\infty)'nin gerçek sayılar kümesinin bir elemanı olduğunu göstermez.

6. “Negatif sayılarda en küçük sayı vardır.” Negatif tam sayılarda herhangi bir sayının daha küçüğü bulunabilir. Buna karşılık belirli bir negatif aralık, örneğin ([-10,-1]), sınırlandırılmışsa en küçük eleman (-10)'dur.

Sınav sorularında önce sayı kümesini, sonra aralık koşullarını, son olarak da “maksimum”, “üst sınır” ve “sınırsızlık” ifadelerinin hangisinin kullanıldığını belirlemek en güvenli yöntemdir.