Soyut Matematik

∀x ∈ ℝ, ∃y ∈ ℝ, x + y = 0

Soyut Matematik Nedir?

Soyut Matematik, matematiğin temel yapılarını ve bu yapılar arasındaki ilişkileri inceleyen bir dalıdır. Sayıların kendisinden ziyade, sayı sistemlerinin altında yatan genel kuralları ve aksiyomları araştırır.

Bu alan, matematiğin dilini ve ispat tekniklerini öğrenmek için bir temel oluşturur. Mantık, kümeler teorisi, bağıntılar ve fonksiyonlar gibi temel konular üzerine inşa edilen gruplar, halkalar ve cisimler gibi cebirsel yapıları inceler.

💡 Yaklaşım: Soyut matematikte ezber yerine, tanımları anlama ve bu tanımlardan mantıksal çıkarımlar yapma becerisi ön plandadır. Her tanım ve teorem, bir sonraki konunun temelini oluşturur.
Soyut Matematiğin Temel Taşları:
  • • Aksiyom: Doğruluğu ispatsız kabul edilen temel önerme.
  • • Tanım: Bir kavramı kesin ve açık bir şekilde belirten ifade.
  • • Teorem: Aksiyom ve tanımlar kullanılarak doğruluğu ispatlanan önerme.
  • • İspat: Bir teoremin doğruluğunu mantıksal adımlarla gösterme süreci.

Mantık ve Önermeler

Matematiksel mantık, doğru veya yanlış olduğu kesin olarak bilinen ifadeler olan önermeler üzerine kuruludur. Önermeler, mantıksal bağlaçlar kullanılarak birleştirilebilir.

$p$: "7 bir asal sayıdır." (Doğru önerme)
$q$: "İstanbul Türkiye'nin başkentidir." (Yanlış önerme)

Temel Mantık Bağlaçları:

  • Ve (∧): $p \land q$ (p ve q'nun her ikisi de doğruysa doğru)
  • Veya (∨): $p \lor q$ (p veya q'dan en az biri doğruysa doğru)
  • Değil (¬ veya '): $\neg p$ (p'nin doğruluk değerinin tersi)
  • İse (⇒): $p \Rightarrow q$ (p doğru iken q yanlış ise yanlış, diğer durumlarda doğru)
  • Ancak ve Ancak (⇔): $p \Leftrightarrow q$ (p ve q aynı doğruluk değerine sahipse doğru)
İspat Yöntemleri: Matematiksel iddiaları kanıtlamak için doğrudan ispat, çelişki ile ispat ve tümevarım gibi çeşitli yöntemler kullanılır.

Kümeler Teorisi

Küme, iyi tanımlanmış nesneler topluluğudur. Soyut matematiğin en temel kavramlarından biridir. Bir nesnenin bir kümeye ait olup olmadığı kesin olarak belirlenebilmelidir.

$A = \{1, 2, 3\}$
$B = \{x \mid x \text{ bir çift sayıdır}\}$
$x \in A$ (x, A kümesinin bir elemanıdır)
$4 \notin A$ (4, A kümesinin bir elemanı değildir)

Temel Küme İşlemleri:

  • Birleşim (∪): $A \cup B = \{x \mid x \in A \text{ veya } x \in B\}$
  • Kesişim (∩): $A \cap B = \{x \mid x \in A \text{ ve } x \in B\}$
  • Fark (\): $A \setminus B = \{x \mid x \in A \text{ ve } x \notin B\}$
  • Tümleyen ('): $A' = \{x \in E \mid x \notin A\}$ (E evrensel küme)
  • Alt Küme (⊆): $A \subseteq B \iff (\forall x, x \in A \Rightarrow x \in B)$
💡 De Morgan Kuralları: Küme işlemlerinde sıkça kullanılan önemli bir özelliktir:
$(A \cup B)' = A' \cap B'$
$(A \cap B)' = A' \cup B'$

Bağıntılar

Bağıntı, iki kümenin elemanları arasında bir ilişki kurar. Matematiksel olarak, bir bağıntı kartezyen çarpım kümesinin bir alt kümesidir.

$A = \{1, 2\}$, $B = \{a, b\}$
$A \times B = \{(1, a), (1, b), (2, a), (2, b)\}$ (Kartezyen Çarpım)
$\beta \subseteq A \times B$ bir bağıntıdır. Örnek: $\beta = \{(1, a), (2, b)\}$

Bağıntı Özellikleri (A kümesinde tanımlı bir β bağıntısı için):

  • Yansıma: $\forall a \in A, (a, a) \in \beta$
  • Simetri: $\forall a, b \in A, (a, b) \in \beta \Rightarrow (b, a) \in \beta$
  • Ters Simetri: $\forall a, b \in A, [(a, b) \in \beta \text{ ve } (b, a) \in \beta] \Rightarrow a=b$
  • Geçişme: $\forall a, b, c \in A, [(a, b) \in \beta \text{ ve } (b, c) \in \beta] \Rightarrow (a, c) \in \beta$
Denklik ve Sıralama Bağıntıları
• Denklik Bağıntısı: Yansıma, simetri ve geçişme özelliklerini sağlayan bağıntıdır. Eşitlik gibi davranır.
• Sıralama Bağıntısı: Yansıma, ters simetri ve geçişme özelliklerini sağlayan bağıntıdır. Büyüklük/küçüklük ilişkisi kurar.

Fonksiyonlar

Fonksiyon, bir kümenin her bir elemanını, ikinci bir kümenin yalnızca bir elemanıyla eşleyen özel bir bağıntı türüdür.

$f: A \to B$ şeklinde gösterilir.
$A$: Tanım Kümesi
$B$: Değer Kümesi

Fonksiyon Çeşitleri:

  • Birebir (Injective): Tanım kümesindeki farklı elemanların görüntüleri de farklıdır.
    $\forall a_1, a_2 \in A, f(a_1) = f(a_2) \Rightarrow a_1=a_2$
  • Örten (Surjective): Değer kümesinde boşta eleman kalmaz.
    $\forall b \in B, \exists a \in A \text{ öyle ki } f(a)=b$
  • Birebir ve Örten (Bijective): Hem birebir hem de örten olan fonksiyondur. Bu tür fonksiyonların tersi de bir fonksiyondur.
Bileşke Fonksiyon
$f: A \to B$ ve $g: B \to C$ fonksiyonları için, $(g \circ f)(x) = g(f(x))$ ile tanımlanan $g \circ f: A \to C$ fonksiyonuna bileşke fonksiyon denir.

Cebirsel Yapılar

Cebirsel yapı, bir küme ve bu küme üzerinde tanımlanmış bir veya daha fazla ikili işlemden oluşur. Bu yapıların sağladığı aksiyomlar, onların özelliklerini belirler.

Bir $A$ kümesi üzerinde tanımlı bir ikili işlem $(\star)$, $A \times A$'dan $A$'ya bir fonksiyondur: $\star: A \times A \to A$.

İkili İşlem Özellikleri:
  • Kapalılık: $\forall a, b \in A, a \star b \in A$ (Tanım gereği sağlanır)
  • Birleşme: $\forall a, b, c \in A, (a \star b) \star c = a \star (b \star c)$
  • Birim (Etkisiz) Eleman: $\exists e \in A, \forall a \in A, a \star e = e \star a = a$
  • Ters Eleman: $\forall a \in A, \exists a^{-1} \in A, a \star a^{-1} = a^{-1} \star a = e$
  • Değişme: $\forall a, b \in A, a \star b = b \star a$

Gruplar

Grup, soyut cebirin en temel yapılarından biridir. Boş olmayan bir $G$ kümesi ve üzerinde tanımlı bir $\star$ işlemiyle $(G, \star)$ ikilisi, aşağıdaki aksiyomları sağlıyorsa bir gruptur:

  1. İşlem $G$ üzerinde kapalıdır.
  2. Birleşme özelliği vardır.
  3. Birim eleman mevcuttur.
  4. Her elemanın tersi mevcuttur.
Örnek: $(\mathbb{Z}, +)$ tam sayılar kümesi toplama işlemine göre bir gruptur.
- Kapalılık: $\forall a, b \in \mathbb{Z}, a+b \in \mathbb{Z}$
- Birleşme: $(a+b)+c = a+(b+c)$
- Birim Eleman: $0$ ($a+0=a$)
- Ters Eleman: Her $a \in \mathbb{Z}$ için $-a$ ($a+(-a)=0$)
Abelyen (Değişmeli) Grup
Bir grup, ek olarak değişme özelliğini de sağlıyorsa (yani $\forall a,b \in G, a \star b = b \star a$), bu gruba Abelyen grup denir. $(\mathbb{Z}, +)$ bir Abelyen gruptur.

Halkalar ve Cisimler

Gruplara ikinci bir işlem eklenerek daha zengin yapılar olan halkalar ve cisimler elde edilir.

Halka (Ring):

Boş olmayan bir $R$ kümesi, üzerinde tanımlı toplama $(+)$ ve çarpma $(\cdot)$ işlemleriyle $(R, +, \cdot)$ üçlüsü, aşağıdaki koşulları sağlıyorsa bir halkadır:

  1. $(R, +)$ bir Abelyen gruptur.
  2. Çarpma işlemi birleşme özelliğine sahiptir.
  3. Çarpma işleminin toplama işlemi üzerine dağılma özelliği vardır.
    $a \cdot (b+c) = a \cdot b + a \cdot c$
    $(a+b) \cdot c = a \cdot c + b \cdot c$

Cisim (Field):

Bir halka, ek özellikler sağladığında bir cisim olur. Cisimler, dört temel aritmetik işlemin (toplama, çıkarma, çarpma, bölme) yapılabildiği cebirsel yapılardır.

$(F, +, \cdot)$ bir cisimdir eğer:
- Bir halkadır.
- Çarpma işlemi değişmelidir.
- Çarpma işleminin birim elemanı vardır ($1_F \neq 0_F$).
- Sıfır hariç her elemanın çarpma işlemine göre tersi vardır.
💡 Örnekler:
• $(\mathbb{Z}, +, \cdot)$ bir halkadır, ancak cisim değildir (çarpımsal ters yoktur).
• $(\mathbb{Q}, +, \cdot)$, $(\mathbb{R}, +, \cdot)$ ve $(\mathbb{C}, +, \cdot)$ rasyonel, reel ve karmaşık sayılar kümeleri birer cisimdir.