• Sonuç bulunamadı

Üç boyutlu öklidyen ve minkowski uzayında yüzeyler

N/A
N/A
Protected

Academic year: 2021

Share "Üç boyutlu öklidyen ve minkowski uzayında yüzeyler"

Copied!
90
0
0

Yükleniyor.... (view fulltext now)

Tam metin

(1)

T.C.

NİĞDE ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ MATEMATİK ANABİLİM DALI

ÜÇ BOYUTLU ÖKLİDYEN VE MİNKOWSKİ UZAYINDA YÜZEYLER

VEYSİ ÇİÇEK

Şubat 2015 YÜKSEK LİSANS TEZİVİÇEK,2015 NİĞDE ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ

(2)
(3)

T.C.

NİĞDE ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ MATEMATİK ANABİLİM DALI

ÜÇ BOYUTLU ÖKLİDYEN VE MİNKOWSKİ UZAYINDA YÜZEYLER

VEYSİ ÇİÇEK

Yüksek Lisans Tezi

Danışman

Doç. Dr. Atakan Tuğkan YAKUT

Şubat 2015

(4)

Vcysi ÇİÇEK tarafından Doç. Dr. Atakan Tuğkan YAKUT danışmanlığında hazırlanan “Üç Boyutlu Öklidyen ve Minkowski Uzayında Yüzeyler” adlı bu çalışma jürimiz tarafından Niğde Üniversitesi Fen Bilimleri Enstitüsü Matematik Ana Bilim

Dalımda Yüksek Lisans tezi olarak kabul edilmiştir.

Başkan : Doç. Dr. Durmuş DAĞHAN

(Niğde Üniversitesi Fen-Edebiyat Fakültesi Matematik Bölümü)

Üye

Üye

: Yrd. Doç. Dr. Murat SAVAŞ

(Gazi Üniversitesi Fen Fakültesi Matematik Bölümü)

: Doç. Dr. Atakan Tuğkan YAKUT

(Niğde Üniversitesi Fen-Edebiya Fakültesi Matematik Bölümü)

ONAY:

Bu tez, Fen Bilimleri Enstitüsü Yönetim Kurulunca belirlenmiş olan yukarıdaki jüri üyeleri tarafından ..../...120.... tarihinde uygun görülmüş ve Enstitü Yönetim Kurulu’n u n __/ __/20_tarih v e ... sayılı kararıyla kabul edilmiştir.

./... /2 0...

Doç. Dr. Murat BARUT MÜDÜR

(5)

TEZ BİLDİRİMİ

Tez içindeki bütün bilgilerin bilimsel ve akademik kurallar çerçevesinde elde edilerek sunulduğunu, ayrıca tez yazım kurallarına uygun olarak hazırlanan bu çalışmada bana ait olmayan her türlü ifade ve bilginin kaynağına eksiksiz atıf yapıldığını bildiririm.

Veysi ÇİÇEK

(6)

iv ÖZET

ÜÇ BOYUTLU ÖKLİDYEN VE MİNKOWSKİ UZAYINDA YÜZEYLER

ÇİÇEK, Veysi Niğde Üniversitesi Fen Bilimleri Enstitüsü Matematik Ana Bilim Dalı

Danışman: Doç. Dr. Atakan Tuğkan YAKUT

Şubat 2015, 77sayfa

Bu çalışmada üç ve dört boyutlu Öklid ve Minkowski uzayında Frenet çatıları ile üç boyutlu uzayda yüzeyler incelendi. Birinci bölümde kısa bir literatür özeti verildi. İkinci bölümde konuyla ilgili temel kavramlar verildi. Üçüncü bölümde ise üç ve dört boyutlu Öklid ve Minkowski uzayında Frenet çatıları irdelendi. Dördüncü bölümde de üç boyutlu Minkowski uzayında minimal ve öteleme yüzeyleri incelendi. Beşinci bölümde ise sonuçlar verildi.

Anahtar Sözcükler: Frenet çatısı, Minkowski uzayı, Minimal yüzey, Öteleme yüzeyi.

(7)

v SUMMARY

SURFACES IN THREE DIMENSIONAL EUCLIDEAN AND MINKOWSKI SPACES

ÇİÇEK, Veysi Nigde University

Graduate School of Natural and Applied Sciences Department of Matematics

Advisor: Assoc. Prof. Dr. Atakan Tuğkan YAKUT

February 2015, 77 pages

In this study, we examined Frenet frames in 3 and 4 dimensional Euclidean and Minkowskian spaces and surfaces in 3 dimensional space. In the first chapter, we give literature summary. In the second chapter we give some basic concepts. In the third chapter, the Frenet frames is given in 3 and 4 dimensional Euclidean and Minkowskian spaces. In the fourth chapter, we discussed minimal and translation surfaces in Minkowskian 3-spaces. In the last chapter, we give conclusions.

Keywords: Frenet frames, Minkowski space, Minimal surface, Translation surface.

(8)

vi ÖN SÖZ

Yüksek lisans tez çalışmamın yürütülmesi esnasında, çalışmalarıma yön veren, bilgi ve yardımlarını esirgemeyen ve bana her türlü desteği sağlayan danışman hocam, Sayın Doç.Dr. Atakan Tuğkan YAKUT' a en içten teşekkürlerimi sunarım. Yüksek lisans tez çalışmam esnasında tecrübelerine başvurduğum Doç. Dr. Serkan KADER, Doç.Dr.

Durmuş DAĞHAN, Doç.Dr. Adnan TUNA ve Matematik Bölümü Öğretim Üyelerine müteşekkir olduğumu ifade etmek isterim. Bu tezin hazırlanması esnasında sık sık yardımlarına başvurduğum kıymetli arkadaşlarıma minnet ve şükran duygularımı belirtmek isterim.

Bu tezi, sadece bu çalışmam boyunca değil, tüm öğrenim hayatım boyunca maddi ve manevi desteğini esirgemeyen aileme ithaf ediyorum.

(9)

vii İÇİNDEKİLER

ÖZET ...iv

SUMMARY...v

ÖN SÖZ ...vi

İÇİNDEKİLER DİZİNİ ...vii

ŞEKİLLER DİZİNİ ...viii

SİMGE VE KISALTMALAR ...xi

BÖLÜM I GİRİŞ ...1

BÖLÜM II TEMEL KAVRAMLAR ...5

BÖLÜM III ÜÇ BOYUTLU ÖKLİDYEN VE MİNKOWSKİ UZAYINDA FRENET ÇATISI………10

3.1 Üç Boyutlu Öklid Durumu ………...10

3.2 Üç Boyutlu Minkowski Durumu ...13

3.3 Dört Boyutlu Öklid Durumu...16

3.4 Dört Boyutlu Minkowski Durumu...21

BÖLÜM IV MİNKOWSKİ UZAYINDA MİNİMAL VE ÖTELEME YÜZEYLERİ ...33

4.1 Gauss ve Ortalama Eğrilik ...33

4.2 Minimal Yüzeyler ...35

4.3 Sabit Ortalama Eğrilikli Öteleme Yüzeyleri ...39

BÖLÜM V SONUÇLAR ...74

KAYNAKLAR ...75

ÖZ GEÇMİŞ ...77

(10)

viii

ŞEKİLLER DİZİNİ

Şekil 4.1.Scherk yüzeyi………39

Şekil 4.2. 2 2

1

2 2

1 . 1 4. . .

z 2. H x c c y

H

 

      (a)3,H2 ve (b)0,H1

alınarak elde edilen yüzey………... 50

Şekil 4.3 2 2

1

2

1 1 4

z 2. H x c y

H

 

     (a)0,H 1 ve (b) 1, 1

2 H

  

alınarak elde edilen yüzey………...………….51

Şekil 4.4. 2 2

1

2 2

1 4 1

z 2. H x c c y

H

 

      (a)0,H1ve (b) 1, 2

2 H



. alınarak elde edilen yüzey………..…………...……….……...51

Şekil4.5. 2 2

1

2 2

1 1 4

z 2. H x c c y

H

     (a) 3,H2 ve (b) 2, 1

H 2

  

alınarak elde edilen yüzey……….………….…52

Şekil 4.6. 2 2

1

2 2

( ) 1 1 4

g y 2. H y c c

H

 

    (a) 3,H2 ve (b) 3, 1

H 2

  alınarak elde edilen yüzey………...……….…………53

Şekil 4.7. 2 2

1

2 2

( ) 1 4 1

g y 2. H y c c

H

 

    (a) 2,H 1 ve (b) 3,H 2

alınarak elde edilen yüzey………...………...………..54

Şekil 4.8. 2 2

1

2 2

( ) 1 1 4

g y 2. H y c c

H

     (a)0,H2 ve (b) 1, 1

2 H

  

alınarak elde edilen yüzey………...……….54

(11)

ix

Şekil 4.9. z1log cosh(

x)

1log cosh(

y)

(a) 1

2 ve (b) 4

alınarak elde edilen yüzey………...………….59

Şekil 4.10. x 1log cos(

y)

1log sinh(

z)

(a) 2 ve (b) 1

50

alınarak elde edilen yüzey………..……….62

Şekil 4.11. zg x( )h y( )1log cosh(

x)

1log sinh(

y)

(a) 2 ve (b) 1

 50

alınarak elde edilen yüzey……….……….64

Şekil 4.12. zg x( )h y( )1log sinh(

x)

1log cosh(

y)

(a) 2 ve (b) 1

 20

alınarak elde edilen yüzey……….……….……65

Şekil 4.13. zg x( )h y( )1log sinh(

x)

1log sinh(

y)

(a)1 ve (b) 1

 30

alınarak elde edilen yüzey……….……….66

Şekil 4.14. x g y( ) h(z) 1log cosh(

y)

1log cosh(

z)

 

     (a)1ve (b) 1

 30 alınarak elde edilen yüzey………..………...67

Şekil 4.15. xg y( )h(z) 1log cosh(

y)

1log cosh(

z)

(a)1 ve (b) 1

 30

alınarak elde edilen yüzey……….…….………68

Şekil 4.16.

  

1

2

1log sec .

g c u v c c

c

      c4 ve 1

alınarak elde edilen yüzey………...70

Şekil 4.17 . h1clog sec

c

21

v c 1

c2 c4 ve 2

alınarak elde edilen yüzey………...71

(12)

x

Şekil 4.18.

  

1

2

1log sec .

g c u v c c

c

    c4 ve 1

alınarak elde edilen yüzey……….…...72

Şekil 4.3

1

2

1log

h cv c c

c   c4

alınarak elde edilen yüzey………...…...…….73

(13)

xi

SİMGE VE KISALTMALAR

Simgeler Açıklamalar

En n-boyutluÖkliduzayı

E3 ÜçboyutluÖkliduzayı

3

E1 ÜçboyutluMinkowskiuzayı

T Teğetvektöralanı

N Normal vektöralanı

B Binormalvektöralanı

T N B, , 1

Frenet 3-ayaklısı

T N B B, , 1, 2

Frenet 4-ayaklısı

H Ortalamaeğrilik

V Vektöruzayı

k1 Eğrilik

k2 Burulma

(14)

1 BÖLÜM I

GİRİŞ

Öklidyen düzlemde eğrilerin diferansiyel geometrisi üzerinde çalışan ilk bilim adamı Hollanda’lı bilim adamı Huygens’dir. O, düzlemde herhangi bir noktadaki düzlem eğrilerinin eğriliğini ortaya koymuştur. Fakat eğriyi düzlemde bir noktanın hareketi ile bir t parametresine bağlı olarak ( )t

1( ),t2( )t

şeklinde ilk tanımlayan Newton olmuştur. Newton düzlemde bir eğrinin eğriliğini de tanımlamıştır. Eğri üzerinde a ve b şeklinde birbirine yakın iki nokta bunların ikisinin arasında birpnoktası göz önüne almıştır. Bu üç nokta genellikle m merkezli bir çember belirtirlimit durumunda hem a hem de b , eğrisi boyunca p’ye yaklaştığında bu özel bir çember belirler ki bu p noktasın da ’ya teğettir. (yani pnoktasın da eğrisi ile bu çember aynı teğet doğruya sahiptir). Bu çember p noktasında ’nın oskülatör çemberi olarak adlandırılır.

Bu çemberin merkezi c yarıçapı r ise bu c Newton tarafından eğrilik merkezi olarak adlandırılmış eğrilik yarıçapı r olarak ifade edilmiş ve p noktasında  eğrisinin

eğriliği ise k1 1

r şeklinde gösterilmiştir.

k eğriliği

   

11 22 12 22

32

' '' '' '

' '

k    

 

 

şeklinde ifade edilir.

s yay parametresi ve keyfi t için

   

1' 2  2' 2  1 dir. T s( ), ’nın birim teğet vektörü ve N s( ), s noktasında birim normal vektörü olsun.N s( ) birim vektörü T s( )’e diktir ve

T s N s( ), ( )

R2 de standart yönlendirilmişidir. ’nın s noktasındaki ( )k s eğriliği, T s'( )k s N s( ) ( ) ile ifade edilir.'( )s ’in uzunluğu k s( )  ''( )s olsun.

'( )s

 ’e dik birim vektörü '( ) s ve ''( )s vektörleri tarafından belirlenen dikdörtgensel bölgenin alanı k s1( ) ’dir.det

'( ), ''( )ss

ile ifade edilen bu alan

(15)

2

1 1

1 1 2 1 2

2 2

'( ) ''( )

( ) '( ) ''( ) ''( ) '( )

'( ) ''( )

s s

k s s s s s

s s

 

   

 

  

şeklinde Newton tarafından ifade edilmiştir. Öklidyen hareketlere bağlı olarak verilen s değişkenli, sürekli k1fonksiyonu için E2’de s yay parametreli bir tek  eğrisi vardır ve

( )s

 noktasında ’nın eğriliği k s1( )’dir. Yani Öklidyen düzleminde dönmeler ve ötelemelere bağlı olarak E2de bir eğri, onun eğriliği tarafından tamamıyla karakterize edilir.

E3’de uzay eğrilerin diferensiyel geometrisinin çalışılması için Serret-Frenet formülleri büyük bir sıçrama tahtası olmuştur.

E3’de uzay eğrilerinin diferansiyel geometrileri hakkındaki çalışmalar ise 1847’de Frenet, 1851’de ise Serret tarafından birbirinden habersiz olarak yapılan çalışmalar ile ortaya çıkmıştır. Onlar, bir s yay parametresi tarafından parametrize edilen bir uzay eğrisi boyunca

T N B, ,

Frenet çatısı olarak bilinen ortonormal çatıyı tanımlamıştır.

( )s

 noktasındaki eğrisinin ivme vektörü T’ye dik olan ''( )s ivme vektörüdür. B binormal vektör alanı ise T ve N ’nin vektörel çarpımı olarak belirlenir. Serret-Frenet ayaklı formülü ise;

' 1

Tk N

1 2

N' k Tk N ' 2

B  k N

şeklinde ifade edilir. Burada k1 eğriliği, k2 burulmayı ifade eder. Öklidyen uzay eğrilerinin temel teoremi, eğer k1vek2 s ’nin sürekli iki fonksiyonu ise bu taktirde s yay uzunluğu ile parametrize edilen bir  eğrisi vardır ki bu eğrinin sırasıyla eğrilik ve burulma fonksiyonlarık1vek2’dir. Bu ifade ilk defa 1876’da Aoust tarafından ifade edilmiştir.k1eğriliğinin 1775’de Monge’de analitik olarak ifade etmiştir fakat burulmayı belirlememiştir. Burulmayı1806’da ilk kez Lancret ifade etmiştir. 1826’da Cauchy ilk kez  eğrisinin ardışık türevlerini kullanarak uzay eğrilerinin çalışmasını sistematik

(16)

3

olarak ifade edilmiştir.E3’deki yüzeylerin çalışmasıda böylelikle çalışılmaya başlanmıştır. Düzlemde eğrilerin teorisi bilindiğinden yüzeyin farklı düzlemlerle arakesitleri alınarak eğrilerin araştırılmasıyla yüzeylerin tanımlanması sağlanmıştır. Bu ise ilk defa 1760’da Euler sayesinde olmuştur.MR3yüzeyi üzerinde bir p noktası boyunca bir l doğrusu düşündüğümüzde, bu doğru p noktasında M üzerindeki teğet düzleme diktir. Teğet düzlem üzerindeki her bir X birim vektörü için hem X vektörü hemde l doğrusunu içeren p boyunca bir düzlem göz önüne alınırsa M ile bu düzlemin arakesiti (x0) p olmak üzere( )x eğrisinin görüntüsüdür.( )x yay uzunluğu ile verildiğinde'(x0) X dir.X ve l boyunca bütün düzlemler p noktasında M ’nin teğet düzlemine dik olan bir v vektörü seçilerek yönlendirilebilir. Böylece p

, p

X v ile pozitif olarak yönlendirilmiş olur. Bu taktirde X, sıfır noktasında bir işaretli eğriliğe sahiptir bu ise k1X şeklinde ifade edilir.k1X’lerin hepsi eşit değil ise, bu taktirde

x1 birim vektörü ile gösterilen bir doğrultu vardır öyleki burada kX ,k1kX1 minumum değerine ve k2kX2 maksimum değerine sahiptir. Bu ise X1 veX2 doğrultuları diktir ve eğer X ,X1ile  açısı yapıyor ise bu taktirde

2 2

1cos 2sin

kXk k  dır.

Daha sonra bu konu da Gauss’un yapmış olduğu ’Disquisitiones generales circa superficies curvas’ isimli çalışması önemli yer tutmuştur.

Gauss çalışmasında M yüzeyinin herhangi bir t noktasındaki teğet düzleme dik bir v p vektörü almış ve Gauss dönüşümü olarak adlandırılan dönüşümü tanımlayarak p noktasındaki M yüzeyinin K eğriliği p

lim (A)

p A p

AlanV K AlanA

şeklinde vermiştir. Buradaki A bölgesi p’nin çok küçük bir komşuluğudur.

Yüzeyler üzerinde daha sonra Riemann’ın çalışmaları önemli yer tutmaktadır.

Minkowski uzayında eğrilerin diferansiyel geometrisini ilk çalışan kişi W.B.Bonner’dir.

(17)

4

Johan Walrave Doktora tezinde üç ve dört boyutlu Minkowski uzayında eğrilerin spacelike, timelike ve null olması durumlarına göre bir sınıflandırma yapmıştır.

Devamında ise Minkowski uzayında yüzeylerden bahsetmiştir. Biz burada literatürde yapılmış olan çalışmaları inceledik.

(18)

5 BÖLÜM II

TEMEL KAVRAMLAR Tanım 2.1 (Eğri )

I  biraçık aralık olmak üzere, ( , )I  koordinat komşuluğu ile tanımlanan :I En

  diferansiyellenebilir dönüşümüne Ende bir eğri denir.

Buradaki I  aralığına eğrisinin parametre aralığı ve t I değişkenine de  eğrisinin parametresi denir(Hacısalihoğlu,1993).

Tanım 2.2 (Bir eğrinin tanjant uzayı)

MEn eğrisi verilsin. M eğrisinin m M noktasındaki tanjant uzayı diye, mM noktasında M ’nin hız vektörlerini içine alan TM( )mV m( ) vektör uzayına denir.

mMseçilmiş bir nokta olmak üzere, En in TM( )m ile birleşen alt afin uzayına da, M eğrisinin m M noktasındaki teğet doğrusu denir(Hacısalihoğlu,1993).

Tanım 2.3 ( Skaler hız fonksiyonu ve skaler hız) MEn eğrisi ( , )I  koordinat komşuluğu ile verilsin.

' : I R

 

' ( ) '( ) t  t   t

şeklinde tanımlı ' fonksiyonuna, M eğrisinin ( , )I  koordinat komşuluğuna göre skaler hız fonksiyonu ve '( )t reel sayısına da M nin ( , )I  koordinat komşuluğuna göre ( )t noktasındaki skaler hızı denir(Hacısalihoğlu,1993).

Tanım 2.4 ( Birim hızlı eğri)

M eğrisi ( , )I koordinat komşuluğu ile verilmiş olsun. Eğer s I için,

(19)

6 '( )s 1

 

ise M eğrisi ( , )I’ya göre birim hızlı eğridir denir. Bu durumda, eğrinin s I parametresine yay-parametresi adı verilir(Hacısalihoğlu,1993).

Tanım 2.5 ( Regüler eğri)

Her noktasındaki hız vektörü sıfırdan farklı olan eğriye regüler eğri denir.

(Hacısalihoğlu,1993).

Tanım 2.6 (Serret-Frenet r-ayaklı alanı)

MEn eğrisi( , )I  koordinat komşuluğu ile verilsin. Bu durumda

 ', '',...( )r

sistemi lineer bağımsız ve ( )k ,kr,için:

 

( )k

 Sp

Olmaküzere,  den elde edilen

V1,...,Vr

ortonormal sistemine, M eğrisinin Serret- Frenet r-ayaklı alanı ve mM için

V m1( ),...,V mr( )

ye ise mM noktasındaki Serret-Frenet r-ayaklısı denir. Her bir Vi,1 i r,ye Serret-Frenet vektörü adı verilir.

(Hacısalihoğlu,1993).

Tanım 2.7 V bir reel vektör uzayı olsun. V üzerinde tanımlı :

g V V 

dönüşümü bilineer ve simetrik ise g’ye V üzerinde simetrik bilineer form denir. Bu dönüşüm aynı zamanda non-dejenere ise g’yeV üzerinde bir skaler çarpım, bu durumda V vektör uzayına da skaler çarpım uzayı denir.

Ayrıca;

(i) v V ve v 0 için g v v( , )0 ise g simetrik bilineer formu pozitif tanımlıdır,

(ii) v V ve v 0 için g v v( , )0 ise g simetrik bilineer formu negatif tanımlıdır,

(iii)  v V ve v 0 için g v v( , )0 ise g simetrik bilineer formu yarı- pozitif tanımlıdır,

(20)

7

(iv)  v V ve v 0 için g v v( , )0 ise g simetrik bilineer formuna yarı-negatif tanımlıdır.

Bundan başka,

(a) g’nin non-dejenere dirg v w( , )0 ve w V  için v0dır.

(b) g’nin dejenere dirg v w( , )0 ve w V  için v0dır(O’Neill,1983).

Tanım 2.8 V bir skaler çarpım uzayı , W ’ de üzerindeki skaler çarpım negatif olacak şekilde V ’nin en büyük boyutlu alt uzayı olsun. Bu durumda W ’nin boyutuna g skaler çarpımın indeksi denir.

g skaler çarpım indeksi v ise 0 v boyVdir. Ayrıca V skaler çarpım indeksi, üzerinde tanımlı g skaler çarpım indeksi olarak tanımlanır(O’Neill,1983).

Tanım 2.9 V skaler çarpım uzayı olsun. V ’nin indeksi v olmak üzere v1 ve 2

boyV  ise skaler çarpım uzayına Lorentz uzayı denir(O’Neill,1983).

Tanım 2. 10 V bir Lorentz uzay olsun. v için

(i) g v v( , )0 veya v0 ise v ’ye spacelike vektör, (ii) g v v( , )0ise v ’ye timelike vektör,

(iii) g v v( , )0veya v0 ise v ’ye null(lightlike) vektör ve

1

( , )2

vg v v sayısına da v vektörünün normu denir.

V Lorentz uzayında tüm timelike vektörlerin cümlesi olsun. u için

 

( ) ( , ) 0

C u  v g u v  kümesine u vektörünü kapsayan V Lorentz uzayının time- konisi denir(O’Neill,1983).

Tanım 2.11 R yarı-öklidyen uzayında vn v1 ve n2 ise R yarı-öklidyen uzayına vn Minkowski n-uzay denir(O’Neill,1983).

Tanım 2.12M bir yarı Riemann manifoldu ve

: M

   

(21)

8

diferansiyellenebilir bir eğri olsun.  eğrisinin teğet vektör alanı

 (t) T olmak üzere

i) T T, 0 ise  eğrisine spacelike eğri ii) T T, 0 ise  eğrisine null eğri

iii) T T, 0 ise eğrisine timelike eğri denir(O’Neill,1983).

Tanım 2.13 f E: 2 bir fonksiyon olmak üzere

2 3

: E E

 

( , )u v ( , , ( , ))u v f u v

şeklinde tanımlanan yüzey Monge yüzeyi adını alır( Hacısalihoğlu, 1994).

Tanım 2.14 Monge yüzeyinde f u v( , )h u( )g v( ) biçiminde ise bu yüzeyi ( , ) ( , , ( ) ( ))

( , ) ( , 0, ( )) (0, , ( )) u v u v h u g v

u v u h u v g v

 

 

ve ya

( , )u v ( )u ( )v

  

şeklinde yazabiliriz. Bu durumda yüzey öteleme yüzeyi adını alır(Hacısalihoğlu,1994).

Ayrıca E3 ya da E de bir S yüzeyi 13 ( ) ( )

zg xh y şeklinde yazılabiliyorsa S yüzeyi yine öteleme yüzeyi adını alır.

Tanım 2.15 (inclussion)

MM diferensiyellenebilir iki manifold olmak üzere i M: M dönüşümü i x( )x şeklinde ise i’ye inclussion(sokma) fonksiyonu denir(Hacısalihoğlu,1994).

Tanım 2.16 (immersion)

M ve M birer iki manifold olsun. f : MM , fonksiyonu olmak üzere f

’nin f Jakobiyen matrisi  p M noktasında regular ise f dönüşümüne M ’den M içine bir immersion denir. Yani RankfBoyM ise f bir immersiyondur.

(Hacısalihoğlu,1994).

(22)

9 Tanım 2.17 (embedding)

Tanım (2.16) da f tek değişkenli ise f ’ye embedding denir. (Hacısalihoğlu,1994).

Tanım 2.18 (yüzey)

U2 düzlemsel bir bölge olmak üzere

:UE3

 

u v, 

 

u v,

f u v g u v h u v

     

, , , , ,

şeklinde ifade edilen  dönüşümüne E de bir yüzey denir. Bu yüzeyin parametrik 3 gösterimidir(Hacısalihoğlu,1994).

(23)

10 BÖLÜM III

ÜÇ BOYUTLU ÖKLİDYEN VE MİNKOWSKİ UZAYINDA FRENET ÇATISI 3.1 Üç Boyutlu Öklid Durumu

I  ,: IE3eğrisi ve s yay parametresi olmak üzere ( )s (1( ),s2( ),s3( ))s şeklinde tanımlanan eğri ve gdx12dx22dx32 E3’ de bir metrik olmak üzere

g( ', ')1dir.T,'’nün birim teğet yada hız vektör alanıdır. Eğer ''(s)0ise;

''(s)

 ,T s( )’e ( )s noktasında dik olan ivme vektörüdür. N ,''(s)’in normalleştirilmiş esas vektör alanıdır. B, binormal vektör alanı ise TveN ’nin vektörel çarpımı olarak ifade edilir. Bu durumda Frenet 3-ayaklısı,

' 1

Tk N

1 2

N' k Tk N ' 2

B  k N ya da

1

1 2

1

' 0 0

' 0

' 0 0

T k T

N k k N

B k B

    

     

    

     

    

(3.1)

şeklindedir. Burada k1ve k2,’nın birinci ve ikinci eğriliği yada k1eğrilik, k2burulma olarak adlandırılır.

İspat:

, , , 1 , , , 0

N NT TB Bve N TT BB N  olmak üzere ' 1

Tk N olduğundan

'

NaTbNcB

yazılabilir. Her iki tarafın T ile iç çarpımı alınırsa

', , , ,

N Ta T Tb N Tc B T  a1 b0c0a

(24)

11

, 0 ', , ' 0

N T   N TN T  olup buradan

1 1

', , ' ,

N T   N T   N k N  k elde edilir.

O halde a k1 olur. Benzer şekilde '

NaTbNcB

yazılabilir. Bu eşitliğin N ile iç çarpımı alınırsa

', , , ,

N Na T Nb N Nc B Na0 b1 c0 b elde edilir ve

, 1 ', , ' 0

N N   N NN N   N N', 0 olduğundan b0 bulunur.

Aynı şekilde '

NaTbNcB

ifadesinin, B ile iç çarpımı alınırsa

', , , ,

N Ba T Bb N Bc B Ba0b0 c1 c.

, 0 ', , ' 0

N B   N BN B   N B',   N B, '   ( k2)k2 olur. Dolayısıylack2 bulunur. O halde

1 2

'

N  k Tk B dır.

'

BaTbNcB

olsun. T ile iç çarpımı alınırsa

', , , ,

B Ta T Tb N Tc B T  a1 b0c0a. ve

, 0 ', , ' 0

B T   B TB T   B T',   B T, '   B k N, 1 0 ve a0bulunur.

'

BaTbNcB

ifadesi N ile iç çarpımı alınırsa

', , , ,

B Na T Nb N Nc B Na0 b1 c0b.

, 0 ', , ' 0

B N   B NB N

B N',   B N, '   B k T, 1k B2  k2

(25)

12 olur ve b k2bulunur.

'

BaTbNcB

ifadesi B ile iç çarpım uygulanırsa

', , , ,

B Ba T Bb N Bc B Ba0b0 c1 c. ve

, 1 ', , ' 0

B B   B BB B

B B', 0

olduğundan c0 dır. Bu durumda B' k N2 bulunur. O halde Frenet 3-ayaklısı

1

1 2

2

' 0 0

' 0

' 0 0

T k T

N k k N

B k B

    

     

    

     

    

şeklindedir.

Teorem 3.1 (Denklik Teoremi): , : IE3birim hızlı eğri öyle ki

1 1 0

kk  (3.2)

ve

2 2

k  k (3.3)

iseveeğrilerine denktir denir.

Bazı özel eğrilerin durumlarına göre özellikleri aşağıda verilmiştir.

Özellik 3.1

1 0

k  ancak ve ancak  eğrisi bir doğruya karşılık gelir.

2 0

k  ancak ve ancakdüzlemsel eğrisidir,

2 0

k  ve k10sabittir ancak ve ancak çemberdir,

2 0

k  sabit ve k1 0sabittir ancak ve ancak  dairesel helisdir.

(H.Hacısalihoğlu,1993).

(26)

13 3.2 Üç Boyutlu Minkowski Durumu

Bu bölümde Minkowski uzayında Frenet ayaklısı ve formülleri verilmiştir.

2 2 2

1 2 3

g dxdxdx

metriği ile tanımlanan 3öklidyen uzayına Minkowski uzayı denir. 31 ile gösterilir.

3

:I R : 1

   eğrisi ( )s

  1, 2, 3

verildiğinde (i)g( ', ')0ise spacelike eğri

(ii)g( ', ')0ise null eğri

(iii)g( ', ')0ise timelike eğri denir.

Bu ise ’nın casual karakterleri olarak adlandırılır. (Walrave, J.,1995) Bu durumda

T N B, ,

. Frenet 3-ayaklısı aşağıda incelenmiştir.

Durum 1 spacelike eğri

s

’nın yay parametresi öyle ki g( '( ), '( )) 1 ss  dir. T s( )’ de , ( )s ’ in birim teğet vektör alanıdır. ''( )s 0 durumunda ''( )s , T s( )’e diktir. Öyle ki N s( )''( )s ,

R ve 0 dir.

''( )s

 casual karakterinin durumları aşağıdadır.

Durum 1.1 g( ''( ), ''( )) ss 0 ( )

N s normal vektör alanı ''( )s ’in normalleştirilmiş halidir. B s( ) binormal vektör alanı

T s N s( ), ( )

spacelike düzlemine ( )s ’in her s noktasında dik olan tek timelike vektördür. Bu durumda E13’deki Frenet 3-ayaklısı

1

1 2

2

' 0 0

' 0

' 0 0

T k T

N k k N

B k B

    

     

    

    

    

(3.4)

şeklindedir.

(27)

14 Durum 1.2 g( ''( ), s ''( ))s 0

( )

N s ,''( )s ’in normalleştirilmiş timelike vektör alanıdır. B s( ) binormal vektör alanı

T s N s( ), ( )

timelike yüzeyine ( )s ’in her s noktasında dik olan tek spacelike vektördür. Bu durumda Frenet 3-ayaklısı

1

1 2

2

' 0 0

' 0

' 0 0

T k T

N k k N

B k B

    

    

    

    

    

(3.5)

şeklindedir.

Durum 1.3 g( ''( ), ''( )) ss 0

Farz edelim ki ''( )s 0olsun. N s( ) ,''( )s normal vektör alanıdır. B s( )binormal vektör alanı T s( )’e dik tek null vektördür ve ( )s ’in her noktasın da N B, 1dir.

Bu durum da Frenet 3-ayaklısı

1

2

1 2

' 0 0

' 0 0

' 0

T k T

N k N

B k k B

    

    

    

     

    

(3.6)

şeklindedir.

Burada k1eğriliği sadece iki değer alır.’nın doğru olduğunda 0, diğer durumlarda ise 1 dir. Eğer ( )s doğru ise ''( )s  0 T s'( ) dir. Bunun anlamı ise k1 0 dır. Eğer ( )s doğru değil ise, bir ''( )s 0 olacak şekilde bir I aralığı vardır ve N s( )''( )sT s'( ) dir.

Böylece k1 1 dir.

T N B, ,

ise E13’de pseudo-ortonormaldir. Bunun anlamı ise

1 1 1

'

Na Tb Nc B

2 2 2

'

Ba Tb Nc Böyle ki

, , , 0

N NN TB B  dır. Buradan c1  a1 b2dır.

(28)

15

, 1

N B  ve T B, 0ifadeleri göz önüne alınırsa

', , ' 0

N BN B  ve B T',  B T, ' 0 ve dolayısıyla

1 2

b  c vea2    k1 1

elde edilir. Bu ise b1k2 olacak şekilde tek bir eğrinin olduğunu gösterir.

Durum 2  time-like eğri

sI yay parametresi olmak üzere g( '( ), '( )) ss  1olsun. T s( ), ’nın birim teğet timelike vektör alanıdır. ''( )s , T s( )’e diktir ve N s( ), ''( )s ’in normalleştirilmiş spacelike vektör alanıdır. Binormal vektör alanı B s( ),

T s N s( ), ( )

timelike yüzeyine

( )s

 ’in her noktasında dik olan tek spacelike birim vektör alanıdır. Bu durumda

T N B, ,

ile E13’ün yönü aynıdır.

Bu durum da Frenet 3-ayaklısı

1

1 2

2

' 0 0

' 0

' 0 0

T k T

N k k N

B k B

    

    

    

     

    

(3.7)

şeklindedir.

Durum 3 null eğri

g( '( ), '( )) ss 0 ise  null eğridir ve '( )sT s( ) null vektör alanıdır. Bu durumda ''( )s 0

  olmak üzere '' T’ye dik spacelike vektör alanıdır.

null doğru değil ise, g( ''( ), s ''( ))s 1 alınır ve N,''’nün her s noktasında birim vektör alanıdır. Bu durumda B s( )vektör alanı ’nın her ( )s noktasında N s( )’e dik tek null vektör alanıdır.

, , , 0

T TB BN B

, , 1

T BN N

olmak üzere, Frenet 3-ayaklısı

(29)

16

1

2 1

2

' 0 0

' 0

' 0 0

T k T

N k k N

B k B

    

     

    

     

    

(3.8)

şeklindedir. Burada k1 eğriliği  bir null doğru olduğunda 0, diğer durumlarda 1 dir.

Eğer ( ) s bir null doğru ise ''( )s  0 T s'( ) dir. Bunun anlamı ise k10olmasıdır.

Eğer ( )s doğru değil ise, bir ''( )s 0olacak şekilde bir I aralığı vardır, ( ) ''( ) '( )

N s  sT s şeklinde tanımlanır ve k11 dir.

T N B, ,

ise E13’de pseudo- ortonormal bir bazdır. Bunun anlamı

1 1 1

'

Na Tb Nc B

2 2 2

'

Ba Tb Nc B olmasıdır. Burada

, , 1

N NB T  ve B B, 0 dır. Buradan b1 c1 a20 dir.

, 0

N T  ve N B, 0 olduğundan

', , ' 0

T NT N  ve N B',  N B, ' 0 dır. O halde

1 1 1

c    k ve a1  b2

elde edilir. Bu durum da a1k2 olacak şekilde tek bir eğri vardır.

3.3 Dört Boyutlu Öklid Durumu

sIyay parametresi ve bu parametreye bağlı eğrimiz

1 2 3 4

( )s ( ( ),s ( ),s ( ),s ( ))s

     

olsun ve her s için g( '( ), '( )) ss 1olmak üzeredört boyutlu Öklid uzayında

2 2 2 2

1 2 3 4

gdxdxdxdx

metriği verilsin.  eğrisi boyunca Frenet çatısı

T N B B, , 1, 2

şeklinde ifade edilir. Bu çatı aşağıdaki şekilde belirlenir. T, ’nın birim teget vektör alanı veya hız vektörü olsun. Eğer ''( )s 0ise ''( )s ivme vektörü ( ) s noktasında ( )T s ’e diktir. N normal vektör alanı ''( )s ‘in normalleştirilmiş ivme vektör alanıdır. B1 birim vektör alanı,N'

’nün iki bileşene ayrılması ile belirlenir. Bunlardan bir tanesi T’nin doğrultusundaki

(30)

17

teğet vektör alanıdır diğeri ise B1 doğrultusundaki normal vektör alanıdır. B2 vektör alanı ise birim

T N B, , 1

üç boyutlu alt uzayına dik bir tek vektör alanıdır. Öyle ki

T N B B, , 1, 2

çatısının yönü E4’ün yönü ile aynıdır. Bu duruma karşılık gelen Frenet formülleri

' 1. Tk N

1 2 1

'

N  k Tk B (3.9)

1' 2 3 2

B  k Nk B

2' 3 1

B  k B ya da

1

1 2

2 3

1 1

3

2 2

0 0 0

'

0 0

'

0 0

'

0 0 0

'

k

T T

k k

N N

k k

B B

k

B B

 

   

 

    

   

 

    

 

    

    

(3.10)

şeklinde ifade edilir.

İspat: T'k N1 olduğundan

1 2

'

NaTbNcBdB

yazılabilir. T ile iç çarpımı alınırsa

1 2

', , , , ,

N Ta T Tb N Tc B Td B T  a1 b0c0d0a. ve

, 0 ', , ' 0

N T   N TN T   N T',   N T, '   N k N, 1  k1 ve a k1 olur.

1 2

'

NaTbNcBdB ifadesi N ile iç çarpım alınırsa

1 2

', , , , ,

N Na T Nb N Nc B Nd B N

0 1 0 0 .

a b c d b

    

elde edilir ve

, 1 ', , ' 0

N N   N NN N   N N', 0 Olduğundan b0 bulunur.

1 2

'

NaTbNcBdB

(31)

18 ifadesi B1 ile iç çarpım uygulanırsa

1 1 1 1 1 2 1

', , , , ,

N Ba T Bb N Bc B Bd B Ba0b0 c1 c. ve

, 0 ', , ' 0

N B   N BN B   N B',   N B, '   ( k2)k2 olup ck2 bulunur.

Aynı şekilde N'aTbNcB1dB2 ifadesi B2 ile iç çarpım uygulanırsa

2 2 2 1 2 2 2

', , , , ,

N Ba T Bb N Bc B Bd B Ba0b0c0d1d. ve

2 2 2

, 0 ', , ' 0

N B   N BN B   N B', 2 0 dır. Buradan d 0 olur. O halde

1 2 1

'

N  k Tk B bulunur.

1' 1 2

BaTbNcBdB

ifadesi T ile iç çarpımı alınırsa

1', , , 1, 2,

B Ta T Tb N Tc B Td B T  a1 b0c0d0a.

1, 0 1', 1, ' 0

B T   B TB T

B T1',   B T1, '   B k N1, 1 0 olur vea0bulunur.

1' 1 2

BaTbNcBdB

ifadesi N ile iç çarpım uygulanırsa

1', , , 1, 2, 1

B Na T Nb N Nc B Nd B Ba0 b1 c0d0b. ve

1, 0 1', 1, ' 0

B N   B NB N

B N1',   B N1, '   B1,k T1k B2 1  k2 dolayısıyla b k2bulunur.

1' 1 2

BaTbNcBdB

şeklinde olup B1 ile iç çarpımı alınırsa

(32)

19

1', 1 , 1 , 1 1, 1 2, 1

B Ba T Bb N Bc B Bd B Ba0b0 c1 d0c. ve

1, 1 1 1', 1 1, 1' 0

B B   B BB B   B B1', 1 0

olduğundan c0bulunur.

1' 1 2

BaTbNcBdB

ifadesi B2 ile iç çarpım uygulanırsa

1', 2 , 2 , 2 1, 2 2, 2

B Ba T Bb N Bc B Bd B Ba0b0c0d1d.

1, 2 0 1', 1, 2' 0

B B   B NB B   B B1', 2   B B1, 2' k3 ve dk3bulunur. O halde

1' 2 3 2

B  k Nk B bulunur.

Şimdi de B2'aTbNcB1dB2 olsun. Her iki tarafın T ile iç çarpımı alınırsa

2', , , 1, 2,

B Ta T Tb N Tc B Td B T  a1 b0c0d0a. ve

2, 0 2', 2, ' 0

B T   B TB T

B T2',   B T2, '   B k N2, 1 0 olur vea0bulunur.

2' 1 2

BaTbNcBdB

ifadesi N ile iç çarpım uygulanırsa

2', , , 1, 2, 1

B Na T Nb N Nc B Nd B Ba0 b1 c0d0b. ve

2, 0 2', 2, ' 0

B N   B NB N

B2',N   B N2, '   B2,k T1k B2 1 0 olup b0 bulunur.

2' 1 2

BaTbNcBdB

ifadesi B1 ile iç çarpımı alınırsa

(33)

20

2', 1 , 1 , 1 1, 1 2, 1

B Ba T Bb N Bc B Bd B Ba0b0 c1 d0c. ve

2, 1 0 2', 1 1, 2' 0

B B   B BB B   B2',B1   B B2, 1'  k3 ve buradanc k3bulunur.

2' 1 2

BaTbNcBdB

yazılabilir. Bu eşitliğin B2 ile iç çarpımı alınırsa

2', 2 , 2 , 2 1, 2 2, 2

B Ba T Bb N Bc B Bd B Ba0b0c0d1d. ve

2, 2 1 2', 2 2, 2' 0

B B   B BB B  2 B2',B2 0

Buradan da d 0bulunur. O halde

2' 3 1

B  k B dır.

O halde Frenet 4-ayaklısı

1

1 2

2 3

1 1

3

2 2

0 0 0

'

0 0

'

0 0

'

0 0 0

'

k

T T

k k

N N

k k

B B

k

B B

 

   

 

    

   

 

    

 

    

    

şeklindedir.

1, 2, 3

k k k ’nın birinci, ikinci ve üçüncü eğrisidir.E4’dede Öklid deki gibi benzer değerler alır. Bazı özel eğrilerin karakterleri

1 0

k  ancak ve ancak  bir doğru belirtir,

2 0

k  ancak ve ancak  planar(düzlemsel) eğri,

3 0

k  ancak ve ancak ,E4’de üç boyutlu alt uzayda yatar,

2 0

k  vek1 0sabittir ancak ve ancak  çember,

3 0

k  vek2c2,k1c1c c1, 2R0 ancak ve ancakdairesel helis’dir,

(34)

21

3 3

kc k2c2 k1c1c c c1, 2, 3R0ancak ve ancak

1 1 1 2 2 3 2 4

1 1 2 2

1 1 1 1

( )s sin( s V) cos( s V) sin( s V) sin( s V)

    

   

    (3.11)

2 2 2

1 2 3

Kc  c c , (3.12)

2 2 2 2 2 2

1 3 1 3

2 2

1 2

4 4

2 , 2

K K c c K K c c

    (3.13)

dır.

Vi, V V1, 1V V2, 2 ve V V3, 3V V4, 4 ortogonal ve sürekli ve bu eşitlikleri sağlar. doğrusu

3

1

c yarıçaplı kürededir.

3.4 Dört Boyutlu Minkowski Durumu

Dört boyutlu Minkowski uzayında bir eğrinin Frenet ayaklıları ve bunlara bağlı eğrilik formülleri hakkında temel kavramlar verilmiştir.

4’de

2 2 2 2

1 2 3 4

g dxdxdxdx

metriği verilsin. E14’de ( )s eğrisinin spacelike, null ve timelike olma durumlarına göre

T N B B, , 1, 2

Frenet çatısının durumlarına bakılacaktır.

Durum 1 spacelike eğri

s parametresine bağlı yay uzunluğu g( '( ), '( )) 1 ss  olsun, T,nın birim teğet vektör alanıdır. Eğer ''( )s 0 ise '', T’ye diktir öyleki N , '' nün doğrultusundadır.

''’nün casual karakterlerine göre durumlarını verelim.

Durum 1.1 g( ''( ), ''( )) ss 0

N asli normal vektör alanı, ''’ne karşılık gelen normalleştirilmiş vektör alanıdır.B1 vektör alanı

T N,

düzlemine göre N'’nün C normal bileşeninin doğrultusundadır.

Aşağıda B1’in bütün casual karakterleri verilmiştir.

(35)

22 Durum 1.1.1 g(C,C)0

Bu durumda B1 vektör alanı C normalleştirilmiş vektör alanıdır ve B2 vektör alanı üç boyutlu

T N B, , 1

alt uzayına dik tek timelike birim vektör alanıdır öyle ki

T N B B, , 1, 2

çatısının yönü E14’uzayının yönü ile aynıdır. Bu durum da Frenet 4- ayaklısı

1

1 2

2 3

1 1

3

2 2

0 0 0

'

0 0

'

0 0

'

0 0 0

'

k

T T

k k

N N

k k

B B

k

B B

 

   

 

    

   

    

 

   

    

(3.14)

şeklindedir.

İspat:

1 1 2 2 1 2

1 1

2 2

, , , , , , 0

, , , 1

, 1

B T B N B T N T B N B B

T T N N B B

B B

     

  

 

' 1

Tk N olduğundan

1 2

'

NaTbNcBdB

yazılabilir. Bu eşitliğin her iki yanını T ile iç çarpım uygulanırsa

1 2

', , , , ,

N Ta T Tb N Tc B Td B T  a1 b0c0d0a. ve

, 0 ', , ' 0

N T   N TN T

N T',   N T, '   N k N, 1  k1 olduğundan a k1 olur.

1 2

'

NaTbNcBdB

ifadesi N ile iç çarpım uygulanırsa

Referanslar

Benzer Belgeler

Çalışma ile yeraltı su seviye ölçümlerinin periyodik olarak tüm kuyularda yapılmadığı görülmüş olup belirlenecek belirli kuyularda en azından ayda bir

Hedef hacim içinde doz arttışı ya- pılırken rektum ve mesane dozları düşürülebildi- ğinden prostat için IMRT etkin bir tedavi tekniği- dir.. 3DCRT

Ökseotu (Viscum album) türlerinin antioksidan aktivitesi (AOA) konjugeleşmiş dien (Lingnert et al., 1979) metoduna göre yapıldı. Doymamış yağ asidi olarak linoleik asit

Taraf devletler aşağıdakileri gerçekleştirmek için de uygun tedbirleri alacaklardır: (a) Kamuya açık veya kamu hizmetine sunulan tesis ve hizmetlere erişime

Örneğin Kurul’un birleşme- devralmayı yasaklayan kararının Danıştay tarafından iptal edilmesi durumunda gerek bu birleşme-devralma işleminin ertelenmesi dolayısıyla

Bu tez çalıúmasında 3-boyutlu Minkowski uzayında yönlendirilebilir yüzey üzerinde bir e÷rinin Darboux çatısına göre elastik olmayan e÷ri hareketleri ve bu hareketlerin

In the third chapter, Smarandache curves according to Frenet, Bishop and Darboux frame in Euclidean space is defined.. The fourth chapter is the original parts of this

In the second chapter, some basis definitions and necessary theorems in Minkowski space are given. Moreover, the relationships between Frenet frame and Darboux frame of a