? Sıralı olma özelliği ile ilgili sorular Test 1 - Ders Notu
Bu ders notu, "Sıralı olma özelliği ile ilgili sorular Test 1" testinde karşılaşabileceğin temel kavramları ve bu kavramların özelliklerini sade bir dille açıklamaktadır. Özellikle sıralı ikililer, bağıntılar ve bunların sıralama ile ilgili özellikleri üzerinde durulacaktır.
? Sıralı İkililer ve Kartezyen Çarpım
Matematikte elemanların sırasının önemli olduğu durumlarda "sıralı ikililer" kavramını kullanırız. Bu ikililerin oluşturduğu kümelere ise "Kartezyen Çarpım" denir.
- Sıralı İkili (Ordered Pair): $(a, b)$ şeklinde gösterilen ve $a$ ile $b$'nin yerinin önemli olduğu bir çift elemandır. Yani $(a, b) \ne (b, a)$ (genellikle).
- Eşitlik: İki sıralı ikilinin eşit olması için, karşılıklı elemanlarının eşit olması gerekir. Yani $(a, b) = (c, d)$ ise, $a=c$ ve $b=d$ olmalıdır.
- Kartezyen Çarpım (Cartesian Product): İki küme $A$ ve $B$ verildiğinde, $A \times B$ şeklinde gösterilen ve birinci elemanı $A$'dan, ikinci elemanı $B$'den alınan tüm sıralı ikililerin kümesidir. Yani $A \times B = \{(a, b) \mid a \in A \text{ ve } b \in B\}$.
? İpucu: Günlük hayatta koordinat sistemindeki $(x, y)$ noktaları birer sıralı ikilidir. $(2,3)$ ile $(3,2)$ farklı noktalardır, tıpkı $A \times B$ ile $B \times A$'nın farklı kümeler olması gibi.
⚠️ Dikkat: $s(A \times B) = s(A) \times s(B)$ formülü, Kartezyen çarpımın eleman sayısını bulmak için kullanılır. Burada $s(X)$, $X$ kümesinin eleman sayısını ifade eder.
? Bağıntı ve Özellikleri
Bağıntı, iki küme arasındaki ilişkileri ifade eden bir kavramdır. Genellikle bir kümeden diğerine veya bir kümenin kendi üzerine tanımlanır ve Kartezyen çarpımın bir alt kümesidir.
- Bağıntı (Relation): $A$ kümesinden $B$ kümesine bir $\beta$ bağıntısı, $A \times B$ Kartezyen çarpımının herhangi bir alt kümesidir. Yani $\beta \subseteq A \times B$.
- Tanım Kümesi (Domain): Bağıntıdaki sıralı ikililerin birinci bileşenlerinden oluşan kümedir.
- Görüntü Kümesi (Range): Bağıntıdaki sıralı ikililerin ikinci bileşenlerinden oluşan kümedir.
Bağıntıların "sıralı olma özelliği"ni belirleyen temel özellikleri vardır:
- Yansıma Özelliği (Reflexivity): Bir $\beta$ bağıntısı $A$ üzerinde yansımalıdır, eğer her $a \in A$ için $(a, a) \in \beta$ ise. Yani her eleman kendisiyle ilişkilidir.
- Simetri Özelliği (Symmetry): Bir $\beta$ bağıntısı $A$ üzerinde simetrilidir, eğer her $(a, b) \in \beta$ için $(b, a) \in \beta$ ise. Yani $a$ $b$ ile ilişkiliyse, $b$ de $a$ ile ilişkilidir.
- Ters Simetri Özelliği (Antisymmetry): Bir $\beta$ bağıntısı $A$ üzerinde ters simetrilidir, eğer her $(a, b) \in \beta$ ve $(b, a) \in \beta$ olduğunda $a=b$ oluyorsa. Yani $a \ne b$ ise, hem $(a, b)$ hem de $(b, a)$ aynı anda bağıntıda bulunamaz.
- Geçişme Özelliği (Transitivity): Bir $\beta$ bağıntısı $A$ üzerinde geçişmelidir, eğer her $(a, b) \in \beta$ ve $(b, c) \in \beta$ olduğunda $(a, c) \in \beta$ oluyorsa. Yani $a$ $b$ ile, $b$ de $c$ ile ilişkiliyse, $a$ doğrudan $c$ ile de ilişkilidir.
? İpucu: "Eşittir" ($=$) bağıntısı, yansımalı, simetrili ve geçişmelidir. "Küçük eşit" ($\le$) bağıntısı ise yansımalı, ters simetrili ve geçişmelidir.
⚠️ Dikkat: Simetri ile ters simetri birbirinin zıttı değildir, farklı kavramlardır. Bir bağıntı hem simetrik hem de ters simetrik olabilir (sadece $a=b$ durumları için), ya da hiçbiri olmayabilir.
✨ Sıralama Bağıntıları
Sıralama bağıntıları, bir kümenin elemanları arasında belirli bir düzen veya "sıra" oluşturan özel bağıntı türleridir. Bu bağıntılar sayesinde elemanları büyüklük, öncelik gibi kriterlere göre karşılaştırabiliriz.
- Kısmi Sıralama Bağıntısı (Partial Order Relation): Bir $\beta$ bağıntısı $A$ kümesi üzerinde yansıma, ters simetri ve geçişme özelliklerine sahipse, bu bağıntıya kısmi sıralama bağıntısı denir. Kısmi sıralamada, kümedeki her eleman çiftinin birbiriyle karşılaştırılabilir olması şart değildir.
- Tam Sıralama Bağıntısı (Total Order Relation / Linear Order Relation): Bir $\beta$ bağıntısı $A$ kümesi üzerinde kısmi sıralama bağıntısı olmasının yanı sıra, kümedeki her $a, b \in A$ eleman çifti için ya $(a, b) \in \beta$ ya da $(b, a) \in \beta$ (veya her ikisi de $a=b$ durumunda) koşulunu sağlıyorsa, bu bağıntıya tam sıralama bağıntısı denir. Yani her iki eleman birbiriyle karşılaştırılabilir.
Örnekler:
- Sayılar kümesindeki "küçük eşit" ($\le$) bağıntısı bir tam sıralama bağıntısıdır. Çünkü yansımalıdır ($a \le a$), ters simetrilidir (eğer $a \le b$ ve $b \le a$ ise $a=b$), geçişmelidir (eğer $a \le b$ ve $b \le c$ ise $a \le c$) ve her iki sayı birbiriyle karşılaştırılabilir (ya $a \le b$ ya da $b \le a$).
- Bir kümenin alt kümeleri arasındaki "alt küme olma" ($\subseteq$) bağıntısı bir kısmi sıralama bağıntısıdır. Yansımalıdır ($A \subseteq A$), ters simetrilidir (eğer $A \subseteq B$ ve $B \subseteq A$ ise $A=B$), geçişmelidir (eğer $A \subseteq B$ ve $B \subseteq C$ ise $A \subseteq C$). Ancak, her iki küme birbiriyle karşılaştırılamayabilir (örneğin $\{1,2\}$ ile $\{2,3\}$ kümeleri birbirinin alt kümesi değildir).
⚠️ Dikkat: Tam sıralama bağıntısı her zaman bir kısmi sıralama bağıntısıdır, ancak her kısmi sıralama bağıntısı tam sıralama bağıntısı olmak zorunda değildir.
? İpucu: Bir bağıntının sıralama bağıntısı olup olmadığını anlamak için yansıma, ters simetri ve geçişme özelliklerini tek tek kontrol etmen gerekir. Tam sıralama için ek olarak karşılaştırılabilirlik özelliğine bakılır.
