Kardinal ve Ordinal Aritmetik
Kardinal ve ordinal aritmetik, sayma ve sıralama kavramlarını sonsuza genişleterek, sonsuz ötesi büyüklük ve konumun iki tamamlayıcı ölçüsünü sağlamaktadır.
Tanım
Bir ordinal, üyelik ilişkisiyle iyi sıralanmış, bir sıra tipini temsil eden geçişli (transitive) bir kümedir; bir kardinal ise, kendisinden daha küçük herhangi bir ordinal ile birebir eşleşmeyen (bijection) bir ordinal olup, bir büyüklüğü temsil etmektedir. Bu sayıların aritmetiği, sonlu işlemleri sonsuz ötesine genişleten toplama, çarpma ve üs alma işlemlerini tanımlamaktadır.
Kapsam
Bu konu, kanonik iyi sıralı kümeler olarak ordinal sayıları ve bunların değişmeli olmayan aritmetiğini, büyüklük ölçüsü olarak kardinal sayıları ve seçim aksiyomu altındaki aritmetiklerini, alef ve bet hiyerarşilerini, kofinaliteyi ve Cantor teoremi ile Koenig teoremi gibi sonuçları kapsamaktadır.
Temel sorular
- Ordinal sayılar, izomorfizmaya kadar her iyi sıralamayı nasıl kodlamaktadır?
- Ordinal aritmetik neden değişmeli değilken, kardinal aritmetik değişmelidir?
- Sonsuz kardinal sayılar nasıl toplanır, çarpılır ve üssü alınır?
- Kofinalite ve Koenig teoremi, kardinal üs alma işlemine hangi kısıtlamaları getirmektedir?
Temel kuramlar
- Cantor teoremi
- Her küme için kuvvet kümesinin kardinalitesi kesinlikle daha büyüktür, bu nedenle en büyük bir kardinal yoktur ve sonsuz büyüklük hiyerarşisi asla sona ermemektedir.
- Sonsuz ötesi tümevarım (transfinite induction) ve özyineleme (recursion)
- Özellikler, ordinal sıralama boyunca tümevarım ve özyineleme yoluyla tüm ordnaller üzerinde kanıtlanabilir ve fonksiyonlar tanımlanabilir; bu, küme teorisinin merkezi teknik motorudur.
- Alef hiyerarşisi ve kardinal üs alma
- Seçim aksiyomu altında, sonsuz kardinaller alefler olarak iyi sıralanmaktadır; sonsuz kardinallerin toplamı ve çarpımı maksimuma indirgenirken, üs alma işlemi kofinalite ve Koenig teoremi tarafından yönetilmekte ve büyük ölçüde ZFC'den bağımsız kalmaktadır.
Klinik önem
Sonsuz ötesi aritmetik, matematik boyunca sonsuz kümelerin karşılaştırılmasının temelini oluşturmakta, cebir ve analizde sonsuz ötesi tümevarım (transfinite induction) ile yapılan argümanları gerekçelendirmekte ve sürekliliğin değeri gibi merkezi bağımsızlık sorularını çerçevelemektedir.
Tarihçe
Cantor, hem ordinal hem de kardinal sayıları 1880'lerde ve 1890'larda tanıtmış, reel sayıların sayılamaz olduğunu ve kuvvet kümelerinin kardinaliteyi kesinlikle artırdığını kanıtlamıştır. Von Neumann'ın ordnalleri üyelik ilişkisiyle iyi sıralanmış geçişli kümeler olarak tanımlaması modern formülasyonu sağlamış, Hausdorff ve Koenig ise kardinal üs alma ve kofinalite üzerine önemli sonuçlar ortaya koymuştur.
Öne çıkan isimler
- Georg Cantor
- John von Neumann
- Felix Hausdorff
- Julius Koenig
İlgili konular
Temel eserler
- jech2003
- enderton1977
- kunen2011
Sıkça sorulan sorular
- Bir ordinal ile bir kardinal arasındaki fark nedir?
- Bir ordinal, bir iyi sıralamanın sıra tipini kaydeder ve aynı büyüklüğe sahip ancak farklı yapıdaki düzenlemeleri ayırt ederken, bir kardinal yalnızca büyüklüğü kaydetmektedir. Her kardinal bir ordinaldir, yani kendi büyüklüğündeki en küçük ordinaldir.
- Bir artı omega neden omega artı birden farklıdır?
- Ordinal toplama, sıra tiplerini birleştirerek tanımlanır ve konuma duyarlıdır. Bir elemanı doğal sayıların önüne yerleştirmek, doğal sayılarla aynı sıra tipini verirken, onları arkasına yerleştirmek yeni bir en büyük eleman ekler; bu nedenle iki toplam farklı ordnallerdir.