Sıralı olma özelliği ile ilgili sorular Test 2

Bir kümenin sıralı olma özelliği ile ilgili aşağıdaki ifadelerden hangisi yanlıştır?

A) Her eleman kendisi ile karşılaştırılabilir
B) Farklı elemanlar arasında üç durumdan biri gerçekleşir
C) Elemanlar arasındaki ilişki geçişlidir
D) Herhangi iki eleman birbirine eşit olmak zorundadır

Bir kümenin sıralı olma özelliği (veya bir küme üzerinde bir sıralama ilişkisi tanımlanması), o kümenin elemanları arasında belirli kurallara uyan bir ilişki (genellikle "küçük veya eşit" olarak düşünebileceğimiz bir $\leq$ ilişkisi) bulunması anlamına gelir. Bu kurallar, bir sıralama ilişkisinin temel aksiyomlarıdır. Şimdi seçenekleri inceleyelim:

• A) Her eleman kendisi ile karşılaştırılabilir

  Bu özellik, sıralama ilişkisinin yansıma (reflexivity) özelliğidir. Yani, bir kümenin her $a$ elemanı için $a \leq a$ ilişkisi geçerlidir. Örneğin, $5 \leq 5$ doğrudur. Bu, sıralı bir kümenin temel bir özelliğidir. Dolayısıyla bu ifade doğrudur.

• B) Farklı elemanlar arasında üç durumdan biri gerçekleşir

  Bu özellik, sıralama ilişkisinin tamlık (totality) veya karşılaştırılabilirlik (comparability) özelliğini ve ters simetri (antisymmetry) özelliğini bir araya getirir. Bir kümenin herhangi iki farklı $a$ ve $b$ elemanı için ya $a < b$ ya da $b < a$ durumu geçerlidir. Eğer elemanlar farklı değilse (yani aynı elemanlarsa), o zaman $a=b$ durumu da söz konusudur. Genel olarak, herhangi iki $a, b$ elemanı için $a < b$, $b < a$ veya $a = b$ durumlarından sadece biri geçerlidir. Bu, sıralı bir kümenin (özellikle tam sıralı bir kümenin) önemli bir özelliğidir. Dolayısıyla bu ifade doğrudur.

• C) Elemanlar arasındaki ilişki geçişlidir

  Bu özellik, sıralama ilişkisinin geçişme (transitivity) özelliğidir. Yani, bir kümenin $a, b, c$ elemanları için, eğer $a \leq b$ ve $b \leq c$ ise, o zaman $a \leq c$ ilişkisi de geçerlidir. Örneğin, $2 \leq 5$ ve $5 \leq 8$ ise, $2 \leq 8$ doğrudur. Bu, sıralı bir kümenin temel bir özelliğidir. Dolayısıyla bu ifade doğrudur.

• D) Herhangi iki eleman birbirine eşit olmak zorundadır

  Bu ifade, sıralı bir kümenin tanımına tamamen aykırıdır. Bir kümenin sıralı olması, elemanlarının birbirine eşit olması gerektiği anlamına gelmez. Aksine, sıralama ilişkisi, farklı elemanların (örneğin $1, 2, 3$ gibi) nasıl birbiriyle ilişkili olduğunu (örneğin $1 < 2 < 3$) tanımlar. Eğer bu ifade doğru olsaydı, sıralı bir küme sadece tek bir elemandan oluşabilirdi (örneğin $\{5\}$). Ancak, doğal sayılar kümesi $\mathbb{N}$ veya gerçel sayılar kümesi $\mathbb{R}$ gibi birçok farklı eleman içeren kümeler de sıralıdır. Dolayısıyla bu ifade yanlıştır.

Cevap D seçeneğidir.