Tam sayılar kümesi üzerindeki doğal sıralama ile ilgili aşağıdaki ifadelerden hangisi doğrudur?
A) Lineer (tam) sıralıdır
B) Kısmi sıralıdır
C) İyi sıralıdır
D) Hiçbiri
Tam sayılar kümesi ($\mathbb{Z}$) üzerindeki doğal sıralama, bildiğimiz "küçüktür veya eşittir" ($\le$) ilişkisidir. Bir sıralama ilişkisinin hangi türde olduğunu anlamak için temel tanımları gözden geçirelim:
- Sıralama İlişkisi (Order Relation): Bir küme üzerinde tanımlı, yansımalı (reflexive), ters-simetrik (antisymmetric) ve geçişli (transitive) bir ikili ilişkidir. Doğal sıralama bu özellikleri sağlar:
- Yansımalı: Her $a \in \mathbb{Z}$ için $a \le a$. (Örn: $5 \le 5$)
- Ters-simetrik: Her $a, b \in \mathbb{Z}$ için, eğer $a \le b$ ve $b \le a$ ise, o zaman $a = b$. (Örn: $5 \le 5$ ve $5 \le 5$ ise $5=5$)
- Geçişli: Her $a, b, c \in \mathbb{Z}$ için, eğer $a \le b$ ve $b \le c$ ise, o zaman $a \le c$. (Örn: $2 \le 5$ ve $5 \le 8$ ise $2 \le 8$)
- Kısmi Sıralama (Partial Order): Yukarıdaki üç özelliği taşıyan her sıralama ilişkisi kısmi sıralamadır. Kısmi sıralamada, kümedeki bazı elemanlar birbiriyle karşılaştırılamayabilir. Örneğin, bir kümenin alt kümeleri arasındaki kapsama ilişkisi ($\subseteq$) kısmi sıralamadır; bazı alt kümeler birbirini kapsamaz ve eşit de değildir.
- Lineer (Tam) Sıralama (Linear/Total Order): Kısmi sıralama özelliklerine ek olarak, kümedeki her $a, b$ eleman çifti için ya $a \le b$ ya da $b \le a$ koşulunu sağlayan bir sıralamadır. Yani, kümedeki herhangi iki eleman her zaman birbiriyle karşılaştırılabilir. Tam sayılar kümesi üzerindeki doğal sıralama bu özelliği sağlar: herhangi iki tam sayı verildiğinde, her zaman birinin diğerinden küçük veya eşit olduğunu söyleyebiliriz. Örneğin, $3$ ve $7$ için $3 \le 7$; $-5$ ve $2$ için $-5 \le 2$.
- İyi Sıralama (Well-Order): Bir küme üzerindeki bir sıralama ilişkisi, eğer kümenin her boş olmayan alt kümesinin bu sıralamaya göre bir en küçük elemanı varsa, iyi sıralıdır denir. Doğal sayılar kümesi ($\mathbb{N}$) doğal sıralamasıyla iyi sıralıdır (her boş olmayan doğal sayılar kümesinin bir en küçük elemanı vardır). Ancak tam sayılar kümesi ($\mathbb{Z}$) doğal sıralamasıyla iyi sıralı değildir. Örneğin, $\mathbb{Z}$ kümesinin kendisinin bir en küçük elemanı yoktur (negatif sayılar sonsuza kadar gider). Ya da negatif tam sayılar kümesi $\{-1, -2, -3, \dots\}$ boş olmayan bir alt kümedir ve bu kümenin de bir en küçük elemanı yoktur.
Bu tanımlar ışığında, tam sayılar kümesi üzerindeki doğal sıralamayı inceleyelim:
- Doğal sıralama, kısmi sıralama özelliklerini (yansımalı, ters-simetrik, geçişli) sağladığı için aynı zamanda bir kısmi sıralamadır. Ancak bu en belirgin özelliği değildir.
- Doğal sıralama, tam sayılar kümesindeki herhangi iki elemanı birbiriyle karşılaştırmamıza olanak tanır. Yani, her $a, b \in \mathbb{Z}$ için ya $a \le b$ ya da $b \le a$ (veya ikisi de $a=b$ durumunda) doğrudur. Bu özellik, sıralamanın "lineer" veya "tam" olduğunu gösterir.
- Doğal sıralama, tam sayılar kümesini iyi sıralamaz, çünkü $\mathbb{Z}$'nin bazı boş olmayan alt kümelerinin (örneğin $\mathbb{Z}$'nin kendisi veya negatif tam sayılar kümesi) en küçük elemanı yoktur.
Sonuç olarak, tam sayılar kümesi üzerindeki doğal sıralama, her eleman çiftinin karşılaştırılabilir olması özelliği nedeniyle lineer (tam) sıralıdır.
Cevap A seçeneğidir.
