Seçim aksiyomu
 | Bu madde hiçbir kaynak içermemektedir. (Temmuz 2024) (Bu şablonun nasıl ve ne zaman kaldırılması gerektiğini öğrenin) |
Matematikte seçim aksiyomu, küme teorisinde kullanılan bir aksiyomdur.
Seçim aksiyomu, eğer bir nesne kümeniz varsa ve bu kümeyi her biri en az bir nesne içeren daha küçük kümelere ayırırsanız, bu küçük kümelerin her birinden bir nesne alıp yeni bir küme oluşturmanın mümkün olduğunu açıklar. Bunu yapmak için her zaman seçim aksiyomunu kullanmaya gerek yoktur. Başlangıç kümesi sonluysa veya başlangıç kümesi sonsuzsa ve nasıl bölünebileceğine ilişkin yerleşik bir kuralı varsa seçim aksiyomunu kullanmaya gerek yoktur. Örneğin, herhangi bir (sonsuz veya sonlu) ayakkabı çifti seti için her bir çiftten sol (veya sağ) ayakkabı seçilebilir ancak sonsuz bir çift çorap koleksiyonunda seçim aksiyomuna ihtiyaç vardır. Burada seçim aksiyomu herhangi bir kümenin boş olmayan alt kümelerinin toplanması için yolların her zaman var olduğunu ileri sürer.
Bir çok matematikçi tarafından kabul edilse de varlığı kanıtlanamadığı gibi inkar da edilemediği için diğer birçok kişi bu aksiyomu reddetmekte ve ispatlarda kullanıldığı zaman ispatın kalitesini düşürdüğünü savunmaktadır.[1]
Kaynakça
[değiştir | kaynağı değiştir]- ^ "Seçim Aksiyomu". D.O.F.T. 4 Mayıs 2021. 5 Mayıs 2021 tarihinde kaynağından arşivlendi. Erişim tarihi: 18 Eylül 2024.
Dış bağlantılar
[değiştir | kaynağı değiştir]- Axiom of Choice 16 Temmuz 2019 tarihinde Wayback Machine sitesinde arşivlendi. entry in the Springer Encyclopedia of Mathematics.
- Axiom of Choice and Its Equivalents
- Consequences of the Axiom of Choice 15 Mayıs 2021 tarihinde Wayback Machine sitesinde arşivlendi., based on the book by Paul Howard 26 Şubat 2021 tarihinde Wayback Machine sitesinde arşivlendi. and Jean Rubin.
