Zermelo-Fraenkel küme teorisi

(ZFC kuramı sayfasından yönlendirildi)

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ı.[1]

Ernst Zermelo

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

değiştir

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ı

değiştir

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.[2]

Temel aksiyomlar

değiştir

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

değiştir

İ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

değiştir

Ö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

değiştir

  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

değiştir

  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

değiştir

  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

değiştir

 '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

değiştir

  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

değiştir

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

değiştir

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

değiştir

 , 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

değiştir

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

değiştir

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

değiştir
  1. ^ E. Zermelo, "Über Grenzzahlen und Mengenbereiche." Fund. Math. 16, 29-47, 1930.
  2. ^ Ali Nesin (2010). Sezgisel Kümeler Kuramı. Nesin Yayınevi. ISBN 9786054883394. 

Russel paradoksu 12 Şubat 2022 tarihinde Wayback Machine sitesinde arşivlendi.

Bertrand Russel ve Frege 2 Ocak 2021 tarihinde Wayback Machine sitesinde arşivlendi.