Dönüşümler ve Geometriler

Geometrinin cebirsel yapısını keşfedin

T: ℝⁿ → ℝⁿ

Dersin Tanıtımı ve İçeriği

Dönüşümler ve Geometriler dersi, geometrinin cebirsel yapısını ve dönüşüm grupları yoluyla geometrik özelliklerin incelenmesini konu alır. Felix Klein'ın Erlangen Programı'nın temel felsefesini takip ederek, her geometrinin bir dönüşüm grubu tarafından tanımlandığını gösterir.

Dersin Amaçları:
Afin, Öklid ve projektif geometrilerin temel kavramlarını öğrenmek
Geometrik dönüşümleri ve bu dönüşümlerin gruplarını anlamak
Geometrik değişmezleri (invariantları) tanımlamak ve kullanmak
Farklı geometriler arasındaki ilişkileri kavramak
Konikleri ve projektif özellikleri incelemek
Erlangen Programı
Felix Klein, 1872'de yayınladığı Erlangen Programı ile geometriyi yeni bir bakış açısıyla tanımlamıştır. Bu programa göre, her geometri bir dönüşüm grubu ile karakterize edilir ve o geometrinin özellikleri, grubun değişmezleridir.

Bu derste üç temel geometri sistemi incelenecektir: Afin Geometri, Öklid Geometrisi ve Projektif Geometri. Her birinin kendine özgü dönüşüm grubu ve değişmezleri vardır.

Afin Uzaylar ve Afin Grup

Bir afin uzay, nokta kümesi ile vektör uzayının birleşimidir. $\mathbb{A}^n$ afin uzayı, $\mathbb{R}^n$ vektör uzayı ile ilişkilidir.

$$\mathbb{A}^n = \{P : P = O + \vec{v}, \vec{v} \in \mathbb{R}^n\}$$

Burada $O$ bir orijin noktası, $\vec{v}$ ise konum vektörüdür. Afin uzayda noktalar arasındaki fark bir vektördür.

Afin Grup:

Afin dönüşümler, doğruları doğrulara, paralel doğruları paralel doğrulara taşıyan dönüşümlerdir.

$$T(\vec{x}) = A\vec{x} + \vec{b}$$

Burada $A$ tersinir bir $n \times n$ matris, $\vec{b}$ bir öteleme vektörüdür. Tüm afin dönüşümler bir grup oluşturur: $\text{Aff}(n)$.

Afin Grubun Özellikleri:
Kapalılık: İki afin dönüşümün bileşkesi afin dönüşümdür
Birim eleman: Özdeşlik dönüşümü $I(\vec{x}) = \vec{x}$
Ters eleman: Her afin dönüşümün tersi vardır
Birleşme: Dönüşümlerin bileşkesi birleşmelidir
Afin Özellikler
Afin dönüşümler altında korunan özellikler:
• Doğrusallık (collinearity)
• Paralellik
• Oran (oranlar korunur)
• Barisantrik koordinatlar
Önemli Not: Afin dönüşümler açıları veya uzunlukları korumaz! Bunlar Öklid dönüşümlerinin özelliğidir.

Merkezil Afin Otomorfizm, Radyal Dönüşüm, Öteleme, Homoteti

Afin dönüşümlerin özel türlerini inceleyelim. Her biri farklı geometrik özelliklere sahiptir.

Öteleme (Translation):

Tüm noktaları aynı yönde ve aynı uzunlukta taşıyan dönüşümdür.

$T_{\vec{v}}(\vec{x}) = \vec{x} + \vec{v}$

Ötelemeler bir Abel grubu oluşturur: $T_{\vec{v}} \circ T_{\vec{w}} = T_{\vec{v}+\vec{w}}$

Homoteti (Homothety):

Bir merkez noktaya göre ölçeklendirme yapan dönüşümdür.

$H_{O,k}(\vec{x}) = O + k(\vec{x} - O)$

Burada $O$ merkez, $k$ ölçek faktörüdür. $k > 0$ için direkt, $k < 0$ için karşıt homoteti.

Özel Durumlar
$k = 1$: Özdeşlik dönüşümü
$k = -1$: Merkez simetri
$|k| > 1$: Büyütme
$|k| < 1$: Küçültme

Radyal Dönüşüm:

Bir merkezden geçen doğrular üzerinde hareket ettiren dönüşümlerdir. Merkezil afin otomorfizm, orijinden başlayan tüm vektörleri bir lineer dönüşümle taşır.

$R_{O}(\vec{x}) = O + A(\vec{x} - O)$
Merkezil Afin Otomorfizmin Özellikleri:
Bir sabit nokta vardır (merkez)
Merkezden geçen doğruları kendilerine taşır
Lineer bir dönüşüm ile karakterize edilir
Kompozisyon: Bir öteleme ile bir merkezil afin dönüşümün bileşkesi genel bir afin dönüşümdür: $T(\vec{x}) = A\vec{x} + \vec{b}$

Afin Altuzaylar ve Paralellik

Bir afin altuzay, bir nokta ile bir vektör altuzayının toplamıdır.

$L = P + V = \{P + \vec{v} : \vec{v} \in V\}$

Burada $P$ bir nokta, $V$ ise $\mathbb{R}^nin bir vektör altuzayıdır. $\dim(V)$ afin altuzayın boyutunu verir.

Afin Altuzay Örnekleri:
Boyut 0: Nokta
Boyut 1: Doğru
Boyut 2: Düzlem
Boyut n-1: Hiperdüzlem

Paralellik:

İki afin altuzay $L_1 = P_1 + V_1$ ve $L_2 = P_2 + V_2$ paraleldir eğer $V_1 = V_2$ ise.

$L_1 \parallel L_2 \Leftrightarrow V_1 = V_2$
Paralellik İlişkisi
Paralellik bir denklik bağıntısıdır:
• Yansımalı: $L \parallel L$
• Simetrik: $L_1 \parallel L_2 \Rightarrow L_2 \parallel L_1$
• Geçişli: $L_1 \parallel L_2$ ve $L_2 \parallel L_3 \Rightarrow L_1 \parallel L_3$
Önemli: Afin dönüşümler paralelliği korur. Bu, afin geometrinin temel özelliklerinden biridir.

Afin Altuzayların Kesişimi:

İki afin altuzayın kesişimi ya boş kümedir ya da bir afin altuzaydır.

$\dim(L_1 \cap L_2) \geq \dim(L_1) + \dim(L_2) - n$

Parametrik ve Barisantrik İfadeler

Parametrik Gösterim:

Bir doğru üzerindeki noktalar parametrik olarak şöyle ifade edilir:

$P(t) = P_0 + t\vec{v}, \quad t \in \mathbb{R}$

İki nokta $A$ ve $B$ arasındaki doğru parçası:

$P(t) = (1-t)A + tB, \quad t \in [0,1]$

Barisantrik Koordinatlar:

$n+1$ nokta $P_0, P_1, \ldots, P_n$ için bir nokta $Pnin barisantrik koordinatları:

$P = \sum_{i=0}^n \lambda_i P_i, \quad \sum_{i=0}^n \lambda_i = 1$

$\lambda_i$ katsayılarına barisantrik koordinatlar denir.

Ağırlık Merkezi
Eğer tüm $\lambda_i > 0$ ise, $P$ noktaları $P_inin ağırlık merkezidir. Üçgen için ağırlık merkezi:
$G = \frac{1}{3}(A + B + C)$
Barisantrik Koordinatların Avantajları:
Afin dönüşümler altında değişmez
Geometrik yorumu açık ve sezgisel
Bilgisayar grafiklerinde yaygın kullanım
İnterpolasyon için ideal
Uygulama: Barisantrik koordinatlar, bir üçgen içindeki herhangi bir noktayı köşelerin lineer kombinasyonu olarak ifade etmek için kullanılır. Bu, 3D grafiklerde texture mapping için kritik öneme sahiptir.

Öklid Uzayları ve Altuzayları

Öklid uzayı, iç çarpım ile donatılmış bir vektör uzayıdır. $\mathbb{E}^n$ Öklid uzayı, $\mathbb{R}^n$ üzerinde standart iç çarpım ile tanımlanır.

$\langle \vec{u}, \vec{v} \rangle = \sum_{i=1}^n u_i v_i$

İç çarpım, uzunluk (norm) ve açı kavramlarını tanımlamamızı sağlar:

$\|\vec{v}\| = \sqrt{\langle \vec{v}, \vec{v} \rangle}$
$\cos(\theta) = \frac{\langle \vec{u}, \vec{v} \rangle}{\|\vec{u}\| \|\vec{v}\|}$

Öklid Altuzayları:

Öklid uzayının bir altuzayı, iç çarpımı da miras alan bir afin altuzaydır.

Özel Altuzaylar:
Doğru: $L = \{P + t\vec{v} : t \in \mathbb{R}, \|\vec{v}\| = 1\}$
Düzlem: Normal vektör $\vec{n}$ ile: $\langle \vec{x} - P, \vec{n} \rangle = 0$
Küre: $\|\vec{x} - C\| = r$
Uzaklık ve Diklik
İki nokta arasındaki uzaklık: $d(P, Q) = \|Q - P\|$
Bir noktanın düzleme uzaklığı: $d(P, \pi) = \frac{|\langle P - P_0, \vec{n} \rangle|}{\|\vec{n}\|}$
Diklik: $\vec{u} \perp \vec{v} \Leftrightarrow \langle \vec{u}, \vec{v} \rangle = 0$
Gram-Schmidt: Herhangi bir baz, Gram-Schmidt prosedürü ile ortonormal baza dönüştürülebilir. Bu, Öklid geometrisinde temel bir araçtır.

Geometrik Dönüşümler ve Dönüşüm Grupları

Geometrik dönüşüm, uzayı kendisine birebir ve örten bir fonksiyondur. Dönüşümler, belirli özellikleri koruyan gruplar oluşturur.

$T: \mathbb{E}^n \to \mathbb{E}^n$

Temel Dönüşüm Grupları:

Dönüşüm Hiyerarşisi:
$\text{Isom}(n)$: İzometriler (mesafe koruyan)
$\text{Sim}(n)$: Benzerlikler (şekil koruyan)
$\text{Aff}(n)$: Afin dönüşümler (paralellik koruyan)
$\text{Proj}(n)$: Projektif dönüşümler (çifte oran koruyan)

Bu gruplar arasında içerme ilişkisi vardır:

$\text{Isom}(n) \subset \text{Sim}(n) \subset \text{Aff}(n) \subset \text{Proj}(n)$
Klein'ın Erlangen Programı
Her geometri, bir dönüşüm grubu $G$ ile karakterize edilir:
• Öklid Geometrisi: İzometri grubu
• Benzerlik Geometrisi: Benzerlik grubu
• Afin Geometri: Afin grup
• Projektif Geometri: Projektif grup

Grup Aksiyomları:

Bir dönüşüm kümesi $Gnin grup olması için:

$\text{1. Kapalılık: } T_1, T_2 \in G \Rightarrow T_1 \circ T_2 \in G$
$\text{2. Birleşme: } (T_1 \circ T_2) \circ T_3 = T_1 \circ (T_2 \circ T_3)$
$\text{3. Birim: } \exists I \in G : I \circ T = T \circ I = T$
$\text{4. Ters: } \forall T \in G, \exists T^{-1} \in G : T \circ T^{-1} = I$

Geometrik Değişmezler

te izometriler daha zengin bir yapıya sahiptir:

3 Boyutta Hareketler:
Öteleme, Dönme (bir eksen etrafında), Vida hareketi
Yansıma (bir düzleme göre), Dönme-yansıma
Euler Teoremi: Orijini sabit bırakan her direkt izometri, bir eksen etrafında dönmedir. Bu teorem, robotik ve bilgisayar grafiklerinde temel önem taşır.

Öklid Düzleminde Kongrüanslar

İki şekil kongrüanttır (denktir) eğer aralarında bir izometri varsa. Kongrüans, şekillerin "aynı" olduğunu ifade eder.

$F_1 \cong F_2 \Leftrightarrow \exists T \in \text{Isom}(\mathbb{E}^n) : T(F_1) = F_2$

Üçgen Kongrüansı:

İki üçgenin kongrüans için kriterler:

Kongrüans Kriterleri:
KKK (SSS): Üç kenar eşit
KAK (SAS): İki kenar ve aralarındaki açı eşit
AKA (ASA): İki açı ve aralarındaki kenar eşit
KKA (SSA): Genel olarak yeterli değil!
Örnek Problem
İki üçgen ABC ve DEF verilsin. Eğer AB = DE, BC = EF ve AC = DF ise, üçgenler kongrüanttır (KKK kriteri).

Dönüşüm ile Kongrüans İspatı:

Kongrüans ispatlamak için uygun bir izometri bulmak yeterlidir. Bu, modern geometride tercih edilen yöntemdir.

Dikkat: Kongrüans yönlendirmeyi göz önüne almaz. Eğer yönlendirme önemliyse, direkt kongrüans kavramını kullanmalıyız (sadece direkt izometriler).
Pratik İpucu: Kongrüans problemlerini çözerken, önce şekilleri üst üste getirmek için hangi dönüşümlerin gerekli olduğunu düşünün. Bu, problemi daha sezgisel hale getirir.

Benzerlik Dönüşümleri ve Benzerlik Grupları

Benzerlik dönüşümü, şekli korur ancak boyutu değiştirebilir. Açıları korur ama uzunlukları bir sabitle çarpar.

$S(\vec{x}) = kR\vec{x} + \vec{b}, \quad k > 0, \, R^TR = I$

Burada $k$ benzerlik oranıdır.

$d(S(P), S(Q)) = k \cdot d(P, Q)$

Benzerlik Grubu:

Tüm benzerlik dönüşümleri bir grup oluşturur: $\text{Sim}(\mathbb{E}^n)$.

Benzerlik Grubunun Yapısı:
$\text{Sim}(\mathbb{E}^n) = \text{Isom}(\mathbb{E}^n) \rtimes \mathbb{R}^+$

İzometri grubu, benzerlik grubunun bir alt grubudur

Benzerlik Değişmezleri:

Benzerlik dönüşümleri altında korunan özellikler:

Değişmezler:
Açılar
Uzunluk oranları
Paralellik
Şekil (form)
Benzer Üçgenler
İki üçgen benzerdir ($\triangle ABC \sim \triangle DEF$) eğer:
• Karşılıklı açıları eşitse (AA)
• Karşılıklı kenar oranları eşitse (KKK)
• İki kenar oranı ve aralarındaki açı eşitse (KAK)
Uygulama: Benzerlik, harita ölçeklendirmede, teknik çizimlerde ve bilgisayar grafiklerinde yaygın olarak kullanılır. Bir şekli büyütüp küçültmek benzerlik dönüşümüdür.

Metrik Geometri

Metrik geometri, uzaklık fonksiyonu (metrik) ile donatılmış uzayları inceler.

$d: X \times X \to \mathbb{R}^+$

Metrik Aksiyomları:

Bir fonksiyon $d"> Örnek

Bir doğru üzerinde $A = 0, B = 1, C = 2, D = 3$ noktaları için:
$(A, B; C, D) = \frac{2 \cdot 2}{3 \cdot 1} = \frac{4}{3}$
Değişmezlerin Önemi: Bir geometrik özelliğin değişmez olup olmadığını bilmek, o özelliğin hangi dönüşümler altında korunduğunu anlamamızı sağlar. Bu, geometrik problemleri çözmek için kritik önem taşır.

Öklid Düzleminde Hareketler

Öklid düzleminde hareket (izometri), mesafeleri koruyan bir dönüşümdür.

$d(T(P), T(Q)) = d(P, Q), \quad \forall P, Q \in \mathbb{E}^2$

Temel Hareketler:

Öklid Düzleminde 4 Temel Hareket:
1. Öteleme (Translation)
2. Dönme (Rotation)
3. Yansıma (Reflection)
4. Kayma Yansıması (Glide Reflection)

Öteleme:

$T_{\vec{v}}(P) = P + \vec{v}$

Dönme:

Bir nokta $O$ etrafında $\theta$ açısı kadar dönme:

$R_{O,\theta} = \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}$

Yansıma:

Bir doğru $l$ etrafında yansıma:

$S_l(P) = 2\text{proj}_l(P) - P$
Yansımanın Özellikleri
• İnvolüsyondur: $S_l \circ S_l = I$
• Sabit noktalar yansıma ekseni üzerindedir
• Yönlendirmeyi değiştirir (orientation-reversing)
Direkt ve Karşıt Hareketler:
Öteleme ve dönme direkt hareketlerdir (yönlendirme korunur).
Yansıma ve kayma yansıması karşıt hareketlerdir (yönlendirme değişir).

Katı Hareketler Grubu

Katı hareket, şekli ve boyutu koruyan bir harekettir. Tüm katı hareketler bir grup oluşturur: $\text{Isom}(\mathbb{E}^n)$.

Düzlemde İzometri Grubu:

$\text{Isom}(\mathbb{E}^2) = \{T : T(\vec{x}) = R\vec{x} + \vec{b}, \, R^TR = I, \, \det(R) = \pm 1\}$

$\text{Isom}^+(\mathbb{E}^2) = \{T : \det(R) = 1\} \quad \text{(Direkt izometriler)}$
$\text{Isom}^-(\mathbb{E}^2) = \{T : \det(R) = -1\} \quad \text{(Karşıt izometriler)}$
İzometri Grubunun Yapısı:
$\text{Isom}(\mathbb{E}^2) = \text{Isom}^+(\mathbb{E}^2) \cup \text{Isom}^-(\mathbb{E}^2)$

$\text{Isom}^+(\mathbb{E}^2)$ bir alt gruptur (indeks 2)
$\text{Isom}^-(\mathbb{E}^2)$ alt grup değildir

Afin Geometride Uzaklık ve Direkt/Karşıt Dönüşümler

Afin geometride uzaklık tanımlanmaz, ancak oran korunur. İki nokta arasındaki uzunluk yerine, doğrudaş noktalar arasındaki oranlar değişmezdir.

Basit Oran:

Doğrudaş üç nokta $A, B, C$ için basit oran:

$r(A, B, C) = \frac{\overrightarrow{AB}}{\overrightarrow{AC}}$

Bu oran afin dönüşümler altında değişmezdir.

Direkt ve Karşıt Afin Dönüşümler:

Bir afin dönüşüm $T(\vec{x}) = A\vec{x} + \vec{b}$ için:

Direkt dönüşüm: $\det(A) > 0$ (yönlendirme korunur)
Karşıt dönüşüm: $\det(A) < 0$ (yönlendirme değişir)
$\text{Aff}^+(n) = \{T \in \text{Aff}(n) : \det(A) > 0\}$

Direkt afin dönüşümler bir alt grup oluşturur (indeks 2).

Yönlendirme
Düzlemde üç nokta $A, B, C$ bir yönlendirme belirler:
Saat yönü veya saat yönü tersine.
Direkt dönüşümler bu yönlendirmeyi korur.
Determinant Yorumu: $|\det(A)|$, $A$ dönüşümünün alan çarpanıdır. $\det(A) = 2$ ise, alanlar iki katına çıkar.

İzdüşümler

İzdüşüm (projection), bir uzaydan daha düşük boyutlu bir altuzaya yapılan dönüşümdür.

Dik İzdüşüm:

Bir noktan $P

Geometrik Değişmezler

Geometrik değişmez (invariant), belirli bir dönüşüm grubu altında değişmeyen bir özelliktir. Her geometri kendi değişmezleriyle karakterize edilir.

Geometrilere Göre Değişmezler:
Öklid Geometrisi: Uzunluk, açı, alan, hacim
Benzerlik Geometrisi: Açı, oran
Afin Geometri: Paralellik, oran, barisantrik koordinatlar
Projektif Geometri: Doğrudaşlık, çifte oran

Uzunluk ve Açı:

İzometriler altında uzunluk ve açı korunur:

$d(T(P), T(Q)) = d(P, Q)$
$\angle(T(\vec{u}), T(\vec{v})) = \angle(\vec{u}, \vec{v})$

Çifte Oran:

Dört doğrudaş nokta $A, B, C, D$ için çifte oran:

$(A, B; C, D) = \frac{AC \cdot BD}{AD \cdot BC}$

Çifte oran, projektif dönüşümler altında değişmezdir.

Chasles Teoremi
Her direkt izometri ya bir öteleme ya da bir dönmedir.
Her karşıt izometri ya bir yansıma ya da bir kayma yansımasıdır.

Üç Boyutta İzometri Grubu:

$\mathbb{E}^3"> Örnek

Bir doğru üzerinde $A = 0, B = 1, C = 2, D = 3$ noktaları için:
$(A, B; C, D) = \frac{2 \cdot 2}{3 \cdot 1} = \frac{4}{3}$
Değişmezlerin Önemi: Bir geometrik özelliğin değişmez olup olmadığını bilmek, o özelliğin hangi dönüşümler altında korunduğunu anlamamızı sağlar. Bu, geometrik problemleri çözmek için kritik önem taşır.

Öklid Düzleminde Hareketler

Öklid düzleminde hareket (izometri), mesafeleri koruyan bir dönüşümdür.

$d(T(P), T(Q)) = d(P, Q), \quad \forall P, Q \in \mathbb{E}^2$

Temel Hareketler:

Öklid Düzleminde 4 Temel Hareket:
1. Öteleme (Translation)
2. Dönme (Rotation)
3. Yansıma (Reflection)
4. Kayma Yansıması (Glide Reflection)

Öteleme:

$T_{\vec{v}}(P) = P + \vec{v}$

Dönme:

Bir nokta $O$ etrafında $\theta$ açısı kadar dönme:

$R_{O,\theta} = \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}$

Yansıma:

Bir doğru $l$ etrafında yansıma:

$S_l(P) = 2\text{proj}_l(P) - P$
Yansımanın Özellikleri
• İnvolüsyondur: $S_l \circ S_l = I$
• Sabit noktalar yansıma ekseni üzerindedir
• Yönlendirmeyi değiştirir (orientation-reversing)
Direkt ve Karşıt Hareketler:
Öteleme ve dönme direkt hareketlerdir (yönlendirme korunur).
Yansıma ve kayma yansıması karşıt hareketlerdir (yönlendirme değişir).

Katı Hareketler Grubu

Katı hareket, şekli ve boyutu koruyan bir harekettir. Tüm katı hareketler bir grup oluşturur: $\text{Isom}(\mathbb{E}^n)$.

Düzlemde İzometri Grubu:

$\text{Isom}(\mathbb{E}^2) = \{T : T(\vec{x}) = R\vec{x} + \vec{b}, \, R^TR = I, \, \det(R) = \pm 1\}$

$\text{Isom}^+(\mathbb{E}^2) = \{T : \det(R) = 1\} \quad \text{(Direkt izometriler)}$
$\text{Isom}^-(\mathbb{E}^2) = \{T : \det(R) = -1\} \quad \text{(Karşıt izometriler)}$
İzometri Grubunun Yapısı:
$\text{Isom}(\mathbb{E}^2) = \text{Isom}^+(\mathbb{E}^2) \cup \text{Isom}^-(\mathbb{E}^2)$

$\text{Isom}^+(\mathbb{E}^2)$ bir alt gruptur (indeks 2)
$\text{Isom}^-(\mathbb{E}^2)$ alt grup değildir
Örnek
Bir doğru üzerinde $A = 0, B = 1, C = 2, D = 3$ noktaları için:
$(A, B; C, D) = \frac{2 \cdot 2}{3 \cdot 1} = \frac{4}{3}$
Determinant Yorumu: $|\det(A)|$, $A$ dönüşümünün alan çarpanıdır. $\det(A) = 2$ ise, alanlar iki katına çıkar.