Rasyonel sayılar kümesi Q'nun sıralama özellikleri incelendiğinde, aşağıdaki ifadelerden hangisi doğrudur?
A) Q kümesi tam sıralı bir kümedir
B) Q kümesinde supremum özelliği sağlanır
C) Q kümesi iyi sıralı bir kümedir
D) Q kümesinde her alt kümenin minimumu vardır
Rasyonel sayılar kümesi $Q$, matematikte önemli bir yapıdır ve sıralama özellikleri bu kümenin temel niteliklerindendir. Şimdi seçenekleri tek tek inceleyerek doğru ifadeyi bulalım:
- A) Q kümesi tam sıralı bir kümedir
- Tanım: Bir küme, eğer kümedeki herhangi iki eleman $a$ ve $b$ için ya $a \le b$ ya da $b \le a$ ilişkisi sağlanıyorsa, yani her zaman karşılaştırılabilirlerse, tam sıralı (veya doğrusal sıralı) bir kümedir.
- İnceleme: Rasyonel sayılar kümesi $Q$ üzerinde tanımlı olan $\le$ ilişkisi bu özelliği sağlar. Yani, herhangi iki rasyonel sayı verildiğinde, bu sayılardan biri diğerinden küçük veya eşit olmak zorundadır. Örneğin, $1/2$ ve $3/4$ sayıları için $1/2 \le 3/4$ ilişkisi geçerlidir.
- Sonuç: Bu ifade doğrudur.
- B) Q kümesinde supremum özelliği sağlanır
- Tanım: Bir kümede supremum özelliği (tamlık özelliği) sağlanır demek, o kümenin boş olmayan ve üstten sınırlı her alt kümesinin, kümenin içinde bir en küçük üst sınıra (supremum) sahip olması demektir.
- İnceleme: Rasyonel sayılar kümesi $Q$, supremum özelliğini sağlamaz. Bunun en bilinen örneği, $S = \{x \in Q \mid x^2 < 2\}$ kümesidir. Bu küme $Q$'nun bir alt kümesidir, boş değildir ve üstten sınırlıdır (örneğin, $2$ bir üst sınırdır). Ancak bu kümenin $Q$ içinde bir en küçük üst sınırı yoktur. Bu kümenin en küçük üst sınırı $\sqrt{2}$'dir ve $\sqrt{2}$ bir rasyonel sayı değildir ($Q \notin Q$).
- Sonuç: Bu ifade yanlıştır.
- C) Q kümesi iyi sıralı bir kümedir
- Tanım: Bir küme, eğer boş olmayan her alt kümesinin bir en küçük elemanı (minimumu) varsa, iyi sıralı bir kümedir.
- İnceleme: Rasyonel sayılar kümesi $Q$ iyi sıralı değildir. Örneğin, pozitif rasyonel sayılar kümesi $Q^+ = \{x \in Q \mid x > 0\}$ kümesi $Q$'nun boş olmayan bir alt kümesidir. Ancak bu kümenin bir en küçük elemanı yoktur. Çünkü herhangi bir pozitif rasyonel sayı $x$ için, $x/2$ de pozitif bir rasyonel sayıdır ve $x/2 < x$ olur. Bu işlemi sonsuza kadar devam ettirebiliriz, dolayısıyla $Q^+$'nın bir minimumu yoktur.
- Sonuç: Bu ifade yanlıştır.
- D) Q kümesinde her alt kümenin minimumu vardır
- İnceleme: Bu ifade, C seçeneğindeki "iyi sıralı" olma tanımıyla aynıdır. C seçeneğinde açıklandığı gibi, $Q$'nun her alt kümesinin minimumu yoktur (örneğin, $Q^+$ kümesinin minimumu yoktur).
- Sonuç: Bu ifade yanlıştır.
Yukarıdaki analizler sonucunda, rasyonel sayılar kümesi $Q$ için doğru olan ifade A seçeneğidir.
Cevap A seçeneğidir.
