İrrasyonel sayılar kümesi ile doğal sayılar kümesinin sıralama özellikleri karşılaştırıldığında hangisi doğrudur?
A) Her ikisi de iyi sıralıdır
B) Yalnızca doğal sayılar iyi sıralıdır
C) Yalnızca irrasyonel sayılar iyi sıralıdır
D) Her ikisi de iyi sıralı değildir
Merhaba sevgili öğrenciler,
Bu soruyu çözmek için öncelikle "iyi sıralı küme" kavramını anlamamız gerekiyor. Bir kümenin iyi sıralı olması ne anlama gelir, birlikte inceleyelim:
-
İyi Sıralı Küme Tanımı: Bir küme, üzerinde tanımlı bir sıralama bağıntısı (genellikle küçükten büyüğe sıralama) altında, eğer her boş olmayan alt kümesinin bir en küçük elemanı varsa, iyi sıralıdır denir. Bu, kümenin kendisinin de bir en küçük elemanı olması gerektiği anlamına gelir.
-
Doğal Sayılar Kümesi ($\mathbb{N}$) İçin İnceleme:
- Doğal sayılar kümesi genellikle $\mathbb{N} = \{1, 2, 3, ...\}$ veya $\mathbb{N} = \{0, 1, 2, 3, ...\}$ olarak tanımlanır. Her iki durumda da, standart küçükten büyüğe sıralama altında bu küme iyi sıralıdır.
- Şimdi doğal sayılar kümesinin herhangi bir boş olmayan alt kümesini düşünelim. Örneğin, $A = \{5, 12, 3, 8\}$ veya $B = \{x \in \mathbb{N} \mid x > 100\}$.
- $A$ kümesinin en küçük elemanı $3$'tür.
- $B$ kümesinin en küçük elemanı $101$'dir.
- Matematiksel olarak, doğal sayıların her boş olmayan alt kümesinin her zaman bir en küçük elemanı vardır. Bu, doğal sayıların temel bir özelliğidir ve "iyi sıralama prensibi" olarak bilinir.
- Bu nedenle, doğal sayılar kümesi iyi sıralıdır.
-
İrrasyonel Sayılar Kümesi ($\mathbb{I}$) İçin İnceleme:
- İrrasyonel sayılar, rasyonel olmayan, yani $p/q$ şeklinde yazılamayan gerçek sayılardır. Örnekler: $\sqrt{2}$, $\pi$, $e$, $\sqrt{3}$.
- Şimdi irrasyonel sayılar kümesinin herhangi bir boş olmayan alt kümesini düşünelim. Bu alt kümenin her zaman bir en küçük elemanı olup olmadığını kontrol etmeliyiz.
- Örneğin, tüm pozitif irrasyonel sayılardan oluşan $S = \{x \in \mathbb{I} \mid x > 0\}$ kümesini ele alalım. Bu küme boş değildir (örneğin $\sqrt{2}$ bu kümededir).
- Bu $S$ kümesinin bir en küçük elemanı var mıdır? Diyelim ki $m$ bu kümenin en küçük elemanı olsun. O zaman $m$ pozitif bir irrasyonel sayıdır.
- Ancak, $m/2$ de pozitif bir sayıdır ve $m/2 < m$ eşitsizliğini sağlar.
- Eğer $m/2$ irrasyonel ise, o zaman $m/2$ de $S$ kümesinin bir elemanıdır ve $m$'den daha küçüktür. Bu durum, $m$'nin en küçük eleman olmasıyla çelişir.
- Eğer $m/2$ rasyonel ise, o zaman $0$ ile $m/2$ arasında her zaman bir irrasyonel sayı bulabiliriz (örneğin, $\frac{m}{3}$ veya $\frac{m}{4}$ gibi sayılarla oynayarak veya genel olarak $0 < y < m/2$ olacak şekilde bir irrasyonel $y$ bularak). Bu $y$ sayısı da $S$ kümesinin bir elemanı olur ve $m$'den daha küçüktür. Bu da $m$'nin en küçük eleman olmasıyla çelişir.
- Bu durum, irrasyonel sayıların (ve genel olarak gerçek sayıların) yoğunluk özelliğinden kaynaklanır; yani herhangi iki farklı irrasyonel sayı arasında sonsuz sayıda başka irrasyonel sayı bulunur. Bu yoğunluk, birçok alt kümenin en küçük elemana sahip olmasını engeller.
- Bu nedenle, irrasyonel sayılar kümesi iyi sıralı değildir.
Sonuç olarak, doğal sayılar kümesi iyi sıralı iken, irrasyonel sayılar kümesi iyi sıralı değildir.
Bu durumda doğru seçenek B'dir.
Cevap B seçeneğidir.
