Matematikte “sonsuz” sıklıkla birsayıymış gibi ele alınır (örn. Sonsuz sayıda terim vb.) ama aslındagerçek sayılar türünde birsayı değildir.Sonsuz küçük değerlerini içeren sayı sistemlerinde bu son küçüklerin karşıtı bir sonsuz sayıdır.19. yüzyıl ve20. yüzyılın başlarındaGeorg Cantor sonsuz ve sonsuz kümeler ile ilgili birçok fikre şekil verdi. Geliştirdiği kuramda farklı boyutlardasonsuz kümeler yer almaktadır. Örneğin,tamsayıların oluştuğu küme sayılabilir sonsuzken gerçek sayıların oluşturduğu sonsuz küme ise sayılamaz sonsuzdur.
Antik kültürler sonsuz hakkında çeşitli fikirlere sahipti.Antik Yunanlar veAntik Hindistanlılar sonsuz kavramının modern matematikçilerin tanımladığı şekilde tanımlamak yerine bu kavrama felsefi bir fikir olarak yaklaştılar.
Sonsuz hakkındaki ilk kaynaklarMilet’te yaşamış olanSokrates öncesi düşünürAnaksimandros’a aittir. Sonsuzluğu ifade etmek için sınırsız gibi anlamlara gelen “aperion” kelimesini kullanmıştır. Ancak, sonsuzun matematiksel olarak kullanımına dair ilk örnekler Parmenides tarafından kurulan Elea okulunun bir üyesi olan Sokrates öncesi düşünürElealı Zenon'a aittir.Aristoteles onu diyalektiğin mucidi olarak adlandırır. Asıl ünlü olduğu konu iseBertnard Russell'ın da belirttiği gibiölçülemeyecek kadar akıllıca ve derinparadokslarıdır. Aristoteles'in geleneksel görüşü gereğinceHelenistik dönemde potansiyel ve gerçek sonsuzu birbirinden ayırmayı tercih etmişlerdir. Örneğin, sonsuz sayıdaasal sayı vardır demek yerine,Öklid, herhangi bir asal sayı grubunun içerdiği miktardan daha fazla sayıda asal sayı vardır demeyi tercih eder. (Elementler, Kitap IX)
Hindistan'a ait olan bir Matematiksel yapıt olanSurya Prajnapti tüm sayıları üç gruba ayırır. Bunlar: sayılabilir, sayılamaz ve sonsuzdur. Bu grupların her biri üç farklı alt gruba daha ayrılır.
Sayılabilir: en düşük, ortalama, en yüksek.
Sayısız: neredeyse sayısız, gerçekten sayısız ve çok büyük sayıda olduğundan dolayı sayısız.
Sonsuz: neredeyse sonsuz, gerçekten sonsuz ve son derece sonsuz.
Bu sayı grupları kuramında iki tip sonsuz sayı birbirinden ayrılmıştır. Bu ayrım asaṃkhyāta (sayısız) ve ananta (sınırsız) yani kesin olarak sınırlandırılmış ve genel olarak sınırlandırılmış sonsuzlar arasındadır.
Sonsuz sembolü (kelebek veya sekiz eğrisi diye de adlandırılır) sonsuzluğu ifade etmek için kullanılan matematiksel birsemboldür. Bu sembol, Unicode'da U+221E, LaTeX'te ise \infty olarak kodlanmıştır. İlk olarak 1655 yılındaJohn Wallis tarafından ortaya atılmıştır. Ortaya atıldığı günden beri matematik dışında modern mistisizm gibi matematik dışındaki alanlarda da kullanılmıştır.
Gerçel analizde sonsuz işareti sınırsızlimitleri göstermek için kullanılır. ifadesi x 'in herhangi bir sınırı olmadan büyüdüğünü, ifadesi İse x'in herhangi bir sınırı olmadan azaldığını gösterir. Eğer her t değeri içinf(t) ≥ 0 ise,
ifadesif(t)'nin . ve arasında herhangi bir alanı sınırlandırmadığını gösterir.
ifadesif(t)'nin altında kalan alanın sonsuz olduğunu gösterir.
ifadesif(t)'nin altında kalan alanın sınırlı ve'ya eşit olduğunu gösterir.
Sonsuz aynı zamanda sonsuz serileri gösterirken de kullanılır.
ifadesi, bu sonsuzserilerin toplamının gerçek değerine yakınsadığını gösterir.
ifadesi, bu sonsuzserilerin toplamının ıraksadığını gösterir. Yani bu toplam herhangi bir sınır olmadan büyür.
Sonsuz, limit tanımlamanın dışında genişletilmiş gerçek sayılar kümesinde bir değer olarak da kullanılır. ve şeklinde gösterilen noktalar gerçek sayılartopolojik uzayına eklenebilir. Bu işlem bize genişletilmiş gerçek sayıları verir.
Gerçel analizde olduğu gibikarmaşık analizde de sembolü sonsuz sembolü olarak kabul edilir ve işaretsiz bir sonsuzlimiti ifade eder. ifadesi, x'in büyüklüğünün ; belirlenmiş bir değerin ötesine kadar büyüdüğünü gösterir. olarak belirlenen nokta,karmaşık düzlemin tek noktada sıkıştırılmışını veren bir topolojik uzay olarak karmaşık düzleme eklenebilir. Bu işlem tamamlandığında elde edilenuzay tek boyutlu bir karmaşık katmanlı uzay ya daReimann yüzeyi, genişletilmiş karmaşık yüzey ya daRiemann küresi olarak adlandırılır. Bu anlatılanlara benzer aritmetik işlemler genişletilmiş gerçek sayılar, işaretler için bir ayrım olmamasına rağmen, için de uygulanabilir. (sonsuz sayılar birbirine eklenemeyeceğinden tek istisna sonsuz sayılardadır.) Diğer taraftan, bu tip bir sonsuz sıfırdan farklı herhangi bir sayının sıfıra bölünmesiyle elde edilir. Örneğin sıfırdan farklı bir z sayısı için ifadesi sonsuz değerini verir. Bu yazıdameromorf işlevleri kutuplarda değerini alan Riemann küreleri için bir harita olarak düşünmek kolaylık sağlayabilir. Karmaşık değerli bir işlevintanım kümesi sonsuz değerini alacak kadar da genişletilebilir. Bu tip işlevlere verilebilecek örnekMöbius dönüşümleri grubudur.
Isaac Newton veGottfried Leibniz tarafından fomüle edilen sonsuz küçükkalkülüsünün orijinalindesonsuz küçükler kullanılmıştır. 20. Yüzyılda bu tarz bir yaklaşımınyumuşatılmış sonsuz küçük analizi vestandart dışı analizi de içeren çeşitli mantıksal sistemler boyunca sıkı bir temel oluşturabileceği gösterildi.Standart dışı analizde sonsuz küçükler tersinirdir ve bunların tersinirleri sonsuz sayılardır. Bu açıdan bakıldığında sonsuz sayılarhiperral alanının bir parçasıdır. Aralarında herhangi bir eşitlik yoktur. Örneğin H bir sonsuz sayı ise, H + H = 2H ve H + 1 farklı birer sonsuz sayıdır. Standart dışı kalkülüse bu yaklaşım tam olarak Keisler (1986)'de geliştirilmiştir.
Sonsuz küme ve öz alt küme arasındaki birebirlik özelliği
Sonsuzun diğer farklı şekilleri olansıral venicel sonsuzlar küme kuramındaki sonsuzlardır.Georg Cantor ilk sonlu ötesi alef-sıfır olan bir sonlu ötesi sistemi geliştirmiştir. Nicel sonsuzlara dair bu modern matematiksel görüş 19. Yüzyılın sonlarında Cantor,Gottlob Frege,Richard Dedekind ve diğerlerinin çalışmalarıyla ve grup ve kümelere dair fikirleriyle gelişmiştir. Dedekind'ın yaklaşımı temeldebirebir işlev fikrini kümelerin boyutunu belirlemede standart olarak benimseyip, Galile'nin bütün, parçalar ile aynı boyutlarda olamaz görüşünü reddetmeye dayanır. Bir sonsuz küme en azından kendisininalt kümelerinden biri ile aynı boyuta sahip olan bir küme olarak tanımlanabilir. Sonsuzun bu tanımıDedekind sonsuzu olarak bilinir. Verilen şema bu konuya bir örnek teşkil etmektedir: Doğruları sonsuz noktalar kümesi olarak düşündüğümüzde alttaki mavi doğrunun sol yarısı, yukarıdaki doğruya birebir şeklinde gösterilebilir. (Yeşil benzerlik çizgiler ile.) ve tersi yapıldığında, yukarıdakinden aşağıdaki mavi doğrunun tamamına, (Kırmızı benzerlik çizgileri ile) aşağıdaki mavi doğrunun tamamı ve sol yarısı aynı niceliğe ya da boyuta sahiptir.Cantor, sıral sayılar ve nicel sayılar olmak üzere iki farklı sonsuz sayı tanımlamıştır. Sıral sayılar,iyi-sıralı kümeler veya saymanın sonsuzdan sonraki noktaları da içeren herhangi bir durma noktasına kadar devam eden sayılar şeklinde tanımlanabilir. Nicel sayılar kümelerin boyutunu, kaç elemana sahip olduklarını, belirler ve belirli bir boyutun ilk sıral sayısının o boyutun nicel sayısını belirtmek için seçilmesi ile standartlaştırılırlar. En küçük sıral sonsuz pozitiftam sayılardır vetam sayıların niceliğine sahip herhangi bir küme sayılabilir sonsuzdur. Eğer küme pozitif tam sayılarla birebir benzeşme yapmak için çok büyükse sayılamaz denir. Canton'un görüşü etkili oldu ve modern matematik gerçek sonsuzu kabul etti.Hiperreal sayılar gibi belirli genişletilmiş sayı sistemleri sonlu sayıları ve farklı boyutlardaki sonsuz sayıları kapsar.
Cantor'un ulaştığı en önemli sonuçlardan biri de sürekliliğin niceliği'nin doğal sayılarınkinden büyük olmasıdır. Diğer bir deyişle doğal sayılardan N daha fazla gerçek sayı R vardır. Cantor bunu şeklinde göstermiştir (bakınızCantor'un köşegen yöntemi).Süreklilik hipotezigerçek sayıların niceliği ile doğal sayıların niceliği arasında bir nicel sayı olmadığını söyler. Yani,. Ancak bu hipotez yaygın olarak kabul görmüşZermelo-Fraenkel küme kuramı ile ne kanıtlanabilir ne de yanlışlığı ortaya konulabilir.Nicel aritmetik sadecegerçek sayı doğrusundaki noktaların sayısının bu doğrudaki herhangi bir bölmedeki noktaların sayısına eşit olduğunu göstermek için kullanılmaz. Aynı zamanda bu, sonlu boyutlu herhangi bir uzaydaki bir düzlemdeki noktaların sayısının da eşit olduğunu belirtir.
Tek boyutlu bir çizgide iki boyutlu bir karedeki ile aynı sayıda nokta olduğunu gösteren fraktal yapının ilk üç adımı.
Bu sonuçların ilki (−π/2, π/2) Aralığı ve R arasında birebir benzeşme gösteren bir tanjant işlevi düşünüldüğünde aşikârdır. İkinci sonuç Cantor tarafından 1878'de kanıtlandı ancak 1980'de Giuseppe Peano boşluk dolduran eğrileri, dönüşler ve çeşitli bükülmeler sonucunda herhangi bir kareyi küpü ya da hiperküpü ya da sonlu boyutu olan biruzayı dolduracak hale gelen eğri çizgiler, ortaya attığında sezgisel olarak anlaşılabilecek şekilde aşikâr oldu. Bu çizgiler bir karenin herhangi bir kenarındaki noktalar ile içindeki noktalar arasında birebir benzeşme kurmak için kullanılabilir.
Sonsuz boyutlu uzaylar geometri ve topolojide çokça kullanılmaktadır. Buna verilebilecek en yaygın örnekler sonsuz boyutlu karmaşık izdüşümsel uzay K(Z,2) ve sonsuz boyutlu karmaşık gerçek uzay K(Z/2Z,1) dir.
Fraktal bir cismin yapısı temel olarak tekrarlanarak büyültme ile oluşur. Fraktallar yapıları bozulmadan sınırsız miktarda büyütülebilir ve düzgün hale gelirler. Çevre uzunlukları sonsuzdur ancak bazı fraktal cisimlerin sonsuz uzunlukta çevreleri olmasına rağmen sonlu miktarda yüzey alanları vardır. Sonsuz çevresi ve sonlu yüzey alanı olan bu tip fraktal eğrilere örnek olarak Koch kar tanesi örnek olarak gösterilebilir.
Leopold Kronecker sonsuz kavramına ve 1870 ve 1880lerde onu kullanan meslektaşlarına karşı şüphe ile yaklaştı. Matematik felsefesinde geliştirilen bu şüphecilik finitizm matematikte sadece sonlu kavramların varlığını kabul eden olarak adlandırıldı. Finitizm, oluşturmacı matematik ve sezgici matematiğin uç halidir.
Fizikte, gerçek sayılar sürekli ölçümler için, doğal sayılar ise sayılabilir ölçümler için kullanılır. Bundan dolayı, ölçülemez miktarların sonsuz değere sahip olduğu fizikçiler tarafından kabul görmüştür. Örneğin, genişletilmiş gerçek sayılar sisteminde bir sonsuz değeri almak ya da sonsuz sayıdaki olayların sayılması. Ayrıca herhangi bir cismin sonsuz kütleye ya da enerjiye sahip olamayacağı farz edilir. Bir diğer yandan bazı sonsuz kavramların varlığı kabul edilir ancak bunlara dair deneysel bir bilgi yoktur.
Ölçülebilir miktarlar için sonsuz değerleri reddetmek fikri ideolojik nedenlerden ötürü ortaya çıkan bir fikir değildir. Daha çok metodolojik ve faydacı görüşlerden dolayı ortaya çıkmıştır. Herhangi bir fiziksel veya bilimsel kuramın gerekliliklerinden biri gerçekle uyuşan ya da en azından benzerlik gösteren kullanılabilir bir formül üretmesidir. Örneğin, sonsuz kütleye sahip bir cismin var olması. Bu cisminKütleçekim kuvvetini hesaplamaya yönelik kullanılacak her formülün sonucu sonsuz çıkacaktır ve bu sonuç cismin yerini veya diğer cisimlerin kütlesini yok sayarak yine aynı çıkacaktır ve hiçbir fayda sağlamayacaktır. Eğer sonsuz kütleli bir cisim var olsaydı, sonlu kütleye sahip herhangi bir cisim diğer cismin uygulayacağı sonsuz kuvvetten (ve bundan dolayı ivmeden) etkilenecekti. Bu tip bir olayı gerçekte gözlemlemek imkânsızdır. Bazen kuramdan elde edilen sonsuz sonucu kuramın yetersiz kaldığı ya da başarısız olduğu noktaya yaklaştığının göstergesi olabilir. Bu durum kuramın kısıtlamalarını belirlemede yardımcı olur.
Bu bakış açısı sonsuzun fizikte kullanılamayacağı anlamına gelmez. Kolaylık olsun diye genelde hesaplamalarda, denklemlerde, kuramlarda, yaklaşımlarda sonsuz seriler, sınırsız işlevler vb. kullanılır ve sonsuz miktarlarla işlemler de yapılır. Ancak fizikçiler elde edilen sonucun fiziksel olarak anlamlı olmasına gerek duyar. Kuantum kuramında sonsuz değere ulaşan sonuçlar fiziksel bir anlamı olması için yorumlanır. Bu sürece yeniden boyutlandırım adı verilir.
Ancak, sonucun sonsuz olduğu bazı kuramsal durumlar da vardır. Bu duruma kara delikleri tarif ederken kullanılan aykırılık örnek olarak verilebilir. Genel görelilik kuramındaki bazı denklemlerin çözümleri boyutsuz ve sonlu kütleli bu nedenle de sonsuz yoğunluğa sahip cisimlerin var olmasına izin verir. Bu matematiksel aykırılık denilen duruma ya da fiziksel kuramın çöktüğü yere bir örnektir. Bu fiziksel sonsuzların var olduğunu göstermez, daha çok kuramın bu tip durumları doğru açıklayamadığını gösterir. Diğer iki örnek ise ters kare kuvvet kanunları olan Newton'un çekim kuvveti yasası ve Coulomb'un elektrostatik yasasıdır. r=0 durumunda bu denklemler sonsuz değerini verir.
1584'te İtalyan filozof ve astronom olan Giordano Bruno “On the Infinite Universe and Worlds” (Sonuz Evren ve Dünyalar) adlı eserinde “ Sayılamayacak kadar çok güneş vardır ve sayılamayacak kadar dünya bunların etrafında bizim güneşimiz etrafında dönen yedi gezegen gibi dönmektedir. Canlılar bu dünyalar üzerinde yaşamlarını sürdürmektedir.” Şeklinde açıklayarak sonsuz evren fikrini ortaya atmıştırKozmologlar uzun süre boyunca sonsuzun fiziksel dünyamızda var olup olmadığını keşfetmek için uğraştılar: “Sonsuz sayıda yıldız var mı? Evrenin sonlu bir hacmi var mı? Uzay sonsuza kadar devam mı ediyor?” gibi ucu açık sorularla bu konu üzerinde çalışmışlardır. Dikkat edilmesi gereken bir nokta ise sonsuz olmanın mantıken sınırı olmamaktan farklı şeyler olduğudur. Dünya'nın iki boyutlu yüzeyi sonludur ama sınırı yoktur. Düz bir doğru boyunca gidilirse sonuçta başlangıç noktasına geri dönülür. Evren de, en azından prensipte, bu tip benzer bir topolojiye sahip olabilir. Eğer öyleyse, evren boyunca düz bir çizgide ilerleyen birisi en sonunda başlangıç noktasına geri dönecektir.Diğer bir açıdan, eğer evren bir küre gibi eğrilmek yerine düz bir topolojiye sahipse hem sınırsız hem de sonsuz olabilir. Evrenin eğriliği kozmik arka plan ışımasındaki çok kutuplu momentler sayesinde ölçülür. WMAP uzay aracının kaydettiği ışıma analizleri evrenin düz bir topolojiye sahip olduğunun işaretlerini vermektedir. Bu durum sonsuz fiziksel evren ile tutarlı olacaktır. 2009'da fırlatılan Planck adlı uzay aracının bu kozmik ışımaları 10 kat daha hassas şekilde kaydetmesi ve evrenin sonsuz olup olmadığı konusunda daha fazla fikir edinilmesine yardımcı olması bekleniyor. Sonsuzluk fikri, astrofizikçi Michio Kaku tarafından açıklanan çoklu evren hipotezine kadar uzanmaktadır. Bu hipoteze göre birçok sayıda ve çeşitlilikte evrenler bulunmaktadır.
Mantıkta sonsuz gerileme savı “ bir tezin hatalı olduğunu gösteren felsefi bir sav” olarak görülür çünkü “ Var olan bir sonsuz seri olsa da olmasa da bu sav sonsuz bir seri yaratır ve tezin sahip olduğu görevi (örn. Doğrulama) azaltır.”
Kayannokta aritmetiği standardı (IEEE 754)pozitif sonsuz venegatif sonsuz değerlerini açıkça belirtir. Bunlar aritmetik taşma, sıfıra bölme ve diğer istisnai işlemlerin sonucu olarak tanımlanmıştır.
Java ve J gibi bazı programlama dilleri kullanıcıya pozitif ve negatif sonsuz değerlerine dil sabiti olarak erişim izni verir. Bunlar en büyük ve en küçük elemanlar, kendilerinden büyük ve küçük olanlarla karşılaştırıldığında, olarak kullanılabilir. Pencereleme, arama ve sınıflandırmaalgoritmalarında başlangıç ve bitiş değerleri olarak kullanışlıdırlar.
En büyük ve en küçük elemanlara sahip olmayan ama ilişki operatörünün aşırı yüklenmesine izin veren dillerde programcı en büyük ve en küçük elemanları yaratabilir. Programın ilk durumunda bu tip değerlere izin vermeyen ama kayan nokta işaretçilerini uygulayan dillerde sonsuz değerleri belirli işlemlerin sonucu olarak hala ulaşılabilir ve kullanılabilir olabilir.
Perspektif sanatı, gözlemciden sonsuz uzaklıkta bulunan hayali bir kaybolma veya sonsuz noktası kullanır. Bu, sanatçıya mesafeleri, cisimleri ve resimdeki uzayı gerçekçi bir şekilde betimleme imkânı tanır. Sanatçı M. C. Escher sonsuzluğu eserlerinde bahsedilen ve diğer şekillerde kullanmasıyla ünlüdür.
Kavramsal bilimci George Lakoff matematik ve bilimdeki sonsuz kavramını bir metafor olarak görür. Bu görüş sürekli artan sıra olarak tanımlanan temel sonsuz metaforu (İng. BMI) üzerine kurulmuştur.Ayrıca sonsuz sembolü sonsuz aşkı simgelemek için de kullanılmıştır. Birçok takı türü bu amaçla sonsuz sembolü şeklinde üretilmiştir.
