Tam sayılar kümesinin sıralı bir küme olduğunu gösteren temel özellik aşağıdakilerden hangisidir?
A) Her tam sayının bir negatifi vardır
B) Tam sayılar kümesi sayılabilir sonsuzluktadır
C) Herhangi iki tam sayı arasında <, = veya > ilişkilerinden biri mutlaka vardır
D) Tam sayılar toplama işlemine göre kapalıdır
Bir kümenin "sıralı bir küme" olması, o kümenin elemanları arasında bir karşılaştırma ilişkisi kurulabilmesi ve bu ilişkinin belirli kurallara uyması anlamına gelir. Başka bir deyişle, kümedeki herhangi iki elemanı alıp hangisinin daha küçük, hangisinin daha büyük olduğunu veya birbirine eşit olup olmadığını belirleyebilmeliyiz. Şimdi seçenekleri inceleyelim:
- A) Her tam sayının bir negatifi vardır: Bu ifade doğrudur. Örneğin, $3$ tam sayısının negatifi $-3$'tür. Bu özellik, tam sayıların toplama işlemine göre bir grup oluşturduğunu gösteren bir özelliktir (toplamsal ters eleman). Ancak, elemanlar arasındaki sıralama ilişkisini doğrudan tanımlamaz.
- B) Tam sayılar kümesi sayılabilir sonsuzluktadır: Bu ifade de doğrudur. Tam sayılar kümesi, doğal sayılar kümesiyle birebir eşlenebilir, bu da onun sayılabilir sonsuz olduğunu gösterir. Bu özellik, kümenin "büyüklüğü" veya "kardinalitesi" ile ilgilidir, elemanların nasıl sıralandığıyla değil.
- C) Herhangi iki tam sayı arasında $<, =, >$ ilişkilerinden biri mutlaka vardır: Bu ifade, bir kümenin sıralı olmasının temel tanımıdır. Matematikte buna "tam sıralama" veya "doğrusal sıralama" denir. Bu özellik, kümedeki herhangi iki eleman ($a$ ve $b$) için ya $a < b$ (a küçüktür b), ya $a = b$ (a eşittir b) ya da $a > b$ (a büyüktür b) durumlarından sadece birinin doğru olduğunu belirtir. Bu, tam sayıları bir sayı doğrusu üzerinde soldan sağa doğru düzenleyebilmemizi sağlayan temel özelliktir. Bu özellik sayesinde tam sayıları küçükten büyüğe doğru sıralayabiliriz.
- D) Tam sayılar toplama işlemine göre kapalıdır: Bu ifade doğrudur. Herhangi iki tam sayıyı topladığımızda sonuç yine bir tam sayıdır (örneğin, $5 + (-2) = 3$). Bu özellik, tam sayıların toplama işlemi altında bir cebirsel yapı (grup) oluşturduğunu gösterir. Ancak, elemanların birbirine göre sıralanışıyla ilgili değildir.
Yukarıdaki açıklamalardan da anlaşılacağı üzere, bir kümenin "sıralı" olmasını sağlayan temel özellik, o kümenin elemanları arasında tam bir karşılaştırma ilişkisinin (küçüktür, eşittir, büyüktür) bulunmasıdır.
Cevap C seçeneğidir.
