Diferansiyel Geometri: Eğri ve Yüzeyleri Adım Adım Anlama

Parametrik eğride konumdan tanjant vektöre geçiş

Bir eğri, çoğu zaman γ(t) biçiminde parametrik olarak verilir. Burada t parametresi değiştikçe eğri üzerindeki nokta hareket eder; γ(t) ise o andaki konum vektörüdür. Örneğin γ(t)=(t,t²) yazıldığında birinci bileşen x=t, ikinci bileşen y=t² olur ve eğri düzlemdeki noktaların izlediği yolu tanımlar.

Bu eğrinin türevi γ'(t), tanjant vektördür. Tanjant vektörün yönü, eğrinin o noktada hangi tarafa ilerlediğini gösterir; uzunluğu ise seçilen parametreye göre anlık hızı verir. Bu nedenle γ'(t) yalnızca geometrik yönü değil, parametrenin hareketi ne kadar hızlı ürettiğini de içerir. Aynı geometrik eğri farklı hızlarla taranabileceği için tanjant vektörün uzunluğu parametrizasyona bağlıdır.

Bir noktada γ'(t)=0 ise bu parametrizasyon o noktada düzenli bir hareket yönü vermeyebilir. Eğrilik ve birim tanjant gibi kavramları kullanmadan önce eğrinin ilgili aralıkta düzenli, yani türevinin sıfır olmayan bir vektör olduğu kontrol edilir. Birim tanjant vektör, tanjantın uzunluğuna bölünmesiyle elde edilir: T=γ'(t)/|γ'(t)|. Böylece hız etkisi ayrılır ve yalnızca yön bilgisi kalır.

Yay uzunluğu parametresi s, eğri üzerinde alınan gerçek mesafeyi ölçer. Parametre s olarak seçildiğinde birim tanjantın tanımı sadeleşir ve |dγ/ds|=1 olur. Eğriliğin standart formülü olan κ=|dT/ds| bu koşula dayanır: κ, birim tanjantın yay uzunluğu boyunca ne kadar hızlı değiştiğini gösterir. Dolayısıyla yalnızca γ'(t) hesaplamak eğriliği bulmaya yetmez; önce tanjantın birim olup olmadığı ve türevin hangi parametreye göre alındığı incelenmelidir.

Eğrilik ile burulmanın aynı şeyi göstermediği durumlar

Eğrilik κ, bir eğrinin yön değiştirme miktarını ölçer. κ değeri büyüdükçe, birim tanjant yay uzunluğuna göre daha hızlı döner. Düz bir doğru parçasında birim tanjant değişmediği için eğrilik sıfırdır. Eğrinin keskin biçimde döndüğü bölgelerde ise eğrilik daha büyük olur.

Eğrilik yerel bir büyüklüktür: bütün eğri için tek bir değer vermek yerine, her noktada ayrı ayrı hesaplanabilir. Bu değer bir eşikle değil, aynı eğrinin başka noktalarındaki değerlerle veya başka eğrilerin ilgili noktalarındaki değerlerle karşılaştırılarak yorumlanır. Örneğin bir eğrinin A noktasındaki eğriliği B noktasındakinden büyükse A çevresinde yön değişimi daha hızlıdır.

Burulma, uzay eğrisinin oskülatör düzleminin yay uzunluğuna göre ne kadar hızlı döndüğünü ölçer. Düzlemsel, yeterince düzgün ve eğriliği sıfır olmayan bir eğrinin burulması sıfırdır. Bu nedenle eğrilik ve burulma farklı bilgileri taşır. Eğri düzlem içinde kavisli olabilir; bu durumda eğriliği sıfır olmayabilir, fakat burulması sıfır olabilir. Eğrinin düzlemsel olması ile düz bir doğru olması da aynı şey değildir.

Eğrilik formülünde T birim tanjant, s ise yay uzunluğudur: κ=|dT/ds|. Formülün geçerliliği, türevlenebilir ve düzenli bir eğri üzerinde, birim tanjantın tanımlı olduğu noktalardadır. Parametre yay uzunluğu değilse doğrudan dT/dt kullanmak, t ile s arasındaki hız farkını gözden kaçırabilir. Bu, hesaplama sorularında en sık yapılan teknik hatalardan biridir.

Yüzeyde mesafe ve açıların birinci temel formla ölçülmesi

Bir yüzey iki parametreyle X(u,v) biçiminde tanımlandığında, Xᵤ × Xᵥ ≠ 0 koşulunu sağlayan düzenli bir yüzey parametrizasyonu varsayılır. Bu durumda yüzey üzerindeki küçük hareketler u ve v değişimlerinden oluşur. Bu hareketlerin yüzey içindeki uzunluğunu hesaplamak için birinci temel form kullanılır. Formül şöyledir:

ds²=E du²+2F du dv+G dv².

Buradaki E, F ve G katsayıları yüzey parametrizasyonunun türevlerinden elde edilen iç çarpım bilgilerini taşır: E=Xᵤ·Xᵤ, F=Xᵤ·Xᵥ ve G=Xᵥ·Xᵥ. E ve G, u ve v yönlerindeki küçük hareketlerin uzunluk katkısını; F ise bu iki yönün birbirine dik olup olmadığını etkiler. F=0 olması, seçilen koordinat yönlerinin o noktada dik olduğu anlamına gelir; fakat yüzeyin bütünüyle düz olduğu anlamına gelmez.

Birinci temel form yüzeyin içsel geometrisini belirler. Yüzey üzerinde yaşayan bir gözlemci için mesafe ve açı ölçümleri bu form üzerinden yapılabilir. Buna karşılık ikinci temel form, yüzeyin bulunduğu uzay içinde nasıl büküldüğünü ve dışsal eğrilik özelliklerini inceler. Bu iki formu karıştırmamak gerekir: birinci temel form mesafe ve açı ölçümünü, ikinci temel form ise yüzeyin dış uzaya göre eğrilik davranışını açıklar.

Örneğin silindir yüzeyi dışarıdan bükülmüş görünür; ancak yüzey üzerindeki yerel uzunluk hesabı birinci temel formla yapılır. Bu nedenle bir yüzeyin uzayda kavisli görünmesi, yüzey içindeki bütün ölçümlerin doğrudan değiştiği anlamına gelmez. Ölçümün hangi geometrik bakış açısından yapıldığı belirtilmelidir.

Manifoldlarda lokal Öklid benzerliği ve global fark

Manifold, her küçük çevresi uygun koordinatlarla bir Öklid uzayının açık bir parçasına benzeyen, fakat bütünüyle ele alındığında daha karmaşık olabilen uzaydır. İki boyutlu bir manifoldun küçük bir bölgesi düzlem gibi; üç boyutlu bir manifoldun küçük bir bölgesi ise üç boyutlu Öklid uzayı gibi modellenebilir.

Buradaki lokal benzerlik, manifoldun tamamının Öklid uzayına eşit olduğu anlamına gelmez. Kürenin küçük parçaları düzlem üzerinde koordinatlarla temsil edilebilir; ancak bu temsil genel olarak uzunluk ve açıları tam olarak koruyan bir izometri değildir. Küre lokal olarak düzleştirilebilir koordinatlara sahip olsa da içsel Gauss eğriliği sıfır değildir.

Diferansiyel geometride yalnızca topolojik olarak lokal Öklid benzerliği yeterli olmayabilir. Türev alabilmek için koordinat geçişlerinin uygun düzgünlük koşullarını taşıyan diferansiyellenebilir bir yapı gerekir. Bu yapı kurulduğunda eğriler, tanjant vektörler ve türev kavramları manifold üzerinde anlamlı biçimde tanımlanabilir.

Bir manifold üzerinde uzunluk ve açı ölçmek isteniyorsa ayrıca bir metrik gerekir. Riemann geometrisinde metrik, her noktadaki tanjant vektörler arasında iç çarpım tanımlar. Böylece eğrilerin uzunluğu, açıların ölçüsü ve daha genel geometrik büyüklükler hesaplanabilir. Kavisli bir uzayda düz uzaydaki adi türevin koordinat değişimlerinden etkilenebilmesi nedeniyle bağlantı ve kovaryant türev kavramları kullanılır. Bunlar, vektör alanlarının manifold üzerinde nasıl karşılaştırılacağını düzenler.

Gauss-Bonnet teoremi, uygun koşullara sahip kapalı yüzeylerde geometrik bir büyüklük olan Gauss eğriliğinin integrali ile topolojik Euler karakteristiği arasında ilişki kurar. Bu sonuç, lokal eğrilik bilgisinin global topolojiyle bağlantılı olabileceğini gösterir; ancak herhangi bir yüzeyde koşulları kontrol etmeden doğrudan uygulanacak bir hesap kuralı değildir.

Çözümlü örnekler: tanjant, birim tanjant ve yüzey metriği

Örnek 1 — Birim hızla verilen çemberin eğriliği

Verilenler: γ(s)=(cos s,sin s). Parametre s yay uzunluğu olarak seçilmiş olsun.

1. Tanjant vektörü bulunur: γ'(s)=(-sin s,cos s).
2. Tanjantın uzunluğu hesaplanır: |γ'(s)|=√(sin²s+cos²s)=1. Dolayısıyla bu aynı zamanda birim tanjanttır ve T(s)=(-sin s,cos s) olur.
3. Birim tanjantın s’ye göre türevi alınır: dT/ds=(-cos s,-sin s).
4. Bu vektörün uzunluğu hesaplanır: |dT/ds|=√(cos²s+sin²s)=1.
5. Eğrilik formülüne göre κ=|dT/ds|=1 bulunur.

Sonuç: Bu parametrizasyonda çemberin her noktasındaki eğrilik 1’dir. Burada sonucun elde edilmesinin nedeni, kullanılan eğrinin birim hızla ve yay uzunluğu parametresiyle verilmiş olmasıdır. Başka bir parametrizasyon kullanılsaydı, önce birim tanjant ve yay uzunluğu ilişkisi yeniden kurulmalıydı.

Örnek 2 — Silindir yüzeyinin birinci temel formu

Verilenler: X(u,v)=(cos u,sin u,v).

1. Parametre türevleri alınır: Xᵤ=(-sin u,cos u,0) ve Xᵥ=(0,0,1).
2. İç çarpımlar hesaplanır: E=Xᵤ·Xᵤ=1, F=Xᵤ·Xᵥ=0, G=Xᵥ·Xᵥ=1.
3. Katsayılar birinci temel forma yerleştirilir: ds²=du²+dv².

Sonuç: Bu koordinatlarda u yönündeki ve v yönündeki küçük hareketler dik olduğundan F=0’dır; her iki yöndeki katsayı da 1’dir. Bu sonuç silindirin uzayda düz bir yüzey olduğu anlamına gelmez. Yalnızca seçilen koordinatlarla yüzey üzerindeki küçük uzunluk hesabının bu biçimde yapıldığını gösterir.

Sık yapılan hatalar ve karıştırılan kavramlar

1. Türev ile tanjant vektörü özdeş sanmak: γ'(t) tanjant vektördür; fakat uzunluğu parametreye bağlı hız bilgisini de taşır. Yalnızca yönü incelemek için birim tanjant kullanılmalıdır.

2. Her tanjant vektörü birim kabul etmek: γ'(t) ancak uzunluğu 1 ise birim tanjanttır. Aksi durumda T=γ'(t)/|γ'(t)| biçiminde normalize edilmelidir.

3. Eğriliği türevin büyüklüğü sanmak: Eğrilik |γ'(t)| değildir. Eğrilik birim tanjantın yay uzunluğuna göre değişimidir ve κ=|dT/ds| ile tanımlanır.

4. Eğrilik ile eğim açısını karıştırmak: Tanjantın yönü eğrinin o andaki doğrultusunu, eğrilik ise bu doğrultunun ilerlerken ne kadar değiştiğini gösterir. Yatay bir eğri parçası bile ilerledikçe yön değiştiriyorsa eğriliği sıfır olmayabilir.

5. Eğrilik ile burulmayı aynı kavram sanmak: Eğrilik, birim tanjantın yay uzunluğuna göre değişimini; burulma ise uzay eğrisinin oskülatör düzleminin yay uzunluğuna göre dönme hızını anlatır. Düzlemsel, yeterince düzgün ve eğriliği sıfır olmayan bir eğrinin burulması sıfırdır.

6. F=0 sonucunu yüzey düz sanmak: Birinci temel formdaki F katsayısının sıfır olması yalnızca seçilen iki koordinat yönünün dik olduğunu gösterir. Yüzeyin dışsal eğriliği ayrıca incelenmelidir.

7. Manifoldu yalnızca kıvrımlı bir yüzey olarak tanımlamak: Manifold kavramı eğri ve yüzeyleri kapsar, fakat daha yüksek boyutlu ve soyut uzaylara da uygulanır. Lokal Öklid benzerliği ile global Öklid eşitliği birbirinden ayrılmalıdır.

8. Gauss-Bonnet teoremini koşulsuz kullanmak: Teoremin kapalı yüzey ve uygun düzgünlük gibi koşulları vardır. Bir soruda yüzeyin türü ve sınır durumu verilmeden doğrudan teorem uygulanmamalıdır.