🎓 Sıralı cisim nedir Test 1 - Ders Notu
Bu ders notu, "Sıralı Cisim" kavramının temel bileşenlerini ve özelliklerini anlamanıza yardımcı olacaktır. Bir cismin ne anlama geldiğini, sıralama bağıntısının özelliklerini ve bu ikisinin birleşimiyle oluşan sıralı cisimlerin neden önemli olduğunu öğreneceksiniz.
📌 1. Cisim (Field) Nedir?
Matematikte bir "cisim", üzerinde toplama, çıkarma, çarpma ve bölme (sıfıra bölme hariç) işlemlerini tıpkı rasyonel sayılar veya gerçel sayılar gibi rahatça yapabildiğimiz bir sayılar kümesidir. Bu işlemlerin belirli kurallara (aksiyomlara) uyması gerekir.
- 📝 **Tanım:** Bir $K$ kümesi, üzerinde tanımlı iki ikili işlem (toplama '$+$' ve çarpma '$\cdot$') ile birlikte, belirli aksiyomları sağladığında bir cisim (field) adını alır.
- 💡 **Ana Fikir:** Cisim, dört işlem yapabildiğimiz ve bu işlemlerin bilindik özelliklerini (birleşme, değişme, dağılma vb.) taşıdığı bir yapıdır.
- 📚 **Temel Aksiyomlar (Özet):**
- Toplama ve çarpma işlemleri kapalı, birleşmeli ve değişmelidir.
- Her iki işlem için de birim eleman (toplamada $0$, çarpmada $1$) bulunmalıdır.
- Her elemanın toplamaya göre tersi ($-a$) ve sıfır hariç her elemanın çarpmaya göre tersi ($a^{-1}$) bulunmalıdır.
- Çarpma işlemi toplama üzerine dağılmalıdır.
- 🌍 **Örnekler:** Rasyonel sayılar kümesi ($\mathbb{Q}$) ve Gerçel sayılar kümesi ($\mathbb{R}$) birer cisimdir. Karmaşık sayılar kümesi ($\mathbb{C}$) de bir cisimdir.
💡 İpucu: Günlük hayatta yaptığımız basit matematiksel hesaplamaların temelini oluşturan sayılar kümeleri genellikle birer cisim özelliği gösterir.
📌 2. Sıralama Bağıntısı Nedir?
Sıralama bağıntısı, bir kümedeki elemanları "küçükten büyüğe" veya "büyükten küçüğe" doğru dizmemizi sağlayan bir ilişkidir. Örneğin, boy sırasına girmek gibi düşünebilirsiniz.
- 📝 **Tanım:** Bir $S$ kümesi üzerinde tanımlı '$\le$' gibi bir bağıntı, aşağıdaki özellikleri sağlarsa bir sıralama bağıntısıdır:
- **Yansıma (Reflexivity):** Her $a \in S$ için $a \le a$. (Herkes kendi boyunda veya kendinden küçüktür gibi.)
- **Ters Simetri (Antisymmetry):** Eğer $a \le b$ ve $b \le a$ ise, $a = b$. (Hem sen ondan kısasın hem o senden kısaysa, boylarınız eşittir.)
- **Geçişme (Transitivity):** Eğer $a \le b$ ve $b \le c$ ise, $a \le c$. (Ali Ayşe'den kısa, Ayşe Can'dan kısaysa, Ali Can'dan kısadır.)
- 💡 **Tam Sıralama (Total Order):** Yukarıdaki özelliklere ek olarak, kümedeki herhangi iki eleman $a$ ve $b$ için ya $a \le b$ ya da $b \le a$ ilişkisi varsa, bu bir tam sıralamadır. (Herhangi iki kişinin boyunu mutlaka karşılaştırabiliriz.)
- 🌍 **Örnekler:** Gerçel sayılar üzerindeki '$\le$' bağıntısı, tam bir sıralama bağıntısıdır.
📌 3. Sıralı Cisim (Ordered Field) Nedir?
Bir sıralı cisim, hem yukarıda bahsettiğimiz gibi bir "cisim" yapısına sahip olan hem de elemanları arasında uyumlu bir "sıralama bağıntısı" bulunan matematiksel bir yapıdır. Yani, hem dört işlem yapabiliriz hem de elemanları büyüklüklerine göre sıralayabiliriz ve bu iki durum birbiriyle çelişmez.
- 📝 **Tanım:** Bir $(K, +, \cdot, \le)$ yapısı, $K$ bir cisim ve '$\le$' bir sıralama bağıntısı olmak üzere, aşağıdaki uyumluluk aksiyomlarını sağlarsa bir sıralı cisimdir:
- ➕ **Toplama ile Uyum:** Her $a, b, c \in K$ için, eğer $a \le b$ ise, $a+c \le b+c$. (Bir eşitsizliğin her iki tarafına aynı sayıyı eklemek eşitsizliği bozmaz.)
- ✖️ **Çarpma ile Uyum:** Her $a, b, c \in K$ için, eğer $a \le b$ ve $c > 0$ ise, $ac \le bc$. (Bir eşitsizliğin her iki tarafını pozitif bir sayıyla çarpmak eşitsizliği bozmaz.)
- 🌍 **Örnekler:** Rasyonel sayılar kümesi ($\mathbb{Q}$) ve Gerçel sayılar kümesi ($\mathbb{R}$) sıralı cisimlerdir. Bu kümelerde hem dört işlem yapabiliriz hem de sayıları büyüklüklerine göre sıralayabiliriz.
- 📚 **Önemli Özellikler:**
- Her $a \in K$ için $a^2 \ge 0$. (Bir sayının karesi daima sıfırdan büyük veya eşittir.)
- $1 > 0$. (Birim eleman pozitiftir.)
⚠️ Dikkat: Karmaşık sayılar kümesi ($\mathbb{C}$) bir cisim olmasına rağmen, sıralı cisim değildir. Çünkü karmaşık sayılar üzerinde yukarıdaki uyumluluk aksiyomlarını sağlayacak bir sıralama bağıntısı tanımlanamaz. Örneğin, $i$ bir karmaşık sayıdır ve $i^2 = -1$. Eğer $\mathbb{C}$ sıralı bir cisim olsaydı, $i^2 \ge 0$ olmalıydı, ancak $-1 < 0$ olduğundan bu çelişir.
💡 İpucu: Gerçel sayılar kümesi ($\mathbb{R}$), "tam sıralı cisim" olarak özel bir yere sahiptir. Tamlık özelliği, $\mathbb{R}$'yi $\mathbb{Q}$'dan ayıran ve sayı doğrusunda "boşluk" bırakmayan bir özelliktir. Bu, ileri düzey matematik konuları için çok önemlidir.
