Zermelo-Fraenkel küme teorisi

Zermelo-Fraenkel küme teorisi, soyut matematikte, seçim beliti ile birlikte kısaca ZFC diye anılan toplam 9 belitten oluşan küme kuramı'dır. Seçim belitini katmaksızın kısaca ZF olarak anılır. Küme ve öğesi olmak terimlerinin tanımsız kabul edildiği biçimsel dizge 1930'da Zermelo tarafından ortaya atıldı.E. Zermelo, "Über Grenzzahlen und Mengenbereiche." Fund. Math. 16, 29-47, 1930.

Bertrand Russell ve Frege arasında geçen mektuplaşmanın ardından bulunan Russell paradoksunun ardından matematiği çelişkisiz hale getirmek için başlatılan çabalardandır. Russell paradoksunun oluşturduğu çelişkiyi az ve doğru belitler seçerek ortadan kaldırmış ve günümüzdeki matematiğin temellerini atmıştır.

 Motivasyon 

19. yüzyıldan önce matematikle uğraşan insanlar, kavramları tanımlamak için sezgilere başvurmuştur. Örneğin Öklid, geometriyi inşa ederken "bir doğrunun sonsuza kadar uzatılması" gibi matematiksel olarak tanımlanmak yerine doğal dille tanımlanan aksiyomlar kullanmıştır. Bu şekilde de kümeler, matematiksel olarak tanımlanmak yerine "iyi tanımlı elemanlar topluluğu" şeklinde insan diliyle tanımlanmıştır. Böyle temellerden oluşan sezgisel küme teorisinde "elemanı olmak", "küme", "matematiksel nesne" gibi terimler, tanımsız bırakılmış ve bu kümelerle yapılabilecek işlemler, insan sezisine dayandırılmıştır.

Ancak 19. yüzyılın sonlarına doğru özellikle Frege ve Hilbert gibi matematikçilerin katkılarıyla bir küme teorisini sağlam temellere oturtma çabası başlamıştır. Bu çabayla birlikte sezgisel küme kuramının çelişkilerle dolu olduğu ortaya çıkmıştır. Bunların en ünlüsü, Russel paradoksudur:, kendisini içermeyen tüm kümelerin kümesi olsun, yani . Mesela  şeklinde tanımlanmış bir küme olsun. O zaman , çünkü  kendisini içeriyor. Diğer yandan  şeklinde tanımlanan küme için , çünkü .

Kendimize " kendisini içerir mi?" sorusunu soralım, yani 

 Eğer  ise o zaman  kendisini içeriyordur, yani 'nin tanım şartı olan 'yi sağlamaz, yani 
 Eğer  ise o zaman  kendisini içermiyordur, yani 'nin tanım şartı olan  sağlanır, yani 

Dolayısıyla sorduğumuz sorunun cevabı ne evet, ne de hayır, bu da bir çelişki teşkil eder. Bu ve benzeri birtakım paradokslar, sezgisel olarak kullanılan küme kavramının çelişkili olduğunu göstermiştir ve böylece çelişkisiz ve aksiyomlara dayanan bir küme teorisi oluşturma arayışı başlamıştır. Bunu sağlayan bir sürü küme kuramı oluşturulduysa da bunların matematik camiasında en çok kabul göreni, bu makalede bahsedilen kısaca ZFC denilen Zermelo-Fraenkel küme kuramıdır.

 Aksiyomları 

Zermelo-Fraenkel küme kuramında sadece kümeler bulunmaktadır ve kümelerin elemanları yine sadece kümeler olabilir. Fonksiyonlar, ilişkiler, kartezyen ikililer ve sayılar dâhil diğer tüm matematiksel kavramlar, kümeler olarak tanımlanır. Buna mukabil, "küme" kavramı ZFC'de tanımlanmaz, varlığı kabul edilir. Bununla birlikte, iki  kümesi için de "elemanı olmak"  ilişkisi de tanımlanmaz, var olduğu ve bazen doğru bazen yanlış olduğu varsayılır.  ilişkisinin zıddı, yani "x, y'nin elemanı değil" ifadesi  şeklinde gösterilir.

Aynı zamanda bu iki ifade için kanıt aranmadan doğru kabul edilen 10 aksiyom bulunmaktadır. Bunların ilk 9'una ZF aksiyomları denir. 10. aksiyom olan seçim aksiyomu (C), matematik tarihinde karmaşaya sebep olsa da günümüzde matematik camialarınca kabul görerek küme teorisine eklenmiştir. Bu şekilde ZFC küme kuramı ortaya çıkar.

Aslında 3. ve 9. aksiyom tek bir aksiyom değildir, sonsuz aksiyomdan oluşan bir aksiyom şemasıdır; çünkü her  önermesi için yeni bir aksiyom teşkil eder. ZFC'nin sonlu sayıda aksiyomla tanımlanamayacağı kanıtlanmıştır.

 Temel aksiyomlar 
ZFC'nin ilk 7 aksiyomu, matematiğin her dalında sık sık kullanılan temel aksiyomlardan oluşmaktadır. Bu aksiyomlar şunlardır:

 1. Eşitlik Aksiyomu 
İki  ve  kümesi için, ancak ve ancak  olduğunda  oluyorsa  olur.Bu aksiyom, kısaca iki kümenin tüm elemanları aynı olduğu zaman eşit olduğunu ilan eder. İki eşit kümenin tüm elemanlarının aynı olduğunu söylemek için bir aksiyoma ihtiyaç duyulmaz, çünkü bu zaten eşit olmanın gerektirdiği bir durumdur.

Eğer her  için  oluyorsa, ama bunun tam tersi olmak zorunda değilse, o zaman 'e 'nin altkümesi denir ve bu durum  şeklinde gösterilir. Altküme olmak aksiyomla varsayılan bir durum değildir, elemanı olmak kavramı ile tanımlanmaktadır. Eşitlik aksiyomuna istinaden,  ve  olduğunda  olur, bu da eşitlik aksiyomunu yazmanın farklı bir yoludur.

 2. Boşküme Aksiyomu 
Öyle bir  kümesi vardır ki, hiçbir  için  olmaz. Bu kümeye boşküme denir. Eşitlik aksiyomuna göre bu küme biriciktir.

Bu aksiyom her kaynakta açıkça varsayılmaz, çünkü bazı mantık sistemlerine göre bu kümenin varlığı diğer aksiyomlardan kanıtlanabilir. Zira en az bir küme varsa diğer aksiyomlarla boşkümeyi oluşturmak mümkündür. Yani bu aksiyomun yanlış olduğu tek evren, hiçbir kümenin var olmadığı evrendir ki böyle evrenler bazı mantık sistemlerinde var olamazlar.

 3. Tanımlama Aksiyomu 
 bir küme, ve  de kümeler kuramı dilinde yazılan bir önerme olsun. O zaman öyle bir küme vardır ki, elemanları 'nin elemanıdır ve her elemanı için  doğrudur.Bu tanımlanan küme,  şeklinde gösterilir; bu yazımı kullanmak tanımlama aksiyomunu kullanarak bir küme tanımlamaktır. 1. aksiyoma göre ayrıyeten bu küme biriciktir.

Dikkat etmek gerekir ki bu tanım, Russel paradoksundan kısmen kaçınmaktadır, zira  olsun. Eğer aynı zamanda  değilse bir paradoks oluşmaz, çünkü daha ilk şart sağlanmadığından çelişkisiz bir şekilde  sonucu ortaya çıkar. Paradokstan tamamen kaçınmak için  olasılığını imkânsız kılan bir aksiyom gerekcektir, o da ileride verilecektir.

Ayrıyeten  her zaman yanlış olan bir ifadeyse, mesela bir çelişkiyse, o zaman herhangi bir  kümesi var olduğu sürece  şeklinde boşküme tanımmlanabilir.

Bununla beraber, bu aksiyom sayesinde bir  kümesi için tüm elemanlarının kesişimi, yani  kümesi  boş olmadığında oluşturulabilir.  boş olmadığından bir  seçelim. Böylece   şöyle tanımlanır:Bu  kümesi, sadedce 'in tüm elemanlarında bulunan elemanlardan oluşur. Benzer bir biçimde iki kümenin farkı işlemi olan  'yi de tanımlamak mümkündür. Lakin  kümesini tanımlamak şu ana kadarki aksiyomlarla mümkün değildir, çünkü tanımlama aksiyomu  şeklinde bir başlangıç kümesi olmadan bir küme tanımlamaya izin vermemektedir. Bu durumda bize yeni bir aksiyom gerekmektedir:

 4. Birleşim Aksiyomu 
 bir küme olsun. O zaman öyle bir  kümesi vardır ki 'nın elemanlarının birinde bulunan her eleman 'de bulunur. Bahsedilen , 'nın elemanlarının birleşimi değildir, daha büyük de olabilir. Ancak 'yi ve 3. aksiyomu kullanarak 'yı da kolaylıkla tanımlayabiliriz: Dikkat edilmesi gerekir ki bu aksiyomla halen 'yi tanımlamak mümkün değildir, çünkü daha  ve 'yi içeren bir kümenin varlığını garantileyen hiçbir şey yok. Buna mukabil 'i tanımlamak mümkündür,  şeklinde. Yani bu ilk 4 aksiyomla sahip olduğumuz kümeleri büyütmenin hiçbir yolu yok ve daha sadece boşkümenin varlığından kesin olarak eminiz; başka kümeler olabilir de, olmayabilir de. Bu iki sorunu çözmek, yeni bir aksiyomu istilzam eder:

 5. Eşleme Aksiyomu 
 ve  iki küme olsun. O zaman bu iki kümeyi içeren bir küme mevcuttur. Bu  kümesini bulduktan sonra 3. aksiyomun yardımıyla sadece  ve 'den oluşan bir küme tanımlayabiliriz: Dahası, aynı kümeyi iki kere kullanarak, yani  şeklinde 'yi seçerek  kümesini de tanımlayabiliriz. Bu bizim daha büyük kümeler tanımlamamıza olanak sağlar, mesela artık boşküme dışında  kümesinin de olduğunu biliyoruz. Ayrıca 'yi de tanımlayabiliriz,  şeklinde.

Hatta şimdi doğal sayıları tanımlamak da mümkündür.  ile  kümesini tanımlayalım. O zaman, tüm doğal sayılar şu şekilde tanımlanabilir:





 ve saire

Kısaca 'ı  olarak tanımladık. Sonrasında gelen her  için 'i de  olarak tanımladık. Bu tanımda bir nevi tümevarım söz konusudur. Ancak tüm doğal sayıları tanımlamış olsak da daha doğal sayılar kümesinin varlığından haberdar değiliz. Hatta hiçbir sonsuz kümenin varlığından haberdar değiliz, çünkü şu ana kadar olan tüm aksiyomlar, sonlu kümelerden sadece sonlu kümeler üretebiliyor.

 6. Sonsuzluk Aksiyomu 
'yi, ve içerdiği her  kümesi için 'i içeren bir küme vardır. Günlük dille bu aksiyom, "sonsuz bir küme vardır" şeklinde özetlenebilir.

Bu sözü geçen küme doğal sayılar kümesi olmak zorunda değildir, ancak doğal sayılar kümesini bu kümenin içinde bulmak mümkündür: Burada 'yi, 'ı ve içerdiği her  için 'i içeren tüm kümelerin kesişimi olarak tanımlamış bulunmaktayız.

Şu ana kadarki aksiyomlarla sonlu ve sayılabilir sonsuzlukta olan kümeler oluşturmak mümkündür. Lâkin bu aksiyomlar, daha fonksiyonları ve kartezyen çarpımları tanımlamaya yetmemektedir ve daha sayılamaz sonsuzlukta kümelerin varlığını göstermek de mümkün değildir. Dahası, "sonlu" ve "sayılabilir sonsuz" kavramlarını tanımlamak için de bu aksiyomlar yetmez. Bunun için yeni bir aksiyom gerekmektedir:

 7. Güç Kümesi Aksiyomu 
 bir küme olsun. 'nın altkümelerini içeren bir küme mevcuttur. Bu kümenin içinden 3. aksiyomla 'nın altkümelerinden oluşan güç kümesini bulmak mümkündür: Dahası, 5. aksiyomla kartezyen ikilileri tanımlamak da mümkündür:Kanıtlanabileceği üzere , ancak ve ancak  ve  olduğunda geçerli olur. Güç kümesi aksiyomu sayesinde de iki kümenin kartezyen çarpımını tanımlamak da mümkündür: Kartezyen çarpımları kullanarak fonksiyonları ve ilişkileri de tanımlamak mümkündür. Bu noktadan itibaren bu kavramların tanımlandığı varsayılacaktır.

 Diğer Aksiyomlar 
Sonraki iki aksiyom ise sadece matematiğin ileri seviye alanlarında kullanılmaktadır. Bu aksiyomların özellikle ilki, ZFC'nin çelişkisiz olmasını sağlayıp Russel paradoksunu engeller.

 8. Düzenlilik Aksiyomu 
Boş olmayan her  kümesinin içinde öyle bir  elemanı vardır ki  olsun. Böylece hiçbir  kümesi için  olamaz, zira  kümesinin içinde bulunan tek eleman olan ,  özelliğini sağlamak zorunda olduğundan  souncu çıkardı. 3. aksiyomdaki kısıtlamayla beraber bu durum, Russel paradoksunun ve benzeri bir sürü paradoksun önüne geçmektedir. Aynı şekilde, tüm kümelerin kümesi gibi çelişki dolu kavramları da kuramın dışında tutmaktadır. Benzer bir şekilde  gibi daha uzun zincirlerin varlığı da bu şekilde çürütülebilmektedir.

 9. Yerleştirme Aksiyomu 
, her  için sadece bir  için doğru olan bir önerme olsun. O zaman her  için doğruluğu sağlayan 'lerden oluşan bir küme vardır. Burada , tanım kümesi olmayan bir fonksiyon gibidir. Bu aksiyom, 3. aksiyomu ihlâl ederek daha bir üst küme olmadan yeni bir küme oluşturmaktadır. 'ye bir fonksiyon gibi bakarsak, oluşan küme de 'nin görüntü kümesine benzer.

Bu aksiyom temel matematikte kullanılmaz, ama ordinallerin teorisinde büyük önem taşır. Ayrıyeten bazı kanıtları oldukça kısalttığından modern matematikte ZFC'nin bir parçası olarak kabul görmüştür.

 Seçim aksiyomu 
Sonuncu aksiyom olan seçim aksiyomu, 20. yüzyılın başında matematikçiler arasında büyük tartışmalara yol açmıştır. Kurt Gödel ve Paul Cohen tarafından seçim aksiyomunun ZF'den bağımsız olduğu kanıtlanınca, seçim aksiyomu olmadan kanıtlanamayan onlarca teorem olduğundan bu aksiyom da küme kuramının bir parçası olarak kabul görmüştür. Ancak matematik camiasında seçim aksiyomu ve sonuçları kullanmadan yapılan kanıtlar daha güzel görülmektedir ve mümkünse bu tarz kanıtlar tercih edilir.

 10. Seçim Aksiyomu 
Her  kümesi için,  ise öyle bir  fonksiyonu bulunur ki her  için  olur.Kısaca, bir kümenin hiçbir elemanı boş değilse, her elemandan bir eleman seçip yeni bir küme oluşturmak mümkündür. Aksiyom, bu kümenin nasıl oluşturulduğu konusunda hiçbir bilgi vermez, sadece varlığını garantiler.

Yüzlerce yıldır matematikçiler, bu aksiyomun bariz olduğunu zannederek kanıtlarını yapsalar da 19. yüzyılın sonuna doğru bu varsayımın bariz olmadığı anlaşılmıştır. Sadece seçim aksiyomunu kullanarak kanıtlanabilen onlarca matematiksel hakikat mevcuttur, meselâ seçim aksiyomu olmadan her vektör uzayının bir tabanının olduğu kanıtlanamaz. Ancak seçim aksiyomu sayesinde çok beklenmedik şeyler de kanıtlanabilir, mesela Banach-Tarski paradoksunda seçim aksiyomu ile bir küreyi 5 parçaya bölüp, sadece döndürüp oynatarak bu 5 parçayı birleştirerek 2 eş küre elde etmek mümkündür.

Bu şekilde oluşturulan kümelerin bazen neye benzediğini tahayyül etmek bile mümkün değildir. Bu yüzden matematikçiler bu aksiyomu kullanmayı çok hazmedemez ve olduğu kadarıyla kullanmaktan kaçınmayı dener.

Bu aksiyomun çok önemli sonuçlarından biri, Zorn önsavıdır.

 Kaynakça 
Russel paradoksu 

Bertrand Russel ve Frege 

Kategori:Kümeler teorisi