Reel sayılar kümesi \(\mathbb{R}\) bir sıralı cisimdir. Aşağıdaki ifadelerden hangisi sıralı cisim olma koşullarından biri değildir?
A) Toplama ve çarpma işlemleri değişmelidirBir cisim, üzerinde tanımlı toplama ve çarpma işlemleriyle birlikte belirli aksiyomları sağlayan bir cebirsel yapıdır. Sıralı cisim ise, bu cisim yapısına ek olarak, elemanları arasında bir sıralama ilişkisi (küçükten büyüğe) tanımlanmış ve bu sıralamanın cisim işlemleriyle uyumlu olduğu bir yapıdır.
Şimdi seçenekleri tek tek inceleyelim:
Bu, bir cismin temel özelliklerinden biridir. Bir $F$ kümesi, toplama ($+$) ve çarpma ($\cdot$) işlemleriyle birlikte bir cisim oluşturuyorsa, bu işlemlerin değişme (komütatiflik) özelliğini sağlaması gerekir. Yani, her $a, b \in F$ için $a+b = b+a$ ve $a \cdot b = b \cdot a$ olmalıdır.
Dolayısıyla, bu sıralı cisim olma koşullarından biridir.
Bu da bir cismin olmazsa olmaz özelliklerindendir.
Toplamsal ters: Her $a \in F$ için, $a + (-a) = 0$ olacak şekilde bir $-a \in F$ vardır.
Çarpımsal ters: Her $a \in F$, $a \neq 0$ için, $a \cdot a^{-1} = 1$ olacak şekilde bir $a^{-1} \in F$ vardır.
Bu da sıralı cisim olma koşullarından biridir.
Sıralı cisim tanımının "sıralı" kısmını oluşturan temel bir özelliktir. Total sıralama (veya tam sıralama), kümedeki herhangi iki eleman $a$ ve $b$ için ya $a \le b$ ya da $b \le a$ olmasını gerektirir. Yani, kümedeki her eleman çifti birbiriyle karşılaştırılabilir olmalıdır.
Bu da sıralı cisim olma koşullarından biridir.
Bu özellik, bir metrik uzayın veya özel olarak bir sıralı cismin "tamlık" (completeness) özelliğini ifade eder. Tamlık, bir uzayda "boşluk" veya "delik" olmaması anlamına gelir.
Reel sayılar kümesi $\mathbb{R}$ tam bir sıralı cisimdir, yani bu özelliği sağlar. Ancak, tüm sıralı cisimler tam olmak zorunda değildir. Örneğin, rasyonel sayılar kümesi $\mathbb{Q}$ bir sıralı cisimdir, fakat tam değildir. $\mathbb{Q}$'da $\sqrt{2}$'ye yakınsayan bir Cauchy dizisi oluşturulabilir, ancak bu dizi $\mathbb{Q}$ içinde bir limite sahip değildir (çünkü $\sqrt{2} \notin \mathbb{Q}$).
Bu nedenle, "her Cauchy dizisi yakınsaktır" koşulu, bir cismin sıralı cisim olması için gerekli bir koşul değildir; bu, sıralı cismin ek bir özelliği olan tamlık özelliğidir.
Cevap D seçeneğidir.
