Rasyonel sayılar kümesi \(\mathbb{Q}\) üzerinde standart sıralama ile birlikte aşağıdaki özelliklerden hangisi sağlanmaz?
A) Her \(a, b \in \mathbb{Q}\) için \(a \le b\) veya \(b \le a\)
B) \(a \le b\) ve \(b \le a\) ise \(a = b\)
C) Her \(a, b \in \mathbb{Q}\) için \(a < b\) olacak şekilde bir \(c \in \mathbb{Q}\) bulunabilir
D) Her \(a, b \in \mathbb{Q}\) için \(a < b\) olacak şekilde bir \(c \notin \mathbb{Q}\) bulunabilir
Rasyonel sayılar kümesi $\mathbb{Q}$ üzerinde standart sıralama ile ilgili verilen seçenekleri adım adım inceleyelim:
- Rasyonel Sayılar Kümesi ($\mathbb{Q}$): Bu küme, $p$ bir tam sayı ve $q$ sıfırdan farklı bir tam sayı olmak üzere, $\frac{p}{q}$ şeklinde yazılabilen tüm sayıları içerir. Örneğin, $1/2$, $-3$, $0$, $7/4$ birer rasyonel sayıdır.
- Standart Sıralama ($\le$): Bu, sayıları karşılaştırmak için kullandığımız bildiğimiz "küçük veya eşit" ilişkisidir.
Şimdi seçenekleri tek tek değerlendirelim:
- A) Her $a, b \in \mathbb{Q}$ için $a \le b$ veya $b \le a$
- Bu özellik, "karşılaştırılabilirlik" veya "trikotomi" özelliği olarak bilinir. Yani, rasyonel sayılar kümesindeki herhangi iki sayıyı her zaman birbiriyle karşılaştırabiliriz; ya biri diğerinden küçük veya eşit olacak ya da diğeri ondan küçük veya eşit olacaktır. Örneğin, $1/2$ ve $3/4$ sayıları için $1/2 \le 3/4$ doğrudur. Bu özellik, rasyonel sayılar kümesi için sağlanır.
- B) $a \le b$ ve $b \le a$ ise $a = b$
- Bu özellik, "ters simetri" (antisymmetry) özelliği olarak bilinir. Eğer bir sayı diğerinden küçük veya eşitse ve aynı zamanda diğer sayı da ilk sayıdan küçük veya eşitse, bu iki sayı birbirine eşit olmak zorundadır. Örneğin, eğer $x \le y$ ve $y \le x$ ise, $x$ ve $y$ aynı sayıdır. Bu özellik, rasyonel sayılar kümesi için sağlanır.
- C) Her $a, b \in \mathbb{Q}$ için $a < b$ olacak şekilde bir $c \in \mathbb{Q}$ bulunabilir
- Bu ifade, genellikle rasyonel sayıların "yoğunluk" özelliğini anlatmak için kullanılır. Yani, herhangi iki farklı rasyonel sayı arasında her zaman başka bir rasyonel sayı bulunabilir. Örneğin, $a=1/2$ ve $b=3/4$ ise, bu iki sayı arasında $c = \frac{1/2 + 3/4}{2} = \frac{5/4}{2} = 5/8$ rasyonel sayısını bulabiliriz. $5/8$ bir rasyonel sayıdır ve $1/2 < 5/8 < 3/4$ koşulunu sağlar. Bu özellik, rasyonel sayılar kümesi için sağlanır.
- D) Her $a, b \in \mathbb{Q}$ için $a < b$ olacak şekilde bir $c \notin \mathbb{Q}$ bulunabilir
- Bu ifade, herhangi iki farklı rasyonel sayı arasında bir irrasyonel sayı bulunabileceğini belirtir. Örneğin, $a=1$ ve $b=2$ rasyonel sayıları arasında $\sqrt{2}$ gibi bir irrasyonel sayı vardır ($1 < \sqrt{2} < 2$). Bu matematiksel olarak doğru bir ifadedir. Ancak, soruda "Rasyonel sayılar kümesi $\mathbb{Q}$ üzerinde standart sıralama ile birlikte aşağıdaki özelliklerden hangisi sağlanmaz?" diye sorulmaktadır.
Buradaki kritik nokta, C seçeneğinde $c \in \mathbb{Q}$ iken, D seçeneğinde $c \notin \mathbb{Q}$ olmasıdır. A, B ve C seçenekleri, rasyonel sayılar kümesinin kendi içindeki elemanlar arasındaki ilişkileri ve özelliklerini tanımlar. Yani, bu özellikler $\mathbb{Q}$ kümesinin "içsel" özellikleridir.
D seçeneği ise, $\mathbb{Q}$ kümesinin dışından bir elemanın ($c \notin \mathbb{Q}$) varlığından bahseder. Rasyonel sayılar kümesi, tanımı gereği irrasyonel sayıları içermez. Dolayısıyla, $\mathbb{Q}$ kümesi, kendi içinde bir $c \notin \mathbb{Q}$ elemanı "bulundurarak" bu özelliği sağlayamaz. Bu özellik, $\mathbb{Q}$ kümesinin "tam olmaması" (eksikliği) ile ilgili bir durumdur ve $\mathbb{Q}$'nun kendisi tarafından sağlanan bir özellik olarak kabul edilmez, aksine $\mathbb{Q}$'nun dışındaki elemanlara atıfta bulunur. Bu nedenle, bu özellik $\mathbb{Q}$ kümesi için sağlanmaz (yani, $\mathbb{Q}$ bu özelliği kendi elemanlarıyla karşılayamaz).
Cevap D seçeneğidir.
