Bir (X, ≤) kısmi sıralı kümesinde her iki elemanın bir supremumu ve infimumu varsa bu kümeye ne ad verilir?
A) Tam sıralı kümeBu soruda, kısmi sıralı kümelerle ilgili temel bir tanımı anlamamız isteniyor. Adım adım ilerleyelim:
Bir $(X, \leq)$ kümesi, üzerinde bir $\leq$ bağıntısı tanımlanmış ve bu bağıntının yansıma ($a \leq a$), ters simetri ($a \leq b$ ve $b \leq a \implies a = b$) ve geçişme ($a \leq b$ ve $b \leq c \implies a \leq c$) özelliklerini sağladığı bir kümedir. Bu tür kümelere kısmi sıralı küme (partially ordered set veya poset) denir. Kısmi sıralı kümelerde her eleman çifti birbiriyle karşılaştırılabilir olmak zorunda değildir.
İki eleman $a, b \in X$ için bir üst sınır, hem $a$'dan hem de $b$'den büyük veya eşit olan bir $c \in X$ elemanıdır (yani $a \leq c$ ve $b \leq c$). Eğer bu üst sınırlar arasında en küçüğü varsa, buna $a$ ve $b$'nin supremumu (en küçük üst sınırı) denir ve genellikle $\sup(a, b)$ veya $a \lor b$ ile gösterilir.
Benzer şekilde, bir alt sınır, hem $a$'dan hem de $b$'den küçük veya eşit olan bir $d \in X$ elemanıdır (yani $d \leq a$ ve $d \leq b$). Eğer bu alt sınırlar arasında en büyüğü varsa, buna $a$ ve $b$'nin infimumu (en büyük alt sınırı) denir ve genellikle $\inf(a, b)$ veya $a \land b$ ile gösterilir.
Soru, bir kısmi sıralı kümede herhangi iki elemanın bir supremumu ve bir infimumu varsa bu kümeye ne ad verildiğini soruyor. Bu tanım, matematiksel olarak çok özel bir yapıyı ifade eder.
Bir kısmi sıralı küme $(X, \leq)$ eğer $X$'teki her $a, b$ eleman çifti için hem bir supremuma ($a \lor b$) hem de bir infimuma ($a \land b$) sahipse, bu kümeye kafes (lattice) denir.
A) Tam sıralı küme (Totally ordered set): Bir kısmi sıralı kümede her eleman çifti birbiriyle karşılaştırılabilirse (yani her $a, b \in X$ için ya $a \leq b$ ya da $b \leq a$ ise) bu kümeye tam sıralı küme denir. Tam sıralı kümeler aynı zamanda birer kafestir, çünkü her iki eleman için zaten biri diğerinden büyük olduğu için supremum ve infimum kolayca bulunur. Ancak kafes tanımı, tam sıralı olma şartını içermez; daha genel bir yapıdır.
C) İyi sıralı küme (Well-ordered set): Bir tam sıralı kümede her boş olmayan alt kümenin bir en küçük elemanı varsa, bu kümeye iyi sıralı küme denir. Bu, kafes olmaktan çok daha güçlü bir koşuldur.
D) Zincir (Chain): Bir kısmi sıralı kümenin tam sıralı olan bir alt kümesine zincir denir. Bu da tüm kümenin özelliğini tanımlamaz.
Bu tanımlar ışığında, soruda verilen özellik doğrudan kafes tanımına uymaktadır.
Cevap B seçeneğidir.
