Sıralı olma özelliği nedir 9. sınıf matematik Test 2

Bir küme üzerinde tanımlı sıralama bağıntısının hem tam sıralama hem de iyi sıralama olabilmesi için aşağıdaki koşullardan hangisi sağlanmalıdır?

A) Küme sonlu olmalıdır
B) Küme sayılabilir sonsuz olmalıdır
C) Kümenin her alt kümesinin en küçük elemanı olmalıdır
D) Kümenin maksimum elemanı olmalıdır

Merhaba sevgili öğrenciler,

Bu soruda, bir küme üzerinde tanımlı bir sıralama bağıntısının hem tam sıralama hem de iyi sıralama olabilmesi için hangi koşulun sağlanması gerektiğini anlamamız isteniyor. Bu kavramları adım adım inceleyelim:

• 1. Tam Sıralama (Total Ordering) Nedir?

  Bir küme üzerindeki bir bağıntının tam sıralama olabilmesi için aşağıdaki özellikleri taşıması gerekir:

  • Yansıma (Reflexivity): Kümedeki her eleman kendisiyle ilişkilidir. Yani, her $a$ elemanı için $a \le a$ olmalıdır.
  • Ters Simetri (Antisymmetry): Eğer $a \le b$ ve $b \le a$ ise, o zaman $a = b$ olmalıdır.
  • Geçişme (Transitivity): Eğer $a \le b$ ve $b \le c$ ise, o zaman $a \le c$ olmalıdır.
  • Toplamlık (Comparability/Totality): Kümedeki herhangi iki eleman $a$ ve $b$ için, ya $a \le b$ ya da $b \le a$ olmalıdır. Yani, her zaman birbiriyle karşılaştırılabilir olmalıdırlar.

  Örneğin, doğal sayılar kümesi $\mathbb{N} = \{0, 1, 2, ...\}$ üzerinde tanımlı olağan "küçük veya eşit" $(\le)$ bağıntısı bir tam sıralamadır.

• 2. İyi Sıralama (Well-Ordering) Nedir?

  Bir küme üzerindeki bir bağıntının iyi sıralama olabilmesi için, öncelikle bir tam sıralama olması gerekir. Buna ek olarak, aşağıdaki koşulu da sağlamalıdır:

  • Her Alt Kümenin En Küçük Elemanı Olması: Kümenin boş olmayan her alt kümesinin, bu sıralama bağıntısına göre bir en küçük (minimum) elemanı olmalıdır.

  Yine doğal sayılar kümesi $\mathbb{N}$ ve olağan $\le$ bağıntısı iyi sıralamaya güzel bir örnektir. $\mathbb{N}$'nin boş olmayan her alt kümesinin (örneğin $\{5, 8, 20\}$, en küçük eleman $5$; veya çift sayılar kümesi $\{0, 2, 4, ...\}$, en küçük eleman $0$) bir en küçük elemanı vardır.

  Ancak, tam sayılar kümesi $\mathbb{Z} = \{..., -2, -1, 0, 1, 2, ...\}$ üzerinde olağan $\le$ bağıntısı bir tam sıralama olmasına rağmen, iyi sıralama değildir. Çünkü $\mathbb{Z}$'nin kendisi veya negatif tam sayılar alt kümesi gibi boş olmayan bazı alt kümelerinin (örneğin $\{-5, -10, -3\}$ alt kümesinin en küçük elemanı $-10$ olsa da, tüm $\mathbb{Z}$'nin veya negatif tam sayıların bir en küçük elemanı yoktur) bir en küçük elemanı yoktur.

• 3. Seçeneklerin Değerlendirilmesi:
  • A) Küme sonlu olmalıdır: Sonlu bir küme üzerindeki her tam sıralama aynı zamanda iyi sıralamadır. Ancak, iyi sıralı bir kümenin sonlu olması zorunlu değildir (örneğin $\mathbb{N}$ sonsuzdur ama iyi sıralıdır). Dolayısıyla bu, iyi sıralama için gerekli bir koşul değildir.
  • B) Küme sayılabilir sonsuz olmalıdır: $\mathbb{N}$ sayılabilir sonsuz ve iyi sıralıdır. Ancak sonlu kümeler de iyi sıralıdır. Ayrıca, Seçim Aksiyomu ile her kümenin iyi sıralanabileceği gösterilebilir, bu da sayılabilir sonsuzluktan daha genel bir durumdur. Dolayısıyla bu da gerekli bir koşul değildir.
  • C) Kümenin her alt kümesinin en küçük elemanı olmalıdır: Bu ifade, iyi sıralamanın tanımının tam da kendisidir. Bir bağıntı zaten tam sıralama ise, bu ek koşulu sağladığında iyi sıralama olur.
  • D) Kümenin maksimum elemanı olmalıdır: İyi sıralı bir kümenin maksimum elemanı olmak zorunda değildir. Örneğin, doğal sayılar kümesi $\mathbb{N}$ iyi sıralıdır ama bir maksimum elemanı yoktur. Dolayısıyla bu da gerekli bir koşul değildir.

Sonuç olarak, bir küme üzerinde tanımlı sıralama bağıntısının hem tam sıralama hem de iyi sıralama olabilmesi için, tam sıralama koşullarına ek olarak, kümenin boş olmayan her alt kümesinin bir en küçük elemanının olması gerekir.

Cevap C seçeneğidir.