İyi sıralılık ilkesi


||Bu maddedeki bazı bilgilerin kaynağı belirtilmemiştir.|


||Bu madde Vikipedi standartlarına uygun değildir. (Mayıs 2015)|
Küme Kuramının Teoremi[değiştir | kaynağı değiştir]
İyi-sıralılık ilkesi, küme kuramının bir önermesidir:
- Her küme iyi sıralı bir küme yapılabilir.
Georg Cantor iyi-sıralılık ilkesini "temel bir uslamlama kuralı" olarak kabul ediyordu. Buna karşın çoğu matematikçi örneğin (Reel Sayılar) kümesinin iyi-sıralı bir küme yapılabileceğinden kuşku duymaktaydı. Örneğin 1904 yılında Julius König bunu tanıtladığını düşünüyordu fakat Felix Hausdorff kısa bir süre sonra tanıtlamada bir hata buldu. Ernst Zermelo, iyi-sıralılık ilkesini tanıtlamak için seçim aksiyomunu "kuşku duyulmaz mantıksal bir ilke" olarak kabul etmiş ancak yine kısa bir süre sonra bu aksiyomun iyi-sıralılık ilkesine denk olduğu anlaşılmıştır. Seçim aksiyomu, dolayısıyla iyi-sıralılık ilkesi, Zermelo-Fraenkel-Küme-Kuramı'ndan bağımsızdır. Başka bir deyişle hem bu ilke hem de karşıtı, çelişki doğmadan doğru olarak kabul edilebilir.
Doğal sayıların özelliği[değiştir | kaynağı değiştir]
- Doğal sayıların boş olmayan her altkümesinde en küçük bir sayı bulunur.
Bu durumdan bazen sonsuz düşüş yöntemini kullanan tanıtlamalarda yararlanılır: Bir S kümesinin tüm doğal sayıları içerdiğini tanıtlamak için tümünü içermediği varsayılabilir ve iyi-sıralılık ilkesi nedeniyle kümenin içermediği en küçük bir doğal sayı bulunur (en küçük karşı örnek). Bu aşamada daha da küçük bir karşı örnek bulunduğu gösterilirse bir çelişki ortaya çıkar. (Alternatif şekilde her karşı örnek için daha küçük bir örnek sayı olduğu dolayısıyla sonsuz şekilde düşülebileceği gösterilebilir; fakat bu durum doğal sayılarda olanaklı değildir.)
Bu tanıtlama yöntemi matematiksel tümevarımın tersidir (aynen "değil-B gerektirir değil-A", "A gerektirir B" ifadesinin tersi olması gibi) fakat yine de doğal sayıların iyi-sıralılık özelliğine dayanır.
|Matematik ile ilgili bu madde bir taslaktır. Madde içeriğini geliştirerek Vikipedi'ye katkıda bulunabilirsiniz.|