Sayı,sayma,ölçme ve etiketleme için kullanılan birmatematiksel nesnedir. En temel örnek,doğal sayılardır (1,2,3,4 ve devamı).[1] Sayılar,sayı adı (numeral) ile dilde temsil edilebilir. Daha evrensel olarak, tekil sayılarrakam adı verilensembollerle temsil edilebilir; örneğin, "5" beş sayısını temsil eden bir rakamdır. Yalnızca nispeten az sayıda sembolün ezberlenebilmesi nedeniyle, temel rakamlar genellikle birrakam sisteminde organize edilir, bu da herhangi bir sayıyı temsil etmenin organize bir yoludur. En yaygın rakam sistemiHint-Arap rakam sistemidir, bu sistem on temel sayısal sembol, yani rakam kullanılarak herhangi bir negatif olmayan tam sayının temsil edilmesine olanak tanır.[2][a] Sayılar sayma ve ölçme dışında, etiketlerde (telefon numaraları gibi), sıralamada (seri numaraları gibi) ve kodlarda (ISBN'ler gibi) kullanılmak için de sıklıkla kullanılır. Yaygın kullanımda, birrakam ile temsil ettiğisayı net bir şekilde ayrılmaz.
Sayıların pratik kullanımlarının yanı sıra, dünya genelinde kültürel bir önemi de bulunmaktadır.[7][8] Örneğin, Batı toplumunda,13 sayısı genellikleuğursuz olarak kabul edilir ve "milyon", kesin bir miktar yerine "çok" anlamına gelebilir.[7] Artıksahte bilim olarak kabul edilse de, sayıların mistik bir önemine dair inanç, bilinen adıylanümeroloji, antik veOrta Çağ düşüncelerine derinden işlemiştir.[9] Nümeroloji,Yunan matematiğinin gelişimini büyük ölçüde etkilemiş ve günümüzde hala ilgi çeken birçok sayı teorisi problemi üzerine araştırmaları teşvik etmiştir.[9]
19. yüzyılda matematikçiler, sayıların bazı özelliklerini paylaşan ve kavramı genişletiyor olarak görülebilecek pek çok farklı soyutlama geliştirmeye başladılar. İlkler arasında,karmaşık sayı sistemini çeşitli şekillerde genişleten veya değiştirenhiperkompleks sayılar bulunmaktadır. Modern matematikte, sayı sistemleri,halkalar vealanlar gibi daha genel cebirsel yapıların önemli özel örnekleri olarak kabul edilir ve "sayı" teriminin uygulanması, temel bir öneme sahip olmaksızın, bir konvansiyon meselesidir.[10]
Kemikler ve üzerlerine kesik izleri yapılmış diğer eserler ile keşfedilmiştir ki, birçok kişi bunlarınçetele olduğuna inanmaktadır.[11] Bu çeteleler, geçen zamanın, örneğin gün sayısının, ay döngülerinin sayılması ya da çeşitli miktarların, örneğin hayvan sayılarının kaydı, tutulması için kullanılmış olabilir.
Bu çetele - çizik atma sistemi, modernondalık gösterimdeki gibi basamak değeri kavramına sahip değildir. Bu da büyük sayıların temsilini sınırlar. Yine de, çetele - çizik atma sistemleri, ilk tür soyut sayı sistemi olarak kabul edilir.
Basamak kavramına sahip bilinen ilk sistem, M.Ö. 3400 civarına ait Antik Mezopotamya ölçü birimleri sistemidir ve bilinen en eskionlu sayı sistemi ise M.Ö. 3100 yılındaMısır'da gözlemlenmiştir.[12]
Sayılar, sayıları temsil etmek için kullanılan semboller olanrakamlardan ayırt edilmelidir. Mısırlılar ilk şifreli rakam sistemini icat ettiler ve Yunanlar sayma sayılarını İyon ve Dorik alfabesine aktararak bu yöntemi takip ettiler.[13] Roma rakamları, Roma alfabesinden harflerin kombinasyonlarını kullanan bir sistem, Avrupa'da 14. yüzyılın sonlarına doğruHint-Arap rakam sisteminin yayılmasına kadar baskın kaldı ve Hint-Arap rakam sistemi günümüzde dünyada sayıları temsil etmek için kullanılan en yaygın sistem oldu.[14] Bu sistemin etkinliğinin sebebinin, M.S. 500 civarında antik Hint matematikçiler tarafından geliştirilensıfır sembolü olduğu düşünülmektedir.[14]
M.S. 683 tarihli bir yazıttan alınanKmer rakamları ile yazılmış '605' sayısı. Sıfırın ondalık bir rakam olarak erken bir kullanımıdır.
Sıfır'ın belgelenmiş ilk bilinen kullanımı M.S. 628 yılına aittir veBrāhmasphuṭasiddhānta içinde, Hint matematikçiBrahmagupta'nın ana eserinde yer alır. Brahmagupta, 0'ı bir sayı olarak ele almış ve aralarındabölme de dahil olmak üzere, sıfırı içeren işlemleri tartışmıştır. Bu dönemde (7. yüzyıl), sıfır kavramı Kamboçya'yaKmer rakamları olarak ulaşırken sıfırın daha sonraÇin veİslam dünyasına yayıldığı görülmektedir.
Brāhmasphuṭasiddhānta adlı eseriyle Brahmagupta, sıfırı sayı olarak ele alan bilinen ilk metni yazmıştır ve bu yüzden sıklıkla sıfır konseptini ilk tanımlayan kişi olarak görülür. Brahmagupta, sıfırın hem negatif hem de pozitif sayılarla birlikte kullanılabilmesine yönelik kurallar belirlemiştir; mesela "pozitif bir sayıya sıfır eklenirse sonuç yine pozitif sayı olur, negatif bir sayıya sıfır eklenirse sonuç negatif sayı olur" gibi.Brāhmasphuṭasiddhānta, sıfırı yalnızca diğer bir sayının yerini tutan bir sembol ya da miktarın olmamasını belirten bir işaret olarak değil, aynı zamanda bağımsız bir sayı olarak kabul eden ilk yazılı kaynaklardan biridir ve bu özelliğiyle Babil matematiğinden ya da Ptolemy ve Romalıların yaklaşımlarından ayrılır.
0 sayısının kullanımı,basamak sistemlerinde bir yer tutucu rakam olarak kullanımından ayrılmalıdır. Birçok antik metin 0 rakamını kullanmıştır. Babil ve Mısır metinlerinde bu kullanıma rastlanır. Mısırlılar, çift girişli muhasebe sistemlerinde sıfır bakiyeyi belirtmek içinnfr kelimesini kullanmışlardır. Hint metinleri,boşluk kavramını ifade etmek içinSanskritçeShunye veyashunya kelimesini kullanmıştır. Matematik metinlerinde bu kelime genellikle sıfır sayısına atıfta bulunur.[15] Benzer şekilde, M.Ö. 5. yüzyıldaPanini Sanskrit dilinin cebirsel bir dilbilgisi için erken bir örnek olanAshtadhyayi'de boş (sıfır) işlevsel sözcüğünü kullanmıştır (ayrıcaPingala'ya bakınız).
Meksika'nın güney-orta bölgesinde yaşayan geç dönemOlmek halkı, Yeni Dünya'da, muhtemelen M.Ö. 4. yüzyılda ama kesinlikle M.Ö. 40 yılına kadar, sıfır için bir sembol, bir kabukglifi kullanmaya başlamıştır. Bu sembol,Maya rakamlarının veMaya takviminin ayrılmaz bir parçası haline gelir. Maya matematiği, temel olarak 4 ve 5'i, 20 tabanında yazılmış olarak kullanmıştır. George I. Sánchez, 1961'de temel 4, temel 5 "parmak" abaküsünü yayımlar.[16]
M.S. 130 yılına gelindiğinde,Hipparkos ve Babillilerden etkilenenPtolemy,altmışlık sayı sistemi içinde başka bir yerdeYunan rakamları kullanırken 0 için uzun bir üst çizgi ile küçük bir daire şeklinde bir sembol kullanıyordu. Yalnızca bir yer tutucu olarak değil, tek başına kullanıldığı için buHelenistik sıfır, Eski Dünya'dabelgelenmiş gerçek bir sıfırın ilk kullanımıydı. Daha sonrakiBizans elyazmalarında,Syntaxis Mathematica (Almagest) eserinde, Helenistik sıfırYunan harfiOmikron'a (aksi takdirde anlamı 70) dönüşmüştü.
Bir başka özgün sıfır simgesi, 525 yılında Dionysius Exiguus tarafından ilk kez belgelendirilmiş olup,Roma rakamlarının yanı sıra tablolarda yer almıştır; ancak bu, bir sembol yerine "hiçlik" anlamına gelen "nulla" kelimesi şeklinde ifade edilmiştir. Bir bölme işlemi sonucunda kalan olarak 0 elde edildiğinde, yine "hiçlik" anlamına gelen "nihil" kelimesi tercih edilmiştir. Bu Orta Çağ dönemi sıfırları, sonraki dönemlerde Paskalya'nın hesaplanmasında görev alan tüm Orta Çağ hesapçıları tarafından kullanılmıştır. N harfinin tek başına kullanımı,Bede ya da bir çalışma arkadaşı tarafından yaklaşık 725 yılında Roma rakamlarının yer aldığı bir tabloda gerçek bir sıfır simgesi olarak kullanılmıştır.
Negatif sayı kavramının soyut bir anlayışı, M.Ö. 100-50 yılları arasında Çin'de erkenden kabul görmüştür.Matematik Sanatı Üzerine Dokuz Bölüm adlı eser, geometrik şekillerin alanlarının hesaplanması yöntemlerini sunmakta ve bu bağlamda kırmızı çubuklar pozitifkatsayıları, siyah çubuklar ise negatif katsayıları temsil etmek üzere kullanılmıştır.[17] Batı literatüründe negatif sayılara dair ilk atıf, M.S. 3. yüzyılda Yunanistan'da kaydedilmiştir.Diophantus,Arithmetika eserinde4x + 20 = 0 (çözüm negatif) denklemine değinmiş ve bu denklemin mantıksız bir sonuç ortaya koyduğunu ifade etmiştir.
600'lerde, Hindistan'da negatif sayılar, borç miktarlarını ifade etme amacıyla kullanılmaya başlanmıştır. Diophantus'un daha önceki bahsi, 628 yılındaBrāhmasphuṭasiddhānta eseriyleBrahmagupta tarafından daha detaylı bir şekilde ele alınmıştır. Brahmagupta, günümüzde de kullanılan genel ikinci dereceden denklem formülünün üretimi için negatif sayıları kullanmıştır. Ancak, 12. yüzyılda Hindistan'daBhaskara, ikinci dereceden denklemler için negatif kökler sunmuş, fakat negatif değerin "bu durumda dikkate alınmaması gerektiğini, çünkü yetersiz olduğunu; negatif köklerin kabul görmediğini" ifade etmiştir.
17. yüzyıla dek Avrupa'daki matematikçiler genellikle negatif sayılar konseptine karşı çıkmışlardır; ancakFibonacci, bu sayıların borçlar olarak yorumlanabileceği finansal sorunlarda negatif çözümlere yer vermiştir (Liber Abaci, 13. bölüm, 1202) ve sonraki çalışmalarında zararlar bağlamında da bunu sürdürmüştür (Flos'ta).René Descartes, cebirsel polinomlarda karşılaştığı negatif kökleri "yanlış kökler" olarak nitelendirmiş, fakat zamanla gerçek köklerle yanlış kökler arasında bir yer değiştirme yöntemi geliştirmiştir. Bu dönemde Çinliler, pozitif sayının karşılık gelen rakamının en sağdaki sıfır olmayan basamağının üzerine çapraz bir çizgi çekerek negatif sayıları göstermekteydi.[18] Negatif sayıların bir Avrupa çalışmasında kullanımına ilk rastlanan örnek, 15. yüzyıldaNicolas Chuquet tarafından gerçekleştirilmiştir. Chuquet, bu sayılarıüsler olarak kullanmış, ancak onlara "absürt sayılar" demiştir.
18. yüzyıla dek matematiksel pratiklerde, denklemlerden elde edilen negatif sonuçların anlamsız olduğu kabulüyle bu tür sonuçların dikkate alınmaması genel bir yaklaşımdı.
Kesirli sayı kavramınıntarihöncesi dönemlere uzandığı düşünülmektedir.Antik Mısır uygarlığı,Rhind Matematik Papirüsü veKahun Papirüsü gibi matematiksel dokümanlarında rasyonel sayılar için özel birMısır kesri notasyonu geliştirmiştir. Antik Yunan ve Hint matematikçiler,sayı teorisinin genel incelemesi çerçevesinde, rasyonel sayılar teorisine dair çalışmalar yapmışlardır.[19] Bu çalışmalar arasında en meşhuru, M.Ö. 300 yıllarına tarihlenenÖklid'inElementleri eseridir. Hint literatüründe ise, matematiksel çalışmaların genel bir parçası olarak sayı teorisini ele alanSthananga Sutra ön plana çıkmaktadır.
Ondalık kesirlerin kavramı, ondalık basamak gösterimiyle sıkı bir bağlantıya sahiptir ve bu iki kavramın paralel olarak geliştiği düşünülmektedir. Örneğin, Jain matematiğine aitsutralardapi sayısının veya2'nin kare kökünün ondalık kesir yaklaşıklarının hesaplamaları sıkça yer almaktadır. Ayrıca, Babil matematik metinlerinde altmışlık sistem (taban 60) kullanılarak kesirler yaygın olarak işlenmiştir.
İrrasyonel sayılar konseptinin kullanıldığına dair kaydedilmiş en eski örnek, M.Ö. 800 ile 500 yılları arasında kaleme alınan Hindistan'a aitSulba Sutraları'nda yer almaktadır.[20] İrrasyonel sayıların varoluşuna dair ilk ispatlar, genel kabul görmüş olarakPisagor'a ve özelliklePisagorcuMetapontumlu Hippasus'a atfedilmektedir. Hippasus,2'nin karekökünün irrasyonelliğini kanıtlayan bir çalışma gerçekleştirmiştir, bu çalışmanın büyük olasılıkla geometrik yöntemlerle yapıldığı düşünülmektedir. Rivayete göre, Hippasus 2'nin karekökünü bir kesir olarak temsil etme çabası içindeyken irrasyonel sayıları bulmuştur. Ancak Pisagor, sayıların kesinliğine olan inancı nedeniyle irrasyonel sayıları kabul edememiştir. Onların varlığını mantıksal olarak çürütememiş olmasına rağmen irrasyonel sayıları kabullenememiş ve bu nedenle, iddia edildiği üzere, bu rahatsız edici bilginin yayılmasını önlemek amacıyla Hippasus'u boğarak idam ettirdiği sıkça ileri sürülmüştür.[21]
16. yüzyıl,negatif tam sayılar vekesirli değerlerin Avrupa matematik topluluğu tarafından sonunda benimsendiği bir dönemi işaret etmektedir. 17. yüzyıla gelindiğinde, ondalık kesirlerin modern notasyonu matematikçiler arasında yaygın bir şekilde kullanılmaya başlanmıştır. Ne var ki, irrasyonel sayıların cebirsel ve aşkınsal bileşenlere ayrılması ve bu sayıların bilimsel olarak incelenmesi 19. yüzyıla dek gerçekleşmemiştir; bu alan,Öklid döneminden itibaren büyük ölçüde atıl kalmıştır. 1872 yılında,Karl Weierstrass,Eduard Heine,[22]Georg Cantor[23] veRichard Dedekind[24] gibi matematikçilerin teorilerinin yayımlanmasıyla, irrasyonel sayılar üzerine bilimsel çalışmalar yeniden canlanmıştır.Charles Méray, 1869 yılında Heine ile benzer bir başlangıç noktasından hareket etmiş olmasına rağmen, bu teori genellikle 1872 yılına atfedilmektedir. Weierstrass'ın metodolojisi,Salvatore Pincherle tarafından 1880 yılında tam anlamıyla ortaya konulmuş, Dedekind'in yaklaşımı ise yazarın sonraki çalışmaları vePaul Tannery'nin desteğiyle daha da önem kazanmıştır. Weierstrass, Cantor ve Heine, teorilerini sonsuz serilere dayandırırken, Dedekind, gerçek sayılar sisteminde, rasyonel sayıları belirli özelliklere göre iki gruba ayıran bir kesit (Dedekind kesiti) kavramı üzerine kurmuştur. Bu alandaki çalışmalar, Weierstrass,Kronecker,[25] ve Méray gibi matematikçilerin katkılarıyla daha da geliştirilmiştir.
Beşinci derece ve üstü denklemlerin köklerinin aranması, matematikte önemli bir ilerlemeyi temsil etmektedir;Abel-Ruffini teoremi (Ruffini 1799, Abel 1824), bu tür denklemlerinkökaltı (sadece aritmetik işlemler ve kökler içeren formüller) aracılığıyla çözülemediğini ortaya koymuştur. Dolayısıyla, polinom denklemlerine ait tüm çözümleri kapsayan genişcebirsel sayılar kümesinin dikkate alınması zorunlu hale gelmiştir.Galois (1832), polinom denklemleri ile grup teorisini bağdaştırarak Galois teorisinin temellerini atmış ve bu alanda yeni bir disiplin yaratmıştır.
Sürekli kesirler, irrasyonel sayılar ile yakın bir ilişkiye sahip olup Cataldi tarafından 1613 yılında tanımlanmıştır;Euler'in[26] çalışmalarıyla ve 19. yüzyılın başındaJoseph Louis Lagrange'ın eserleri aracılığıyla bilim dünyasında dikkat çekmiştir. Bu alandaki diğer önemli katkılar, Druckenmüller (1837), Kunze (1857), Lemke (1870) ve Günther (1872) tarafından sağlanmıştır. Ramus,[27] bu konuyu ilk kezdeterminantlar ile ilişkilendirerek, Heine,[28]Möbius ve Günther'in[29] sonraki katkıları ile birlikte,Kettenbruchdeterminanten teorisinin temelini atmıştır. Bu teori, sürekli kesirlerin matematiksel analizinde önemli bir yere sahiptir ve determinantlar aracılığıyla bu kesirlerin yapısal özelliklerinin incelenmesine olanak tanır.
Aşkınsal (Transendental) sayıların ve reel sayıların mevcudiyeti,Liouville tarafından 1844 ve 1851 yıllarında ilk defa ispatlanmıştır.Hermite,, 1873 yılında gerçekleştirdiği çalışmada,e sayısının aşkınsal nitelikte olduğunu ortaya koymuştur veLindemann da 1882 yılında π sayısının aşkınsal olduğunu kanıtlamıştır. Cantor ise,reel sayılar kümesinin sayılamaz derecede sonsuz olduğunu, fakatcebirsel sayılar kümesinin sayılabilir derecede sonsuz olduğunu göstererek, sayılamaz derecede sonsuz miktarda aşkınsal sayının var olduğunu ispatlamıştır. Bu bulgular, matematikte aşkınsal sayılar ve reel sayılar teorisinin temel taşlarını oluşturmaktadır.
Matematikselsonsuzluk anlayışının en antik örneği,Yajur Veda gibi eski bir Hint yazıtında bulunmaktadır. Bu metinde, "Eğer sonsuzluktan bir kısmı çıkartırsanız ya da sonsuzluğa bir kısmı eklerseniz, geriye kalan yine de sonsuz olacaktır." ifadesi yer almaktadır. Sonsuzluk, M.Ö. 400 yıllarındaJain matematikçileri arasında yoğun bir şekilde felsefi bir tartışma konusu olmuştur. Bu matematikçiler, sonsuzluğun beş farklı türünü tanımlamışlardır: tek ve iki yönde sonsuz, alansal olarak sonsuz, her yönden sonsuz ve sürekli olarak sonsuz. Sonsuz bir niceliği ifade etmek için sıklıkla sembolü kullanılmaktadır.
Aristo, Batı matematiğinin geleneksel sonsuzluk kavramını tanımlamıştır.Gerçek sonsuzluk ilepotansiyel sonsuzluk arasında bir ayrım yapmış ve genel olarak sadece sonuncusunun gerçek bir değere sahip olduğu kabul edilmiştir.Galileo Galilei'ninTwo New Sciences adlı çalışması, sonsuz kümeler arasındabirbirine tekabül eden eşlemelerin fikrini ele almıştır. Ancak, teorideki önemli bir sonraki ilerlemeGeorg Cantor tarafından gerçekleştirilmiştir. Cantor, 1895 yılında yeniküme teorisini konu alan bir eser yayımlamış, bu eserinde transfinite sayılarını tanıtmış vesüreklilik hipotezini formüle etmiştir. Bu çalışmalar, matematikte sonsuzluk teorisinin gelişiminde önemli dönüm noktaları olarak kabul edilir.
1960'lardaAbraham Robinson, sonsuz büyüklükteki ve sonsuz küçüklükteki sayıların, standart olmayan analiz alanını geliştirecek şekilde kesin olarak tanımlanabileceği ve kullanılabileceği bir yöntem ortaya koymuştur.Hiper reel sayılar sistemi,Isaac Newton veGottfried Leibniz'insonsuz küçük hesaplamalarını icat etmelerinden bu yana matematikçiler, bilim insanları ve mühendisler tarafından yaygın bir şekilde kullanılansonsuz vesonsuzküçük sayılarla ilgili fikirleri kesin bir metodoloji çerçevesinde ele alır. Bu sistem, söz konusu kavramların matematikte daha sistematik bir şekilde işlenmesine olanak tanımıştır.
Projektif geometri, sonsuzluğun modern bir geometrik yorumunu sunar ve her bir uzaysal yönde "sonsuzluktaki ideal noktaları" tanımlar. Belirli bir yöndeki paralel çizgi ailelerinin her birinin, ilgili ideal noktaya doğru yakınsaması öngörülür. Bu kavram,perspektif çizimlerdeki kaybolma noktaları fikriyle sıkı bir şekilde bağlantılıdır ve geometrik çizimlerde derinlik ve uzaklık hissi oluşturulmasında temel bir rol oynar.
Negatif sayıların kareköklerine dair ilk geçici değinme,İskenderiyeli Heron'nun 1. yüzyılda gerçekleştirdiği çalışmalarda, gerçekleştirilemez bir kesikpiramidin hacmini değerlendirirken görülmüştür. Bu konsept,Niccolò Fontana Tartaglia veGerolamo Cardano gibi İtalyan matematikçiler tarafından 16. yüzyılda üçüncü ve dördüncü derece polinomların kökleri için kapalı formüllerin keşfedilmesiyle daha da önem kazandı. Bu formüllerin, gerçek çözümlere olan ilgiye rağmen, bazen negatif sayıların kareköklerinin işlenmesini gerektirdiği kısa sürede fark edildi.
Bu durum, negatif sayıların o dönemde bile sağlam bir temele oturtulmamış olması nedeniyle daha da rahatsız ediciydi.René Descartes'ın 1637'de bu nicelikler için "imajiner" terimi türettiğinde, bunu küçümseyici bir niyetle yapmıştı. Karışıklığa neden olan bir diğer faktör, şu denklemin
cebirsel özdeşlikle keyfi bir şekilde çelişkili görünmesiydi
bu, pozitif gerçek sayılara veb için geçerlidir vea,b'den biri pozitif diğeri negatifken karmaşık sayı hesaplamalarında kullanılmıştır. Bu özdeşliğin yanlış kullanımı ve ilgili özdeşlik
her ikia veb de negatif olduğunda bileEuler'i zor durumda bırakmıştır. Bu zorluk, Euler'i bu hatadan korumak amacıyla yerine özeli sembolünü kullanmaya yönlendirir.
18. yüzyıl,Abraham de Moivre veLeonhard Euler gibi matematikçilerin önemli çalışmalarına sahne oldu. De Moivre'in formülü (1730), aşağıdaki matematiksel ifadeyi ortaya koydu:
Öte yandan, karmaşık analiz alanında Euler'in formülü (1748), matematiğe şu önemli eşitliği kazandırdı:
Bu formüller, trigonometri ve karmaşık sayılar teorisindeki temel ilişkileri kurarak, bu alanlarda derinlemesine çalışmalara olanak tanımıştır.
Karmaşık sayıların mevcudiyeti,Caspar Wessel'in 1799 yılında geometrik bir yorumlamayla açıklamasına kadar tam anlamıyla kabul görmemişti.Carl Friedrich Gauss, bu konsepti birkaç yıl sonra yeniden keşfedip popülerleştirdi ve bunun sonucunda karmaşık sayılar teorisi önemli ölçüde genişletildi. Ancak, karmaşık sayıların grafiksel olarak temsil edilme fikri,John Wallis'in 1685 yılında yayımlananDe algebra tractatus isimli çalışmasında zaten mevcuttu.
Gauss, aynı yıl içerisinde, karmaşık sayılar alanında her polinomun bu alan içerisinde tam bir çözüm setine sahip olduğunu ispatlayarak,cebirin temel teoremine dair genel kabul görmüş ilk kanıtı ortaya koymuştur. Gauss,a veb değerlerinin tam sayılar (günümüzde Gauss tam sayıları olarak bilinir) veya rasyonel sayılar olduğua +bi biçimindeki karmaşık sayıları ele almıştır. Gauss'un öğrencisiGotthold Eisenstein ise,ω değerininx3 − 1 = 0 denkleminin karmaşık bir kökü olduğua +bω şeklindeki karmaşık sayıları incelemiştir (bu sayılar günümüzde Eisenstein tam sayıları olarak adlandırılır).xk − 1 = 0 denkleminden türetilen birlik kökleri içink değerinin yüksek olduğu durumlar için tanımlanan diğer karmaşık sayı sınıfları (döngüsel alanlar olarak adlandırılır), karmaşık sayılar alanındaki bu genişlemeye katkıda bulunmuştur. Bu genelleme, büyük ölçüdeErnst Kummer'a aittir; Kummer, ideal sayıları da icat etmiş olup, bu sayılar 1893 yılındaFelix Klein tarafından geometrik nesneler olarak tanımlanmıştır.
1850 yılındaVictor Alexandre Puiseux, karmaşık sayılar teorisinde önemli bir gelişmeye imza atarak kutuplar ile dalga kırılma noktaları arasındaki farkı belirginleştirdi vematematiksel tekilliklerin temelini oluşturan esas tekillik noktaları kavramını ortaya koydu. Bu yaklaşım, genişletilmişkarmaşık düzlem kavramının temellerinin atılmasına önayak oldu.
Asal sayılar, kayıtlı tarihin her evresinde araştırma konusu olmuştur. Bunlar, yalnızca 1 ve kendileri ile bölünebilme özelliğine sahip pozitif tam sayılardır. Öklid,Elementler adlı eserinin bir bölümünü asal sayılar teorisine adamıştır; bu bölümde, asal sayıların sonsuz olduğunu vearitmetiğin temel teoremini ispatlamış, aynı zamanda iki sayınınen büyük ortak bölenini bulmak içinÖklid algoritmasını tanıtmıştır.
M.Ö. 240 yılında,Eratosthenes, asal sayıları etkin bir şekilde saptamak içinEratosten kalburu yöntemini kullanmıştır. Ancak, asal sayılar teorisindeki önemli gelişmelerin çoğu, Avrupa'daRönesans dönemi ve sonrasına aittir.
1796 yılındaAdrien-Marie Legendre, asal sayıların asimptotik dağılımını açıklayanasal sayı teoremini tahmin etmiştir. Asal sayıların dağılımı ile ilgili diğer önemli bulgular arasında, Euler'in asal sayıların karşılıklı değerlerinin toplamının diverjansını ispatlaması ve herhangi bir yeterince büyük çift sayının iki asal sayının toplamı şeklinde ifade edilebileceğini öne sürenGoldbach varsayımı yer almaktadır. Asal sayıların dağılımı ile ilgili bir diğer önemli varsayım ise,Bernhard Riemann tarafından 1859 yılında formüle edilenRiemann hipotezidir. Asal sayı teoremi,Jacques Hadamard veCharles de la Vallée-Poussin tarafından 1896 yılında kanıtlanmıştır. Goldbach ve Riemann'ın varsayımları ise hâlâ ne kanıtlanmış ne de çürütülmüştür.
Sayılar, doğal sayılar ve reel sayılar gibi, 'sayı kümeleri' veya 'sayı sistemleri' adı verilen matematiksel kümeler içerisinde sınıflandırılabilir. Temel sayı sistemleri aşağıdaki gibidir:
a +bi şeklinde ifade edilen, buradaa veb reel sayılar olup,i ise -1'in formal karekökünü temsil eder
Bu sayı sistemlerinden her biri, bir sonraki sayı sisteminin alt kümesini oluşturur. Dolayısıyla, bir rasyonel sayının aynı zamanda bir reel sayı olduğu ve her reel sayının da bir karmaşık sayı olduğu söylenebilir. Bu durum sembolik olarak şu şekilde gösterilebilir:
.
Bir tablo olarak sayılar için şöyle sınıflandırma yapılabilir:
Aşağıdaki diyagramda, sayı kümelerine ilişkin daha kapsamlı bir listeleme yer almaktadır.
Sayma sayıları boştan farklı bir kümenin elemanlarını azlık veya çokluk yönünden nitelemekten ziyade onların içindeki eleman miktarına göre verilen bir temsilciler kümesi olarak tanımlanır. Temsilcilere verilen isme kanonik temsilci denir. Her sayma sayısı aynı zamanda bir kanonik temsilcidir. Sayma sayılarına sıfırın dahil olmamasının sebebi boş kümenin içinde temsil edecek bir elemanın olmamasıdır.
Doğal sayılar 0'dan başlayarak sonsuza kadar giden sayılardır. Matematiktedoğal sayılar kümesi ile gösterilir. Doğal sayılar ismi bu sayıların doğada görüp tanıdığımız sayılar olduğu fikrinden ileri gelmektedir. Doğal sayılar kümesi "0" ve pozitif tüm tam sayıların olduğu kümedir.
0 sayısı,Antik Yunan döneminde dahi sayı olarak kabul edilmezdi. Ancak 19. yüzyılda, küme teorisyenleri ve diğer matematikçiler, 0'ı (boş kümenin kardinalitesi, yani 0 eleman, bu nedenle 0 en küçük kardinal sayı olarak kabul edilir) doğal sayılar kümesine dahil etmeye başladılar.[30][31] Günümüzde, matematikçilerin farklı yaklaşımları neticesinde, terim hem 0'ı içeren hem de içermeyen sayı kümelerini tanımlamak için kullanılmaktadır. Tüm doğal sayılar kümesini ifade etmek için kullanılan matematiksel sembolN olup, şeklinde gösterilir ve kümenin 0 ile mi yoksa 1 ile mi başlayacağını belirtmek amacıyla veya şeklinde ifade edilir.
Onlu sayı sistemi, günümüzde matematiksel işlemler için yaygın olarak kullanılan sistem olup, doğal sayıların gösterimi için on adet sayısal basamak kullanır: 0, 1, 2, 3, 4, 5, 6, 7, 8 ve 9.Radiks veya taban, bir sayı sisteminin sayıları ifade etmek için kullandığı, sıfır dahil olmak üzere, benzersiz sayısal basamakların toplam sayısını belirtir (ondalık sistem için bu değer 10'dur). Bu onlu taban sistemde, bir doğal sayının en sağdaki basamağının basamak değeri 1 olup, diğer basamakların her birinin basamak değeri, hemen sağında yer alan basamağın basamak değerinin on katı kadar olur.
Küme teorisi, modern matematiğin aksiyomatik bir temeli olarak görev yapabilir ve bu çerçevede,[32] doğal sayılar, eşit büyüklükteki kümelerin sınıflandırılması yoluyla ifade edilebilir. Mesela, 3 sayısı, tam olarak üç öğeye sahip olan tüm kümelerin bir sınıfı olarak ifade edilebilir. Diğer bir yöntem olarak,Peano Aritmetiği'nde 3 sayısı, sss0 olarak gösterilir; burada 's', "ardıl" fonksiyonunu temsil eder (bu bağlamda 3, 0 sayısının üçüncü ardılı olarak kabul edilir). 3 sayısını formel olarak ifade etmek için birçok farklı yöntem mevcuttur; tek gereken, belirli bir sembolü veya sembol dizisini üç defa işaretlemektir.
Tam sayılar eksi sonsuzdan artı sonsuza kadar giderler. Yani "0"ın iki yanından sonsuza kadar uzanırlar.Tam sayılar kümesi ile gösterilir. Buradaki Z harfi, Almanca 'Zahl' (sayı) kelimesinden türemiştir.
Başında "+" işareti bulunan veya bir şey bulunmayan tam sayılarpozitif tam sayılar adını alırlar. Sayı ekseninde (sayı doğrusunda) 0'ın sağ yanında yer alırlar. Tüm sayma sayıları pozitif tam sayılardır.Pozitif tam sayılar kümesi ile gösterilir ve aşağıdaki gibi tanımlıdır:
Başında "-" işareti olan tam sayılarnegatif tam sayılar adını alırlar. Sayı ekseninde 0'ın sol yanında yer alırlar.Negatif tam sayılar kümesi ile gösterilir. Cebirde çıkarma işlemi bu sayıların diğer tam sayılarla toplanması olarak ifade edilir.
Tam sayıdır. Sıfır (0) negatif veya pozitif bir tam sayı değildir. Bir uzlaşma noktasıdır. Bu iki kümeden herhangi birinde yer almaz. Ancak tam sayılar aşağıdaki gibi de tanımlanabilir:
Sıfırın doğal sayı kabul edilmediği (akademik) çevreler azımsanmayacak kadar fazladır. Sıfırı dahil eden çevrelerdoğal sayılar kümesini sembolü ile gösterirler, sıfırı dahil etmeyen çevrelerse sıfırın dahil olmadığısayma sayıları kümesini ile gösterirler.
Bir rasyonel sayı, tam sayı bir pay ve pozitif tam sayı bir payda ile ifade edilebilen birkesir olarak tanımlanır. Negatif paydalar kullanılabilir ancak her rasyonel sayı pozitif bir payda ile eşit olduğundan, genellikle bu durumdan kaçınılır. Kesirler, pay ve payda olarak iki tam sayı ile ifade edilir ve bu iki sayı arasında bir bölme işareti bulunur.m/n kesri,n eşit parçaya bölünmüş bir bütününm parçasını ifade eder. Farklı iki kesir, aynı rasyonel sayıyı temsil edebilir; örneğin1/2 ile2/4 birbirine eşittir, yani:
Genel bir ifade ile,
, sadece ve sadece olduğunda geçerlidir.
Eğerm sayısınınmutlak değeri, pozitif kabul edilenn sayısından daha büyükse, kesirin mutlak değeri 1'den fazla olacaktır. Kesirler, 1'e göre büyük, küçük veya ona eşit olabilirler; ayrıca pozitif, negatif veya 0 değerlerini alabilirler. Tüm rasyonel sayılar kümesi, her bir tam sayının paydası 1 olarak belirlenebilen bir kesir biçiminde ifade edilebildiği için, tam sayıları da kapsar. Örnek olarak −7 sayısı,−7/1 şeklinde ifade edilebilir. Rasyonel sayılar için kullanılan sembol 'Q'dur (quotient, yani bölüm kelimesinden gelir) ve şeklinde de gösterilir.
İrrasyonel sayılar kümesi ilerasyonel sayılar kümesinin birleşimigerçek sayılar kümesini oluşturur. Bu kümeyereel sayılar veya gerçek sayılar da denir.
Reel sayılar için kullanılan sembol 'R'dir ve şeklinde de ifade edilir. Bu sembol, ölçümle ilgili tüm sayıları kapsar. Her bir reel sayı, sayı doğrusu üzerinde belirli bir noktayla ilişkilendirilir. İzleyen metin, özellikle pozitif reel sayılar üzerine yoğunlaşacaktır. Negatif reel sayıların işlenişi, aritmetik kuralların genel prensipleri çerçevesinde gerçekleştirilir ve bunların gösterimi, karşılık gelen pozitif sayının önüne eksi işareti eklenerek yapılır, mesela -123.456.
Birçok reel sayı, ancak ondalık sayılar aracılığıylayaklaşık bir biçimde temsil edilebilir; bu durumda ondalık nokta, birler basamağındaki rakamın hemen sağ tarafına konumlandırılır. Ondalık noktasının sağ tarafında yer alan her bir rakam, solundaki rakamın basamak değerinin onda birine eşit bir değere sahiptir. Mesela, 123.456 sayısı,123456/1000 olarak ifade edilir ki bu, yüz iki on, üç bir, dört ondalık, beş yüzdelik ve altı binde bir anlamına gelir. Bir reel sayı, yalnızca rasyonel ise ve onun kesirli kısmı, 2 veya 5 sayılarının asal çarpanlarını içeren bir paydaya sahipse, sınırlı sayıda ondalık basamak ile ifade edilebilir. Bu sayılar, ondalık sistemdeki taban olan 10'un asal çarpanlarıdır. Örneğin, bir yarım için 0.5, bir beşte bir için 0.2, bir onda bir için 0.1 ve bir elli de bir için 0.02 değerleri kullanılır. Diğer reel sayıları ondalık olarak ifade etmek, ondalık noktasının sağ tarafında sonsuz bir rakam dizisi gerektirecektir. Eğer bu sonsuz rakam dizisi belli bir deseni izliyorsa, bu desen üç nokta veya deseni gösteren diğer bir gösterim ile ifade edilebilir. Bu tür bir ondalık sayıya 'tekrar eden ondalık' denir. Bu bağlamda,1/3 sayısı, desenin sürekliliğini belirten üç nokta ile 0.333... şeklinde ifade edilir. Sürekli tekrar eden 3'ler ayrıca 0.3 şeklinde de gösterilir.[33]
Bu tekrar eden ondalık sayılar (sıfırların yeniden oluşumu dahil), rasyonel sayıları kesinlikle belirtir; yani, her rasyonel sayı reel bir sayıdır ancak her reel sayının rasyonel olması gerekmez. Rasyonel olmayan reel sayılarairrasyonel sayı adı verilir. Tanınmış irrasyonel gerçek sayılardan biri, herhangi bir dairenin çevresinin çapına oranı olanπ sayısıdır. Pi, bazen
şeklinde ifade edildiğinde, noktalı virgül, ondalık kısmın tekrar ettiğini değil, ondalık kısmın sonunun olmadığını gösterir.π sayısının irrasyonel olduğu ispatlanmıştır. İrrasyonel bir reel sayı olduğu ispatlanan diğer bir ünlü sayı,
2'nin kareköküdür, yani karesi 2 olan benzersiz pozitif gerçek sayıdır. Bu iki sayı, trilyonlarca( 1 trilyon = 1012 = 1,000,000,000,000 ) basamağa kadar (bilgisayar yardımıyla) yaklaşık olarak hesaplanmıştır.
Bu belirgin örneklerin yanı sıra, reel sayıların neredeyse tamamı irrasyonel niteliktedir ve bu sebepten ötürü tekrar eden desenlere sahip değillerdir, bu yüzden bunlara karşılık gelen ondalık gösterimleri de mevcut değildir. Bu sayılar, yalnızca ondalık gösterimlerle yaklaşık bir şekilde temsil edilebilirler; bu, yuvarlanmış ya da kesilmiş reel sayıları ifade eder. Herhangi bir yuvarlanmış veya kesilmiş sayı doğası gereği bir rasyonel sayıdır ve bunlardan yalnızca sayılabilir derecede çoklukta bulunur. Ölçümlerin tümü, doğaları gereği yaklaşık değerlerdir ve daima bir hata marjına sahiptirler. Bu çerçevede, 123.456 sayısı,1234555/10000'den büyük veya eşit ve1234565/10000'den kesinlikle küçük olan herhangi bir gerçek sayı için bir yaklaşık olarak kabul edilir (3 ondalık basamağa yuvarlama); ya da123456/1000'den büyük veya eşit ve123457/1000'den kesinlikle küçük olan herhangi bir reel sayı için bir yaklaşık olarak kabul edilir (3. ondalık basamağın ardından kesme). Ölçümün kendisi kadar hassasiyeti öneren rakamlar elenmelidir. Kalan rakamlar, o zaman önemli rakamlar olarak adlandırılır. Örneğin, bir cetvel ile yapılan ölçümler genellikle en az 0.001 metre hata payı olmaksızın gerçekleştirilemez. Eğer bir dikdörtgenin kenarları 1.23 m ve 4.56 m olarak ölçülürse, çarpım sonucunda dikdörtgenin alanı için5.614591 m2 ile5.603011 m2 arasında bir değer elde edilir. Ondalık noktasından sonra ikinci basamak bile korunmadığı için, sonraki basamaklarönemli kabul edilmez. Bu sebeple, sonuç genelde 5.61 olarak yuvarlanır.
Aynı kesir birden fazla şekilde ifade edilebildiği gibi, aynı reel sayının da birden fazla ondalık gösterimi mümkündür. Örnek olarak,0.999..., 1.0, 1.00, 1.000, ..., hepsi 1 doğal sayısını ifade eder. Bir reel sayı için mümkün olan ondalık gösterimler; belirli bir ondalık basamağına kadar olan bir yaklaşım, sınırsız sayıda ondalık basamağı boyunca devam eden bir desenin oluşturulduğu bir yaklaşım veya yalnızca sonlu sayıda ondalık basamağı içeren bir kesin değer şeklinde olabilir. Bu son durumda, son sıfır olmayan basamak, bir altındaki rakam ile değiştirilip ardından sınırsız sayıda 9 eklenerek veya son sıfır olmayan basamağın ardından sınırsız sayıda 0 eklenerek de ifade edilebilir. Dolayısıyla, kesin bir gerçek sayı olan 3.74, aynı zamanda 3.7399999999... ve 3.74000000000.... olarak da ifade edilebilir. Benzer biçimde, sınırsız sayıda 0 içeren bir ondalık sayı, sağdaki en uçtaki sıfır olmayan basamağın sağında yer alan 0'lar çıkarılarak; sınırsız sayıda 9 içeren bir ondalık sayı ise, 9'dan küçük olan en sağdaki basamağın bir artırılması ve bu basamağın sağında yer alan tüm 9'ların 0'a dönüştürülmesiyle yeniden yazılabilir. Son olarak, bir ondalık noktasının sağındaki sınırsız 0 dizisi göz ardı edilebilir. Örneğin, 6.849999999999... = 6.85 ve 6.850000000000... = 6.85 olarak kabul edilir. Eğer bir sayısal ifadedeki tüm rakamlar 0 ise, bu sayı 0 olarak kabul edilir ve eğer bir sayısal ifadedeki tüm rakamlar bitmeyen bir 9 dizisinden oluşuyorsa, ondalık noktasının sağındaki dokuzlar ihmal edilip, ondalık noktasının solundaki 9 dizisine bir eklenerek ifade edilebilir. Mesela, 99.999... = 100 olarak kabul edilir.
Reel sayılar,enaz ve enüs olarak bilinen ancak oldukça teknik düzeyde bir özelliğe sahiptir. Birsıralı alanın, reel sayılarıntamlık özelliğine de sahip olduğu ispatlandığında, bu alanın gerçek sayılarla izomorf olduğu ortaya konabilir. Fakat, gerçek sayılar cebirsel denkleminin bir çözümünü (çoğunluklaeksi birin karekökü olarak ifade edilir) içermedikleri için,cebirsel kapalı cisim oluşturmazlar.
Daha yüksek bir soyutlama düzeyine geçildiğinde, reel sayılar, karmaşık sayılara genişletilebilir. Bu sayılar kümesi, tarih boyunca kübik ve kuadratik polinomların köklerine ilişkin kapalı formüllerin araştırılması sürecinde gelişmiştir. Bu arayış, negatif sayıların kareköklerini içeren ifadelere ve sonuç olarak -1 sayısınınkarekökü olan yeni bir sayının tanımına yol açmıştır; bu sayı,Leonhard Euler tarafındani olarak sembolize edilen ve hayali birim olarak adlandırılan bir birimdir. Karmaşık sayılar,a veb reel sayıları olmak üzere, biçimindeki tüm sayıları kapsar. Bu bağlamda, karmaşık sayılar, iki gerçek boyutlu bir vektör uzayı olan karmaşık düzlem üzerinde noktalara denk gelir.a + bi ifadesindea, gerçek kısmı veb, hayali kısmı temsil eder. Bir karmaşık sayının gerçek kısmı 0 ise, bu sayı hayali sayı olarak adlandırılır veya tamamen hayali olarak nitelendirilir; hayali kısmı 0 ise, bu sayı bir gerçek sayıdır. Böylelikle, reel sayılar karmaşık sayıların bir alt kümesini oluşturur. Eğer bir karmaşık sayının gerçek ve hayali kısımları tam sayı ise, bu sayıGauss tam sayısı olarak isimlendirilir. Karmaşık sayılar için kullanılan sembol, 'C' veya'dir.
Cebirin temel teoremi, karmaşık sayıların cebirsel olarak kapalı bir alan oluşturduğunu, yani karmaşık katsayılara sahip her polinomun karmaşık sayılar içinde bir kökü olduğunu ifade eder. Gerçek sayılar gibi, karmaşık sayılar da bir alan oluşturur ve bu alan tamdır; fakat gerçek sayılardan farklı olarak sıralı değildir. Yani,inin 1'den büyük olduğunu ya dainin 1'den küçük olduğunu ifade etmenin tutarlı bir anlamı yoktur. Teknik bir dille ifade edilecek olursa, karmaşık sayılar, alan işlemleriyle uyumlu bir total sıralamadan yoksundur.
Birçift sayı,iki sayısına tam olarak bölünebilen ve böylece kalan bırakmayan bir tam sayıdır; buna karşılık, birtek sayı çift olmayan tam sayılardır. Günümüzde "tam bölünebilir" şeklindeki eski usul ifade, genellikle "bölünebilir" şeklinde kısaltılarak kullanılmaktadır. Herhangi bir tek sayın, uygun birk tam sayısı içinn = 2k + 1 formülü ile ifade edilebilir.k = 0 ile başlandığında, ilk negatif olmayan tek sayılar {1, 3, 5, 7, ...} olarak sıralanır. Her çift sayım, yine bir tam sayı olank içinm = 2k şeklinde ifade edilebilir. Benzer biçimde, ilk negatif olmayan çift sayılar {0, 2, 4, 6, ...} olarak belirlenir.
Birasal sayı, genellikle sadeceasal olarak kısaltılan, 1'den büyük ve iki daha küçük pozitif tam sayının çarpımı olmayan bir tam sayıdır. İlk birkaç asal sayı 2, 3, 5, 7 ve 11'dir. Çift ve tek sayılar için mevcut olan basit formüllerin aksine, asal sayıları türetecek bir formül bulunmamaktadır. Asal sayılar üzerine 2000 yıldan fazla süredir yapılan geniş çaplı çalışmalar, çeşitli soruları gündeme getirmiş, bunların yalnızca bir kısmına yanıt bulunabilmiştir. Bu tür soruların ele alınışı,sayılar teorisi disiplinine aittir.Goldbach'ın varsayımı, halen yanıtlanmamış sorulardan birine örnek teşkil eder: "Her çift sayı, iki asal sayının toplamı mıdır?"
Bir'den büyük her tam sayının, asal sayıların çarpımı olarak yalnızca tek bir yolda ifade edilebileceği, asal sayıların yeniden düzenlenmesi dışında, sorusuna verilen yanıt doğrulanmıştır; bu ispatlanmış iddia,aritmetiğin temel teoremi olarak bilinir. Bir kanıt,Öklid'in Elementleri eserinde sunulmuştur.
Doğal sayıların çeşitli alt kümeleri, belirli çalışmaların odak noktası olmuş ve çoğunlukla bu sayılar üzerine çalışmalar yapan ilk matematikçinin adıyla anılmıştır.Fibonacci sayıları vemükemmel sayılar gibi tam sayı kümeleri, bu tür örnekler arasında yer alır. Daha fazla örnek içinardışık sayılar maddesine başvurulabilir.
Tam sayı katsayılarına sahip bir polinom denkleminin çözümü olan sayılar,cebirsel sayı olarak adlandırılır. Rasyonel sayılar dışındaki reel sayılarairrasyonel sayı adı verilir. Cebirsel olmayan karmaşık sayılarsatransandantal sayı olarak tanımlanır. Tam sayı katsayılı monik polinom denkleminin çözümleri olan cebirsel sayılar,cebirsel tam sayı olarak isimlendirilir.
Pergel ve çizgilik çizimleri çalışmalarının klasik sorunlarından esinlenilerek, birim uzunluktaki belirli bir segmentten başlayarak, perge ve çember kullanılarak sonlu adımlarda inşa edilebilen karmaşık sayıların gerçek ve sanal kısımlarına sahip sayılar,inşa-edilebilir sayı olarak tanımlanır.
Birhesaplanabilir sayı, aynı zamandarekürsif sayı olarak da tanımlanan, belirli bir pozitifn değeri verildiğinde, hesaplanabilir sayının ondalık gösterimindeki ilkn rakamı üretebilen bir algoritmanın mevcut olduğu bir reel sayıdır. Eş değer tanımlamalar,genel rekürsif fonksiyonlar,Turing makinesiler veyaλ-hesaplaması aracılığıyla yapılabilir. Hesaplanabilir sayılar, bir polinomun köklerinin elde edilmesi de dahil olmak üzere, tüm standart aritmetik işlemler açısından stabil olup, reel cebirsel sayıları içeren bir gerçek kapalı alan oluşturur.
Hesaplanabilir sayılar, bir bilgisayarda kesin bir şekilde ifade edilebilecek reel sayılar olarak değerlendirilebilir: bir hesaplanabilir sayı, ilk rakamları ve daha fazla rakamı hesaplamak üzere tasarlanmış bir program ile kesin bir şekilde belirlenir. Ancak, hesaplanabilir sayılar pratikte nadiren tercih edilir. Bunun bir sebebi, iki hesaplanabilir sayının eşitliğinin test edilmesi için bir algoritmanın bulunmamasıdır. Daha net bir ifadeyle, herhangi bir hesaplanabilir sayıyı girdi olarak kabul eden ve bu sayının sıfıra eşit olup olmadığını her durumda belirleyebilecek bir algoritma mevcut olamaz.
Hesaplanabilir sayılar kümesi, doğal sayılarla aynı kardinaliteye sahiptir. Bu nedenle, neredeyse tüm reel sayılar hesaplanabilir değildir. Yine de, hesaplanabilir olmayan bir reel sayıyı açıkça belirlemek büyük bir zorluk teşkil eder.
p-adik sayılar, reel sayıların ondalık noktasının sağında sonsuza kadar uzayabilen uzantılara sahip olabileceği gibi, ondalık noktasının solunda da sonsuz uzunlukta genişlemelere sahip olabilir. Sonuçlanan sayı sistemi, basamaklar için hangitabanın kullanıldığına bağlıdır: herhangi bir taban mümkündür, ancak birasal sayı tabanı en iyi matematiksel özellikleri sağlar.p-adik sayılar kümesi, rasyonel sayıları içerir, ancak karmaşık sayıların içinde yer almaz.
Birsonlu alan üzerindeki bircebirsel fonksiyon alanının elemanları ve cebirsel sayılar birçok benzer özelliğe sahiptir. Bu nedenle, sayılar teorisyenleri tarafından sıklıkla sayılar olarak kabul edilirler.p-adik sayılar, bu analojide önemli bir rol oynar.
Karmaşık sayıların içinde yer almayan bazı sayı sistemleri, karmaşık sayıların inşasını genelleştirerek reel sayılardan türetilebilir. Bunlar bazenhiperkompleks sayı olarak adlandırılır. Bunlara, çarpma işleminindeğişmeli olmayan olduğu SirWilliam Rowan Hamilton tarafından tanıtılandördeylerH, çarpmanın ek olarak değişmeli olmadığıoktoniyonlar ve çarpmanın nealternatif, ne de değişmeli olduğusediyonlar dahildir.
Sonsuzkümelerle başa çıkmak için, doğal sayılarardışık sayılar vekardinal sayılar olarak genelleştirilmiştir. İlki kümenin sıralamasını verirken, ikincisi boyutunu verir. Sonlu kümeler için, hem sıralı hem de kardinal sayılar doğal sayılarla özdeşleştirilir. Sonsuz durumda, birçok sıralı sayı aynı kardinal sayıya karşılık gelir.
^Dilbilimde,rakam 5 gibi bir sembolü ifade edebileceği gibi "beş yüz" gibi bir sayıyı adlandıran bir kelime veya ifadeyi de ifade edebilir; rakamlar ayrıca "düzine" gibi sayıları temsil eden diğer kelimeleri de içerir.
Tobias Dantzig,Number, the language of science; a critical survey written for the cultured non-mathematician, New York, The Macmillan Company, 1930.[ISBN eksik]
^Gouvêa, Fernando Q.The Princeton Companion to Mathematics, II.1 Bölümü, "The Origins of Modern Mathematics", s. 82. Princeton University Press, 28 Eylül 2008.978-0-691-11880-2. "Today, it is no longer that easy to decide what counts as a 'number.' The objects from the original sequence of 'integer, rational, real, and complex' are certainly numbers, but so are thep-adics. The quaternions are rarely referred to as 'numbers,' on the other hand, though they can be used to coordinatize certain mathematical notions."
^abBulliet, Richard; Crossley, Pamela; Headrick, Daniel; Hirsch, Steven; Johnson, Lyman (2010).The Earth and Its Peoples: A Global History, Volume 1 (İngilizce). Cengage Learning. s. 192.ISBN978-1-4390-8474-8. 28 Ocak 2017 tarihindekaynağından arşivlendi. Erişim tarihi: 16 Mayıs 2017.Indian mathematicians invented the concept of zero and developed the "Arabic" numerals and system of place-value notation used in most parts of the world today.
^Selin, Helaine (2000).Mathematics across cultures: the history of non-Western mathematics (İngilizce). Kluwer Akademik Yayıncılar. s. 451.ISBN0-7923-6481-3.
^Richard Dedekind,Stetigkeit & irrationale Zahlen 9 Temmuz 2021 tarihindeWayback Machine sitesindearşivlendi. (Braunschweig: Friedrich Vieweg & Sohn, 1872). Subsequently published in:———, Gesammelte mathematische Werke, ed. Robert Fricke, Emmy Noether & Öystein Ore (Braunschweig: Friedrich Vieweg & Sohn, 1932), vol. 3, pp. 315–334.
^L. Kronecker,"Ueber den Zahlbegriff",[Crelle's] Journal für die reine und angewandte Mathematik, No. 101 (1887): 337–355.
^Leonhard Euler, "Conjectura circa naturam aeris, pro explicandis phaenomenis in atmosphaera observatis",Acta Academiae Scientiarum Imperialis Petropolitanae, 1779, 1 (1779): 162–187.
^Ramus, "Determinanternes Anvendelse til at bes temme Loven for de convergerende Bröker", in:Det Kongelige Danske Videnskabernes Selskabs naturvidenskabelige og mathematiske Afhandlinger (Kjoebenhavn: 1855), p. 106.
^Siegmund Günther,Darstellung der Näherungswerthe von Kettenbrüchen in independenter Form (Erlangen: Eduard Besold, 1873); ———, "Kettenbruchdeterminanten", in:Lehrbuch der Determinanten-Theorie: Für Studirende (Erlangen: Eduard Besold, 1875), c. 6, pp. 156–186.
