Diferansiyel Geometri Temelleri: Eğriler, Yüzeyler ve Metrik

Diferansiyel geometrinin konusu ve temel yaklaşımı

Diferansiyel geometri; eğrileri, yüzeyleri ve daha genel geometrik uzayları, noktaların yakın çevresindeki yapılarını inceleyerek anlamaya çalışır. Öklid geometrisinde doğru, çember ve düzlem gibi nesneler çoğunlukla sabit şekiller ve uzaklık ilişkileriyle ele alınırken diferansiyel geometri, bu nesnelerin noktadan noktaya nasıl değiştiğine odaklanır. Bu nedenle türev, alanın temel araçlarından biridir.

Bir eğri veya yüzey önce koordinatlarla ifade edilir. Eğrinin parametreye göre türevi, hareketin o andaki yönünü verir; yüzeyin iki bağımsız yöndeki türevleri ise yüzey üzerinde hangi doğrultularda ilerlenebileceğini gösterir. Bu türevlerden teğet vektörler, uzunluk ölçüsü ve eğrilik gibi geometrik bilgiler çıkarılır. Örneğin düzlemde bir çember, merkezinden sabit uzaklıktaki noktalar kümesi olarak tanımlanabilir; diferansiyel geometri ise çemberin her noktasındaki teğet yönünü ve bu yönün ne hızla değiştiğini hesaplar. Böylece şeklin yalnızca genel tanımı değil, yerel davranışı da incelenir.

Bu yaklaşım Öklid geometrisini ortadan kaldırmaz; onu daha esnek bir çerçeveye taşır. Düz bir doğru, eğriliği sıfır olan özel bir eğri; düzlem ise belirli bir metrik yapıya sahip özel bir yüzey olarak düşünülebilir. Eğriler ve yüzeyler için kullanılan fikirler, daha genel uzaylara genişletildiğinde manifold kavramına ulaşır. Diferansiyel formlar ve tensör hesabı, bu genişletilmiş çerçevenin ileri araçlarıdır.

Parametrik eğriler ve teğet vektörler

Bir eğrinin parametrik gösterimi, eğri üzerindeki noktaları bir parametreye bağlar. Düzlemde bir eğri r(t) = (x(t), y(t)), uzayda ise r(t) = (x(t), y(t), z(t)) biçiminde yazılabilir. Burada t değiştikçe r(t) eğri üzerindeki farklı noktaları gösterir. Parametre çoğu zaman zaman gibi düşünülebilir; ancak zorunlu olarak fiziksel zamanı temsil etmez.

Eğrinin türevi r'(t), parametre değişirken konum vektörünün nasıl değiştiğini gösterir ve teğet vektör olarak adlandırılır. r'(t) sıfır değilse, bu vektör eğrinin o noktadaki ilerleme yönünü belirler. Teğet vektörün doğrultusu eğriye teğet doğrunun doğrultusudur. Aynı geometrik eğri farklı parametrelerle çizilebilir; bu durumda türev vektörünün büyüklüğü değişebilse de uygun koşullarda teğet doğrultusu aynı kalır. Bu ayrım, eğrinin geometrik özelliği ile parametre seçiminin etkisini birbirinden ayırır.

Örneğin bir çember r(t) = (R cos t, R sin t) biçiminde parametrikleştirilebilir. Türevi r'(t) = (-R sin t, R cos t) olur. Bu vektör, her noktada yarıçapa dik bir doğrultudadır; dolayısıyla çemberin teğet yönünü verir. Parametre t arttıkça nokta çember üzerinde ilerler ve türev vektörü sürekli değişir. Bir doğru için r(t) = p + tv yazılırsa türev r'(t) = v sabit kalır; bu da doğrunun yönünün her noktada değişmediğini gösterir.

Yay uzunluğu, birim teğet ve eğriliğin temel anlamı

Parametrik bir eğrinin küçük bir parametre değişiminde aldığı yolun yaklaşık uzunluğu ||r'(t)|| dt olur. Bu nedenle t=a ile t=b arasındaki yay uzunluğu s = ∫_a^b ||r'(t)|| dt ile hesaplanır. Yay uzunluğunu yeni bir parametre olarak kullanmak, eğri üzerindeki ilerlemeyi doğrudan alınan mesafeyle ölçmeyi sağlar. Teğet vektörün uzunluğu bir değilse, onun normalize edilmiş biçimi birim teğet vektördür: T = r'(t) / ||r'(t)||. Birim teğet, yön bilgisini korur ve büyüklüğü her noktada birdir.

Eğrilik, birim teğetin yay uzunluğuna göre ne kadar hızlı değiştiğini ölçer: κ = ||dT/ds||. Doğru üzerinde birim teğet sabit olduğundan eğrilik sıfırdır. Çemberde ise teğet yönü sürekli değişir; yarıçap küçüldükçe yön değişimi daha hızlı olur ve eğrilik büyür. Sabit yarıçaplı bir çember için eğrilik κ = 1/R'dir. Böylece eğrilik, bir eğrinin yalnızca bükülmüş olup olmadığını değil, ne ölçüde büküldüğünü de açıklar.

Burulma ve uzay eğrilerinin yerel davranışı

Düzlemdeki bir eğrinin hareketi, teğet ve eğrilik ile büyük ölçüde açıklanabilir; çünkü eğri tek bir düzlem içinde kalır. Uzay eğrilerinde ise eğri, bulunduğu düzlemden dışarı doğru da yön değiştirebilir. Burulma, bu uzaysal dönme davranışını ölçen kavramdır. Eğriliğin büyüklüğü teğet yönünün değişimini, burulmanın büyüklüğü ise eğrinin yerel osküler düzleminin uzayda nasıl döndüğünü ifade eder.

Bir uzay eğrisinin temel yerel çerçevesi genellikle birim teğet, normal ve binormal doğrultularıyla kurulur. Teğet eğrinin ilerleme yönünü, normal eğriliğin yönünü, binormal ise bu iki doğrultuya dik uzaysal yönü gösterir. Burulma sıfırsa eğri yerel olarak tek bir düzlem içinde davranabilir; burulma sıfırdan farklı olduğunda eğri uzayda kıvrılarak bu düzlemden sapar. Örneğin bir helis, bir eksen çevresinde ilerlerken aynı anda dönerek uzayda yükselir; bu nedenle yalnızca eğriliği değil, burulması da yerel davranışını belirler. Aynı eğrilik değerlerine sahip iki uzay eğrisi, farklı burulma değerleri yüzünden uzayda farklı biçimlerde kıvrılabilir.

Yüzeyler, teğet düzlemler ve birinci temel form

Bir yüzey, iki parametreyle verilen bir konum fonksiyonu olarak yazılabilir: X(u,v) = (x(u,v), y(u,v), z(u,v)). u ve v değiştikçe X(u,v), yüzey üzerindeki noktaları tarar. Bu gösterimde X_u ve X_v kısmi türevleri, yüzey üzerinde iki temel teğet yönü verir. Bu iki vektör aynı doğrultuda değilse, bunların doğrusal birleşimleri yüzeyin o noktadaki teğet düzlemini oluşturur. Yani yüzey düz olmasa bile her noktanın yeterince küçük çevresinde ona yaklaşan bir düzlem vardır.

Yüzey üzerindeki küçük bir hareket du = u değişimi ve dv = v değişimi ile ifade edildiğinde, konum değişimi yaklaşık olarak dX = X_u du + X_v dv olur. Bu hareketin karesel uzunluğu, birinci temel form ile ölçülür: ds² = E du² + 2F du dv + G dv². Burada E = X_u · X_u, F = X_u · X_v ve G = X_v · X_v olarak tanımlanır. Birinci temel form; yüzey üzerindeki eğrilerin uzunluğunu, iki teğet doğrultu arasındaki açıyı ve yüzey alanı ölçüsünü belirlemeye yarar. Örneğin bir yüzey üzerindeki eğrinin parametrik gösterimi X(u(t),v(t)) ise hızı X_u u'(t) + X_v v'(t) olur ve yay uzunluğu bu hızın normunun integraliyle bulunur.

Silindir, bu fikir için somut bir örnektir. Yarıçapı R olan bir silindir X(u,v) = (R cos u, R sin u, v) ile parametrikleştirilebilir. Burada X_u, çember yönündeki; X_v ise silindirin ekseni yönündeki teğet vektörüdür. Bu iki yön birbirine diktir ve birinci temel form ds² = R²du² + dv² biçimine indirgenir. Silindirin yan yüzeyindeki bir etiket açılıp düzleştirildiğinde, silindirin çevresi bir dikdörtgenin bir kenarı, yüksekliği de diğer kenarı olur; bu nedenle silindir üzerindeki ölçüler yerel olarak düzlemdeki ölçülerle ilişkilendirilebilir. Silindir ve küre gibi yüzeylerin temel geometrik tanımları, yarıçap ve yüzey ölçüsü üzerinden kurulabilir; ancak diferansiyel geometri bu ölçüleri her noktadaki teğet verilerinden üretir.

İçsel ve dışsal geometri ayrımı

Bir yüzeyin dışsal geometrisi, yüzeyin içinde bulunduğu daha büyük uzaya nasıl yerleştiğiyle ilgilidir. Yüzeyin bükülmesi, uzay içindeki normal yönü ve belirli bir noktada ne kadar kıvrıldığı bu bakışla incelenir. İçsel geometri ise yalnızca yüzey üzerinde yaşayan bir gözlemcinin ölçebileceği uzunluk, açı ve alan gibi bilgileri ele alır. Bu bilgilerin temel kaynağı birinci temel formdur.

Bu ayrımın önemli sonucu, uzayda farklı görünen yüzeylerin yerel içsel ölçüler bakımından benzer olabilmesidir. Düzlemdeki bir dikdörtgen ile silindirin açılmış yan yüzeyindeki karşılığı, uygun ölçekte aynı uzunluk ve açı hesabını verebilir; silindir uzayda bükülmüş görünse de yüzey üzerinde küçük mesafeleri ölçmek için kullanılan yapı bu açılmadan okunabilir. Buna karşılık yüzeyin normal doğrultusundaki bükülmesi dışsal bir özelliktir. İkinci temel form ve yüzey eğriliği, yüzeyin uzay içindeki bu bükülmesini tanıtmak için kullanılır. Gauss eğriliği, Gauss teoremi ve kovaryant türev daha ileri bir inceleme düzeyine aittir.

Manifold kavramına giriş

Manifold, her küçük çevresinde Öklid uzayının bir parçası gibi görünen, ancak bütünüyle daha karmaşık bir yapıya sahip olabilen uzaydır; eğriler bir boyutlu, yüzeyler iki boyutlu manifold örnekleridir. Riemann geometrisi ve genel manifold teorisi, bu yerel ölçü fikrini daha genel uzaylara taşır.

Geodezik kavramı

Geodezik, yüzey üzerinde yerel olarak mümkün olduğunca düz ilerleyen ve uygun koşullarda iki nokta arasındaki en kısa yolu temsil eden eğridir. Düzlemde geodezikler doğrular, küre üzerinde ise büyük çember yayları gibi düşünülebilir.

İkinci temel form ve yüzey eğriliği

İkinci temel form, yüzeyin teğet düzlemden normal yönde nasıl saptığını ölçerek yüzeyin dışsal eğriliğini incelemeye yarayan bir araçtır.