Tam sayı

Karatahta yazı tipindeki kalın Z harfi, sıklıkla tüm tam sayılar kümesini temsil etmek amacıyla tercih edilir.

Tam sayılar,Şablon:R sayılar kümesinde yer alan sıfır (0), pozitif yönde yer alan doğal sayılar (1, 2, 3, …) ve bunların negatif değerlerinden oluşan negatif sayılardan (−1, −2, −3, …) oluşan sayı kümesidir.Şablon:R

Tüm tam sayıların oluşturduğu küme, çoğunlukla kalın harf biçimindeki Z veya karatahta vurgusu kullanılarak $\mathbb{Z}$ şeklinde ifade edilir.Şablon:RŞablon:R Z harfi Almanca Zahlen (sayılar) sözcüğünden gelir.

Doğal sayılar kümesi $\mathbb{N}$, $\mathbb{Z}$ tam sayılar kümesinin bir alt kümesi olarak tanımlanır. Bu tam sayılar kümesi, ardından tüm rasyonel sayılar kümesi $\mathbb{Q}$’nun ve bu küme de reel sayılar kümesi $ℝ$’nin bir alt kümesi olarak sıralanır.Şablon:Efn Doğal sayılar kümesine benzer biçimde, $\mathbb{Z}$ tam sayılar kümesi de sayılabilir sonsuzluk özelliği gösterir. Tam sayı kavramı, kesirli bir kısmı bulunmayan ve böylelikle doğrudan reel sayı olarak ifade edilebilen sayılar için kullanılır.Şablon:Efn Mesela, 21, 4, 0 ve -2048 tam sayılardır; buna karşın 9.75, Şablon:Sfrac ve Şablon:Math tam sayı olarak değerlendirilmez.Şablon:R

Doğal sayı kümelerini kapsayan yapılar içerisinde, tam sayılar hem en minimal grup hem de en minimal halka yapısını teşkil ederler. Cebirsel sayı teorisi alanında, tam sayılar zaman zaman, onları daha geniş bir kapsamda ele alınan cebirsel tam sayılar ile karıştırmamak adına rasyonel tam sayılar olarak özel bir şekilde tanımlanır. Gerçekte, rasyonel olarak ifade edilen tam sayılar, hem cebirsel tam sayı özelliklerini taşır hem de rasyonel sayılar kategorisinde değerlendirilirler.

Tarihçe

İlk Türkçe tam sayı teriminin kullanımlarından biri 1955'e dayanır.Şablon:R

Tarih boyunca tam sayı terimi, 1'in katları olan sayılar içinŞablon:R veya tam sayılı kesirlerin tam kısımlarını ifade etmek için kullanılmıştır.Şablon:R Başlangıçta yalnızca pozitif tam sayılar ele alınmış ve bu durum, terimin doğal sayılarla eşanlamlı hale gelmesine yol açmıştır. Tam sayı kavramının tanımı, negatif sayıların faydasının zamanla kabul edilmesiyle genişletilmiş ve bu sayılar da tanımın içine dahil edilmiştir.Şablon:R Örneğin, Leonhard Euler, 1765 tarihli Cebirin Unsurları adlı çalışmasında tam sayıları, hem pozitif hem de negatif sayıları içerecek biçimde tanımlamıştır.Şablon:R Bununla birlikte, Avrupalı matematikçilerin büyük bir kısmı 19. yüzyılın ortalarına kadar negatif sayılar konseptine karşı direnç göstermiştir.Şablon:R

Tam sayılar kümesini temsil etmek üzere 'Z' harfinin tercih edilmesi, Almancada "sayılar" anlamına gelen Zahlen kelimesinden kaynaklanmaktadırŞablon:RŞablon:R ve bu bağlamda David Hilbert ile ilişkilendirilir.Şablon:R Bu notasyonun ders kitaplarında ilk defa kullanıldığı bilinen örnek, 1947 yılında Nicolas Bourbaki grubu tarafından kaleme alınan Algébre isimli eserde yer almaktadır.Şablon:RŞablon:R Notasyonun benimsenmesi hemen gerçekleşmemiştir; mesela, bir başka ders kitabında 'J' harfi kullanılmışŞablon:R ve 1960 yılında yayımlanan bir makalede 'Z', yalnızca sıfır ve pozitif tam sayıları ifade etmek amacıyla tercih edilmiştir.Şablon:R Ancak 1961 itibarıyla, modern cebir metinleri genel olarak 'Z' harfini, hem pozitif hem de negatif tam sayıları kapsayacak şekilde kullanmaya başlamışlardır.Şablon:R

$\mathbb{Z}$ sembolü, çeşitli kümeleri tanımlamak amacıyla farklı yazarların tercihlerine göre değişken notasyonlar ile sıklıkla sembolize edilir: Pozitif tam sayılar için ${\mathbb{Z}}^{+}$, $\mathbb{Z}+$ veya ${\mathbb{Z}}^{>}$ kullanılırken, sıfır ve pozitif tam sayılar için ${\mathbb{Z}}^{0+}$ veya ${\mathbb{Z}}^{\ge }$ ve sıfır olmayan tam sayılar için ${\mathbb{Z}}^{\ne }$ tercih edilir. Bazı yazarlar, sıfır olmayan tam sayılar için ${\mathbb{Z}}^{*}$ kullanırken diğerleri bu notasyonu sıfır ve pozitif tam sayılar için veya $\mathbb{Z}$'nin birimler grubunu (İng. unit (ring theory)) ifade eden Şablon:Math için kullanmaktadır. Ek olarak, ${\mathbb{Z}}_p$ notasyonu, ya modüler Şablon:Math tam sayılarını (yani, tam sayıların denklik sınıflarını) ya da Şablon:Math-adik tam sayılarını tanımlamak için kullanılır.

1950'lerin başlarına dek, bütün sayılar ile tam sayılar arasında bir eşanlamlılık söz konusuydu.Şablon:RŞablon:RŞablon:R 1950'lerin sonlarına doğru, New Math hareketinin bir unsuru olarak,Şablon:R Amerikan ilkokul öğretmenleri "bütün sayılar" (İng. whole numbers) teriminin, negatif sayıları dışlayarak yalnızca doğal sayıları kapsadığını, "tam sayı" teriminin ise negatif sayıları da içerecek şekilde genişletildiğini derslerinde işlemeye başladılar.Şablon:RŞablon:R "Bütün sayı" kavramı (İng. whole numbers), günümüzde hala belirsizliğini sürdürmektedir.Şablon:R

Cebirsel özellikler

Tam sayılar, teorik olarak sonsuz bir uzunluğa sahip olan sayı doğrusu üzerinde, birbirinden eşit mesafelerle ayrılmış, ayrık noktalar şeklinde tasavvur edilebilirler. İlgili gösterimde, negatif olmayan tam sayı kümeleri mavi renkle temsil edilmiş olup, negatif değerli tam sayılar ise kırmızı renk ile ifade edilmiştir.

Doğal sayılar kümesi gibi, $\mathbb{Z}$ kümesi de toplama ve çarpma gibi ikili işlemler bakımından kapalı bir yapıya sahiptir; bu, herhangi iki tam sayının toplamının ve çarpımının yine bir tam sayı olacağı anlamına gelir. Bununla birlikte, negatif doğal sayıların ve özellikle Şablon:Num'ın dahil edilmesi ile $\mathbb{Z}$, doğal sayılar kümesinden farklı olarak, çıkarma işlemine yönelik de kapalı bir karakter gösterir.Şablon:R

Tam sayılar kümesi, her bir birimli halka yapısı için, bu yapılara doğru tam sayılardan tekil bir halka homomorfizmasının (İng. ring homomorphism) tesis edilebildiği, temel bir birimli halka olarak işlev görür. Bu evrensel özellik (İng. universal property), özgül olarak halkaların kategorisi içerisinde bir başlangıç objesi (İng. initial object) olarak tanımlanabilirlik, $\mathbb{Z}$ halkasının ayırt edici niteliğini belirler.

$\mathbb{Z}$ kümesi, iki tam sayının birbirine bölünmesi işlemi (örnek olarak, 1 sayısının 2 sayısına bölünmesi durumu gösterilebilir) neticesinde her defasında tam sayı elde edilmeyebileceğinden, bölme işlemi açısından kapalı bir yapı sergilemez. Doğal sayılar kümesi, üs alma işlemine göre kapalılık özelliğine sahipken, tam sayılar kümesi bu özelliği taşımamaktadır; zira üssün negatif değer alması halinde, sonuç kesirli bir sayıya dönüşebilir.

Aşağıdaki tablo, herhangi bir Şablon:Math, Şablon:Math ve Şablon:Math tam sayısı için toplama ve çarpma işlemlerinin bazı temel özelliklerini listelemektedir:

Tam sayılarda toplama ve çarpma işlemlerinin özellikleri

	Toplama	Çarpma
Kapalılık:	Şablon:MathŞablon:Padbir tam sayıdır	Şablon:MathŞablon:Padbir tam sayıdır
Birleşme:	Şablon:Math	Şablon:Math
Değişme:	Şablon:Math	Şablon:Math
Etkisiz elemanın varlığı:	Şablon:Math	Şablon:Math
Ters elemanların varlığı:	Şablon:Math	Tersinir tam sayılar (Şablon:Math ve Şablon:Math olarak adlandırılan birimler) dışında tersi olan tam sayı yoktur.
Dağılma:	Şablon:MathŞablon:PadveŞablon:PadŞablon:Math
Sıfır bölensiz:		Eğer Şablon:Math, o zaman Şablon:Math veya Şablon:Math (veya her ikisi)

Toplama işlemi çerçevesinde, $\mathbb{Z}$ kümesine ilişkin olarak sıralanan başlıca beş özelliğin tanımladığı yapı, bu kümenin bir abelyen grup olduğunu ifade eder. Bu küme, her biri sıfırdan farklı olan tam sayıların, sonlu bir Şablon:Kayma veya Şablon:Kayma şeklindeki toplamları ile ifade edilebilirliği dolayısıyla, aynı zamanda bir devirli grup özelliği taşır (İng. cyclic group). Gerçekte, toplama işlemi altında $\mathbb{Z}$, herhangi bir sonsuz devirli grubun, $\mathbb{Z}$ ile eşyapı grubu olduğu bağlamda, tek sonsuz devirli gruptur.

Çarpma işlemine ilişkin olarak sıralanan ilk dört özelliğin tanımı, $\mathbb{Z}$ kümesinin çarpma altında bir değişmeli monoid yapısına sahip olduğunu gösterir. Ancak, 2 sayısının örneğinde olduğu gibi, her tam sayının çarpmaya ilişkin bir çarpımsal tersi bulunmamaktadır, bu durum $\mathbb{Z}$ kümesinin çarpma işlemi bağlamında bir grup oluşturmadığını ifade eder.

Yukarıda sunulan özellikler cetvelinden (en sonuncu dışında) elde edilen kuralların tümü, toplama ve çarpma işlemleriyle bir arada $\mathbb{Z}$ kümesinin, birimli değişmeli halka olarak tanımlandığını ortaya koyar. Bu yapı, benzer cebirsel yapılara ait nesnelerin ilk örneğidir. $\mathbb{Z}$ içerisinde, değişkenlerin her bir değeri için gerçek olan, yalnızca herhangi bir birimli değişmeli halkada doğru kabul edilen eşitlikler ve ifadeler geçerlidir. Bazı sıfır olmayan tam sayılar, çeşitli halkalarda sıfır değerine karşılık gelir.

Tam sayılar kümesinde sıfır bölensizlerin bulunmaması (özellikler tablosundaki son özellik), değişmeli halka $\mathbb{Z}$'nin, bir tamlık bölgesi olarak nitelendirilebileceğini gösterir.

Çarpmaya ilişkin ters elemanların eksikliği, bu durumun $\mathbb{Z}$ kümesinin bölme işlemine kapalı olmadığı gerçeği ile eşdeğer olduğundan, $\mathbb{Z}$'nin bir alan olarak tanımlanamayacağı anlamına gelir. Tam sayıları bir althalka olarak barındıran en küçük alan yapı, rasyonel sayılar alanıdır. Tam sayılar kümesinden rasyonel sayılar kümesinin türetilmesi süreci, herhangi bir tamlık bölgesi için kesirler cisminin (İng. field of fractions) oluşturulması amacıyla modellenebilir. Ayrıca, bir cebirsel sayı cisminden (rasyonel sayılara bir uzantı olarak) başlanarak, içerisinde $\mathbb{Z}$ kümesini de barındıran tam sayılar halkası (İng. ring of integers) elde edilebilir.

Her ne kadar $\mathbb{Z}$ üzerinde geleneksel bölme işlemi tanımlanmamış olsa da, "kalan ile bölme" işlemi bu küme üzerinde tanımlanabilir. Bu işleme, Öklid bölmesi adı verilir ve şu kritik özelliği taşır: Şablon:Math koşulunu sağlayan herhangi Şablon:Math ve Şablon:Math tam sayı çifti için, Şablon:Math ve Şablon:Math ilişkilerini sağlayan benzersiz Şablon:Math ve Şablon:Math tams ayıları mevcuttur; burada Şablon:Math, Şablon:Math sayısının mutlak değerini ifade eder. Bu bağlamda, Şablon:Math tam sayısı bölüm, Şablon:Math ise Şablon:Math ile Şablon:Math'nin bölünmesi sonucu elde edilen kalan olarak isimlendirilir. En büyük ortak bölenlerin belirlenmesi sürecinde kullanılan Öklid algoritması, ardışık Öklid bölme işlemlerine dayanır.

İlgili metin, $\mathbb{Z}$ kümesinin bir Öklid bölgesi (İng. Euclidean domain) olarak tanımlandığını belirtmektedir. Bu durum, aynı zamanda $\mathbb{Z}$'nin bir esas ideal bölgesi (İng. principal ideal domain) olduğunu gösterir ve her pozitif tam sayının, asal sayıların çarpımı şeklinde özünde benzersiz (İng. essentially unique) bir biçimde ifade edilebileceğini ima eder.Şablon:R Bu durum, aritmetiğin temel teoremi olarak bilinir.

Sıralama teorisine ilişkin özellikler

$\mathbb{Z}$, herhangi bir tam sıralama özelliği gösteren, fakat ne üst ne de alt sınır içeren bir kümedir. $\mathbb{Z}$ kümesinin sıralama ilişkisi aşağıdaki gibi ifade edilir: Şablon:Math Bir tam sayının sıfır değerinden büyük olması durumunda pozitif, sıfırdan küçük olması durumunda ise negatif olarak nitelendirilir. Sıfır değeri, ne negatif ne de pozitif olarak nitelendirilebilir.

Tam sayılar arasındaki sıralama ilişkisi, cebirsel işlemlerle aşağıdaki biçimde uyum içindedir:

Şablon:Math ve Şablon:Math olduğunda, Şablon:Math sonucu elde edilir. Şablon:Math ve Şablon:Math olduğunda, Şablon:Math eşitsizliği geçerlidir.

Bunun sonucu olarak, $\mathbb{Z}$ üzerinde tanımlanan bu sıralama ile birlikte, bir sıralı halka yapısını oluşturur.

Tam sayılar, pozitif elemanları iyi sıralı olan tek ciddi tam sıralı Abel grubudur.Şablon:R Bu, herhangi bir Noetherian halka değerleme halkasına (İng. valuation ring) ya bir cisim-ya da ayrık değerleme halkası (İng. discrete valuation ring) olduğu ifadesine eşdeğerdir.

Tanımlama

Geleneksel tanımlama

Temel eğitim süreçlerinde, tam sayı kavramı, genellikle pozitif doğal sayılar kümesi, sıfır ve doğal sayıların negatif karşılıklarının birleşimi olarak sezgisel bir yaklaşımla tanımlanmaktadır. Bu tanım, formal bir yapıya kavuşturulabilir:Şablon:R başlangıçta, Peano aksiyomları temel alınarak $N$ doğal sayılar kümesi inşa edilir. Ardından, $N$ kümesi ile her elemanı arasında birebir eşleme bulunan ve $N$ kümesinden ayrık bir $N^{-}$ kümesi tanımlanır. Bu bağlamda, $N^{-}$ kümesi için, örneğin, $\psi$ eşlemesi $n\mapsto (1,n)$ olacak şekilde $(1,n)$ formundaki sıralı çiftler seçilebilir. Son adımda, 0 elemanı, ne $N$ kümesinde ne de $N^{-}$ kümesinde yer almayacak şekilde, örneğin $(0,0)$ sıralı çifti olarak belirlenir. Böylelikle, tam sayılar kümesi, $N\cup N^{-}\cup 0$ birleşimi ile tanımlanmış olur.

Geleneksel aritmetik işlemleri, tam sayılar kümesi üzerinde, pozitif sayılar, negatif sayılar ve sıfır olmak üzere, parçalı fonksiyonlar yardımıyla tanımlanabilir. Mesela, negasyon işlemi şu şekilde ifade edilir: $$-x=\{\begin{array}{cc}\psi (x),& \text{eğer }x\in P\\ {\psi }^{-1}(x),& \text{eğer }x\in P^{-}\\ 0,& \text{eğer }x=0\end{array}$$

Geleneksel tanımlama yöntemi, çeşitlilik arz eden durumların ortaya çıkmasına neden olur (her aritmetik işlemin, tam sayı türlerinin her birinin kombinasyonları üzerine tanımlanması gereklidir) ve tam sayıların aritmetik yasalarına olan uyumunun ispatı sürecini oldukça yorucu bir hale getirir.Şablon:R

Sıralı ikili dizilerin eşdeğerlilik sınıfları

Kırmızı işaretler, doğal sayılar kümesine ait sıralı ikili dizileri ifade etmektedir. Birbirine bağlı olan kırmızı işaretler, çizginin uç kısmındaki mavi tam sayı değerlerini temsil eden eşdeğerlilik sınıflarını gösterir.

Çağdaş küme teorisine dayalı matematikte, aritmetik işlemilerin herhangi bir özgül durum ayrımına gerek kalmadan tanımlanabilmesine imkan veren daha soyut bir yapı tercih edilmektedir.Şablon:RŞablon:R Bu bağlamda, tam sayılar, doğal sayılardan oluşturulan sıralı ikili çiftlerin denklik sınıfları olarak formel bir biçimde kurulabilir Şablon:Math.Şablon:R

Sezgisel olarak, Şablon:Math ifadesi, Şablon:Math'nin Şablon:Math'dan çıkarılması sonucunu temsil eder.Şablon:R Şablon:Kayma ile Şablon:Kayma gösterimlerinin aynı sayısal değeri temsil ettiği öngörümüzü teyit etmek amacıyla, bu ikili diziler üzerinde belirli bir kural çerçevesinde bir denklik ilişkisi Şablon:Math tanımlamaktayız:

$(a,b)\sim (c,d)$

yalnızca ve yalnızca

$a+d=b+c.$

Tam sayılar üzerinde gerçekleştirilen toplama ve çarpım işlemleri, doğal sayılara uygulanan benzer işlemler temel alınarak tanımlanabilir;Şablon:R Şablon:Math gösterimi, içerisinde Şablon:Math ögesini barındıran denklik sınıfını ifade etmek için kullanılır ve bu durumda işlemler şu şekilde ifade edilir:

$[(a,b)]+[(c,d)]:=[(a+c,b+d)].$

$[(a,b)]\cdot [(c,d)]:=[(ac+bd,ad+bc)].$

Bir tam sayının negatif değeri (veya toplamsal ters öge), ilgili ikilinin elemanlarının yer değiştirilmesiyle elde edilir:

$-[(a,b)]:=[(b,a)].$

Dolayısıyla, çıkartma işlemi, toplamsal ters ögenin eklenmesi şeklinde tanımlanabilir:

$[(a,b)]-[(c,d)]:=[(a+d,b+c)].$

Tam sayılara ilişkin standart sıralama kuralı aşağıdaki gibi ifade edilir:

$[(a,b)]<[(c,d)]$ ancak ve ancak $a+d<b+c.$

Bu tanımlamaların, denklik sınıflarının temsilcilerinin seçimiyle ilgisiz olduğu kolaylıkla ispatlanabilir.

Her bir denklik sınıfı, Şablon:Math veya Şablon:Math (veya her iki durum için de) formunda özgün bir elemana sahiptir. Doğal sayı Şablon:Math, Şablon:Math sınıfıyla özdeşleştirilmekte (yani doğal sayılar, Şablon:Math'yi Şablon:Math'ye eşleyen bir fonksiyon aracılığıyla tam sayılara gömülmüştür) ve Şablon:Math sınıfı Şablon:Math olarak ifade edilir (bu durum, kalan tüm sınıfları kapsar ve Şablon:Math sınıfını Şablon:Math olduğundan yeniden tanımlar).

Dolayısıyla, Şablon:Math gösterimi aşağıdaki gibi ifade edilir:

$\{\begin{array}{cc}a-b,& \text{eğer }a\ge b\\ -(b-a),& \text{eğer }a<b.\end{array}$

Doğal sayıların, karşılık gelen tam sayılarla özdeşleştirilmesi durumunda (önceden bahsi geçen gömme metodu kullanılarak), bu gösterim yöntemi herhangi bir karmaşıklığa yol açmaz.

Bu gösterim yöntemi, tam sayıların Şablon:Math şeklindeki alışılagelmiş temsiline geri dönüş sağlar.

Örneklerden bazıları şu şekildedir:

$\begin{array}{cccccc}0& =[(0,0)]& =[(1,1)]& =\cdots & & =[(k,k)]\\ 1& =[(1,0)]& =[(2,1)]& =\cdots & & =[(k+1,k)]\\ -1& =[(0,1)]& =[(1,2)]& =\cdots & & =[(k,k+1)]\\ 2& =[(2,0)]& =[(3,1)]& =\cdots & & =[(k+2,k)]\\ -2& =[(0,2)]& =[(1,3)]& =\cdots & & =[(k,k+2)].\end{array}$

Diğer yaklaşımlar

Teorik bilgisayar biliminde, tam sayıların inşası için otomatik teorem kanıtlama ve terim yeniden yazım motorları tarafından kullanılan diğer yaklaşımlar mevcuttur. Tam sayılar, birkaç temel işlem (örneğin, sıfır, bir sonraki, bir önceki) kullanılarak ve muhtemelen, zaten inşa edilmiş olduğu varsayılan doğal sayılar kullanılarak oluşturulan cebirsel terimler (İng. term algebra) olarak temsil edilir (örneğin, Peano yaklaşımı kullanılarak).

İşaretli tam sayıların oluşturulması amacıyla, en azından on farklı yöntem mevcuttur.Şablon:R Bu yapılar, çeşitli parametrelere göre ayrışır: Yapıyı gerçekleştirmek amacıyla başvurulan temel işlemlerin adedi, bu işlemlerin kabul ettiği argümanların sayısı ve nitelikleri (çoğunlukla 0 ile 2 arasında değişir); belirli işlemler için doğal sayıların argüman olarak kullanılıp kullanılmadığı ve işlemlerin serbest yapılandırıcı olup olmadığı, yani bir tam sayının tek veya birden çok cebirsel ifadeyle ifade edilebilirliği.

Bir önceki bölümde tanıtılan tam sayıların inşası yöntemi, iki doğal sayıyı argüman olarak alan ve sonucunda bir tam sayı (bu durumda x-y'ye eşit) veren tekil bir temel işlem olan çift$(x,y)$ işlemine dayanır. Bu işlem serbest nitelikte değildir; zira sıfır tam sayısı, çift(0,0), çift(1,1), çift(2,2) gibi çeşitli şekillerde ifade edilebilir. Bu inşa metodolojisi, ispat yardımcısı Isabelle yazılımı tarafından benimsenmiş olup; ancak, serbest yapılandırıcıları temel alan ve bilgisayar ortamlarında daha etkin bir şekilde implemente edilebilecek daha sade alternatif inşa teknikleri de mevcuttur.

Bilgisayar bilimi

Şablon:Ana Tam sayı, sıkça bilgisayar dililerindeki primitif bir veri tipidir. Ancak, tam sayı veri tipleri, pratik bilgisayarların sonlu kapasitesi nedeniyle tüm tam sayıların bir alt kümesini temsil edebilirler. Ayrıca, yaygın ikinin tümleyeni gösteriminde, işaretin içsel tanımı "negatif" ve "negatif olmayan" arasında ayrım yapar, "negatif, pozitif ve 0" değil. (Bununla birlikte, bir bilgisayarın bir tam sayı değerinin gerçekten pozitif olup olmadığını belirlemesi kesinlikle mümkündür.) Sabit uzunluklu tam sayı yaklaşım veri tipleri (veya alt kümeleri), birkaç programlama dilinde int veya Integer olarak adlandırılır (ALGOL 68, C, Java, Delphi, vb.).

Tam sayıların değişken uzunluklu temsilleri, bilgisayarın belleğine sığan herhangi bir tam sayıyı depolayabilir. Diğer tam sayı veri tipleri ise genellikle 2'nin bir kuvveti olan bir bit sayısı (4, 8, 16, vb.) veya akılda kalıcı bir ondalık basamak sayısı (örneğin, 9 veya 10) ile sabit bir boyutta uygulanır.

Sayallık (Kardinalite)

Tam sayılar kümesi sayılabilir sonsuzdur, bu da her tam sayının benzersiz bir doğal sayı ile eşleştirilebileceği anlamına gelir. Böyle bir eşleştirmenin bir örneği şöyledir:

Şablon:Math

Daha teknik bir ifadeyle, $\mathbb{Z}$ kardinalitesinin Şablon:Math (alef-sıfır) ile eşit olduğu söylenir. $\mathbb{Z}$ ve $\mathbb{N}$ elemanları arasındaki bu eşleştirme, bir bijection olarak adlandırılır.

Ayrıca bakınız

Sayı sistemleri Karmaşık $:ℂ$ Reel $:ℝ$ Rasyonel $:\mathbb{Q}$ Tam sayı $:\mathbb{Z}$ Doğal $:\mathbb{N}$ Sıfır: 0 Bir: 1 Asal sayılar Bileşik sayılar Negatif tam sayılar Kesir Sonlu ondalık sayı İkili (sonlu ikili) Devirli ondalık sayı İrrasyonel Cebirsel irrasyonel Aşkın Sanal

Bibliografya

• Şablon:Kitap kaynağı)
• Şablon:Kitap kaynağı
• Şablon:Kitap kaynağı
• Şablon:Kitap kaynağı

Şablon:Otorite kontrolü