Doğal Sayılar Konu Anlatımı
KPSS Matematik dersi Doğal Sayılar konu anlatımı.
Konu anlatımı notları
Doğal Sayılar Kümesinin Aksiyomatik Temeli
Modern matematikte doğal sayılar kümesi, kümeler kuramı temelinde Peano aksiyomları ile biçimsel olarak yapılandırılır. Richard Dedekind ve Giuseppe Peano tarafından geliştirilen bu aksiyomatik dizge, doğal sayıların temel aritmetik özelliklerini türetmek için yeterli bir çerçeve sunar.
Bir üçlüsünün doğal sayılar sistemi oluşturması için aşağıdaki koşulları sağlaması gerekir:
- Sıfır Elemanı: dir; yani sistem boş olmayan bir başlangıç elemanına sahiptir.
- Ardıl Fonksiyonu: Her için tanımlı bir ardıl elemanı mevcuttur. Bu durum fonksiyonu ile ifade edilir.
- Başlangıç Kısıtı: Sıfır, hiçbir doğal sayının ardılı değildir; her için geçerlidir.
- Birebirlik: Ardıl fonksiyonu birebirdir. Her için ise olmalıdır.
- Tümevarım Aksiyomu: olmak üzere, ve her için sağlanıyorsa, dir.
Von Neumann yaklaşımında her doğal sayı kendisinden önceki sayıları içeren bir küme olarak tanımlanır: , , ve genel olarak biçimindedir.
Sıralama Bağıntısı ve İyi Sıralılık
Doğal sayılar üzerinde standart sıralama bağıntısı ardıllık üzerinden kurulur. için bağıntısı, olacak biçimde bir elemanının varlığı ile tanımlanır.
Bu bağıntı üzerinde tam sıralama oluşturur ve kümenin en temel topolojik ve cebirsel özelliklerinden biri olan İyi Sıralılık İlkesi'ni (Well-Ordering Principle) doğurur:
- 'nin boş kümeden farklı her alt kümesi, bağıntısına göre bir en küçük elemana sahiptir.
- Biçimsel ifadeyle; ise \exists m \in A, \, orall x \in A: m \leq x önermesi doğrudur.
İyi sıralılık ilkesi ile Peano'nun beşinci aksiyomu olan tümevarım ilkesi birbirine mantıksal olarak denktir. Bir teoremin tüm doğal sayılar için geçerli olduğunu kanıtlamak için zayıf tümevarım, kuvvetli tümevarım veya iyi sıralılık ilkesiyle yapılan çelişki yöntemi (sonsuz iniş yöntemi) birbirinin yerine kullanılabilir.
Toplama ve Çarpma İşlemlerinin Tanımı
Doğal sayılar kümesi üzerinde temel aritmetik işlemler, ardıl fonksiyonu aracılığıyla özyinelemeli (rekürsif) olarak tanımlanır.
Toplama İşlemi
Toplama işlemi iki kural ile inşa edilir:
- Her için
- Her için
Çarpma İşlemi
Çarpma işlemi toplama işlemine dayalı olarak tanımlanır:
- Her için
- Her için
Cebirsel Yapısal Özellikler
Bu tanımlar sonucunda ikilisi birleşme özelliğine ve etkisiz elemanına sahip bir değişmeli monoid yapısı sergiler. Benzer biçimde sistemi, birim elemanı olan bir değişmeli monoiddir. Çarpma işleminin toplama işlemi üzerine sağdan ve soldan dağılma özelliği sayesinde üçlüsü değişmeli bir yarıhalka (semiring) oluşturur.

