Bir öğrenci doğal sayılar kümesinin sıralı olup olmadığını araştırıyor. Aşağıdaki gözlemlerden hangisi bu kümenin tam sıralı bir küme olduğunu kanıtlamada kullanılamaz?
A) 3 ≤ 5 ve 5 ≤ 7 ise 3 ≤ 7'dir
B) 4 ≤ 4 her zaman doğrudur
C) 2 ≤ 6 ve 6 ≤ 2 ise 2 = 6'dır
D) 5 sayısı 3'ten büyüktür
Doğal sayılar kümesinin tam sıralı bir küme olduğunu kanıtlamak için, bu kümenin ve üzerindeki $\leq$ (küçük eşit) ilişkisinin belirli özellikleri sağlaması gerekir. Bir kümenin tam sıralı olması için sağlaması gereken dört temel özellik (aksiyom) vardır:
- Yansıma Özelliği (Reflexivity): Her $a$ elemanı için $a \leq a$ olmalıdır.
- Ters Simetri Özelliği (Antisymmetry): Eğer $a \leq b$ ve $b \leq a$ ise, $a = b$ olmalıdır.
- Geçişme Özelliği (Transitivity): Eğer $a \leq b$ ve $b \leq c$ ise, $a \leq c$ olmalıdır.
- Karşılaştırılabilirlik Özelliği (Comparability/Totality): Kümedeki herhangi iki $a$ ve $b$ elemanı için, ya $a \leq b$ ya da $b \leq a$ olmalıdır.
Şimdi seçenekleri bu özellikler açısından inceleyelim:
- A) $3 \leq 5$ ve $5 \leq 7$ ise $3 \leq 7$'dir: Bu ifade, Geçişme Özelliği'ni (Transitivity) örneklemektedir. Eğer bir eleman diğerinden küçük eşit ve o da üçüncü bir elemandan küçük eşitse, ilk eleman üçüncüden küçük eşittir. Bu, tam sıralı bir kümenin temel bir özelliğidir ve kanıtlamada kullanılır.
- B) $4 \leq 4$ her zaman doğrudur: Bu ifade, Yansıma Özelliği'ni (Reflexivity) örneklemektedir. Her elemanın kendisine küçük eşit olduğunu belirtir. Bu da tam sıralı bir kümenin temel bir özelliğidir ve kanıtlamada kullanılır.
- C) $2 \leq 6$ ve $6 \leq 2$ ise $2 = 6$'dır: Bu ifade, Ters Simetri Özelliği'ni (Antisymmetry) örneklemektedir. Eğer iki eleman birbirine hem küçük eşit hem de büyük eşitse, bu elemanlar birbirine eşittir. Bu da tam sıralı bir kümenin temel bir özelliğidir ve kanıtlamada kullanılır.
- D) $5$ sayısı $3$'ten büyüktür: Bu ifade, $3 \leq 5$ ilişkisinin spesifik bir örneğidir. Bu, doğal sayılar kümesinde iki sayının karşılaştırılabildiğini (Karşılaştırılabilirlik Özelliği'nin bir örneği) gösterir. Ancak, bu sadece belirli iki sayı arasındaki bir gözlemdir. Bir kümenin tam sıralı olduğunu kanıtlamak için, bu özelliğin (Karşılaştırılabilirlik) kümedeki tüm eleman çiftleri için geçerli olduğunu genel bir ifadeyle göstermek gerekir. Tek bir örnek, genel bir özelliği kanıtlamak için yeterli değildir. Diğer seçenekler ise doğrudan tam sıralı kümenin aksiyomlarını (genel kurallarını) ifade etmektedir.
Bu nedenle, $5$ sayısının $3$'ten büyük olması, doğal sayılar kümesinin tam sıralı olduğunu gösteren genel bir kanıt veya aksiyom değildir; sadece bu özelliğin tek bir örneğidir.
Cevap D seçeneğidir.
