Diferansiyel Geometri

Transkript

1 Öklid Uzayıda Diferasiyel Geometri Salim Yüce

2 Prof. Dr. DİFERNSİYEL GEOMETRİ ISBN DOI / Kitap içeriğii tüm sorumluluğu yazarlarıa aittir. 2017, PEGEM KDEMİ Bu kitabı basım, yayım ve satış hakları Pegem kademi Yay. Eğt. Da. Hizm. Tic. Ltd. Şti.ye aittir. ıla kuruluşu izi alımada kitabı tümü ya da bölümleri, kapak tasarımı; mekaik, elektroik, fotokopi, mayetik, kayıt ya da başka yötemlerle çoğaltılamaz, basılamaz, dağıtılamaz. Bu kitap T.C. Kültür Bakalığı badrolü ile satılmaktadır. Okuyucularımızı badrolü olmaya kitaplar hakkıda yayıevimize bilgi vermesii ve badrolsüz yayıları satı almamasıı diliyoruz. Pegem kademi Yayıcılık, 1998 yılıda bugüe uluslararası düzeyde düzeli faaliyet yürüte uluslararası akademik bir yayıevidir. Yayımladığı kitaplar; Yükseköğretim Kuruluca taıa yükseköğretim kurumlarıı kataloglarıda yer almaktadır. Düyadaki e büyük çevrimiçi kamu erişim kataloğu ola WorldCat ve ayrıca Türkiye'de kurula Turcademy.com ve Pegemideks.et tarafıda yayıları taramaktadır, idekslemektedir. yı alada farklı yazarlara ait 1000 i üzeride yayıı bulumaktadır. Pegem kademi Yayıları ile ilgili detaylı bilgilere adreside ulaşılabilmektedir. 1. Baskı: Şubat 2017, kara Yayı-Proje: Özlem Sağlam Dizgi-Grafik Tasarım: Tuğba Kuşcuoğlu Kapak Tasarımı: Pegem kademi Baskı: Vadi Grup Ciltevi.Ş. İvedik Orgaize Saayi 28. Cadde 2284 Sokak No:105 Yeimahalle/NKR ( ) Yayıcı Sertifika No: Matbaa Sertifika No: İletişim Karafil 2 Sokak No: 45 Kızılay / NKR Yayıevi: Yayıevi Belgeç: Dağıtım: Dağıtım Belgeç: Hazırlık Kursları: İteret: E-ileti: pegem@pegem.et

3 İçidekiler iii ÖN SÖZ Kitabımı, bu ülke içi calarıı feda ede tüm 15 Temmuz şehitlerimiz ezdide mesai arkadaşım Prof. Dr. İlha VRNK kardeşime ithaf ediyorum. Bu kitap, üiversiteleri Matematik, Matematik Mühedisliği, Matematik Bilgisayar, İstatistik, Matematik Öğretmeliği ve Jeoloji Mühedisliği bölümleride lisas ve lisasüstü düzeyde okutula Diferasiyel Geometri derslerii kayak kitabı olacağı düşücesiyle kaleme alımıştır. Bu kitap sadece Öklid uzayı üzerie işa edilmiştir. plalaa bir soraki kitapta ise sadece Maifoldları icelemesi düşüülmektedir. Bu bağlamda, kitabı birici bölümüde temel kavram olarak fi ve Öklid uzayları taıtılmış; ikici bölümde, diferasiyelleebilir foksiyolar, tajat vektör-vektör alaı, yöe göre türev, kovaryat türev, Lie operatörü, kotajat vektör, 1 form, diferasiyel formlar, gradiet-diverges-rotasyoel foksiyolar ve türev döüşümü verilmiş; üçücü bölümde, 2 veya 3 veya - boyutlu Öklid uzaylarıda ve Mikowski 3-uzayıda eğriler teorisi icelemiş, ayrıca özel eğriler ve özel eğri çiftleri verilmiş; dördücü bölümde, -boyutlu Öklid uzayıda hiperyüzeyler ile 3-boyutlu Öklid uzayıda yüzeyler teorisi icelemiş ve ayrıca yüzey üzerideki eğrileri eğrilikleri ile yüzeyi eğrilikleri arasıda bağıtılar elde edilmiştir. Beşici bölümde ise yüzeyleri döüşümleri, global özellikleri, yüzeyler üzeride formlar ve Gauss Boet teoremi üzeride durulmuş; altıcı bölümde özel yüzeyler icelemiş ve her biri içi matlab çizimleri verilerek örekledirilmiştir. Bulara ek olarak her bölüm içeriside koulara özel sorular çözülmüş ve kou souda da alıştırmalar verilmiştir. E öemlisi de yedici ve so bölüm ola Maple Uygulamaları bölümüde kitap içeriside alatıla bazı geometrik formüller içi kodlar verilmiştir. Kitabı tüm metii titizlikle okuyarak yapıcı uyarı ve öerileride bulua Prof. Dr. Ertuğrul ÖZDMR Hocama, ayrıca kitabı yazımıı gerçekleye Yrd. Doç. Dr. Nurte (BYRK) GÜRSES, rş. Gör. G. Yeliz ŞENTÜRK, rş. Gör. Esra ERKN, ve doktora öğrecim G. Kemal NLBNT ile MPLE kodlarıı yaza Yrd. Doç. Dr. Mutlu KR ezdide tüm geometri grubu asistalarıma teşekkür ederim.

4 iv Öklid Uzayıda Diferasiyel Geometri So olarak, akademik hayatımı her oktasıda yaımda ola Hocam Sayı Prof. Dr. Nuri KURUOĞLU a emekleri içi teşekkürlerimi suarım. Baa ola sevgi, güve ve yardımları ile her zama yaımda ola sevgili aem, babam, eşim, çocuklarım ve kardeşlerim bu kitabı gerçek yazarlarıdır. Prof. Dr. Yıldız Tekik Üiversitesi sayuce@yildiz.edu.tr

5 İçidekiler v İÇİNDEKİLER Ö Söz... iii İçidekiler... v 1. Bölüm Temel Kavramlar 1.1. fi Uzay Öklid Uzayı Bölüm Diferasiyelleebilir Foksiyolar 2.1. k-yıcı Sııfta Diferasiyelleebilir Foksiyolar Tajat Vektörler ve Tajat Uzaylar Vektör laları ve Vektör lalarıı Uzayı Yöe Göre Türev Yöe Göre Türevi Geometrik Yorumu Reel Değerli Foksiyoları Bir Vektör laı Yöüdeki Türevi Bir Vektör laıı Bir Diğer Vektör laıa Göre Kovaryat Türevi Lie Operatörü Kotajat Vektör ve Kotajat Uzay... 87

6 vi Öklid Uzayıda Diferasiyel Geometri 2.8. Diferasiyel Operatör (d Operatörü) Gradiet, Diverges ve Rotasyoel Foksiyolar Gradiet Foksiyou Diverges Foksiyou Rotasyoel Foksiyo Diferasiyel Formlar ltere (Dış, Kutupsal, ti-simetrik) Çarpım Dış Türev ltere Çarpımı Determiatla İlgisi Bir Döüşümü Diferasiyeli Türev Döüşümüü Geometrik Yorumu Türev Döüşümüü Matrisi Bölüm Eğriler Teorisi 3.1. Eğri Taımı Hız Vektörü Skalar Hız Foksiyou ve Skalar Hız Parametre Değişimi Düzlemde Eğriler Düzlemde Eğrileri Eğriliği çı Foksiyoları Düzlemsel Eğriler İçi Freet Formülleri E 2 de Özel Eğriler Toplam İşaretli Eğrilik Bir Kapalı Eğrii Döme İdeksi

7 İçidekiler vii 3.6. E Uzayıda Eğriler Serret-Freet Vektörleri Bir Eğrii Oskülatör Hiperdüzlemleri Freet Formülleri ve Eğrilikler E 3 Uzayıda Eğriler Freet Formülleri ve Eğrilikler Özel Düzlemler κ ve τ Eğriliklerii Geometrik Yorumu Birim Hızlı Olmaya Eğriler İçi Freet Formülleri ve Eğrilikler ! 1 3 Mikowski Uzayıda Freet Formülleri ve Eğrilikler Özel Eğriler Küresel Eğriler Oskülatör Küre Helisler (Eğilim Çizgileri) E 3 Öklid Uzayıda Eğilim Çizgileri İvolut (Basit) ve Evolut (Mebsut) E 3 de İvolut-Evolüt Eğri Çifti Bertrad Eğri Çifti E 3 de Bertrad Eğri Çifti Bir Eğrii Küresel Göstergeleri Bağ Formları

8 viii Öklid Uzayıda Diferasiyel Geometri 4. Bölüm E de Hiperyüzeyler 4.1. Dik Koordiat Sistemide Kapalı Deklem Yardımıyla Yüzeyi Taımı E 3 Öklid Uzayıda Yüzey Hiperyüzeylerde Yöledirme Hiperyüzeyler Üzeride Geodezik Eğriler Hiperyüzeyler Üzeride Şekil Operatörü (Weigarte Döüşümü) E 3 de Bir M Yüzeyii Şekil Operatörüü Matrisii Hesabı Gauss Döüşümü Gauss Döüşümü ve Şekil Operatörü rasıdaki İlişki Temel Formlar Yüzeyi Normlar Eğriliği Şekil Operatörüü Cebirsel Değişmezleri sli Eğrilikler, sli Doğrultular Gauss Eğriliği Ortalama Eğrilik Eğrilik Çizgisi (sli Eğri) Yüzeyler Üzeride Eğrileri Geodezik ve Normal Eğriliği Hiperyüzeyleri Global Özellikleri Temel Formu Özellikleri Hiperyüzeyler İçi Euler Teoremi Dupi Göstergesi Hiperyüzeyler Üzeride Gauss lamıda Kovaryat Türev Gauss Deklemlerii Küresel Göstergelere Uygulaması Bazı Hiperyüzeyler ve Eğrilikleri

9 İçidekiler ix Hiperdüzlem Hiperküre Hipersilidir Bölüm Yüzeyleri Döüşümleri 5.1. Yüzeyleri Döüşümleri Yüzeyleri Global Özellikleri Yüzeyler Üzeride Formlar Gauss Boet Teoremi Bölüm Özel Yüzeyler 6.1. Miimal Yüzeyler Paralel Yüzeyler Möbiüs Şeridi Klei Şişesi Döel Yüzeyler Regle Yüzeyler Tor Yüzeyi

10 x Öklid Uzayıda Diferasiyel Geometri 7. Bölüm Maple Uygulamaları 7.1. Diferasiyelleebilir Foksiyolar İçi Maple Uygulamaları Tajat Vektörü Yöüde Türev Reel Değerli Foksiyoları Bir Vektör laı Yöüdeki Türevi Bir Vektör laıı Bir Diğer Vektör laıa Göre Kovaryat Türevi Gradiet Foksiyou Diverges Foksiyou Rotasyoel Foksiyo Bir Döüşümü Diferasiyeli Eğriler Teorisi İçi Maple Uygulamalar Yüzeyler İçi Mapple Uygulamalar Kayaklar Dizi

11 Temel Kavramlar 1 1. BÖLÜM TEMEL KVRMLR Bu bölümde, fi uzaylar ve Öklid uzayları ele alıacaktır. Her iki uzay da, bir vektör uzayı ile ilişkiledirilmiş okta kümeleridir. Böyle bir ilişkiledirme soucuda, vektör uzaylarıı özellikleri yardımıyla okta uzayları ve o uzaylardaki geometrik biçimler iceledi.

12 2 Öklid Uzayıda Diferasiyel Geometri fi Uzay Taım 1.1 (fi uzay): bir küme ve V, reel sayılar cismi üzeride -boyutlu bir vektör uzayı olsu. Eğer f : V,, P Q f P Q PQ foksiyou, 1) P, Q, R içi,,, f P Q f Q R f P R ( veya PQ QR PR ) 2) P, V içi PQ olacak şekilde bir tek Q vardır. özelliklerii sağlıyorsa ya vektör uzayı ile birleşe -boyutlu bir fi Uzay deir. yrıca 1) ve 2) özelliklerie ise afi aksiyomlar adı verilir. Örek 1.1: V üzere Gösteriiz. Çözüm f : (vektör uzayı) ve (sıralı kümesi,, V -lileri kümesi) olmak V vektör uzayı ile birleşe bir afi uzaydır. P Q f P Q PQ Q P OQ OP

13 Temel Kavramlar 3 foksiyouu taımlayalım. 1) PQ QR PR olduğuu göstereceğiz., f Q, R f P Q = PQ QR Q P R Q R P PR f ( P, R) P p1 p 2 p 1 2 V 2),,...,,,,..., içi,,...,,,..., PQ q p q p q p olmak üzere q p ; i 1,2,..., buluur. O halde verile içi ler i i i ve p i i q i de tektir. Bu durumda sıralı -lileri kümesi, uzayı ile birleşe -boyutlu bir afi uzaydır. fi Uzay ile Vektör Uzayıı Karşılaştırılması stadart vektör V vektör uzayıda 0 0 olacak şekilde bir 0 vektörü varke afi uzayda bezer özelliğe sahip bir okta yoktur. V V vektör uzayıı elemaları vektörler ike ile birleşe afi uzayıı elemaları bir kümei sırada elemalarıdır. Bu edele afi uzayıı elemalarıa oktalar deir. Bilidiği gibi elemaları okta diye adladırıla bir küme uzay adıı alır. fi ksiyomlarda Elde Edile Souçlar boy V boy 1) aksiyomu gereğice; afi uzayda iki okta bir vektör belirtir.

14 4 Öklid Uzayıda Diferasiyel Geometri 2) aksiyomu gereğice; afi uzayda bir okta seçilirse uzaydaki her okta bir vektör belirtir. Taım 1.2 (fi Çatı): V V -boyutlu bir vektör uzayı ve, vektör uzayı ile birleşe bir afi uzay olsu. P0, P1,..., P oktaları içi P0 P1, P0 P2..., P0 P vektör V sistemi i bir bazı ise P0, P1,..., P kümesie afi uzayıı bir afi çatısı deir. P 0 oktasıa çatıı başlagıç oktası, P1, P2,..., P oktalarıa da afi çatıı uç oktaları deir. Teorem 1.1: V, vektör uzayı ile birleşe -boyutlu bir afi uzay olsu. da belli bir P oktası tespit edildiğide başlagıç oktası ola bir afi 0 çatı vardır. İspat: P 0 boyv V olmak üzere i bir bazı 1, 2..., olsu. afi uzayıda P 0 oktasıı tespit edelim. Böylece 2) afi aksiyomu gereğice P0 P,1 i olacak şekilde bir tek P oktası i i vardır. O halde P1, P2,..., P oktaları elde edilir. sistemi V i bir bazı olduğuda PP 0 i i içi P0 P1, P0 P2..., P0 P de i bir bazıdır. O halde afi çatı taımıda, P0, P1,..., P okta kümesi da bir afi çatıdır. i i V