Bir kümenin iyi sıralı olması için aşağıdaki özelliklerden hangisi gerekli değildir?
A) Kısmen sıralı olma
B) Tam sıralı olma
C) Boş olmama
D) Her alt kümenin en küçük elemana sahip olması
Merhaba sevgili öğrenciler!
Bir kümenin "iyi sıralı" (well-ordered) olması kavramı, matematikte özellikle küme teorisi ve sıralama ilişkileri konusunda önemli bir yer tutar. Bir kümenin iyi sıralı olması için hangi özelliklerin gerekli olduğunu adım adım inceleyelim.
-
İyi Sıralı Kümenin Tanımı: Bir $S$ kümesi, üzerinde tanımlı bir $ \le $ sıralama ilişkisi ile birlikte iyi sıralıdır denir, eğer aşağıdaki iki koşulu sağlıyorsa:
- $ (S, \le) $ bir tam sıralı kümedir (totally ordered set). Yani, $S$'deki herhangi iki eleman $a, b$ için ya $a \le b$ ya da $b \le a$ ilişkisi geçerlidir.
- $S$'nin her boş olmayan alt kümesinin (non-empty subset) bu sıralama ilişkisine göre bir en küçük elemanı vardır.
-
Seçenekleri İnceleyelim:
-
A) Kısmen sıralı olma: Bir kümenin tam sıralı olması, aynı zamanda kısmen sıralı olduğu anlamına gelir. Tam sıralama, kısmi sıralamanın özel bir halidir (her eleman çiftinin karşılaştırılabilir olması şartı eklenir). İyi sıralı bir küme tam sıralı olmak zorunda olduğundan, kısmen sıralı olmak da zorunlu bir özelliktir. Dolayısıyla, bu gereklidir.
-
B) Tam sıralı olma: İyi sıralı kümenin tanımında açıkça belirtildiği gibi, bir kümenin iyi sıralı olabilmesi için öncelikle tam sıralı olması şarttır. Bu, tanımın doğrudan bir parçasıdır. Dolayısıyla, bu gereklidir.
-
C) Boş olmama: İyi sıralı küme tanımını dikkatlice düşündüğümüzde, boş küme $ \emptyset $ üzerinde bir sıralama ilişkisi tanımlayabiliriz. Boş küme $ \emptyset $ için:
- Tam sıralı mıdır? Evet, boş küme vacuously (boşluktan dolayı) tam sıralıdır, çünkü karşılaştırılabilecek hiçbir eleman çifti yoktur.
- Her boş olmayan alt kümesinin en küçük elemanı var mıdır? Evet, boş kümenin hiçbir boş olmayan alt kümesi yoktur. Dolayısıyla, bu koşul da vacuously sağlanır.
Bu nedenle, boş küme $ \emptyset $ iyi sıralı bir kümedir. Bir kümenin iyi sıralı olması için boş olmaması şartı gerekli değildir, çünkü boş küme de iyi sıralıdır. Dolayısıyla, bu gerekli değildir.
-
D) Her alt kümenin en küçük elemana sahip olması: İyi sıralı kümenin tanımında, "her boş olmayan alt kümesinin en küçük elemanı olması" şartı vardır. Eğer bu ifade "her boş olmayan alt küme" olarak yorumlanırsa, bu iyi sıralı kümenin temel bir özelliğidir ve gereklidir. Boş küme örneğinde de, boş kümenin boş olmayan alt kümesi olmadığı için bu koşul vacuously sağlanır. Bu nedenle, bu özellik (doğru yorumlandığında) iyi sıralı olmanın temel bir gerekliliğidir.
Yukarıdaki analizden de anlaşılacağı üzere, bir kümenin iyi sıralı olması için boş olmaması şartı gerekli değildir, çünkü boş küme de iyi sıralıdır.
Cevap C seçeneğidir.
