Doğal sayılar kümesi için aşağıdaki ifadelerden hangisi doğrudur?
A) Kısmen sıralıdırSevgili öğrenciler, bu soruda doğal sayılar kümesinin temel özelliklerinden birini inceleyeceğiz. Matematikte kümelerin nasıl sıralandığı, o kümenin yapısı hakkında bize önemli bilgiler verir. Şimdi adım adım seçenekleri değerlendirelim.
Doğal sayılar kümesi, genellikle $\mathbb{N}$ ile gösterilir ve sayma sayılarını içerir. Yani $\mathbb{N} = \{1, 2, 3, \dots\}$ veya bazı tanımlara göre $\mathbb{N} = \{0, 1, 2, 3, \dots\}$ şeklindedir. Her iki tanımda da doğal sayılar arasında bildiğimiz bir "küçüktür" veya "küçüktür veya eşittir" ($\le$) ilişkisi vardır. Bu ilişki, sayıları belirli bir düzene sokar.
Bir küme, üzerinde tanımlanan bir bağıntı (ilişki) ile "kısmen sıralı" olabilir. Kısmi sıralama, yansımalı (her eleman kendine eşittir), ters simetrik (eğer $a \le b$ ve $b \le a$ ise $a=b$) ve geçişli (eğer $a \le b$ ve $b \le c$ ise $a \le c$) özelliklerini sağlayan bir bağıntıdır. Ancak kısmi sıralı bir kümede, her iki elemanın birbiriyle karşılaştırılabilir olması şart değildir. Örneğin, pozitif tam sayılar kümesinde "bölünebilme" ilişkisi kısmi sıralıdır (2, 3'ü bölmez ve 3 de 2'yi bölmez, yani karşılaştırılamazlar). Doğal sayılar kümesindeki bildiğimiz "küçüktür veya eşittir" ($\le$) ilişkisi ise her iki elemanı da karşılaştırabildiği için (yani $a \le b$ veya $b \le a$ her zaman doğrudur) "tam sıralı" bir ilişkidir. Tam sıralı bir küme aynı zamanda kısmen sıralıdır, ancak doğal sayılar için bu ifade eksik kalır; daha güçlü bir özelliğe sahiptir.
Bir küme, üzerinde tanımlanan bir tam sıralama bağıntısı ile "iyi sıralı" olarak adlandırılır, eğer bu kümenin boş olmayan her alt kümesinin bir en küçük elemanı varsa. Doğal sayılar kümesini düşünelim:
Bu ifade kesinlikle yanlıştır. Doğal sayılar arasında açıkça bir sıralama vardır. $1 < 2 < 3 < \dots$ şeklinde bir düzen mevcuttur.
Bir bağıntı, eğer $a \le b$ olduğunda $b \le a$ da doğru oluyorsa simetriktir. Doğal sayılar kümesindeki "küçüktür veya eşittir" ($\le$) bağıntısı simetrik değildir. Örneğin, $3 \le 5$ doğrudur, ancak $5 \le 3$ doğru değildir. Dolayısıyla bu ifade de yanlıştır.
Yukarıdaki açıklamalardan da anlaşıldığı gibi, doğal sayılar kümesinin en doğru ve özel sıralama özelliği "iyi sıralı" olmasıdır.
Cevap B seçeneğidir.