Bir kümede tanımlı sıralama bağıntısının herhangi iki elemanı karşılaştırılabiliyorsa bu tür sıralamaya ne ad verilir?
A) Kısmi sıralamaBu soruyu çözmek için öncelikle sıralama bağıntılarının temel özelliklerini ve farklı sıralama türlerini hatırlayalım.
Bir küme üzerinde tanımlı bir bağıntının sıralama bağıntısı olabilmesi için üç temel özelliği sağlaması gerekir: Yansıma (her $a$ elemanı için $a \le a$), Ters Simetri (eğer $a \le b$ ve $b \le a$ ise, $a = b$) ve Geçişme (eğer $a \le b$ ve $b \le c$ ise, $a \le c$).
Soru, bu sıralama bağıntısının herhangi iki elemanı karşılaştırılabilir olmasını vurguluyor. Bir kümedeki iki eleman $a$ ve $b$, eğer $a \le b$ veya $b \le a$ koşullarından en az birini sağlıyorsa, bu elemanlara karşılaştırılabilir denir.
Şimdi seçenekleri inceleyelim:
A) Kısmi sıralama: Bir küme üzerinde yansıma, ters simetri ve geçişme özelliklerini sağlayan bir bağıntıya kısmi sıralama denir. Kısmi sıralamada, kümedeki her iki elemanın karşılaştırılabilir olması şart değildir. Örneğin, bir kümenin alt kümeleri arasındaki "alt küme olma" bağıntısı ($\subseteq$) bir kısmi sıralamadır. $\{1,2\}$ ve $\{1,3\}$ kümeleri birbirleriyle karşılaştırılamazlar (ne biri diğerinin alt kümesidir ne de tersi).
B) Tam sıralama (Doğrusal sıralama): Bir küme üzerinde tanımlı bir kısmi sıralama bağıntısı, ek olarak kümedeki herhangi iki elemanın karşılaştırılabilir olması özelliğini de sağlıyorsa, bu bağıntıya tam sıralama bağıntısı denir. Yani, kümedeki her $a$ ve $b$ elemanı için ya $a \le b$ ya da $b \le a$ koşulu mutlaka sağlanmalıdır. Gerçek sayılar kümesi $\mathbb{R}$ üzerindeki "küçük veya eşit olma" bağıntısı ($\le$) buna güzel bir örnektir; herhangi iki gerçek sayıyı her zaman karşılaştırabiliriz.
C) İyi sıralama: İyi sıralama, bir tam sıralamanın daha özel bir halidir. Bir küme üzerinde tanımlı bir tam sıralama bağıntısı, kümenin boş olmayan her alt kümesinin en az bir elemana sahip olmasını sağlıyorsa, bu sıralamaya iyi sıralama denir. Doğal sayılar kümesi $\mathbb{N}$ üzerindeki $\le$ bağıntısı bir iyi sıralamadır. Ancak tam sayılar kümesi $\mathbb{Z}$ üzerindeki $\le$ bağıntısı bir tam sıralamadır ama iyi sıralama değildir (örneğin, negatif tam sayılardan oluşan bir alt kümenin en küçük elemanı yoktur).
D) Ters sıralama: Ters sıralama, mevcut bir sıralama bağıntısının yönünün değiştirilmesiyle elde edilen bir bağıntıdır. Örneğin, $\le$ bağıntısının tersi $\ge$ bağıntısıdır. Bu, bir sıralamanın türünü değil, mevcut bir sıralamanın farklı bir versiyonunu ifade eder.
Soru metninde belirtilen "herhangi iki elemanı karşılaştırılabiliyorsa" ifadesi, doğrudan tam sıralamanın tanımına işaret etmektedir.
Cevap B seçeneğidir.
