Reel sayılar kümesinde "x < y" bağıntısı ile ilgili aşağıdakilerden hangisi doğrudur?
A) Tam sıralama bağıntısıdırGelin, reel sayılar kümesinde tanımlanan "$x < y$" bağıntısının özelliklerini adım adım inceleyelim ve hangi tür bağıntı olduğuna karar verelim.
Bir $R$ bağıntısının temel özellikleri şunlardır:
Yansıma Özelliği (Reflexivity): Bir $R$ bağıntısı, kümedeki her $x$ elemanı için $xRx$ koşulunu sağlıyorsa yansımalıdır. Yani, bir eleman kendisiyle bağıntılı olmalıdır.
Ters Simetri Özelliği (Antisymmetry): Bir $R$ bağıntısı, eğer $xRy$ ve $yRx$ koşulları aynı anda sağlanıyorsa, bu durumda $x=y$ oluyorsa ters simetriktir. Yani, farklı iki eleman birbirine göre ters yönde bağıntılı olamaz.
Geçişme Özelliği (Transitivity): Bir $R$ bağıntısı, eğer $xRy$ ve $yRz$ koşulları sağlanıyorsa, bu durumda $xRz$ de sağlanıyorsa geçişlidir. Yani, bir zincirleme bağıntı varsa, başlangıç ve bitiş elemanları arasında da bağıntı vardır.
Simetri Özelliği (Symmetry): Bir $R$ bağıntısı, eğer $xRy$ koşulu sağlanıyorsa, bu durumda $yRx$ de sağlanıyorsa simetriktir. Yani, bağıntı her iki yönde de geçerlidir.
Yukarıdaki özelliklere göre bağıntılar genellikle şu şekilde sınıflandırılır:
Kısmi Sıralama Bağıntısı (Partial Ordering Relation): Yansımalı, ters simetrik ve geçişli olan bir bağıntıdır.
Tam Sıralama Bağıntısı (Total Ordering Relation): Kısmi sıralama bağıntısı olup, kümedeki her $x, y$ eleman çifti için ya $xRy$ ya da $yRx$ koşulunu sağlayan bağıntıdır. Yani, kümedeki her iki eleman birbiriyle karşılaştırılabilir olmalıdır.
Denklik Bağıntısı (Equivalence Relation): Yansımalı, simetrik ve geçişli olan bir bağıntıdır.
Şimdi reel sayılar kümesinde tanımlanan "$x < y$" bağıntısını yukarıdaki özelliklere göre tek tek test edelim:
Yansıma Özelliği: Her $x \in \mathbb{R}$ için $x < x$ doğru mudur? Hayır, değildir. Örneğin, $5 < 5$ ifadesi yanlıştır. Bir sayı kendisinden küçük olamaz. Bu nedenle "$x < y$" bağıntısı yansımalı değildir.
Ters Simetri Özelliği: Eğer $x < y$ ve $y < x$ ise $x = y$ doğru mudur? Reel sayılarda hem $x < y$ hem de $y < x$ koşullarının aynı anda doğru olması mümkün değildir. (Bir sayı hem diğerinden küçük hem de diğerinden büyük olamaz.) Matematikte, bir önermenin hipotez kısmı (eğer kısmı) yanlış olduğunda, önermenin tamamı her zaman doğru kabul edilir (vacuously true). Bu nedenle "$x < y$" bağıntısı ters simetriktir.
Geçişme Özelliği: Eğer $x < y$ ve $y < z$ ise $x < z$ doğru mudur? Evet, reel sayılar için bu ifade doğrudur. Örneğin, $2 < 5$ ve $5 < 7$ ise $2 < 7$ doğrudur. Bu nedenle "$x < y$" bağıntısı geçişlidir.
Simetri Özelliği: Eğer $x < y$ ise $y < x$ doğru mudur? Hayır, değildir. Örneğin, $2 < 3$ doğru iken $3 < 2$ yanlıştır. Bu nedenle "$x < y$" bağıntısı simetrik değildir.
Elde ettiğimiz özelliklere göre seçenekleri inceleyelim:
A) Tam sıralama bağıntısıdır: Tam sıralama bağıntısı olabilmesi için öncelikle kısmi sıralama bağıntısı olması gerekir. Kısmi sıralama bağıntısı ise yansımalı olmak zorundadır. "$x < y$" bağıntısı yansımalı olmadığı için tam sıralama bağıntısı değildir.
B) Kısmi sıralama bağıntısıdır: Kısmi sıralama bağıntısı olabilmesi için yansımalı, ters simetrik ve geçişli olması gerekir. "$x < y$" bağıntısı yansımalı olmadığı için kısmi sıralama bağıntısı değildir.
C) Sıralama bağıntısı değildir: Matematikte "sıralama bağıntısı" terimi genellikle yansımalı, ters simetrik ve geçişli olan "kısmi sıralama bağıntısı"nı ifade eder. "$x < y$" bağıntısı yansımalı olmadığı için bu standart tanıma uymaz. Ancak, yansımalı olmayan, ters simetrik ve geçişli bağıntılara "kesin kısmi sıralama bağıntısı" (strict partial order) denir. Seçenekler arasında "kesin kısmi sıralama bağıntısıdır" gibi bir ifade bulunmadığı ve standart "sıralama bağıntısı" tanımı yansımalılığı içerdiği için, "$x < y$" bağıntısı bu seçenekler bağlamında bir sıralama bağıntısı olarak kabul edilmez.
D) Denklik bağıntısıdır: Denklik bağıntısı olabilmesi için yansımalı, simetrik ve geçişli olması gerekir. "$x < y$" bağıntısı yansımalı ve simetrik olmadığı için denklik bağıntısı değildir.
Bu analizler sonucunda, "$x < y$" bağıntısının verilen seçeneklerdeki standart sıralama veya denklik bağıntısı tanımlarına uymadığı açıkça görülmektedir.
Cevap C seçeneğidir.
