Aritmetiğin temel teoremi

Matematik'te aritmetiğin temel teoremi, aynı zamanda benzersiz çarpanlara ayırma teoremi ve asal çarpanlara ayırma teoremi olarak da adlandırılır, şunu belirtir: 1'den büyük her tamsayı, benzersiz bir şekilde asal sayıların üslerinin çarpımı olarak gösterilebilir.

In Disquisitiones Arithmeticae (1801) Gauss benzersiz çarpanlara ayırma teoremini kanıtladı ve kanıtlamak için kullandı.

Örneğin,

${\displaystyle 1200=2^{4}\cdot 3^{1}\cdot 5^{2}=(2\cdot 2\cdot 2\cdot 2)\cdot 3\cdot (5\cdot 5)=5\cdot 2\cdot 5\cdot 2\cdot 3\cdot 2\cdot 2=\ldots }$

Teorem bu örnekle ilgili iki şey söylüyor: birincisi, 1200 asal sayıların çarpımı olarak temsil edilebilir ve ikincisi, bu nasıl yapılırsa yapılsın her zaman tam olarak dört 2, bir 3 ve iki 5 olacaktır ve sonuç bunların dışında başka asal sayı içermeyecektir.

Çarpanların asal olması gereklidir: bileşik sayıları içeren çarpanlara ayırmalar benzersiz olmayabilir (örneğin, ${\displaystyle 12=2\cdot 6=3\cdot 4}$).

Bu teorem (1'in asal sayı olarak kabul edilmemesinin ana nedenlerinden) biridir: eğer 1 asal olsaydı, asal sayılara ayırma benzersiz olmazdı; örneğin, ${\displaystyle 2=2\cdot 1=2\cdot 1\cdot 1=\ldots }$

Teorem, bir alan üzerinde olarak adlandırılan ve , ve içeren diğer genelleştirilir. Ancak teorem için geçerli değildir. Benzersiz çarpanlara ayırmadaki bu başarısızlık, Fermat'ın Son Teoremi'nin ispatının zorluğunun nedenlerinden biridir. Cebirsel tamsayı halkalarında benzersiz çarpanlara ayırmanın örtülü kullanımı, Fermat'ın ifadesi ile .

Tarihçe

Temel teorem, Öklid'in Elementler'inin Kitap VII, 30, 31 ve 32. önermelerinden ve IX. Kitap, 14. önermesinden türetilebilir.

“	İki sayının çarpımı, bir sayı ile bir asal sayının çarpımına eşit ise, bu asal sayı başlangıçtaki iki sayıdan birinin çarpanıdır.	„
—Öklid, Elementler Kitap VII, Önerme 30

(Modern terminolojide: Eğer bir asal p ab çarpımını bölüyorsa, o zaman p ya ayı ya da byi ya da her ikisini de böler.) Önerme 30'a gönderme yapılır. olarak ve aritmetiğin temel teoreminin ispatında gereklidir.

“	Herhangi bir bileşik sayı bazı asal sayıların çarpımı ile ifade edilir.	„
—Öklid, Elementler Kitap VII, Önerme 31

(Modern terminolojide: birden büyük her tam sayı bir asal sayıya eşit olarak bölünür.) Önerme 31 doğrudan ile kanıtlanır.

“	Herhangi bir sayı ya asaldır ya da bir asal sayı ile tam olarak bölünür.	„
—Öklid, Elementler Kitap VII, Önerme 32

Önerme 32, önerme 31'den türetilmiştir ve çarpanlara ayırmanın mümkün olduğunu kanıtlamaktadır.

“	Bir sayı asal sayıların çarpımı olarak ifade edilen en küçük sayı ise herhangi başka bir sayının çarpımı olarak ifade edilmez. Başlangıçtaki çarpanları dışında başka asal ççarpanı yoktur.	„
—Öklid, Elementler Kitap IX, Önerme 14

(Modern terminolojide: birkaç asal sayının herhangi bir başka asal sayının katı değildir.) Kitap IX, önerme 14, Kitap VII, önerme 30'dan türetilmiştir ve çarpanlara ayırmanın benzersiz olduğunu kısmen kanıtlar. – André Weil. Aslında bu önermede üsler hepsi bire eşit olduğundan genel durum için hiçbir şey söylenmiyor.

Asal çarpanlara ayırmanın varlığına giden yolda ilk adımı Öklid atarken, son adımı ise attı ve aritmetiğin temel teoremini ilk kez belirtti.

Gauss' Disquisitiones Arithmeticae Madde 16'sı, modüler aritmetik kullanan erken modern bir ifade ve kanıttır.

Uygulamalar

Pozitif bir tam sayının kanonik gösterimi

Her pozitif tamsayı n > 1 asal kuvvetlerin çarpımı olarak tam olarak tek bir şekilde temsil edilebilir: ${\displaystyle n=p_{1}^{n_{1}}p_{2}^{n_{2}}\cdots p_{k}^{n_{k}}=\prod _{i=1}^{k}p_{i}^{n_{i}},}$ burada p₁ < p₂ < ... < p_k asal sayılardır ve n_i pozitif tam sayılardır. Bu gösterim, 'ın 1'e eşit olduğu kuralıyla genel olarak 1 dahil tüm pozitif tam sayılara genişletilir (boş çarpım k = 0'a karşılık gelir) .

Bu temsile n'nin kanonik temsili' of n, or the standard form denir.. Örneğin,

999 = 3³×37,

1000 = 2³×5³,

1001 = 7×11×13.

p⁰ = 1 çarpanları, n değeri değiştirilmeden eklenebilir (örneğin, 1000 = 2³×3⁰×5³). Aslında, herhangi bir pozitif tam sayı, tüm pozitif asal sayıların üzerine alınan bir olarak benzersiz bir şekilde temsil edilebilir;

${\displaystyle n=2^{n_{1}}3^{n_{2}}5^{n_{3}}7^{n_{4}}\cdots =\prod _{i=1}^{\infty }p_{i}^{n_{i}},}$

burada sonlu sayıda n_i pozitif tamsayılardır ve diğerleri sıfırdır.

Negatif üslere izin vermek, pozitif rasyonel sayılar için kanonik bir form sağlar.

Aritmetik işlemler

a ve b iki sayısının en büyük ortak bölen (OBEB) ve en küçük ortak kat (EKOK) çarpımının kanonik gösterimleri basitçe şu şekilde ifade edilebilir: a ve bnin kanonik temsilleri:

${\displaystyle a\cdot b=2^{a_{1}+b_{1}}3^{a_{2}+b_{2}}5^{a_{3}+b_{3}}7^{a_{4}+b_{4}}\cdots =\prod p_{i}^{a_{i}+b_{i}},}$

${\displaystyle EBOB(a,b)=2^{\min(a_{1},b_{1})}3^{\min(a_{2},b_{2})}5^{\min(a_{3},b_{3})}7^{\min(a_{4},b_{4})}\cdots =\prod p_{i}^{\min(a_{i},b_{i})},}$ ${\displaystyle EKOK(a,b)=2^{\max(a_{1},b_{1})}3^{\max(a_{2},b_{2})}5^{\max(a_{3},b_{3})}7^{\max(a_{4},b_{4})}\cdots =\prod p_{i}^{\max(a_{i},b_{i})},}$

Bununla birlikte, özellikle büyük sayıların işlemleri, ürünlerin, EBOB'ların veya EKOK'ların hesaplanmasından çok daha zordur. Dolayısıyla bu formüllerin pratikte kullanımı sınırlıdır.

Aritmetik fonksiyonlar

Birçok aritmetik fonksiyon kanonik gösterim kullanılarak tanımlanır. Özellikle, ve çarpım fonksiyonlarının değerleri, asal sayıların kuvvetleri üzerindeki değerlerine göre belirlenir.

İspat

İspat, (Elementler VII, 30) kullanır: Eğer bir asal sayı iki tam sayının çarpımını bölüyorsa bölüyorsa, bu tam sayılardan en az birini bölmelidir.

Varlık

1'dan büyük her tam sayının ya asal ya da asal sayıların çarpımı olduğu gösterilmelidir. Birincisi, 2 asaldır. Daha sonra, yoluyla, bunun 1'dan büyük ve n'den küçük tüm sayılar için doğru olduğunu varsayalım. Eğer n asalsa kanıtlayacak başka bir şey yoktur. Aksi takdirde, a ve b tamsayıları vardır; burada n = a b ve 1 < a ≤ b < n. Tümevarım hipotezine göre, a = p₁p₂ ⋅⋅⋅ p' 'j ve b = q₁q₂ ⋅⋅⋅ qk asal sayıların çarpımlarıdır. Ama sonra n = a b = p₁p₂ ⋅⋅⋅ pj q₁q₂ ⋅⋅⋅ q' '_k asal sayıların çarpımıdır.

Benzersizlik

Teoremin tersine, iki farklı asal çarpanlara ayırmaya sahip bir tamsayı olduğunu varsayalım. n böyle bir en küçük tamsayı olsun ve her bir p_i ve q_i asal olduğu n = p₁p₂ ... p_j = q₁q₂ ... q_k yazalım. p₁'nin q₁q₂ ... q_k yi böldüğünü görürüz. Böylece by 'ne göre p₁ bazı q_i leri böler. Genelliği kaybetmeden, p₁ q₁ i böler diyelim. p₁ ve q₁ her ikisi de asal olduğundan, böylece p₁ = q₁ olur. n'yi çarpanlara ayırmamıza dönersek, p₂ ... p_j = q₂ ... q_k gerçekleşmesi için bu iki çarpanı sadeleştirebiliriz. Böylece elimizde kesin olarak n'den küçük iki asal tamsayı çarpan var ve bu da n'nin küçüklüğü ile çelişiyor.

Öklid'in tezi olmadan benzersizlik

Aritmetiğin temel teoremi, Öklid tezi kullanılmadan da kanıtlanabilir. Aşağıdaki kanıt, Öklid'in Öklid algoritması orijinal versiyonundan esinlenmiştir.

${\displaystyle s}$'in asal sayıların iki farklı çarpımı olan en küçük pozitif tamsayı olduğunu varsayalım. Bu, eğer varsa, ${\displaystyle s}$'in ${\displaystyle 1}$'den büyük bileşik sayı olduğu anlamına gelir.

Böylece,

${\displaystyle {\begin{aligned}s&=p_{1}p_{2}\cdots p_{m}\\&=q_{1}q_{2}\cdots q_{n}.\end{aligned}}}$

yazılabilir.

Her ${\displaystyle p_{i}}$ ${\displaystyle q_{j}}$'den farklı olmalıdır. Aksi takdirde, eğer ${\displaystyle p_{i}=q_{j}}$ dersek, ${\displaystyle s}$'den küçük bazı pozitif ${\displaystyle t=s/p_{i}=s/q_{j}}$ tamsayı çarpanları olacaktır. Gerektiğinde iki çarpan değiştirilerek ${\displaystyle p_{1}<q_{1}}$ olduğu da varsayılabilir.

${\displaystyle P=p_{2}\cdots p_{m}}$ ve ${\displaystyle Q=q_{2}\cdots q_{n},}$ olarak ve ${\displaystyle s=p_{1}P=q_{1}Q.}$ olarak, ayrıca, ${\displaystyle p_{1}<q_{1},}$ olduğundan ${\displaystyle Q<P.}$ olarak seçilir ve takiben

${\displaystyle s-p_{1}Q=(q_{1}-p_{1})Q=p_{1}(P-Q)<s.}$ elde edilir. ${\displaystyle s}$'den küçük pozitif tamsayıların benzersiz bir asal çarpanlara ayırmaya sahip olduğu varsayıldığından, ${\displaystyle p_{1}}$, ${\displaystyle q_{1}-p_{1}}$'in ya da ${\displaystyle Q}$'nun çarpanları arasında yer almalıdır. ${\displaystyle Q}$ ${\displaystyle s}$'den küçük olduğundan, benzersiz asal çarpanlara sahip olmalıdır ve her için ${\displaystyle q_{j}}$ için ${\displaystyle p_{1}}$ farklı olduğundan ikinci durum mümkün değildir. Eğer ${\displaystyle p_{1}}$, ${\displaystyle q_{1}-p_{1}}$'in böleni ise, ${\displaystyle q_{1},}$'in de böleni olacağından ${\displaystyle p_{1}}$ ve ${\displaystyle q_{1}}$ farklı asal sayılar olacağından ilk durum da mümkün değildir.

Böylece, tek bir farklı asal çarpanlara ayırmadan daha fazlasına sahip en küçük bir tam sayı olamaz. Her pozitif tamsayı ya benzersiz bir şekilde çarpanlara ayrılacak bir asal sayı ya da asal sayıları benzersiz bir şekilde çarpanlara ayıran bir bileşik ya da ${\displaystyle 1}$ tamsayısı durumunda herhangi bir asal çarpanı olmayan bir bileşik olmalıdır.

Genellemeler

Teoremin ilk genellemesi Gauss'un üzerine ikinci monografisinde (1832) bulunur. Bu makale, şimdi 'larının halka olarak adlandırılan tüm karmaşık sayı'lar a + bi kümesini tanıttı; burada a ve b tam sayılardır. Artık ${\displaystyle \mathbb {Z} [i]}$ ile gösterilmiştir. Bu halkanın sıfırdan farklı ±1 ve ±i dört birimine sahip olduğunu, birim olmayan sayıların asal sayılar ve bileşik sayılar olmak üzere iki sınıfa ayrıldığını ve bileşik sayılarrın asal sayıların bir ürünü olarak benzersiz çarpanlara ayırmaya sahip olduğunu gösterdi.

Benzer şekilde, 1844'te üzerinde çalışırken, ${\displaystyle \mathbb {Z} [\omega ]}$ halkasını tanıttı; burada ${\textstyle \omega ={\frac {-1+{\sqrt {-3}}}{2}},}$   ${\displaystyle \omega ^{3}=1}$ . Bu, halkasıdır ve kendisi bunun altı birimi ${\displaystyle \pm 1,\pm \omega ,\pm \omega ^{2}}$ olduğunu ve benzersiz çarpanlara ayırmaya sahip olduğunu kanıtladı.

Ancak benzersiz çarpanlara ayırmanın her zaman geçerli olmadığı da keşfedildi. Örnek olarak ${\displaystyle \mathbb {Z} [{\sqrt {-5}}]}$ verilmiştir. Bu halkada

${\displaystyle 6=2\cdot 3=\left(1+{\sqrt {-5}}\right)\left(1-{\sqrt {-5}}\right).}$

vardır.

Bunun gibi örnekler "asal" kavramının değişmesine neden oldu. ${\displaystyle \mathbb {Z} \left[{\sqrt {-5}}\right]}$'de yukarıdaki faktörlerden herhangi birinin bir çarpım olarak temsil edilebilmesi durumunda kanıtlanabilir, örneğin 2 = ab ise a veya bden biri bir birim olmalıdır.Bu, "asal"ın geleneksel tanımıdır. Bu faktörlerin hiçbirinin Öklid tezine uymadığı da kanıtlanabilir; örneğin 2, çarpımları 6'yı bölmesine rağmen ne (1 + √−5) ne de (1 − √−5)'ı bölmez. 2 ${\displaystyle \mathbb {Z} \left[{\sqrt {-5}}\right]}$'de olarak adlandırılır (kendisine ve birim sayıya bölünebilir) ancak asal değildir (çarpımı bölüyorsa çarpanlardan birini de bölmelidir). ${\displaystyle \mathbb {Z} \left[{\sqrt {-5}}\right]}$'in belirtilmesi gereklidir çünkü 2 asaldır ve ${\displaystyle \mathbb {Z} }$'de indirgenemezdir. Bu tanımları kullanarak bir asal sayının indirgenemez olduğu kanıtlanabilir. Öklid'in klasik tezi "${\displaystyle \mathbb {Z} }$ tamsayılar halkasında her indirgenemez asaldır" şeklinde yeniden ifade edilebilir. Bu aynı zamanda ${\displaystyle \mathbb {Z} [i]}$ ve ${\displaystyle \mathbb {Z} [\omega ]}$ için de doğrudur ancak ${\displaystyle \mathbb {Z} [{\sqrt {-5}}]}$ için geçerli değildir.

İndirgenemezler çarpanlara ayırmanın benzersiz olduğu yerlerde halkalara denir. Önemli örnekler, tamsayılar üzerindeki veya bir alan üzerindeki 'ları, 'ları ve 'larıdır.

1843 yılında kavramını ortaya attı, bu kavram Dedekind tarafından 1876'da, halkaların özel bir alt alanı olan modern teorisine geliştirildi. Burada idealler için çarpma tanımlanır ve bunların benzersiz çarpanlara ayrıldığı halkalara adı verilir.

bir versiyonu vardır, ancak benzersizliği sağlamak için bazı ek koşullar gerektirir.

Ayrıca bakınız

• Asal çarpanlara ayırma

Notlar

1. ^ ^{a b} Gauss (1986, Art. 16)
2. ^ Gauss (1986, Art. 131)
3. ^ Long (1972, s. 44)
4. ^ Pettofrezzo & Byrkit (1970, s. 53)
5. ^ Hardy & Wright (2008, Thm 2)
6. ^ In a , the factorization into prime elements may be non unique, but one can recover a unique factorization if one factors into .
7. ^ Weil (2007, s. 5) tarafından eleştirel olarak dikkat çekilen bir nokta: "Öklid'de bile, bir sayının çarpanlara ayrılmasının benzersizliği hakkında genel bir ifade bulamıyoruz. tam sayıların asal sayılara dönüştürülmesi; elbette bunun farkında olabilir, ancak sahip olduğu tek şey verilen herhangi bir asal sayının EKOK'u hakkında bir ifadedir (Eucl.IX.I4).
8. ^ A. Goksel Agargun and E. Mehmet Özkan. "A Historical Survey of the Fundamental Theorem of Arithmetic" (PDF). Historia Mathematica: 209. 31 Mayıs 2023 tarihinde kaynağından (PDF). Erişim tarihi: 8 Ekim 2023. One could say that Euclid takes the first step on the way to the existence of prime factorization, and al-Farisi takes the final step by actually proving the existence of a finite prime factorization in his first proposition. 
9. ^ Rashed, Roshdi (11 Eylül 2002). Encyclopedia of the History of Arabic Science (İngilizce). Routledge. s. 385. ISBN . 15 Ocak 2023 tarihinde kaynağından . Erişim tarihi: 8 Ekim 2023. The famous physicist and mathematician Kamal al-Din al-Farisi compiled a paper in which he set out deliberately to prove the theorem of Ibn Qurra in an algebraic way. This forced him to an understanding of the first arithmetical functions and to a full preparation which led him to state for the first time the fundamental theorem of arithmetic. 
10. ^ Long (1972, s. 45)
11. ^ Pettofrezzo & Byrkit (1970, s. 55)
12. ^ Hardy & Wright (2008, § 1.2)
13. ^ Dawson, John W. (2015), Why Prove it Again? Alternative Proofs in Mathematical Practice., Springer, s. 45, ISBN  
14. ^ Gauss, BQ, §§ 31–34
15. ^ Hardy & Wright (2008, § 14.6)

Kaynakça

Disquisitiones Arithmeticae Latinceden İngilizce ve Almanca'ya çevrildi. Almanca baskısı sayı teorisi üzerine tüm makalelerini içerir: ikinci dereceden karşıtlığın tüm kanıtları, Gauss toplamının işaretinin belirlenmesi, iki ikinci dereceden karşılıklılık üzerine araştırmalar ve yayınlanmamış notlar.

• Gauss, Carl Friedrich (1986), Disquisitiones Arithemeticae (Second, corrected edition), Clarke, Arthur A. tarafından çevrildi, New York: , ISBN  
• Gauss, Carl Friedrich (1965), Untersuchungen über hohere Arithmetik (Disquisitiones Arithemeticae & other papers on number theory) (Second edition) (Almanca), Maser, H. tarafından çevrildi, New York: Chelsea, ISBN  

Gauss'un iki ikinci dereceden karşılıklılık üzerine yayınladığı iki monografinin bölümleri ardışık olarak numaralandırılmıştır: ilki §§ 1-23'ü ve ikincisi §§ 24-76'yı içerir. Bunlara atıfta bulunan dipnotlar "Gauss, BQ, § n" biçimindedir. Disquisitiones Arithmeticae'ye atıfta bulunan dipnotlar "Gauss, DA, Art. n" biçimindedir.

• Gauss, Carl Friedrich (1828), Theoria residuorum biquadraticorum, Commentatio prima, Göttingen: Comment. Soc. regiae sci, Göttingen 6 
• Gauss, Carl Friedrich (1832), Theoria residuorum biquadraticorum, Commentatio secunda, Göttingen: Comment. Soc. regiae sci, Göttingen 7 

Bunlar Gauss'un Werke, Cilt II, s.65–92 ve 93–148'inde; Almanca çeviriler Disquisitiones'ın Almanca baskısının s.511–533 ve 534–586 sayfalarındadır.

• Euclid (1956), The thirteen books of the Elements, 2 (Books III-IX), Translated by (Second Edition Unabridged bas.), New York: Dover, ISBN  
• Long, Calvin T. (1972), Elementary Introduction to Number Theory (2. bas.), Lexington: , LCCN 77-171950 .
• Pettofrezzo, Anthony J.; Byrkit, Donald R. (1970), Elements of Number Theory, Englewood Cliffs: Prentice Hall, LCCN 77-81766 .
• Riesel, Hans (1994), Prime Numbers and Computer Methods for Factorization (second edition), Boston: Birkhäuser, ISBN  
• Weil, André (2007) [1984], , Modern Birkhäuser Classics, Boston, MA: Birkhäuser, ISBN  

External links

• Why isn’t the fundamental theorem of arithmetic obvious?
• GCD and the Fundamental Theorem of Arithmetic at .
• PlanetMath: Proof of fundamental theorem of arithmetic
• Fermat's Last Theorem Blog: Unique Factorization, a blog that covers the history of Fermat's Last Theorem from to the proof by Andrew Wiles.
• "Fundamental Theorem of Arithmetic" by Hector Zenil, , 2007.
• Grime, James, "1 and Prime Numbers", Numberphile, , 11 Aralık 2021 tarihinde kaynağından arşivlendi