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

Bir kümede tanımlı bağıntının sıralama bağıntısı olabilmesi için aşağıdaki özelliklerden hangisi zorunlu değildir?

A) Her elemanın kendisi ile ilişkili olması
B) Farklı elemanlar arasında karşılaştırma yapılabilmesi
C) İlişkinin simetrik olması
D) İlişkinin geçişli olması

Merhaba sevgili öğrenciler!

Bir kümede tanımlı bir bağıntının "sıralama bağıntısı" (veya kısmi sıralama bağıntısı) olabilmesi için taşıması gereken belirli özellikler vardır. Bu özellikler, elemanlar arasında bir düzen veya hiyerarşi kurmamızı sağlar. Şimdi, sıralama bağıntısının zorunlu özelliklerini hatırlayalım ve seçenekleri bu bilgiler ışığında değerlendirelim.

• Sıralama Bağıntısının Zorunlu Özellikleri:

  Bir $R$ bağıntısının bir $A$ kümesi üzerinde sıralama bağıntısı olabilmesi için aşağıdaki üç özelliği sağlaması gerekir:

  • Yansıma (Reflexivity): Her eleman kendisiyle ilişkilidir. Yani, her $a \in A$ için $a R a$ olmalıdır. (Örnek: Sayılar için $a \le a$ her zaman doğrudur.)
  • Ters Simetri (Antisymmetry): Eğer iki farklı eleman birbirleriyle her iki yönde de ilişkiliyse, bu elemanlar aslında aynı olmalıdır. Yani, her $a, b \in A$ için, eğer $a R b$ ve $b R a$ ise, o zaman $a = b$ olmalıdır. (Örnek: Eğer $a \le b$ ve $b \le a$ ise, $a=b$ olmak zorundadır.)
  • Geçişme (Transitivity): Eğer bir eleman ikincisiyle ve ikinci eleman üçüncüsüyle ilişkiliyse, birinci eleman da üçüncüsüyle ilişkili olmalıdır. Yani, her $a, b, c \in A$ için, eğer $a R b$ ve $b R c$ ise, o zaman $a R c$ olmalıdır. (Örnek: Eğer $a \le b$ ve $b \le c$ ise, $a \le c$ olmak zorundadır.)
• Seçeneklerin Değerlendirilmesi:
  • A) Her elemanın kendisi ile ilişkili olması:

    Bu özellik, yukarıda tanımladığımız yansıma (reflexivity) özelliğidir. Sıralama bağıntısının zorunlu bir özelliğidir. Dolayısıyla A seçeneği zorunludur.

  • B) Farklı elemanlar arasında karşılaştırma yapılabilmesi:

    Bir sıralama bağıntısı, elemanlar arasında bir karşılaştırma mekanizması sunar. Ancak, "farklı elemanlar arasında karşılaştırma yapılabilmesi" ifadesi, her zaman her farklı eleman çiftinin birbiriyle ilişkili olması gerektiği anlamına gelmez. Eğer her $a, b \in A$ için ya $a R b$ ya da $b R a$ oluyorsa, bu bağıntıya tam sıralama (total order) denir. Genel bir sıralama bağıntısı (kısmi sıralama) için, bazı elemanlar birbiriyle karşılaştırılamaz olabilir (örneğin, bir kümenin alt kümeleri arasındaki kapsama bağıntısında, bazı alt kümeler birbirini kapsamaz). Dolayısıyla, bu özellik *tüm* sıralama bağıntıları için zorunlu değildir; sadece tam sıralamalar için zorunludur.

  • C) İlişkinin simetrik olması:

    Bu özellik, simetri (symmetry) olarak adlandırılır. Bir bağıntı simetrikse, $a R b$ olduğunda $b R a$ da olmak zorundadır. Ancak, sıralama bağıntıları için aradığımız özellik ters simetri (antisymmetry)'dir. Simetri ve ters simetri, genellikle birbirine zıt kavramlardır (eğer kümede birden fazla eleman varsa). Örneğin, "küçük veya eşit" ($\le$) bağıntısı simetrik değildir; eğer $a \le b$ ise, $b \le a$ olması için $a$ ve $b$'nin eşit olması gerekir. Bu nedenle, simetri özelliği sıralama bağıntısı için zorunlu *değildir*, hatta sıralama bağıntısının doğasına aykırıdır. Bu özellik, genellikle denklik bağıntılarında aranır.

  • D) İlişkinin geçişli olması:

    Bu özellik, yukarıda tanımladığımız geçişme (transitivity) özelliğidir. Sıralama bağıntısının zorunlu bir özelliğidir. Dolayısıyla D seçeneği zorunludur.

Yukarıdaki değerlendirmelere göre, bir sıralama bağıntısı için zorunlu olmayan özellik "ilişkinin simetrik olması"dır.

Cevap C seçeneğidir.