Ders 1 Ders 18 | 19: Seçim Fonksiyonları ve Seçim Aksiyomu; ZFC Kümeler Kuramı
Üçüncü Kısım: Seçim Aksiyomu ve Zorn Önsavı
Axiomatic Set Theory (Term II)
AKSİYOMATİK KÜMELER KURAMI (İki dönemlik ders) Ali Nesin, 2010
Hataların, eksikliklerin ve bilumum eleştirilerin anesin@nesinvakfi.org adresine bildirilmesi ricasıyla
Yazılarıyla Katkıda Bulunanlar: İlksen Acunalp Ali Altuğ Aykut Arslan Niyazi Anıl Gezer Tolga Karayayla
İki dönemlik olan bu ders notları en azından ikinci sınıf matematik öğrencilerine yönelik hazırlanmıştır ve her seviyede matematikçinin ilgisini çekeceğini umuyoruz. Amacımız (Georg Cantor’un çığır açan buluşu olan) “bir kümenin eleman sayısı” kavramını tanıtmak ve bunu yaparken kümeler kuramının aksiyomlarını ve önemli temel teoremlerini okura sunmak. Sıralamaların genel teorisini işledikten sonra, ordinalleri ve ordinallerle yapılan toplama, çarpma ve üs alma işlemlerini (Von Neumann’ın yöntemini izleyerek) tanımlayacağız vebu işlemlerin temel özelliklerini kanıtlayacağız. Bu arada ZFC kümeler kuramının çok daha tartışmalı (bir o kadar da heyecanlı) Yerleştirme ve Seçim aksiyomları bir gereksinim olarak belirecek. Seçim Aksiyomu’nun Zorn Önsavı ve İyisıralama Teoremi gibi önemli sonuçlarını göstereceğiz. Zorn Önsavı’nın matematikteki standart uygulamaları dersin önemli (ama illa zorunlu olmayan) bir parçasıdır. Kardinal sayılarıyla ve Süreklilik Hipotezi’yle ders sona erecek.
Üçüncü Kısım: Seçim Aksiyomu ve Zorn Önsavı
Beşinci Kısım: Kardinal Sayılar
| Seans | Konu | Notlar |
|---|---|---|
| 1 | Ders 18 | 19: Seçim Fonksiyonları ve Seçim Aksiyomu; ZFC Kümeler Kuramı | |
| 2 | Ders 20 | 21: Seçim Aksiyomu Neden Doğaldır?; Seçim Aksiyomunun Yaygın Bir Kullanımı | |
| 3 | Ders 22: Zorn Önsavı'na Giriş | |
| 4 | Ders 23: Zorn Önsavı ve Birkaç Sonucu | |
| 5 | Ders 24: İyisıralama Teoremi | |
| 6 | Ders 25: Hausdorf Zincir Teoremi ve Zorn Önsavı'nın Kanıtı | |
| 7 | Ders 26 | 27 | 28 | 29: Zorn Önsavı'nın Cebirsel Uygulamaları; König Önsavı; Hahn-Banach Teoremi; Banach-Tarski Paradoksu | |
| 8 | Ders 30 | 31: Cennete Hoşgeldiniz!; Sonsuz Bir Kümeden Bir Eleman Atmak | |
| 9 | Ders 32: Kardinal Sayıları, Tanım ve İlk Özellikler | |
| 10 | Ders 33 | 34: Kardinal Sayılarıyla İşlemler; Kardinallerde Tümevarım ve ωω | |
| 11 | Ders 35: Sonsuz Kardinallerin Sıralanması | |
| 12 | Ders 36: Süreklilik Hipotezi ve Felsefi Sonuçları |