Bu açıklamada, sıfır ve bir arasındaki reel sayılar ile tüm tam sayıların sonsuzluk ve yoğunluk kavramları bağlamında nasıl eşleşebileceği, ve bu eşlemenin matematiksel olarak nasıl mümkün olduğu detaylı biçimde anlatılmaktadır.
Öncelikle, durumun anlaşılması için biraz temel kavramlardan başlayalım:
Peki, aradaki "batıl inanç" nedir? Sıklıkla duyduğumuz, reel sayılar (0 ile 1 arası) ile tam sayıların eşleşemeyeceği yani aynı kardinaliteye sahip olmadığıdır. Bu doğrudur, ama biraz açıklama gerektirir.
Tam sayılar "sayılabilir sonsuz"dur. Bu, tam sayıların doğal sayılarla bir bire bir eşlemesinin kolayca yapılabileceği anlamına gelir; örneğin, her tam sayıya bir doğal sayı atayabiliriz.
0 ile 1 arasındaki reel sayılar ise "sayılamayan sonsuz"dur. Cantor'un ünlü "diyagonal argümanı" bize gösterir ki, bu aralıktaki sayılar doğal sayılarla bire bir eşleşemez, yani çok daha "büyük" bir sonsuzluğa sahiptir.
Bir küme A'nın kardinalitesi B'nin kardinalitesine eşitse, aralarında bijektif (bire bir ve örten) bir eşleme vardır. Örneğin, tam sayılar ve doğal sayılar arasında böyle bir eşleme vardır; bu yüzden aynı kardinalitededirler.
Fakat reel sayılar ile tam sayılar arasında böyle bir eşleme yoktur. Matematikte bu sonuç, "reel sayılar kümesi, tam sayılar kümesinden daha büyüktür" şeklinde ifade edilir.
Öğretmenin tahtadaki şekli ---|-----|-----.-----.----.--> gibi göstermek, bir anlamda doğrunun bazı bölümlerini (0 ile 1 arası yoğun noktalardan oluşan tam dolu doğru parçası) ve tam sayıların yaygın ama seyrek noktalarından oluştuğu izlenimini verir.
Bellek ve algı oyunu burada yapılmaktadır: 0 ile 1 arası tam dolu, dolu dolu bir aralıktır ve bu nedenle sonsuz sayıda noktası vardır. Tam sayılar ise atlanabilir, seyrek dağılmış noktalardır. "Sayılamayan sonsuz" ile "sayılan sonsuz" arasındaki bu farktan ötürü matematikçiler bu iki kümenin büyüklüklerinin farklı olduğu sonucuna varır.
Soru şu: "Tam dolu 0 ile 1 arası reel sayılar ile seyrek tam sayılar arasında eşleme yani bire bir ve örten bir fonksiyon olamaz mı?" Bu konuda asıl matematiksel yanıt: Hayır, böyle bir eşleme mümkün değildir.
Öğretmenin, öğrencilerin ve AI'nın bazen soruyu kavramayışı, matematiksel kavramların (kardinalite, sayılabilir/sayılamayan ayrımı) tam olarak anlaşılmamasından ve bazı kalıplaşmış görüşlerin sorgulanmamasından kaynaklanıyor olabilir.
Cantor diyagonal argümanı ile gösterilir ki, [0,1] aralığındaki reel sayıların herhangi bir sayılabilir listeye dizilmesi ve her sayı listelenmiş gibi kabul edilmesi mümkün değildir. Yeni bir sayı, listedeki tüm sayıların diyagonalından farklı olacak şekilde üretilebilir. Bu da "liste tamamlanamıyor" yani sayılabilir olmadığı anlamına gelir.
Buradaki kafa karışıklığı, iki farklı sonsuzluk türünü aynı düzeye koymaktır. Matematiksel olarak kesin ve net kanıtlar vardır: [0,1] aralığı ile tam sayılar arasında bire bir ve örten fonksiyon yoktur. Dolayısıyla, eşleme yoktur.
Bununla birlikte, sayılabilir olmayan sonsuz kümeler ile sayılabilir sonsuz kümelerin "şekilsel" olarak karşılaştırılması kafa karıştırabilir çünkü sonsuzluk çok farklı şekillerde "sonsuz"dur.
Kısaca özetlersek:
0 ile 1 arasındaki reel sayılarla tam sayılar arasında bire bir ve örten bir eşleme yoktur. Bu matematiksel bir sonuç ve modern matematiğin temel taşlarından biridir. Bu nedenle öğretmenlerin bu konuda kesin ifadeler kullanması bu tabuyu değil, kanıtlanmış doğruyu belirtmektedir.
Ancak, eşleme kavramını anlamak, sonsuzlukların farklı türlerini kavramak başlangıçta zor olabilir ve "batıl inanç" gibi algılama yanlış olabilir. En önemli şey şudur: Merak etmek, sormak, öğrenmek!
Umarım bu açıklama kafanızdaki sorulara ışık tutar. Eğer daha basitten başlayarak aşamalı anlatalım derseniz, memnuniyetle yardımcı olurum.