ANKARA ÜN VERS TES FEN B L MLER ENST TÜSÜ YÜKSEK L

advertisement
ANKARA ÜNİVERSİTESİ
FEN BİLİMLERİ ENSTİTÜSÜ
YÜKSEK LİSANS TEZİ
KONTAK MANİFOLDLARDA ESAS FORMLAR VE YÖNLENDİRME
İsmail GÖK
MATEMATİK ANA BİLİM DALI
ANKARA
2005
Her Hakkı Saklıdır.
Prof. Dr. Hilmi HACISALİHOĞLU danışmanlığında İsmail GÖK tarafından hazırlanan
bu çalışma 22/07/2005 tarihinde aşağıdaki jüri tarafından Matematik Anabilim Dalında
Yüksek Lisans tezi olarak kabul edilmiştir.
Başkan
: Prof. Dr. Hilmi HACISALİHOĞLU
Üye
: Prof. Dr. Baki KARLIAĞA
Üye
: Doç. Dr. M. Kemal SAĞEL
Yukarıdaki sonucu onaylarım.
Prof. Dr. Ülkü MEHMETOĞLU
Enstitü Müdürü
ÖZET
Yüksek Lisans Tezi
KONTAK MANİFOLDLARDA ESAS FORMLAR VE YÖNLENDİRME
İsmail GÖK
Ankara Üniversitesi
Fen Bilimleri Enstitüsü
Matematik Ana Bilim Dalı
Danışman: Prof. Dr. H. Hilmi HACISALİHOĞLU
Bu yüksek lisans tezi dört bölümden oluşmaktadır.
Birinci bölüm giriş bölümüne ayrılmıştır.
İkinci bölümde lineer dönüşüm, simetrik bi-lineer formlar, Rieman manifoldlar,
Riemann koneksiyonu, ikinci temel form ve yönlendirme kavramları tanımlanmıştır.
Üçüncü bölümde ise ,sırasıyla, kontak manifoldlar, hemen hemen kontak manifoldlar,
hemen hemen kontak metrik manifoldlar, kontak manifoldlarda ikinci temel form,
hemen hemen kontak manifoldların torsiyon tensörü, K-kontak manifoldlar kavramları
örneklerle incelenmiştir.
Son bölümde ise kontak geometri de yönlendirme kavramı incelenmiştir.
2005 , 98 sayfa
ANAHTAR KELİMELER: Kontak Formlar, Kontak Manifoldlar, Kontak
Dönüşümler, Kontak Yapı, Temel Formlar, Komplex Yapı, Torsiyon Tensörü,
Yönlendirme.
ABSTRACT
Master Thesis
FUNDAMENTAL FORMS AND ORIENTATION
ON CONTACT MANIFOLDS
İsmail GÖK
Ankara University
Graduate School of Natural and Applied Sciences
Department of Mathematics
Supervisor: Prof. Dr. H. Hilmi HACISALİHOĞLU
This thesis consists of four chapters.
The first chapter has been devoted to the introduction.
In the second chapter, linear transformation, symmetric bi-linear forms, Riemann
manifolds, Riemannian connections, second fundamental form and orientation have
been recalled.
In the third chapter, contact manifolds, almost contact manifolds, contact metric
manifolds, torsion tensor of almost contact manifolds, k-contact manifolds have been
dealt by giving examples.
In the last chapter, orientation of contact geometry has been recalled.
2005, 98 pages
Key Words:
Contact forms, Contact manifolds, Contact transformation, Contact
structures, Fundamental forms, Complex structure, Torsion tensor,
Orientation.
TEŞEKKÜR
Bu çalışma konusunu bana veren ve araştırmalarımın her aşamasında beni yönlendiren
danışmanım, Sayın Prof. Dr. H. Hilmi HACISALİHOĞLU ( Ankara Üniversitesi Fen
Fakültesi )’ na, öneri ve sorgulamalarıyla yardımını gördüğüm Sayın Prof. Dr. Yusuf
YAYLI ( Ankara Üniversitesi Fen Fakültesi )’ ya, manevi desteğini esirgemeyen Sayın
Abdullah ALTIN ( Ankara Üniversitesi Fen Fakültesi )’ a, çalışmalarımda yardımlarını
esirgemeyen Sayın Arş. Gör. Çetin CAMCI ( Ankara Üniversitesi Fen Fakültesi )’ ya,
Sayın Arş. Gör. Abdullah YILDIRIM ( Ankara Üniversitesi Fen Fakültesi )’ a, Sayın
Dr. Hüseyin KOCAYİĞİT ’ e en içten saygı ve teşekkürlerimi sunarım.
Bu çalışmalarım sırasında benden maddi yardımlarını esirgemeyen TÜBİTAK’ a saygı
ve teşekkürlerimi sunarım.
Tezimi aldığım günden bu yana bana anlayış gösteren ve yardımını esirgemeyen sevgili
eşim Özlem GÖK’ e en içten sevgi ve teşekkürlerimi sunarım.
İsmail GÖK
Ankara, Temmuz 2005
İÇİNDEKİLER
ÖZET.................................................................................................................................. i
ABSTRACT ...................................................................................................................... ii
TEŞEKKÜR ..................................................................................................................... iii
SİMGELER DİZİNİ......................................................................................................... .v
1.GİRİŞ ...................................................................................................................... 1
2. TEMEL KAVRAMLAR ..................................................................................... 2
2.1. Lineer Döüşümler ve Simetrik Bi-lineer Formlar ................................................ 2
2.2. Riemann Manifoldu, Riemann Koneksiyonu, İkinci Temel Form ...................... 5
2.3. Bir Yüzeyin Yönlendirilmesi ............................................................................... 9
3. KONTAK GEOMETRİ ..................................................................................... 12
3.1. Kontak Manifoldlar ............................................................................................ 12
3.2. Hemen Hemen Kontak Manifoldlar ................................................................... 34
3.3. Hemen Hemen Kontak Metrik Manifold ........................................................... 42
3.4 Kontak Manifoldlarda İkinci Temel Form .......................................................... 53
3.5. Hemen Hemen Kontak Manifoldların Torsiyon Tensörü .................................. 57
3.6. K-Kontak Manifoldları....................................................................................... 82
4. MANİFOLDLAR ÜZERİNDE YÖNLENDİRME ......................................... 92
4.1. Genel Anlamda Bir Manifoldun Yönlendirilmesi.............................................. 92
4.2 Kontak Manifoldlarda Yönlendirme ................................................................... 95
KAYNAKLAR ............................................................................................................... 97
ÖZGEÇMİŞ .................................................................................................................... 98
SİMGELER DİZİNİ
En
n boyutlu Öklid uzayı
Mn
n boyutlu Riemann manifoldu
η
1-form
g
Riemann metrik tensörü
D
Riemann konneksiyonu
Γ
Adi grup
Γ0
Alt grubumsu
C∞
Diferensiyellenebilme
[, ]
Lie (Bracket) Operatörü
Aξ
Şekil operatörü
B
İkinci temel form
V
V vektörünün uzunluğu
R
M nin Riemann eğrilik tensörü
χ (M )
M nin teğet vektör alanlarının uzayı
χ ( M )⊥
χ ( M ) nin duali
∇⊥
M nin T ⊥ ( M ) normal demetindeki konneksiyon
1. GİRİŞ
Bu tezde tek boyutlu manifoldlar sınıfında önemli bir yeri olan kontak manifoldların
bazı özelliklerini inceleyeceğiz. η 1-form olmak üzere η∧ (d η)n ≠ 0 koşulunu sağlayan
η 1-formuna kontak form denir. Bu yüzeyler teorisinde iyi bilinen hacim elementine
karşılık gelir ve W = EG − F 2 ifadesinin karşıtıdır. Ayrıca kontak manifoldlar
içerisindeki bazı tanım ve teoremleri ifade edeceğiz.
2. TEMEL KAVRAMLAR
2.1. Lineer Dönüşümler ve Simetrik Bi-lineer Formlar
Tanım 2.1.1. V1 , V2 ,..., Vr ve W uzayları aynı K cismi üzerinde tanımlı birer vektör
uzayı ve kartezyen çarpımları da V1 × V2 × ... × Vr olsun.
L : V1 × V2 × ... × Vr 
→W
dönüşümü için aşağıdaki özellik varsa bu dönüşüme r-lineer dönüşüm denir
(Hacısalihoğlu 1980).
α1 ∈ V1 , α 2 ∈ V2 ,..., α i −1 ∈ Vi −1 , aε + bµ ∈ Vi , α i +1 ∈ Vi +1 ,..., α r ∈ Vr ve ∀a, b ∈ K için
L(α1 , α 2 ,...α i −1 , aε + bµ , α i +1 ,..., α r ) = aL(α1 , α 2 ,...α i −1 , ε , α i +1 ,..., α r )
+bL(α1 , α 2 ,...α i −1 , µ , α i +1 ,..., α r )
(2.1.1)
Özel Haller:
i) V ve W aynı K cismi üzerinde tanımlı vektör uzayları ve L , V den W ya tanımlı bir
fonksiyon olsun. L fonksiyonu aşağıdaki iki önermeyi sağlarsa L ye bir lineer
dönüşüm denir.
a) ∀α , β ∈ V için L(α + β ) = L(α ) + L( β )
b) ∀α ∈ V ve ∀c ∈ K için L(cα ) = cL(α )
ii) V1 , V2 ve W aynı K cismi üzerinde tanımlı vektör uzayları ve L, V1 × V2 den W ya
tanımlı bir fonksiyon olsun.
L : V1 × V2 → W
dönüşümü, ∀α1 , α 2 , α ∈ V1 ve ∀β1 , β 2 , β ∈ V2 ve ∀a1 , a2 ∈
için
L(a1 x1 + a2 x2 , y ) = a1 L( x1 , y ) + a2 L( x2 , y )
L( x, a1 y1 + a2 y2 ) = a1 L( x, y1 ) + a2 L( x, y2 )
biçiminde tanımlı ise L ’ye V1 × V2 üzerinde tanımlı bi-lineer dönüşüm adı verilir.
V nin seçilmiş bir bazı {V1 , V2 ,..., Vn } ve
L(Vi ,V j ) = aij
(2.1.1)
olsun. Bu durumda L bi-lineer formuna karşılık gelen matris
 L(V1 , V1 ) L(V1 , V2 )... L(V1 , Vn ) 


L(V2 , V1 ) L(V2 , V2 )... L(V2 , Vn ) 

L=

M
M


 L(Vn , V1 ) L(Vn , V2 )... L(Vn , Vn )  nXn
(2.1.2)
olur (Hacısalihoğlu 1980).
Teorem 2.1.1. A : V 
→ W dönüşümü sonlu boyutlu bir V vektör uzayından bir W
vektör uzayına bir lineer dönüşüm ise
rankA+sıfırlıkA=boyV
dır (Hacısalihoğlu 1985).
(2.1.3)
Teorem 2.1.2. V ve W aynı F cismi üzerinde n-boyutlu birer vektör uzayı olsunlar.
Bir
A : V 
→W
lineer dönüşümü için aşağıdaki önermeler denktir.
1) A : V 
→ W bir lineer izomorfizimdir.
2) A injektifdir.
3) ∀α ∈ V için A(α ) = 0 ⇒ α = 0
4) A nın sıfırlık derecesi =0
5) rank A = 0
6) A örten
dir (Hacısalihoğlu 1985) .
Tanım 2.1.2. Metrik tensörü g olan Riemann manifoldu M olsun. Bir X p ∈ TM ( P)
tanjant vektörünün normu(uzunluğu)
X p = g(X p , X p )
(2.1.4)
şeklindedir (Hacısalihoğlu 1980).
Tanım 2.1.3. V bir reel vektör uzayı olsun.
bi −lineer
L : V X V 
→
dönüşümü ∀X , Y ∈ V için
L( X , Y ) = L(Y , X )
oluyorsa L dönüşümüne simetrik bi-lineer form denir (Hacısalihoğlu 1980).
(2.1.6)
Tanım 2.1.4. V bir reel vektör uzayı olsun. V üzerinde simetrik bi-lineer dönüşüm L
olmak üzere sıfırdan farklı ∀α ∈ V için
L(α , α )⟩ 0
(2.1.7)
ve ∀α , β ∈ V için
L(α , β ) = 0 ⇔ α = 0
(2.1.8)
oluyorsa L ye pozitif tanımlıdır denir (Hacısalihoğlu 1985) .
Tanım 2.1.5. V bir reel vektör uzayı olsun. V üzerinde simetrik bi-lineer dönüşüm L
olmak üzere ∀α ∈ V için
L(α , α ) = 0 ⇒ α = 0
(2.1.8)
oluyorsa L ye non-dejeneredir denir (Hacısalihoğlu 1985) .
2.2. Riemann Manifoldu, Riemann Koneksiyonu, İkinci Temel Form
Tanım 2.2.1. M bir C ∞ manifold olsun. M üzerinde tanımlı bir g simetrik bi-lineer
formu pozitif tanımlı ise
g : χ (M ) × χ (M ) → C ∞ (M , )
(2.2.1)
şeklinde tanımlı (0, 2) tipindeki g metrik tensörüne M de Riemann metriği adı verilir
(Hacısalihoğlu 1980).
Tanım
2.2.2.
Bir
C∞
M
manifoldu
üzerinde
bir
g
tanımlanabiliyorsa ( M , g ) ikilisine bir Riemann manifoldu denir.
Riemann
metriği
Eğer g Riemann metriğinde pozitif tanımlılık aksiyomu yerine non-dejenere aksiyomu
alınırsa ( M , g ) ikilisine yarı- Riemann manifoldu denir (Hacısalihoğlu 2003) .
Tanım 2.2.3. V vektör uzayının ortonormal bir bazı {e1 , e2 ,..., en } olsun.
ε i = g (ei , ei )
(2.2.2)
olmak üzere ∀X ∈ V vektörü
n
X = ∑ ε i g ( X , ei )ei
(2.2.3)
i =1
olacak şekilde tek türlü yazılabilir (O’Neill 1983).
Tanım 2.2.4. Bir Riemann manifoldu M ve M üzerinde bir Riemann koneksiyonu D
olsun. D ’nin M ’ye ait bir bölge üzerindeki ∀X , Y , Z ∈ χ ( M ) ve ∀f , h ∈ C ∞ ( M , )
için,
D : χ (M ) × χ (M ) → χ (M )
( X , Y ) → D ( X , Y ) = DX Y
bi-lineer dönüşümü
i) DX (Y + Z ) = DX Y + DX Z
(2.2.4)
ii) DX +Y Z = DX Z + DY Z
(2.2.5)
iii) D fX Y = fDX Y
(2.2.6)
iV) DX ( fY ) = fDX Y + X ( f )Y
(2.2.7)
özelliklerini sağlıyorsa D ye M üzerinden tanımlı bir afin koneksiyon veya kovaryant
türev adı verilir (Hacısalihoğlu 2003 ) .
Tanım 2.2.5. ( M , g ) bir Riemann manifoldu ve D de M üzerinde tanımlı bir afin
olsun. O zaman ∀X , Y , Z ∈ χ ( M ) olmak üzere D dönüşümü
i) DX Y − DY X = [ X , Y ] (zero tensör özelliği)
(2.2.8)
ii) Zg ( X , Y ) = g ( DZ X , Y ) + g ( X , DZ Y ) ( D ’nin metrikle bağdaşabilme özelliği) (2.2.9)
şartlarını sağlıyorsa D ye M nin Levi-Civita koneksiyonu denir (Hacısalihoğlu 2003).
Teorem 2.2.1. Bir Riemann (veya yarı Riemann) manifoldu üzerinde bir tek Riemann
koneksiyonu vardır (Hacısalihoğlu 2003).
Tanım 2.2.6. M bir Riemann manifoldu ve M ⊂ M nin alt manifoldu olsun. M ve M
nin Riemann koneksiyonları, sırasıyla, D ve D olmak üzere
V : χ ( M ) × χ ( M ) → χ ( M )⊥
χ ( M ) ⊥ , χ ( M ) in ortogonal komplemanı olmak üzere
( DX Y ) = D X Y + V ( X , Y )
(2.2.10)
denklemine Genelleştirilmiş Gauss Denklemi denir (Hacısalihoğlu 2003).
Tanım 2.2.7. n-boyutlu bir Riemann manifoldu M ve M nin k-boyutlu alt manifoldu
M olsun. O zaman χ ( M )⊥ in
ψ = {N1 , N 2 ,..., N n − k }
ortonormal bazı yardımıyla, ∀X , Y , Z ∈ χ ( M ) için,
Bi ( X , Y ) = ⟨V ( X , Y ), N i ⟩
;
1≤ i ≤ n − k
n−k
V ( X , Y ) = ∑ Bi ( X , Y ) N i
(2.2.11)
i =1
şeklinde tanımlı Bi bi-lineer formlarına M nin ψ ye göre ikinci temel formları denir.
Eğer V = 0 ise M ye total geodeziktir denir (Hacısalihoğlu 2003).
Tanım 2.2.8. M ve M ,sırasıyla, n ve n + k boyutlu Riemann manifoldları olmak
üzere M , M nin alt manifoldu olsun. M de normal bir birim vektör alanı ε olsun.
DX ε nin teğet ve normal bileşenleri, sırasıyla, − Aε ( X ) ve ∇ X⊥ olmak üzere ,
A : χ ( M ) × χ ⊥ ( M ) 
→ χ (M )
dönüşümü iyi tanımlıdır. Böylece ;
DX ε = − Aε ( X ) + ∇X⊥ ε
(2.2.12)
biçiminde tanımlı denkleme Weingarten denklemi adı verilir. Burada Aε ya şekil
operatörü, ∇ ⊥ e de M nin T ⊥ ( M ) normal demetindeki koneksiyon adı verilir.
M nin şekil operatörü Aε ile ikinci temel form V arasında
g ( Aε ( X ), Y ) = g (V ( X , Y ), ε )
bağıntısı vardır (Hacısalihoğlu 2003).
(2.2.13)
2.3. Bir Yüzeyin Yönlendirilmesi
Tanım 2.3.1. n boyutlu V vektör uzayının, iki bazı, sırasıyla, ϕ ve ϕ ' olsun.
ϕ = {α1 , α 2 ,..., α n }
ve
ϕ ' = {α1' , α 2' ,..., α n' }
eşitlikleriyle verilmiş olsun.
n
α 'j = ∑ pijα i
(2.3.1)
i =1
şeklinde tanımlı [ pij ]nXn matrisine, ϕ ' tabanının ϕ tabanına göre matrisi denir.
ϕ ' ve ϕ tabanına göre matrisi P ' olsun. P matrisinin tersi mevcut ve
P −1 = P '
olur (Sabuncuoğlu 2004).
Tanım 2.3.2. M yüzeyinin basit yüzeylerden oluşan bir örtüsü, bu basit yüzeylerin
pozitif yönlü birim dik vektör alanları, basit yüzeylerin arakesit noktalarında çakışacak
biçimde bulunabiliyorsa, M yüzeyi yönlendirilebilir yüzeydir denir (Sabuncuoğlu
2004).
Teorem 2.3.1. M yüzeyinin basit yüzeylerden oluşan bir örtüsünde,
ϕ (U ) ∩ψ ( H ) ≠ 0
koşulunu sağlayan ϕ (U ) ve ψ ( H ) basit yüzeylerini göz önüne alalım. Bu basit
yüzeylerin pozitif yönlü birim dik vektör alanlarının, basit yüzeylerin arakesit
noktalarında çakışması için gerek ve yeter koşul, ϕ (U ) yüzeyinin {∂1 , ∂ 2 } çatı alanı ile
ψ ( H ) yüzeyinin {∂1 , ∂ 2 } çatı alanının ortak noktalarda çakışmasıdır (Sabuncuoğlu
2004).
Teorem 2.3.2. Bir M manifoldunun yönlendirilebilir olması için gerek ve yeter şart M
nin {U X , U X } yönlendirilmiş koordinat koşuluna sahip olmasıdır. (Sabuncuoğlu 2004) .
Tanım 2.3.3. M üzerinde sıfırdan farklı bir C ∞ n − form ω mevcut ise M bir
n − boyutlu yönlendirilebilir manifolddur. M yönlendirilmiş ise M üzerinde sıfırdan
farklı bir ω n − formu seçeriz ve M nin ω ile yönlendirilmiş olduğunu ve M nin
yönünün ω olduğunu söyleyebiliriz. O zaman ∀P ∈ M için TM ( P ) deki bir sıralanmış
r r
r
{e1 , e 2 ,..., e n } bazı
r*
r*
r*
ω = b{e1 ∧ e 2 ∧ ... ∧ e n }
r* r*
r*
daki b⟩ 0 ise manifold pozitif yönlüdür. Eğer M yönlendirilmiş ve {e1 , e 2 ,..., en } ve
TM ( P ) nin pozitif yönlü bir bazı ise TM ( P ) deki
uur
n
V j = ∑ bij ei
1≤ i ≤ n
;
i =1
tanjant vektörlerinden oluşan bir diğer baz da pozitif yönlüdür. ⇔ det bij ⟩ 0
Örneğin E n Öklit uzayı yönlendirilebilirdir.
ui : E n 
→
doğal koordinat fonksiyonlarını göstermek üzere
ω = {du1 ∧ du2 ∧ ... ∧ dun }
;
1≤ i ≤ n
seçmek üzere E n yi yönlendirmiş oluruz. Böylece topolojik bir sonuç olarak E n deki
kapalı yüzeyler yönlendirilebilir.
M ve M yönlendirilmiş iki n − manifold olsunlar. Bir singüler olmayan
∞
C
f : M 
→M
Eğer f* türev dönüşümü TM deki pozitif yönlü bazları TM deki pozitif yönlü bazlara
dönüştürüyorsa f* dönüşümüne yönü koruyordur denir (Hacısalihoğlu 2003) .
Tanım 2.3.4. M yönlendirilmiş bir Riemann n − manifold olsun. TM ( P ) de pozitif
r r
r
r* r*
r*
yönlü bir ortonormal baz {e1 , e 2 ,..., e n } ve buna dual olan bazda {e1 , e 2 ,..., en } olsun.
r*
r*
∀P ∈ M için V P = e1 ∧ ... ∧ en olarak tanımlanan V n − formunu ele alalım. V
n − formu özel bazların seçilişinden bağımsız olduğu için iyi tanımlanmıştır denir ve
ayrıca da M üzerinde bir C ∞ formudur. V n − formuna M nin hacim elementi denir
(Hacısalihoğlu 2003) .
3. KONTAK GEOMETRİ
3.1. Kontak Manifoldlar
Tanım 3.1.1. (2n+1)-boyutlu diferensiyellenebilir bir Riemann manifoldu M olsun. M
üzerinde her noktada,
η ∧ (dη) n ≠ 0
(3.1.1)
koşulunu sağlayan bir η diferensiyel 1- formu varsa η ya kontak form, (M, η )
ikilisine de kontak manifold denir. Burada η ∧ (dη) n ≠ 0 bağıntısı M manifoldu
üzerinde bir hacim elementine karşılık gelir ve bundan dolayı M manifoldu
yönlendirilebilirdir. Burada (dη) n , dη nın kendisi ile n defa dış çarpımını gösterir, yani
(dη) n = (dη) ∧ (dη) ∧ … ∧ (dη)
n tane
dir. η 1-form olduğundan dη 2-form ve η ∧ (dη) n ifadesi (2n+1)-form olur.Bu
sebepten dolayı kontak manifoldlar (2n+1)-boyutlu manifoldlardır (Blair 1986, Blair
2002).
Teorem 3.1.1. (Darboux’un Klasik Teoremi): n-boyutlu diferensiyellenebilir
Riemann manifoldu
M ve bu manifold üzerinde diferensiyel 1-form ω olsun. M
üzerinde,
ω ∧ (dω) p ≠ 0
(dω) p +1 = 0
,
p
ω = dy p +1 − ∑ y i dxi
i =1
olacak şekilde M nin her noktası civarında bir ( x1 , x 2 ,..., x p , y1 , y 2 ,..., y n − p ) kordinat
sistemi vardır (Yano ve Kon 1984).
Böylece Darboux teoremine göre: (2n+1)-boyutlu M kontak manifoldunun her noktası
civarında,
n
η = dz − ∑ y i d xi
i =1
olacak şekilde ( x1 , x 2 ,..., x n , y1 , y 2 ,... y n , z ) koordinatları vardır (Blair 1976, Yano ve
Kon 1984) .
Örnek 3.1.1. (2n+1)-boyutlu kontak manifold M olsun. Bu durumda M manifoldu
üzerinde diferensiyel bir form
n
η = dz − ∑ y i d xi
i =1
olmak üzere η ∧ (dη) n ≠ 0 olduğunu gösterelim.
( x1 , x 2 ,..., x n , y1 , y 2 ,... y n , z ) ∈
2 n +1
dır.
n = 1 için M 3 de η ∧ dη ≠ 0 olduğunu gösterelim:
η = dz − y1 dx1
olmak üzere
dη = d (dz ) − dy1 ∧ dx1 − y1 d (dx1 )
dır.
d (dz ) = 0 , d (dx1 ) = 0
olduğundan
dη = - dy1 ∧ dx1
= dx1 ∧ dy1
olur. O zaman
η ∧ dη = ( dz − y1 dx1 ) ∧(dx1 ∧ dy1 )
= [dz ∧ (dx1 ∧ dy1 )] − [ y1 dx1 ∧ (dx1 ∧ dy1 )]
= dx1 ∧ dy1 ∧ dz
≠ 0
dir. Böylece ( M 3 , η ) ikilisi 3-boyutlu bir kontak manifolddur.
n = 2 için M 5 de η ∧ (dη) 2 ≠ 0 olduğunu gösterelim:
2
η =dz − ∑ y i dxi = dz − y1 dx1 − y 2 dx 2
i =1
olmak üzere
dη =d (dz ) − dy1 ∧ dx1 − y1 d (dx1 ) − dy 2 ∧ dx 2 − y 2 d (dx 2 )
dir.
d (dz ) = 0 , d (dx1 ) = 0 , d (dx 2 ) = 0
olduğundan
2
dη = dx1 ∧ dy1 + dx 2 ∧ dy 2 = ∑ dx i ∧ dy i
i =1
olur. Buradan
(dη) 2 = dη ∧ dη
= (dx1 ∧ dy1 + dx 2 ∧ dy 2 ) ∧ (dx1 ∧ dy1 + dx 2 ∧ dy 2 )
= [(dx1 ∧ dy1 ) ∧ (dx1 ∧ dy1 )] + [(dx1 ∧ dy1 ) ∧ (dx 2 ∧ dy 2 )]
+[(dx 2 ∧ dy 2 ) ∧ (dx1 ∧ dy1 )] + [(dx 2 ∧ dy 2 ) ∧ (dx 2 ∧ dy 2 )]
= 2(dx1 ∧ dy1 ∧ dx 2 ∧ dy 2 )
= 2!(dx1 ∧ dy1 ∧ dx 2 ∧ dy 2 )
dır. O zaman
η ∧ (dη) 2 = (dz − y1 dx1 − y 2 dx 2 ) ∧ [2!(dx1 ∧ dy1 ∧ dx 2 ∧ dy 2 )]
= 2!(dx1 ∧ dy1 ∧ dx 2 ∧ dy 2 ∧ dz )
≠ 0
elde edilir. O halde ( M 5 , η ) ikilisi 5-boyutlu kontak manifolddur.
n=3 için M 7 de η ∧ (dη)3 ≠ 0 olduğunu gösterelim:
3
η = dz − ∑ y i dxi = dz − y1 dx1 − y 2 dx 2 − y 3 dx3
i =1
olmak üzere
dη =d (dz ) − dy1 ∧ dx1 − y1 d (dx1 ) − dy 2 ∧ dx 2 − y 2 d (dx 2 ) − dy 3 ∧ dx 3 − y 3 d (dx3 )
dir.
d (dz ) = 0 , d (dx1 ) = 0 , d (dx 2 ) = 0 , d (dx3 ) = 0
olduğundan
3
dη = dx1 ∧ dy1 + dx 2 ∧ dy 2 + dx3 ∧ dy 3 = ∑ dxi ∧ dy i
i =1
ve
(dη) 2 = dη ∧ dη
= (dx1 ∧ dy1 + dx 2 ∧ dy 2 + dx3 ∧ dy 3 )
∧ (dx1 ∧ dy1 + dx 2 ∧ dy 2 + dx3 ∧ dy 3 )
= 2! (dx1 ∧ dy1 ∧ dx 2 ∧ dy 2 ) + 2! (dx 2 ∧ dy 2 ∧ dx3 ∧ dy 3 )
+ 2! (dx1 ∧ dy1 ∧ dx3 ∧ dy 3 )
dir. Ayrıca
(dη)3 = dη ∧ (dη) 2
 2!(dx1 ∧ dy1 ∧ dx 2 ∧ dy 2 ) 


= (dx1 ∧ dy1 + dx 2 ∧ dy 2 + dx3 ∧ dy 3 ) ∧  +2!(dx 2 ∧ dy 2 ∧ dx3 ∧ dy 3 ) 

1
1
3
3 
 +2!(dx ∧ dy ∧ dx ∧ dy ) 
=3!( dx1 ∧ dy1 ∧ dx 2 ∧ dy 2 ∧ dx3 ∧ dy 3 )
ve buradan da
η ∧ (dη)3 = (dz − y1dx1 − y 2 dx 2 − y 3 dx 3 ) ∧ [3!(dx1 ∧ dy1 ∧ dx 2 ∧ dy 2 ∧ dx 3 ∧ dy 3 )]
= 3!(dx1 ∧ dy1 ∧ dx 2 ∧ dy 2 ∧ dx 3 ∧ dy 3 ∧ dz )
≠ 0
olur. O halde ( M 7 , η ) ikilisi 7-boyutlu kontak manifolddur.
n>3 için M 2 n +1 de η ∧ (dη) n ≠ 0 olduğunu gösterelim.
n
η = dz − ∑ y i dxi = dz − y1dx1 − y 2 dx 2 − ... − y n dx n
i =1
olmak üzere
n
dη =d (dz ) − ∑ [dy i ∧ dx i − y i d (dx i )]
i =1
d (dz ) = 0 ve d (dxi ) = 0 , 1 ≤ i ≤ n
olduğundan
n
dη = ∑ dx i − dy i
i =1
dır. Buradan
(dη) 2 = dη ∧ dη
= (dx1 ∧ dy1 + dx 2 ∧ dy 2 + ... + dx n ∧ dy n )
∧ (dx1 ∧ dy1 + dx 2 ∧ dy 2 + ... + dx n ∧ dy n )
= 2! (dx1 ∧ dy1 ∧ dx 2 ∧ dy 2 ) + 2! (dx1 ∧ dy1 ∧ dx3 ∧ dy 3 )
+...+2! (dx1 ∧ dy1 ∧ dx n ∧ dy n ) + 2! (dx 2 ∧ dy 2 ∧ dx3 ∧ dy 3 )
+2! (dx 2 ∧ dy 2 ∧ dx 4 ∧ dy 4 ) + ... + 2! (dx 2 ∧ dy 2 ∧ dx n ∧ dy n )
+2! (dx 3 ∧ dy 3 ∧ dx 4 ∧ dy 4 ) + 2! (dx 3 ∧ dy 3 ∧ dx 5 ∧ dy 5 )
+...+2! (dx3 ∧ dy 3 ∧ dx n ∧ dy n ) + ... + 2! (dx n −1 ∧ dy n −1 ∧ dx n ∧ dy n )
ve
(dη)3 = dη ∧ (dη)2
= 3!(dx1 ∧ dy1 + dx 2 ∧ dy 2 ∧ dx 3 ∧ dy 3 )
+...+3! (dx1 ∧ dy1 ∧ dx 2 ∧ dy 2 ∧ dx n ∧ dy n )
+3! (dx 2 ∧ dy 2 ∧ dx3 ∧ dy 3 ∧ dx 4 ∧ dy 4 )
+...+3! (dx 2 ∧ dy 2 ∧ dx3 ∧ dy 3 ∧ dx n ∧ dy n )
+...+3! (dx n − 2 ∧ dy n − 2 ∧ dx n −1 ∧ dy n −1 ∧ dx n ∧ dy n )
olduğu görülür. Buradan da
(dη) n = dη ∧ dη ∧ ... ∧ dη
= n!(dx1 ∧ dy1 ∧ dx 2 ∧ dy 2 ∧ ... ∧ dx n ∧ dy n )
veya
n
η ∧ (dη)n = (dz − ∑ y i dxi ) ∧ [n !(dx1 ∧ dy1 ∧ dx 2 ∧ dy 2 ∧ ... ∧ dx n ∧ dy n )]
i =1
= n !(dx1 ∧ dy1 ∧ dx 2 ∧ dy 2 ∧ ... ∧ dx n ∧ dy n ∧ dz )
≠
0
elde edilir. O halde ( M 2 n +1 , η ) ikilisi (2n+1)-boyutlu bir kontak manifolddur.
Örnek 3.1.2. 3- boyutlu diferensiyellenebilir bir manifold M 3 olsun. Her (x,y,z) noktası
civarında
η = cos zdx + sin zdy
diferensiyel 1-formu için,
η ∧ dη ≠ 0
olduğunu gösterelim.
Burada
dη = − sin zdz ∧ dx + cos zd (dx) + cos zdz ∧ dy + sin zd (dy )
d (dx) = 0 , d (dy ) = 0
olduğundan
dη = sin zdx ∧ dz + cos zdz ∧ dy
dır, dolayısı ile
η ∧ dη = ( cos zdx + sin zdy ) ∧ (sin zdx ∧ dz + cos zdz ∧ dy )
= cos 2 zdx ∧ dz ∧ dy + sin 2 zdy ∧ dx ∧ dz
= − cos 2 zdx ∧ dy ∧ dz − sin 2 zdx ∧ dy ∧ dz
= ( cos 2 z + sin 2 z )(− dx ∧ dy ∧ dz )
= − (dx ∧ dy ∧ dz )
≠
0
dır. Böylece ( M 3 , η ) ikilisi 3-boyutlu bir kontak manifolddur.
Tanım 3.1.2.
2 n +1
2 n +1
üzerinde kartezyen koordinatlar ( x1 , x 2 ,..., x n , y1 , y 2 ,... y n , z ) ve
n
de bir diferensiyel 1-form η = dz − ∑ y i dx i olsun.
2 n +1
in açık alt cümleleri U
i =1
ve U ' olmak üzere
diffeomorfizim
f : U 
→ U'
diffeomorfizimi için,
ƒ* : χ (U )
χ (U ' )
ve
ƒ* : Ω(U ' )
Ω (U )
olmak üzere
ƒ* η = τ.η
(3.1.2)
ise f ye kontak transformasyon denir. Burada τ , U üzerinde sıfır olmayan bir reel
değerli fonksiyondur. Ayrıca χ (U ) , U üzerindeki vektör alanlarının uzayı, Ω (U ) da
χ (U ) nun dualidir.
U üzerindeki bütün kontak transformasyonların cümlesi Γ ise;
diffeomorfizim
Γ = { f | f : U 
→U ' ;U , U ' ⊂
şeklindedir. Burada τ : U 
→
2 n +1
açıklar. ƒ* η = τ.η}
reel değerli bir fonksiyondur. O zaman Γ ya adi
grup (grubumsu) denir (Yano ve Kon 1984).
Tanım 3.1.3. Bir ƒ ∈ Γ kontak transformasyonu için τ =1 yani
ƒ* η = η
(3.1.3)
ise ƒ ye bir kesin kontak transformasyon veya sıkı kontak transformasyon denir. Bu
tip transformasyonların cümlesi Γ 0 ile gösterilirse
diffeomorfizim
Γ 0 = { f | f : U 
→ U ' ;U , U ' ⊂
2 n +1
açıklar. ƒ* η = η}
şeklindedir.
Γ 0 cümlesine Γ için bir alt grubumsu (değişimli olmayan grup) denir (Yano ve Kon
1984).
Teorem 3.1.2. Kontak transformasyonların cümlesi Γ , çarpma işlemine göre bir
grubumsudur (Yano ve Kon 1984).
İspat:
o : Γx Γ → Γ
i)
( g , f ) a gof
şeklinde tanımlı o işlemi Γ cümlesinde bir iç işlemdir.
f :U → U '
,
g :V → V '
,
U ' ∩V ≠ ∅
kontak transformasyonları verilsin.
f* : χ (U ) → χ (U ' )
,
g* : χ (V ) → χ (V ' )
f * : Ω (U ' ) → Ω (U )
,
f * : Ω (V ' ) → Ω (V )
ve
olmak üzere
f * η0 = τ0 .η0
dır. Burada τ0 :U →
ve τ1 : V →
,
g * η1 = τ1 .η1
reel değerli fonksiyonlardır.
Böylece
gof : f −1 (U ' I V ) ⊂ U → g (U ' I V ) ⊂ V '
dönüşümü de bir kontak transformasyondur.
Gerçekten
f
g
U 
→ U ' ⊂ V 
→V '
−1
f
g
f −1 (U ' I V ) ⊂ U ←
U ' I V 
→ g (U ' I V ) ⊂ V '
gof : f −1 (U ' I V ) ⊂ U 
→ g (U ' I V ) ⊂ V '
( gof )* : χ ( f −1 (U ' I V )) 
→ χ ( g (U ' I V ))
( gof )* : Ω ( g (U ' I V )) 
→ Ω ( f −1 (U ' I V ))
∀η1 ∈ Ω ( g (U ' I V )) için
( gof )* η1 = ( f *og * )η1
= f * ( g *η1 )
; g kontak transformasyon , g * η1 = τ1 .η1
= f * (τ1 .η1 )
; f kontak transformasyon , f * τ1 .η1 = τ 0 .(τ1 .η1 )
= τ 0 .(τ1 .η1 )
= (τ 0 .τ1 ).η1
τ0 .τ1 = τ kabul edilir ise ( gof )* η1 = τ. η1 olur ki bu da gof ∈ Γ demektir.
ii) o işlemi Γ da birleşimlidir: U , V , W , U ' , V ' , W ' ⊂
f
g
h
U 
→ U ' ⊂ V 
→ V ' ⊂ W 
→W '
∀ f , g , h ∈ Γ ve ∀ ηo ∈ Γ Ω (W ' ) için
[( fog )oh]* (η0 ) = [h* o( fog )* ] (η0 )
= [h* o( g * of * )](η0 )
= h* (( g * of * )(η0 ))
;
2 n +1
in açıkları olmak üzere
U ' ∩V ≠ ∅
, V ' ∩W ≠ ∅
[( fog )oh]* (η0 ) = h* ( g * ( f *η0 ))
; f kontak transformasyon , f * η0 = τ 0 .η0
= h* (g* (τ 0 .η0 )) ; g kontak transformasyon, g * ( τ 0 .η0 ) = τ1 .( τ 0 .η0 )
= (h* (τ1 ( τ 0 .η0 )) ; h kontak transformasyon h* η0 = τ .η0
= (τ 2 τ1 τ 0 ) η0
(τ 2 τ1 τ 0 ) = τ alınırsa
[( fog )oh]* (η0 ) = τ .η0
(3.1.4)
dır.
Diğer taraftan,
∀ f , g , h ∈ Γ ve ∀ η0 için ,
[( fo( goh)]* (η0 ) = [( goh)* of * ] (η0 )
= [(h* og * )of * ] (η0 )
= (h* og * )( f * (η0 )) ; f kontak transformasyon , f * η0 = τ0 .η0
= (h* og * )(τ 0 .η0 )
= h* ( g * (τ 0 .η0 )
; g kontak transformasyon, g * ( τ 0 .η0 ) = τ1 .( τ 0 .η0 )
= h* (τ1 .(τ 0 .η0 ))
; h kontak transformasyon h* η0 = τ .η0
= (τ 2 τ1 τ 0 ) η0
(τ 2 τ1 τ 0 ) = τ alınırsa
[( fog )oh]* (η0 ) = τ.η0
dır.
(3.1.5)
(3.1.4) ve (3.1.5) den
[( fog )oh]* (η0 ) = [ fo( goh)]* (η0 )
olur. Bu ifade ∀η0 için doğru olduğundan
[( fog )oh]* = [ fo( goh)]*
dır. O halde ∀ f , g , h ∈ Γ için
( fog )oh = fo( goh)
olur. Yani o işlemi Γ da birleşimlidir.
diffeomorfizim
→U ' olduğundan f −1 vardır ve fof −1 = f −1of = I olur.
iii) f : U 
I ∈ Γ birim kontak transformasyon olduğundan ∀η ∈ Ω (U ) için
I* η = η
olur. Ayrıca f ∈ Γ olduğundan f * η = τ.η olucak şekilde τ ≠ 0 fonksiyonu vardır.
Buna göre
fof −1 = I
( fof −1 )* (η) = I* (η)
[( f −1 )* of * ](η) = I* (η)
( f −1 )* ( f * (η)) = η
; f kontak transformasyon , f * η0 = τ.η
( f −1 )* (τ.η) = η
dır. O halde η1 = τ.η ve τ −1 mevcut ise η = τ−1η1 olup f −1 ∈ Γ olur.
( f −1 )* (η1 ) = τ−1η1
yazılabilir. O halde τ −1 mevcut ise sonuç olarak Γ cümlesi o işlemine göre bir
grubumsudur.
Teorem 3.1.3. Γ 0 cümlesi , Γ cümlesinin bir alt grubudur.
İspat:
Γ0 = { f
2 n +1
f : U → U ' ; U ve U ' ⊂
açıklar, ƒ* η = η} ⊂ Γ nın alt grubudur.
Gerçekten ,
i) I* η = η olduğundan I ∈ Γ 0 dır. Yani
Γ0 ≠ ∅
olur.
ii) ∀f ∈ Γ 0 için
f *η = η
f * η = 1.η ve τ = 1 alınırsa
f * η = τ.η olur ki , bu da f ∈ Γ demektir.
Yani ,
Γ0 ⊂ Γ
olur.
iii) ∀f , g ∈ Γ 0 için fog −1 ∈ Γ 0 olduğunu gösterelim.
( fog −1 )* η = ( g −1 )* ( f * η)
= ( g −1 )η
; g −1 sıkı kontak transformasyon ( g −1 )* η = η
=η
O halde
fog −1 ∈ Γ 0
dır.
Sonuç olarak Γ 0 ⊂ Γ bir alt grupdur.
Tanım 3.1.4. ∀(i, j ) çifti için fij ,
fij = fi of j−1 = fi f j−1
anlamında o işlemi kullanılmayacaktır. ∀U i , Vi ⊂
2 n +1
fi : U i → Vi ⊂
2 n +1
(3.1.6)
açıkları için
homeomorfizimleri verilmiş olsun. Ayrıca M nin bir açık örtüsü {U i } ve
boy M = (2n + 1) olsun. Eğer
f i ' f j−1 ∈ Γ
ise
{U i , fi } ve {U i' , f i ' }
koordinat sistemleri (haritalar) denktirler denir. Bu denklik bağıntısına göre denklik
sınıflarının cümlesi M üzerinde bir en geniş anlamda kontak yapı olarak adlandırılır
(Yano ve Kon 1984).
Sonuç 3.1.1. f j (U i ∩ U j ) üzerinde
( f i f j−1 )* (η0 ) = ρij η0
(3.1.7)
olacak şekilde sıfırdan faklı bir ρij = ( f i f j−1 )* fonksiyonu vardır (Kocayiğit 2004).
İspat : f i ∈ Γ olduğundan f i* η0 = τ0 .η0 dır. Böylece f i f j−1 ∈ Γ olduğundan
( f i f j−1 )* (η0 ) = [( f j−1 )* f i* )]η0
= ( f j−1 )* (( fi * )(η0 ))
= ( f j−1 )* (τ 0 .η0 )
dır. f j−1 ∈ Γ olduğundan ( f j−1 )(η1 ) = τ ' .η1 olup
( f i f j−1 )* (η0 ) = τ' (τ 0 .η0 )
= (τ ' τ 0 ).η0
; fi ∈ Γ ,
f i* η0 = τ0 .η0
( f i f j−1 )* (η0 ) = ρij η0
elde edilir. Diğer taraftan
ρij η0 = ( fi f j−1 )* (η0 )
eşitliğinin her iki tarafına soldan f j* yi uygularsak,
f j* ( ρij η0 ) = [ f j* ( f i f j−1 )* ](η0 )
= [ f j* (( f j−1 )* of i* )](η0 )
= [( f j* ( f j−1 )* )ofi * ](η0 )
= [( f j−1 f j )* of i * ](η0 )
= [ I * fi * ](η0 )
= f i * (η0 )
f j* ( ρij (η0 )) = f i* (η0 )
(3.1.8)
olur.
Sonuç 3.1.2.
f j* ( ρij (η0 )) = f j* ( ρij ) f j* (η0 )
(3.1.9)
dır (Kocayiğit 2004).
İspat:
f j bir kontak transformasyon olduğundan U j üzerinde reel değerli bir
τ' fonksiyonu
f j* ( ρij .η0 ) = τ ' ( ρij .η0 )
olacak şekilde vardır. τ0 ve τ1 U j üzerinde reel değerli fonksiyonlar olmak üzere
( f j* ρij )(ρ ) = (τ0 ρij )(ρ )
= τ 0 ( ρ ) ρij
ve
( f j* η0 )( ρ ) = (τ1 η0 )( ρ )
= τ1 ( ρ )η0
olduğundan,
[( f j* ρij )(f j* η0 )]( ρ ) = ( f j* ρij )( ρ )(f j*η0 )( ρ )
= (τ 0 ( ρ ) ρij )(τ1 ( ρ )η0 )
= τ 0 ( ρ )τ1 ( ρ ) ρij η0
= [(τ 0 τ1 ) ρij η0 ]( ρ )
[( f j* ρij )(f j* η0 )]( ρ ) = [τ ' ( ρij η0 )](ρ ) = f j* ( ρij η0 )(ρ )
(3.1.10)
dır. Bu eşitlik ∀ρ ∈ U i için var olduğundan (3.1.9) ve (3.1.10) dan
( f j* ρij )(f j* η0 ) = τ ' ( ρij η0 )
= f i * η0
= f j* ( ρij .η0 )
elde edilir.
Sonuç 3.1.3. Eğer ηi yi her U i üzerinde ηi = fi * η0 olacak şekilde bir 1-form olarak
tanımlarsak U i ∩ U j ≠ ∅ üzerinde
ηi = f j* ( ρij )η j
dır ve ηi ler birer kontak form olur (Kocayiğit 2004).
İspat:
f i*η0 = ( f j* ρij )(f j*η0 )
eşitliğinde f i* η0 yerine ηi ve f j* η0 yerine η j yazılırsa η0 ∧ (dη0 )n ≠ 0 olduğundan
ηi ∧ (dηi )n ≠ 0 olur. Ayrıca ηi = f i *η0 olduğundan ,
dηi = d ( f i *η0 )
= f i* (dη0 )
dır.
(dηi ) n =
1
(dηi ∧ dηi ∧ ... ∧ dηi )
n!
=
1 *
( fi (dη0 ) ∧ fi * (dη0 ) ∧ ... ∧ f i * (dη0 ))
n!
=
1 *
f i (dη0 ∧ dη0 ∧ ... ∧ dη0 )
n!
= fi*[
1
(dη0 ∧ dη0 ∧ ... ∧ dη0 )]
n!
= f i * ( dη 0 ) n
dir. Buna göre
ηi ∧ (dηi )n = ( fi *η0 ) ∧ ( fi * (dη0 ) n )
= f i* (η0 ∧ (dη0 ) n )
; f i* lineer olduğundan
olur. Bu ise f i* lineer ve η0 ∧ (dη0 ) ≠ 0 olduğundan
ηi ∧ (dηi )n ≠ 0
;
1≤ i ≤ n
demektir. Dolayısıyla her i değeri için ηi ler kontak formdur.
Tanım 3.1.5. (2n+1)-boyutlu diferensiyellenebilir Riemann manifoldu M ve η da
M üzerinde diferensiyel 1-form olsun.
dif . bilir
D = { X ∈ χ ( M ) η : χ ( M ) 

→ C ∞ ( M , R) , η(X ) = 0}
lineer
(3.1.11)
cümlesine η kontak formunun kontak distribüsyonu denir (Blair 1976).
Tanım 3.1.6. ( M , η) kontak manifoldu üzerinde X ≠ ξ için ,
η(ξ )=1
(3.1.12)
dη(ξ , X )=0
(3.1.13)
olacak şekilde bir tek ξ ∈ χ ( M ) vektör alanı varsa ξ ye η kontak yapısının
karakteristik vektör alanı denir.
Burada
1:1
ξ : M 
→ U TM ( P )
örten
p∈M
şeklinde tanımlı (1,0) tipinde tensör alanıdır (Blair 1976).
Örnek
3.1.3.
M3
3-boyutlu
diferensiyellenebilir
bir
manifold
olsun.
Her
( x1 , y1 , z ) noktası civarında η = cos zdx + sin zdy diferensiyel 1-formu için Tanım
(3.1.6) daki şartları sağlayan bir tek ξ ∈ χ ( M ) vektör alanı
ξ = cos z
∂
∂
+ sin z
∂x
∂y
dır. Gerçekten ,
dη = sin zdx ∧ dz + cos zdz ∧ dy
olmak üzere,
dη(X ,ξ ) = [sin zdx ∧ dz + cos zdz ∧ dy ]( X ,ξ )
= [sin zdx ∧ dz ]( X , ξ ) + [cos zdz ∧ dy ]( X , ξ )
= sin z[dx( X )dz (ξ ) − dx(ξ )dz ( X )] + cos z[dz ( X )dy (ξ ) − dz (ξ )dy ( X )]


∂
∂
∂
∂
= sin z  dx( X )dz (cos z + sin z ) − dx(cos z + sin z )dz ( X ) 
∂x
∂y
∂x
∂y




∂
∂
∂
∂
+ cos z  dz ( X )dy (cos z + sin z ) − dz (cos z + sin z )dy ( X ) 
∂x
∂y
∂x
∂y


∂
∂
∂
) + sin z cos zdx( X )dz ( ) − sin z cos zdx( )dz ( X )
∂x
∂y
∂x
∂
∂
∂
− sin 2 zdx( )dz ( X ) + cos 2 zdz ( X )dy ( ) + cos z sin zdz ( X )dy ( )
∂y
∂x
∂y
∂
∂
+ cos z sin zdz ( )dy ( X ) − cos 2 zdz ( )dy ( X )
∂x
∂y
= − sin 2 zdx( X )dz (
∂
∂
)dz ( X ) + cos z sin zdz ( X )dy ( )
∂x
∂y
= − sin z cos zdz ( X ) + cos z sin zdz ( X )
= − sin z cos zdx(
dη( X , ξ ) = 0
olur.
η(ξ ) = [cos zdx + sin zdy ](ξ )
∂
∂
+ sin z )
∂x
∂y
∂
∂
∂
∂
= cos 2 zdx( ) + cos z sin zdx( ) + sin z cos zdy ( ) + sin 2 zdy ( )
∂x
∂y
∂x
∂y
= [cos zdx + sin zdy ](cos z
ve
dx(
∂
∂
∂
∂
) = 1 , dx( ) = 0 , dy ( ) = 0 , dy ( ) = 1
∂x
∂y
∂x
∂y
olduğundan
η(ξ ) = 1
dir. Dolayısıyla ξ , η kontak yapısının karakteristik vektör alanı olur.
Sonuç 3.1.4. ( M , η) ikilisi (2n+1)-boyutlu kontak manifold, D ise η kontak formunun
kontak distribisyonu olmak üzere χ ( M ) , D ile D ⊥ in direk toplamı olarak yazılabilir.
Yani,
χ (M ) = D ⊕ D⊥
(3.1.14)
dır.
Sonuç 3.1.5. ( M , η) ikilisi (2n+1) –boyutlu kontak manifold ve Ker η , η kontak
formunun çekirdeği olmak üzere aşağıdaki önermeler denktir.
i) η kontak formu bire birdir.
ii) Ker η = {0}
Sonuç 3.1.6. ( M , η) ikilisi (2n+1) –boyutlu kontak manifold ve Ker η , η kontak
formunun çekirdeği olmak üzere
Ker η=D
(3.1.15)
dir.
3.2. Hemen Hemen Kontak Manifoldlar
Tanım 3.2.1. (2n+1)-boyutlu diferensiyellenebilir bir manifold
M
ve φ,ξ , η
,sırasıyla, M üzerinde (1,1) , (1,0) , (0,1) tipinde tensör alanları olsun. φ,ξ , η için
∀X ∈ χ ( M ) olmak üzere
η(ξ ) = 1
(3.2.1)
φ 2 (X ) = − X + η( X )ξ
(3.2.2)
koşullarını sağlayan ( φ,ξ , η ) üçlüsüne M de hemen hemen kontak yapı ve
( M , φ,ξ , η ) dörtlüsüne de hemen hemen kontak manifold denir (Yano ve Kon 1984).
Burada
lineer
φ : χ (M ) 
→ χ (M )
anti − simetrik
; (1,1) tensör
lineer
η : χ (M ) →
C ∞ (M , )
dif .bilir
; (1,0) tensör
1:1
ξ : M 
→ U TM ( P )
örten
p∈M
; (0,1) tensör
dır.
Örnek 3.2.1
3
de standart koordinatlar ( x, y, z ) olmak üzere
η kontak formu ,
1
η = (dz − ydx)
2
ξ vektör alanı,
ξ = 2(
∂
)∈ χ(
∂z
3
)
φ lineer dönüşümü,
φ : χ(
3
lineer
) 
→ χ(
3
)
olsun.
φ lineer dönüşümüne karşılık gelen matris,
 0 1 0


φ =  −1 0 0 
 0 y 0


olmak üzere,
η(ξ ) =
1
∂
(dz − ydx)(2( ))
2
∂z
= dz (
∂
∂
) − ydx( )
∂z
∂z
;
dz (
∂
∂
) = 1 , dx( ) = 0
∂z
∂z
=1
olur.
Ayrıca
X = x1 (
∂
∂
∂
) + x2 ( ) + x3 ( ) ∈ χ (
∂x
∂y
∂z
3
)
;
X = ( x1 , x2 , x3 ) ∈
olmak üzere
η( X ) =
1
∂
∂
∂
(dz − ydx).( x1 + x2
+ x3 )
2
∂x
∂y
∂z
1
∂
∂
∂
∂
∂
∂
= [dz ( x1 + x2
+ x3 ) − ydx( x1 + x2
+ x3 )]
2
∂x
∂y
∂z
∂x
∂y
∂z
=
1
( x3 − yx1 )
2
dır.
0 
ξ vektör alanına karşılık gelen matris ξ = 0  ve
 2 
 x1 
X ∈ χ ( 3 ) in matris formu X =  x2  olduğundan
 x3 
 0 1 0   0 1 0   x1 



φ ( X ) = φ(φ( X )) =  −1 0 0  .  −1 0 0  .  x2 
 0 y 0  0 y 0 x 


  3
2
3
 −1 0 0   x1 


φ ( X ) =  0 −1 0  .  x2 
 − y 0 0 x 

  3
2
 −1 0 0   0 0 0    x1 

 

φ ( X ) =  0 −1 0  +  0 0 0   .  x2 
 0 0 −1  − y 0 1    x3 
2
0




= − I3 ( X ) + 
0

 − yx1 + x3 
0 
= − X + ( x3 − yx1 ) 0 
1 
0 
1
= − X + ( x3 − yx1 )  0 
2
 2 
= − X + η( X )ξ .
Böylece (
3
, φ, ξ , η) dörtlüsü hemen hemen kontak manifold olur.
Teorem 3.2.1. ( M , φ,ξ , η ) dörtlüsü hemen hemen kontak manifold olmak üzere
X,ξ ∈ χ ( M ) , X ≠ ξ ve
lineer
φ : χ (M ) 
→ χ (M )
için
i)
φ (ξ ) = 0
(3.2.3)
ii)
ηo φ = 0
(3.2.4)
iii)
rank φ = 2n
(3.2.5)
dir (Yano ve Kon 1984).
İspat :
i) ∀X ∈ χ ( M ) için (3.2.2) den φ 2 (X ) = − X + η( X )ξ eşitliğinde X = ξ alınırsa
φ 2 (ξ ) = −ξ + η(ξ )ξ ; η(ξ ) = 1
= −ξ + ξ
=0
Öncelikle φ (ξ ) = 0 eşitliğini Olmayana Ergi Yöntemi ile ispatlayalım.
Kabul edelim ki φ(ξ ) ≠ 0 olsun. φ 2 (ξ ) = 0 ifadesinde ξ yerine φ ξ alınırsa
φ 2 (φξ ) = 0
φ 2 (φξ ) = −φξ + η(φξ )ξ = 0
φξ = η(φξ )ξ
(3.2.6)
olur. Burada η(φξ ) = 0 ve η(φξ ) ≠ 0 olmak üzere iki durum ortaya çıkar.
η(φξ ) = 0 olduğunda φξ = 0 olur. Bu ise φ(ξ ) ≠ 0 kabulümüz ile çelişir. Demek ki
kabulümüz yanlış olup φξ = 0 olmak zorundadır.
η(φξ ) ≠ 0 olduğunda (3.2.6) eşitliği soldan φ ile çarpılırsa
φ 2 (ξ ) = η(φ(ξ ))φ(ξ )
olur. φ 2 (ξ ) = 0 ve η(φξ ) ≠ 0 dolayısı ile (φξ ) = 0 olur. Bu ise φ(ξ ) ≠ 0 kabulümüz
ile çelişir.Demek ki kabulümüz yanlış olup φξ = 0 olmak zorundadır.
Sonuç olarak her iki durumda da φξ = 0 olur.
ii) (3.2.2) den ∀X ∈ χ ( M ) için φ 2 (X ) = − X + η(X)ξ olduğundan X = φ(X) alınarak
φ3 (X ) = φ 2 (φX ) = φ(φ 2 ( X ))
= φ( − X + η( X )ξ )
; φ lineer olduğundan
= −φ(X ) + φ(η( X )ξ )
= −φ(X ) + η( X )φ(ξ )
φ3 (X ) = −φ(X ) + η(φ( X ))ξ
(3.2.7)
elde edilir.
φ(ξ ) = 0
olduğundan
φ3 (X ) = −φ(X )
(3.2.7) ve (3.2.8) den
η(φ(X ))ξ = 0
olur. Ayrıca
(3.2.8)
ξ ≠0
olduğundan
η(φ(X )) = 0
dır. Bu ise
(ηoφ)(X ) = 0( X )
olur ki ∀X ∈ χ ( M ) için doğru olduğundan
ηoφ = 0
olur.
lineer
iii) φ:χ (M ) 
→ χ (M ) dönüşümünün çekirdeği Ker φ olmak üzere
Ker φ={X ∈ χ (M ) φ(X ) = 0}
şeklindedir.
∀X ∈ Kerφ için
φ(X ) = 0
, eşitliğin her iki tarafına φ uygulanırsa
φ(φ(X )) = φ(0)
,
φ 2 (X ) = 0
(3.2.2) den
− X + η(X )ξ = 0
X = η(X )ξ
olur. Böylece ∀X ∈ Kerφ için X ∈ Sp{ξ } olur ki bu da
Ker φ ⊂ Sp{ξ }
(3.2.9)
demektir.
∀X ∈ Sp{ξ } için
X = λξ
,
φ( X ) = λ φ(ξ )
;
φ(ξ ) = 0 ,
φ( X ) = 0
olur. Böylece ∀X ∈ Sp{ξ } için X ∈ Kerφ olur ki bu da
Sp{ξ } ⊂ Ker φ
(3.2.9) ve (3.2.10) dan Ker φ = Sp{ξ } demektir.
Sonuç olarak
rank φ+sıfırlık φ = boy χ ( M )
ve
sıfırlık φ = boy ( Ker φ) = 1
(3.2.10)
olduğundan
rank φ=2n
dır.
3.3. Hemen Hemen Kontak Metrik Manifold
Tanım 3.3.1. (2n+1)-boyutlu M diferensiyellenebilir Riemann Manifoldunu ele alalım.
(φ,ξ ,η) hemen hemen kontak yapısıyla birlikte M nin bir P noktasındaki g P Riemann
metriği
2-lineer
g P : TM ( P ) × TM ( P )  simetrik

→
poz. tanımlı
dir.
∀X , Y ∈ χ ( M ) ve ξ ∈ χ ( M ) için
η( X ) = g ( X , ξ )
(3.3.1)
g (φ( X ), φ(Y )) = g ( X , Y ) − η( X ) η(Y )
(3.3.2)
koşullarını sağlayan g metriğine M üzerinde hemen hemen kontak metrik, (φ,ξ ,η,g)
yapısına da hemen hemen kontak metrik yapı, ( M , φ,ξ ,η,g) beşlisine de hemen
hemen kontak metrik manifold denir (Yano ve Kon 1984).
(3.3.2) eşitliğinde Y = ξ alınırsa
g (φ( X ), φ(ξ )) = g ( X , ξ ) − η( X ).η(ξ )
η( X ) = g ( X , ξ )
olur.
;
φ(ξ ) = 0 , η(ξ ) = 1
φ anti-simetrik olduğundan φ* = −φ dır.
g (φ( X ), φ(Y )) = g ( X , φ* (φ(Y )))
= g ( X , − φ(φ(Y )))
= − g ( X , φ 2 (Y ))
;
φ 2 (Y ) = −Y + η(Y )ξ
= − g ( X , −Y + η(Y )ξ )
;
g lineer
= g ( X , Y ) − η(Y ) g ( X , ξ ) ;
g ( X , ξ ) = η( X )
= g ( X , Y ) − η( X ) η(Y )
olur.
Örnek 3.3.1. Örnek (3.2.1) deki (
3
, φ, ξ , η) hemen hemen kontak manifoldunda bir g
metriği şöyle tanımlansın.
1
g = ((1 + y 2 )dx 2 + dy 2 + dz 2 − 2 ydxdz )
4
3
de g metriğinin matris yazılımı
g = a11dx 2 + a22 dy 2 + a33 dz 2 + 2a12 dxdy + 2a13 dxdz + 2a23 dydz
dir. Ayrıca g nin matrisi simetrik olduğundan g metriğinin matris yazılımı
1 + y 2
1
g=  0
4
 −y
şeklinde olup (
3
0 −y

1 0 
0 1 
, φ, ξ , η, g ) beşlisi bir hemen hemen kontak metrik manifolddur.
 0 1 0   x1   x2 


φ( X ) =  −1 0 0  .  x2  =  − x1 
 0 y 0   x   yx 

  3  2
 0 1 0   y1   y2 


φ(Y ) =  −1 0 0  .  y2  =  − y1 
 0 y 0   y   yy 

  3  2
1
η( X ) = ( x3 − yx1 )
2
η(Y ) =
,
,
,
1
( y3 − yy1 )
2
,
g (φ( X ), φ(Y ) = (φ X )T g (φ Y )
olduğundan
1 + y 2
1
g (φ( X ), φ(Y )) =  x2 -x1 yx2  .  0
4
 −y
0 − y   y2 

 
1 0  .  − y1 
0 1   yy2 


 y2 

 1
1
= .  x2 -x1 0  .  − y1  = ( x2 y2 + x1 y1 ) ,
4
 yy  4
 2
η( X ) η(Y ) =
1
1
( x3 − yx1 ). ( y3 − yy1 ) ,
2
2
1
η( X ) η(Y ) = ( x3 y3 − yx3 y1 − yx1 y3 + y 2 x1 y1 ) ,
4
g ( X ,Y ) =
=
1
((1 + y 2 ) x1 y1 − yx1 y3 + x2 y2 − yx3 y1 + x3 y3 )
4
1
1
( x1 y1 + x2 y2 ) + ( x3 y3 + y 2 x1 y1 − yx1 y3 − yx3 y1 ) ,
4
4
g (φ( X ), φ(Y )) = g ( X , Y ) − η( X ) η(Y ) ,
g ( X , Y ) = g (φ( X ), φ(Y )) + η( X ) η(Y )
dır.
Şimdi η( X ) = g ( X , ξ ) olduğunu gösterelim.
1 + y 2
1
g ( X , ξ ) = [ x1 x2 x3 ] .  0
4
 −y
 −2 y 
1
= [ x1 x2 x3 ] .  0 
4
 2 
1
g ( X , ξ ) = ( x3 − yx1 )
2
1
η( X ) = ( x3 − yx1 )
2
olduğundan
0 − y  0 

1 0  . 0 
0 1   2 
,
η( X ) = g ( X , ξ )
olup (
3
, φ, ξ , η, g ) beşlisi bir hemen hemen kontak metrik manifold olur.
Teorem 3.3.1. (φ,ξ ,η) hemen hemen kontak yapısıyla birlikte (2n+1) –boyutlu
M diferensiyellenebilir manifoldu verilsin.
∀X , Y ∈ χ ( M ) için
g (φ(X),φ(Y)) = g ( X , Y ) − η( X ) η(Y )
olacak şekilde bir g Riemann metriği daima vardır (Blair 1976).
İspat: Her manifoldunda bir Riemann metriği vardır. O halde h ' , M de herhangi bir
Riemann metrik olsun ve h metriğide ∀X , Y ∈ χ ( M ) için
h( X , Y ) = h ' (φ 2 ( X ), φ 2 (Y )) + η( X ) η(Y )
şeklinde tanımlansın. Önce h nın Riemann metriği olduğunu gösterelim.
1) h metriği simetriktir.
2) h nın bi-lineer olduğunu gösterelim.
∀X , Y , Z ∈ χ ( M ) ve ∀a, b ∈
için h ' , φ ve η nın lineerliği kullanılarak,
h(aX + bY , Z ) = h ' (φ 2 (aX + bY ), φ 2 ( Z )) + η(aX + bY ) η( Z )
= h ' [a φ 2 ( X ) + b φ 2 (Y ), φ 2 ( Z )] + a η( X ) η( Z ) + b η(Y ) η( Z )
= ah ' (φ 2 ( X ), φ 2 ( Z )) + bh ' (φ 2 (Y ), φ 2 ( Z )) + a η( X ) η( Z ) + b η(Y ) η( Z )
= a[h ' (φ 2 ( X ), φ 2 ( Z )) + η( X ) η( Z )] + b[h ' (φ 2 (Y ), φ 2 ( Z )) + η(Y ) η( Z )]
h(aX + bY , Z ) = ah( X , Z ) + bh(Y , Z )
dır.
h simetrik olduğundan ∀X , Y , Z ∈ χ ( M ) ve ∀a, b ∈
için
h( X , aY + bZ ) = ah( X , Y ) + bh(Y , Z )
olur. O halde h bi-lineerdir.
3) ∀X ∈ χ ( M ) için
h( X , X ) = h ' (φ 2 ( X ), φ 2 ( X )) + η( X ) η( X )
= h ' (φ 2 ( X ), φ 2 ( X )) + η2 ( X )
dir. h ' Riemann metrik olduğundan h ' (φ 2 ( X ), φ 2 ( X )) ifadesi X ≠ 0 için pozitiftir.
Ayrıca η2 ( X ) de pozitif olduğundan
h( X , X ) ⟩ 0
h( X , X ) = 0
; X ≠0
,
ise
η( X ) = 0
g ( X ,ξ ) = 0
;
η( X ) = g ( X , ξ )
⇒ X =0.
Demek ki h metriği pozitif definitdir. O halde h bir Riemann metriği olur.
Şimdi g yi ∀X , Y ∈ χ ( M ) için
1
g ( X , Y ) = [h( X , Y ) + h(φ( X ), φ(Y )) + η( X ) η(Y )]
2
(2.2.13)
şeklinde tanımlayalım ve g nin Riemann metriği olduğunu gösterelim.
g simetriktir:
1
g ( X , Y ) = [h( X , Y ) + h(φ( X ), φ(Y )) + η( X ) η(Y )]
2
; h simetrik
1
= [h(Y , X ) + h(φ(Y ), φ( X )) + η(Y ) η( X )]
2
= g (Y , X ) .
g bi-lineerdir:
∀X , Y , Z ∈ χ ( M ) ve ∀a, b ∈
için
1
g (aX + bY , Z ) = [h(aX + bY , Z ) + h(φ(aX + bY ).φ( Z )) + η(aX + bY ) η( Z )]
2
1
= [ah( X , Z ) + bh(Y , Z ) + h(a φ( X ) + b φ(Y ), φ( Z )) + a η( X ) η( Z ) + b η(Y ) η( Z )
2
= ag ( X , Z ) + bg (Y , Z ) .
Ayrıca g simetrik olduğundan
g ( X , aY + bZ ) = ag ( X , Y ) + bg ( X , Z ) .
g pozitif-definitdir:
∀X ∈ χ ( M ) için g ( X , X ) = 0 olsun.
1
g ( X , X ) = [h( X , X ) + h(φ( X ), φ( X )) + η( X ) η( X )]
2
η( X ) = 0
;
g ( X ,ξ ) = 0
η( X ) = g ( X , ξ )
⇒ X = 0.
X ≠ 0 için h( X , X ) ⟩ 0 , h(φ( X ), φ( X )) ⟩ 0 ve η2 ( X ) ⟩ 0 olduğu için g ( X , X ) ⟩ 0
olur.
O halde g Riemann metriği olur.
(3.3.3) eşitliğinde X = φ( X ) ve Y = φ(Y ) alınırsa
1
g (φ( X ), φ(Y )) = [h(φ( X ), φ(Y )) + h(φ 2 ( X ), φ 2 (Y )) + η(φ( X )) ηφ(Y )]
2
1
= [h(φ( X ), φ(Y )) + h(− X + η( X )ξ , −Y + η(Y )ξ )]
2
;
ηoφ = 0
;
h lineer
1
g (φ( X ), φ(Y )) = [h(φ( X ), φ(Y )) + h( X , Y ) − η(Y )h( X , ξ ) − η( X )h(ξ , Y ) + η( X ) η(Y )h(ξ , ξ )]
2
h( X , ξ ) = η( X ) ,
h(ξ , Y ) = η(Y ) ve h(ξ , ξ ) = η(ξ ) = 1
olduğundan
1
g (φ( X ), φ(Y )) = [h(φ( X ), φ(Y )) + h( X , Y ) − η( X ), η(Y )]
2
1
= [h(φ( X ), φ(Y )) + h( X , Y ) − η( X ) η(Y ) + 2η( X ).η(Y )]-η( X )η(Y )
2
1
= [h( X , Y ) + h(φ( X ), φ(Y )) + η( X )η(Y )]-η( X )η(Y )
2
= g ( X , Y )-η( X )η(Y )
dır.
Sonuç 3.3.1. (2n+1) –boyutlu M Riemann manifoldu ve (φ, ξ , η, g ) hemen hemen
kontak metrik yapı olsun. ∀X , Y ∈ χ ( M ) için
g (φ( X ), Y ) = -g( X , φ(Y )) .
(3.3.4)
Yani, φ g ye göre anti-simetrik tensör alanıdır (Yano ve Kon 1984).
İspat:
∀X , Y ∈ χ ( M ) için
g (φ( X ), φ(Y )) = g ( X , Y ) − η( X ) η(Y )
eşitliğinde X = φ( X ) alınırsa
g (φ 2 ( X ), φ(Y )) = g (φ( X ), Y ) − η(φ( X )) η(Y )
g (− X + η( X )ξ , φ(Y )) = g (φ( X ), Y )
− g ( X , φ(Y )) + η ( X ) g (ξ , φ(Y )) = g (φ( X ), Y )
;
ηoφ = 0
;
g lineer
; g (ξ , φ(Y )) = η(φ(Y )) = 0
g (φ( X ), Y ) = − g ( X , φ(Y ))
olur. Bu ise φ nin anti-simetrik bir tensör alanı olması demektir.
Sonuç 3.3.2. g metriğine karşılık gelen matris A ise ∀X , Y ∈ χ ( M ) için
g ( X , Y ) = X Τ ΑY
(3.3.5)
olmak üzere
lineer
φ : χ ( M ) 
→ χ (M )
→ φ( X ) = BX
X 
Y 
→ φ(Y ) = BY
için
BT Α = −ΑB
(3.3.6)
dır.
İspat:
g ( BX , Y ) = − g ( X , BY )
( BX )T ΑY = − X T Α( BY )
X T BT ΑY = − X T ΑBY
; soldan ( X T ) −1 , sağdan Y −1
BT Α = −ΑB
dır. Özel olarak Α = I olursa
BT = − B
olur. Buda φ ye karşılık gelen matris anti-simetrik olur demektir.
Teorem 3.3.2. (2n+1) –boyutlu bir hemen hemen kontak manifoldu M verilsin. M nin
kontak formu verildiğinde, ∀X , Y ∈ χ ( M ) için
lineer
φ : χ ( M ) 
→ χ (M )
g ( X , φ(Y )) = d η( X , Y )
(3.3.7)
olacak şekilde bir (φ, ξ , η, g ) hemen hemen kontak metrik yapısı vardır (Yano ve Kon
1984).
İspat:
η kontak formu için ∀X ∈ χ ( M ) noktasında
d η(ξ , TX ( M )) =0 olacak şekilde bir
ξ vektör alanı vardır.
φ anti-simetrik (1.1) tensör alanı olsun.
η( X ) = h( X , ξ ) olacak şekilde bir h Riemann metriği her zaman vardır. Diğer yandan
d η öyle bir simplektif formdur ki ξ nın ortogonal tümleyeni üzerindedir ve bu
tümleyen üzerinde
g ' ( X , φ(Y )) = d η( X , Y )
ve
φ2 = I
olacak şekilde bir g ' metriği ve bir φ endomorfizmi vardır.
φ(ξ ) = 0 koşulunu sağlayan φ yi genişleterek ve ξ nın doğrultusunda h ile uyumlu
g metriğine g ' genişletilirse
φ : ξ ⊥ 
→ξ ⊥
dönüşümü için (φ, ξ , η, g ) hemen hemen kontak metrik yapısına sahip oluruz. Bu ise
g ( X , φ(Y )) = d η( X , Y )
demektir.
3.4 Kontak Manifoldlarda İkinci Temel Form
Tanım 3.4.1. M üzerinde bir (φ, ξ , η, g ) hemen hemen kontak metrik yapısı verilsin.
∀X , Y ∈ χ ( M ) için
Ф( X , Y ) = g ( X , φ(Y )) = d η( X , Y )
(3.4.1)
şeklinde tanımlı Ф dönüşümüne (φ, ξ , η, g ) hemen hemen kontak metrik yapısının II.
Temel Formu denir. Burada η kontak formu için yazılan η∧ (d η)n ≠ 0 koşulu
η∧ (Ф) n ≠ 0 halini alır (Yano ve Kon 1984).
Örnek 3.4.1. Örnek 3.3.1 deki (
3
, φ, ξ , η, g ) beşlisi bir hemen hemen kontak manifold
olsun. Daha önce bu manifoldun hemen hemen kontak metrik manifold olduğunu
gösterdik.
Şimdi (φ, ξ , η, g ) hemen hemen kontak metrik yapısının II. Temel Formunu bulalım.
1
η = (dz − ydx) ,
2
1
d η = [d (dz ) − ydy ∧ dx − yd (dx)] ; d (dz ) = 0 , d (dx) = 0
2
veya
dη=
dan elde edilen
1
(dx ∧ dy )
2
1
Ф = (dx ∧ dy )
2
ifadesi (
3
, φ, ξ , η, g ) hemen hemen kontak metrik manifoldunun II. Temel Formudur.
Tanım 3.4.2. (2n+1)-boyutlu hemen hemen kontak metrik manifoldu
( M , φ, ξ , η, g ) olsun. Eğer, ∀X , Y ∈ χ ( M ) için
d η( X , Y ) = g ( X , φ(Y )) = Ф( X , Y )
oluyorsa (φ, ξ , η, g ) dörtlüsüne kontak metrik yapı ve ( M , φ, ξ , η, g ) ye de kontak
metrik manifold denir (Yano ve Kon 1984).
Sonuç 3.4.1. Ф = d η eşitliğini sağlayan (φ, ξ , η, g ) hemen hemen kontak metrik yapısı
aynı zamanda kontak metrik yapıdır (Yano ve Kon 1984).
Sonuç 3.4.2. Her kontak metrik manifold aynı zamanda kontak manifolddur(Yano ve
Kon 1984).
Önerme 3.4.1. w bir r-form olmak üzere ∀ X 0 , X1 ,..., X r ∈ χ ( M ) için
dw (X 0 , X1 ,..., X r ) =
1 r
(−1)i X i ( w(X 0 , X1 ,..., X i ,..., X r ))
∑
r + 1 i=0
+
n
1
(−1)i + j w([Xi , X j ],X 0 , X1 ,..., Xi ,..., X j ,..., X r )
∑
r + 1 0 ≤i ≤ j ≤ r
dir.
Özel olarak w bir 1-form ise
2dw( X , Y ) = X ( w(Y )) − Y ( w( X )) − w([ X , Y ])
dir.
(3.4.2)
Teorem 3.4.1. M üzerinde (φ, ξ , η, g ) hemen hemen kontak metrik yapısı için
1
Φ( X , Y ) = [ g ( DX ξ , Y ) − g ( DY ξ , X )]
2
(3.4.3)
dir (Yano ve Kon 1984).
İspat :
η 1-form olduğundan ∀X , Y ∈ χ ( M ) için
2d η( X , Y ) = X (η(Y )) − Y (η( X )) − η([ X , Y ])
(3.4.4)
dır.
(φ, ξ , η, g ) hemen hemen kontak metrik yapı olduğundan
η( X ) = g ( X , ξ )
,
η(Y ) = g (Y , ξ )
,
η([ X , Y ]) = g ([ X , Y ], ξ )
ifadeleri (3.4.4) de yerine yazılırsa
2d η( X , Y ) = X ( g (Y , ξ )) − Y ( g ( X , ξ )) − g ([ X , Y ], ξ )
elde edilir, burada
X ( g (Y , ξ )) = g ( DX Y , ξ ) + g (Y , DX ξ )
Y ( g ( X , ξ )) = g ( DY X , ξ ) + g ( X , DY ξ )
eşitlikleri (3.4.5) de yerlerine yazılırsa
(3.4.5)
2d η( X , Y ) = g ( DX Y , ξ ) + g (Y , DX ξ ) − g ( DY X , ξ ) − g ( X , DY ξ ) − g ([ X , Y ], ξ )
= g ( DX Y − DY X , ξ ) + g (Y , DX ξ ) − g ( X , DY ξ ) − g ([ X , Y ], ξ )
= g (Y , DX ξ ) − g ( X , DY ξ )
ve
d η( X , Y ) = Φ( X , Y )
olduğundan
1
Φ( X , Y ) = [ g ( DX ξ , Y ) − g ( DY ξ , X )]
2
olur.
Teorem 3.4.2. (2n+1)-boyutlu diferensiyellenebilir Riemann manifoldu M , (φ, ξ ,η , g )
kontak metrik yapısıyla verilsin. ∀X , Y ∈ χ ( M ) için
d η( X , ξ ) = 0
(3.4.6)
d η(φ( X ), Y ) + d η( X , φ(Y )) = 0
(3.4.7)
ve
dır (Yano ve Kon 1984).
İspat:
(3.3.7) den ∀X , Y ∈ χ ( M ) için
d η( X , Y ) = g ( X , φ(Y ))
eşitliğinde Y = ξ alınırsa
d η( X , ξ ) = g ( X , φ(ξ ))
φ(ξ ) = 0
;
d η( X , ξ ) = 0
olur.
Ayrıca (3.3.7) den
d η(φ( X ), Y ) = g (φ( X ), φ(Y ))
d η( X , φ(Y )) = g ( X , φ 2 (Y ))
(3.3.8)
;
φ anti-simetrik
= − g (φ( X ), φ(Y ))
(3.3.8) ve (3.3.9) dan
d η(φ( X ), Y ) + d η( X , φ(Y )) = 0
dır.
3.5. Hemen Hemen Kontak Manifoldların Torsiyon Tensörü
Tanım 3.5.1. V bir vektör uzayı olmak üzere
J :V → V
lineer dönüşümü
J 2 = −I
(3.3.9)
koşulunu sağlıyorsa J ye V üzerinde bir kompleks yapı denir (Yano ve Kon 1984).
M , (2n + 1) -boyutlu hemen hemen kontak manifoldu verilsin.
olduğundan M ×
de bir manifolddur.
χ( ) ={ f
d
: f ∈ C ∞ ( M , )}
dt
χ ( M × ) = {( X , f
olmak üzere X , M ye teğet bir vektör alanı, t de
f
d
, M×
dt
de bir manifold
d
) X ∈ χ (M ) ,
dt
f
d
∈ χ ( )}
dt
nin bir koordinatı ve
üzerinde tanımlı bir fonksiyondur. M ×
nin tanjant uzayındaki bir
J lineer dönüşümü
lineer
J : χ ( M × ) 
→ χ (M × )
(X , f
d
d
) 
→ J(X , f )
dt
dt
olmak üzere
J (X , f
d
d
) = (φ( X ) − f ξ , η( X ) )
dt
dt
şeklinde tanımlanır (Yano ve Kon 1984).
Teorem 3.5.1. J dönüşümü
i)
Lineer bir dönüşümdür.
ii)
J 2 = −I
dır (Yano ve Kon 1984).
İspat:
i) ∀a, b ∈
ve ∀( X , f
d
d
), (Y , g ) ∈ χ ( M × ) için
dt
dt
(3.5.1)
J (a( X , f
d
d
d
) + b(Y , g )) = J (aX + bY , (af + bg ) )
dt
dt
dt
= (φ(aX + bY ) − (af + bg )ξ , η(aX + bY )
d
)
dt
; φ ve η lineer
d
d
+ b η(Y ) )
dt
dt
d
d
= (a φ( X ) − af ξ , a η( X ) ) + (b φ(Y ) − bgξ , b η(Y ) )
dt
dt
d  
d 

= a  φ( X ) − f ξ , η( X )  + b  φ(Y ) − gξ , η(Y ) 
dt  
dt 

= (a φ( X ) + b φ(Y ) − af ξ − bgξ , a η( X )
= a J(X , f
d
d
) + bJ (Y , g )
dt
dt
O halde J lineer bir dönüşümdür.
ii) ∀( X , f
d
) ∈ χ ( M × ) için
dt
J 2(X , f
d
d
d
) = J ( J ( X , f )) = J (φ( X ) − f ξ , η( X ) )
dt
dt
dt
d 

=  φ(φ( X ) − f (ξ ) − η( X )ξ , η(φ( X ) − f ξ )  ; η lineer
dt 

d
d
= φ 2 ( X ) − f φ(ξ ) − η( X )ξ , (η o φ)( X ) − f η(ξ ) )
dt
dt
Tanım 3.2.1 ve Teorem 3.2.1 den
J 2(X , f
d
d
) = (φ 2 ( X ) − η( X )ξ , − f )
dt
dt
= (− X + η( X )ξ − η( X )ξ , − f
d
)
dt
d
= −I ( X , f )
dt
= (− X , − f
;
d
)
dt
φ 2 ( X ) = − X + η( X )ξ
∀( X , f
d
) ∈ χ ( M × ) için
dt
J 2(X , f
d
d
) = −I ( X , f )
dt
dt
olduğundan
J 2 = −I
olur.
Sonuç 3.5.1. ( M × ) nin tanjant uzayında tanımlı J dönüşümü ( M × ) üzerinde bir
hemen hemen kompleks yapı oluşturur (Yano ve Kon 1984).
Teorem 3.5.2. V , W sırasıyla n ve m boyutlu iki vektör uzayı olsun.
A : V 
→W
dönüşümü lineer ise bu dönüşüm Α ∈ Fnm tipinde bir matrise karşılık gelir ve tersine her
Α ∈ Fnm tipinde matrise bir lineer dönüşüm karşılık gelir (Hacısalihoğlu 1998).
Teorem 3.5.3 . (2n + 1) -boyutlu ( M , φ, ξ , η) hemen hemen kontak metrik manifoldu
verilsin. Teorem 3.5.2 uyarınca
lineer
J : χ ( M × ) 
→ χ (M × )
(X , f
d
d
d
) 
→ J ( X , f ) = (φ( X ) − f ξ , η( X ) )
dt
dt
dt
lineer dönüşümüne (2n + 2) × (2n + 2) tipinde bir matris karşılık gelir ve bu matris
0

-I
J = n
0

0
I n 0 0

0 0 0
0 0 1

0 -1 0 
şeklindedir (Yıldırım 2004).
İspat: χ ( M ) = Sp{e1 , e2 ,..., en , φ(e1 ), φ(e2 ),..., φ(en ), ξ }
dır. Burada
Ei = (ei , 0)
; 1≤ i ≤ n
φ (Ei ) = (φ(ei ), 0)
; 1≤ i ≤ n
E2 n +1 = (ξ , 0)
E2 n + 2 = (0,
d
)
dt
denilirse
χ ( M × ) = Sp{E1 , E2 ,..., En , φ( E1 ), φ( E2 ),..., φ( En ), E2 n+1 , E2 n+ 2 }
olur. Buna göre
J ( Ei ) = J (ei , 0) = (φ(ei ) − 0.ξ , η(ei )
d
)
dt
; 1≤ i ≤ n
J ( Ei ) = (φ(ei ), 0)
J ( Ei ) = φ( Ei )
; 1≤ i ≤ n
(3.5.2)
J (φ( Ei )) = (φ(ei ), 0)
= (φ 2 (ei ) − 0.ξ , η ( φ(ei ))
d
)
dt
; ηο φ = 0
= (−ei + η(ei )ξ , 0)
= (−ei ,0)
J (φ( Ei )) = − Ei
; 1≤ i ≤ n
(3.5.3)
J ( E2 n +1 ) = J (ξ ,0)
= (φ(ξ ) − 0.ξ , η(ξ )
= (0,
d
)
dt
d
)
dt
J ( E2 n +1 ) = E2 n + 2
J ( E2 n + 2 ) = J (0,
(3.5.4)
d
)
dt
= (φ(0) − ξ , η(0)
d
)
dt
= (−ξ ,0)
J ( E2 n + 2 ) = − E2 n +1
(3.5.5)
(3.5.2) , (3.5.3) , (3.5.4) ve (3.5.5) eşitlikleri yardımıyla J lineer dönüşümüne karşılık
gelen matrisi bulalım.
J ( E1 ) = 0.E1 + 0.E2 + ... + 0.En + 1.φ( E1 ) + 0.φ( E2 ) + ... + 0.φ( En ) + 0.E2 n +1 + 0.E2 n + 2
J ( E2 ) = 0.E1 + 0.E2 + ... + 0.En + 0.φ( E1 ) + 1.φ( E2 ) + ... + 0.φ( En ) + 0.E2 n +1 + 0.E2 n + 2
M
J ( En ) = 0.E1 + 0.E2 + ... + 0.En + 0.φ( E1 ) + 0.φ( E2 ) + ... + 1.φ( En ) + 0.E2 n +1 + 0.E2 n + 2
J (φ( E1 )) = −1.E1 + 0.E2 + ... + 0.En + 0.φ( E1 ) + 0.φ( E2 ) + ... + 0.φ( En ) + 0.E2 n +1 + 0.E2 n + 2
J (φ( E2 )) = 0.E1 − 1.E2 + ... + 0.En + 0.φ( E1 ) + 0.φ( E2 ) + ... + 0.φ( En ) + 0.E2 n +1 + 0.E2 n + 2
M
J (φ( En )) = 0.E1 + 0.E2 + ... − 1.En + 0.φ( E1 ) + 0.φ( E2 ) + ... + 0.φ( En ) + 0.E2 n +1 + 0.E2 n + 2
J ( E2 n +1 ) = 0.E1 + 0.E2 + ... + 0.En + 0.φ( E1 ) + 0.φ( E2 ) + ... + 0.φ( En ) + 0.E2 n +1 + 1.E2 n + 2
J ( E2 n + 2 ) = 0.E1 + 0.E2 + ... + 0.En + 0.φ( E1 ) + 0.φ( E2 ) + ... + 0.φ( En ) − 1.E2 n +1 + 0.E2 n + 2
Buna göre
0

-I
J = n
0

0
I n 0 0

0 0 0
0 0 1

0 -1 0 
olur.
Tanım 3.5.2. (2n + 1) -boyutlu bir M manifoldu (φ, ξ , η, g ) hemen hemen kontak yapısı
ile verilsin. M ×
de Braket operatörü
[ , ]: χ ( M × ) × χ ( M × ) 
→ χ (M × )
(( X , f
d
d
d
d 

), (Y , g )) 
→ ( X , f ), (Y , g ) 
dt
dt
dt
dt 

olmak üzere
d
d 
d

(
X
,
f
),
(
Y
,
g
)
=
([
X
,
Y
],
(
X
(
g
)
−
Y
(
f
)
)

dt
dt 
dt
dır (Camcı 2003).
(3.5.6)
Tanım 3.5.3. M diferensiyellenebilir bir manifold olmak üzere F, (1,1) tipinde tensör
alanı olsun.
∀X , Y ∈ χ ( M )
için
N F : χ ( M ) × χ ( M ) 
→ χ (M )
( X , Y ) 
→ NF ( X ,Y )
olmak üzere
N F ( X , Y ) = F 2 ([ X , Y ]) + [ F ( X ), F (Y )] − F ([ F ( X ), Y ]) − F ([ X , F (Y )])
(3.5.7)
şeklinde tanımlanan (1,2) tipinde N F tensör alanına F nin Nijenhuis torsiyon tensörü
denir.
Özel haller;
i) F = φ olması durumunda
∀X , Y ∈ χ ( M ) için
N φ ( X , Y ) = −[ X , Y ] + η[ X , Y ]ξ + [φ( X ), φ(Y )] − φ[φ( X ), Y ] − φ[ X , φ(Y )]
(3.5.8)
şeklinde tanımlanan N φ tensör alanına φ nin Nijenhuis torsiyon tensörü denir.
ii) F = J olması halinde
N j (( X , f
d
d
d
d
d
d
), (Y , g )) = −[( X , f ), (Y , g )] + [ J ( X , f ), J (Y , g )]
dt
dt
dt
dt
dt
dt
d
d
d
d
− J [ J ( X , f ), (Y , g )] − J [( X , f ), J (Y , g )]
dt
dt
dt
dt
(3.5.9)
şeklinde tanımlı N j tensör alanına J hemen hemen kompleks yapısının Nijenhuis
torsiyon tensörü denir (Kocayiğit 2004).
Sonuç 3.5.2 N F Nijenhuis torsiyon tensörü bi-lineer ve antisimetrik tensördür.
Tanım 3.5.4. ( M × , J ) hemen hemen kontak manifoldu verilsin. N j ≡ 0 ise J hemen
hemen kompleks yapısına integrallenebilirdir denir (Yano ve Kon 1984, Blair 2002).
Tanım 3.5.5. M üzerinde bir vektör alanı X ve X ile gerilmiş lokal dönüşümlü 1parametreli grup φt olsun. X vektör alanına göre bir F tensör alanının Lx F ile
gösterilen Lie türevi ;
1
Lx F = lim  Fp − (ϕt F ) p 
t →0 t
Lx F = [ X , F ]
(3.5.10)
olarak tanımlanır (Yano ve Kon 1984).
Önerme 3.5.1. Lx F = 0 olması için gerek ve yeter koşul ∀t ∈
için φt nin F yi
invaryant bırakmasıdır. (Yano ve Kon 1984).
Önerme 3.5.2. X vektör alanına Lx ile gösterilen Lie türevi, aşağıdaki özellikleri
sağlar:
i) Lx ( F ⊗ F ') = ( Lx F ) ⊗ F '+ F ⊗ ( Lx F ')
; ( F , F ' herhengi tensör alanları)
ii) Lx f = X [ f ] = df ( X )
;
f ∈ C ∞ (M , )
iii) LxY = [ X , Y ]
;
X , Y ∈ χ (M )
iv)
r −lineer
T : χ ( M ) × χ ( M ) × ... × χ ( M ) →
C ∞ (M , )
r −lineer
( X 1 , X 2 ,..., X r ) →
T ( X 1 , X 2 ,..., X r )
olmak üzere T , (1, r ) -tipinden tensördür. Burada
r
( LX T )( X 1 , X 2 ,..., X r ) = X (T ( X 1 , X 2 ,..., X r )) − ∑ T ( X 1 ,...,[ X , X i ],..., X r )
i =1
şeklindedir.
v) ( Lx F )(Y ) = X ( F (Y )) − F ([ X , Y ]) , ∀X , Y ∈ χ ( M ) ve F , (0,1) -tipinden tensör
vi) ( Lx g )(Y , Z ) = X ( g (Y , Z )) − g ([ X , Y ], Z ) − g (Y ,[ X , Z ] , ∀X , Y , Z ∈ χ ( M )
Burada g , (0, 2) -tipli geometrik (metrik) tensördür.
vii) ( LX T )(W 1 ,W 2 ,...,W p , X 1 , X 2 ,..., X q ) = X (T (W 1 ,W 2 ,...,W p , X 1 , X 2 ,..., X q ))
p
−∑ T (W 1 ,..., LX W i ,..., W p , X 1 , X 2 ,..., X q )
i =1
p
−∑ T (W 1 ,..., W p , X 1...,[ X , X i ],..., X q )
i =1
burada T , ( p, q ) -tipli bir tensör alanıdır (Yano ve Kon 1984).
Teorem 3.5.4. (2n + 1) -boyutlu diferensiyellenebilir bir manifold M, (φ, ξ , η) hemen
hemen kontak yapısı verilmiş olsun.
∀X , Y ∈ χ ( M ) için,
dır (Camcı 2003).
( Lφ( x ) η)(Y ) = φ( X )(η(Y )) − η([φ( X ), Y ])
(3.5.11)
( Lξ η)( X ) = ξη( X ) − η([ξ , X ])
(3.5.12)
( Lξ φ)( X ) = [ξ , φ( X )] − φ([ξ , X ])
(3.5.13)
Teorem 3.5.5. ( M , φ, ξ , η, g ) hemen hemen kontak metrik manifoldu verilsin.
( Lφ( x ) η)(Y ) = ( Lφ(Y ) η)( X )
(3.5.14)
dir (Yano ve Kon 1984).
İspat: ∀X , Y ∈ χ ( M ) için,
2d η (φ( X ), Y ) = φ( X )η (Y ) − Y (η φ( X )) − η[φ( X ), Y ]
;η o φ = 0
2d η ( X , φ(Y )) = X (η( φ( X )) − φ(Y )η( X ) − η[ X , φ(Y )]
;η o φ = 0
eşitlikleri taraf tarafa toplanırsa
2 {d η (φ( X ), Y ) + d η ( X , φ(Y ))} = φ( X )η(Y ) − η[φ( X ), Y )] − φ(Y )η( X ) − η[ X , φ(Y )]
d η (φ( X ), Y ) = − d η ( X , φ(Y ))
olduğundan
φ( X )η(Y ) − η[φ( X ), Y ] − φ(Y )η( X ) − η[ X , φ(Y )] = 0
eşitliği 3.5.11 e göre düzenlenirse
( Lφ( x ) η)(Y ) − ( Lφ( y ) η)( X ) = 0
ve dolayısıyla
( Lφ( x ) η)(Y ) = ( Lφ( y ) η)( X )
olur.
Teorem 3.5.6. ( M , φ, ξ , η, g ) hemen hemen kontak metrik manifoldu verilmiş olsun.
h : χ ( M ) 
→ χ (M )
1
1
X 
→ h( X ) = ( Lξ φ)( X ) = ( Lξ φ( X ) − φ Lξ ( X ) )
2
2
(3.5.15)
şeklinde tanımlı h metriği
i)
Lineerdir.
ii)
h, φ ile anti-komutatittir (Yıldırım 2004).
İspat : i) ∀X , Y ∈ χ ( M ) için
1
( Lξ φ)( X + Y )
2
h( X + Y ) =
=
1
( Lξ (φ( X + Y ) − φ Lξ ( X + Y ) )
2
=
1
( Lξ (φ( X ) + φ(Y )) − φ Lξ ( X ) − φ Lξ (Y ) )
2
=
1
1
Lξ (φ( X )) + φ Lξ ( X ) ) + ( Lξ (φ(Y )) − φ Lξ (Y ) )
(
2
2
;
φ ve Lξ
lineer
(3.5.15) eşitliğinden
h( X + Y ) =
1
1
( Lξ φ)( X ) + ( Lξ φ)(Y )
2
2
ve dolayısıyla
h( X + Y ) = h( X ) + h(Y )
olur.
∀k∈
ve ∀ X ∈ χ ( M ) için
1
h(kX ) = ( Lξ φ)(kX )
2
1
= {Lξ φ(kX )) − φ Lξ (kX )} ; φ ve Lξ lineer
2
1
= {k ( Lξ φ( X )) − k φ Lξ ( X )}
2
k
= {Lξ φ( X )) − φ Lξ ( X )}
2
(3.5.15) eşitliğinden
h(kX ) = kh( X )
olur.
ii) ∀ X , Y ∈ χ ( M ) için
g ( X , φ(Y )) = d η ( X , Y )
1
= { X η(Y ) − Y η( X ) − η[ X , Y ]}
2
1
= {g ( DX Y , ξ ) + g (Y , DX ξ ) − g ( DY X , ξ )
2
− g ( X , DY ξ ) − g ( DX Y , ξ ) + g ( DY X , ξ )}
1
= {g ( Dxξ , Y ) − g ( DY ξ , X ) }
2
1
= {g (− φ( X ) − φ(h( X )), Y ) − g (− φ(Y ) − φ(h(Y )), X )}
2
1
= {g ( X , φ(Y ) − g (φ(h( X )), Y ) + g ( X , φ(Y )) + g (φ(h(Y )), X )}
2
1
1
= g ( X , φ(Y )) − g (φ(h( X )), Y ) + g (φ(h(Y )), X )
2
2
olur. Buna göre
g (φ(h( X ), Y ) = g (φ(h(Y )), X )
= − g (h(Y ), φ( X ))
= − g (Y , h(φ( X ))
= g (−h(φ( X )), Y )
olduğundan
φ(h( X )) = − h(φ( X ))
(φ h)( X ) = (− h φ)( X )
ve sonuç olarak
φ h = −h φ
olur.
Tanım 3.5.6. Eğer M ×
üzerinde bir J hemen hemen komplex yapısı integrallenebilir
ise (φ, ξ , η) hemen hemen kontak yapısına normaldir denir (Yano ve Kon 1984,Blair
2002).
Teorem 3.5.7. (2n + 1) -boyutlu ( M , φ, ξ , η) hemen hemen kontak manifoldu verilsin.
∀X , Y ∈ χ ( M ) için,
d 

N j (( X , 0)(Y , 0)) =  N (1) ( X , Y ), N (2) ( X , Y ) 
dt 

ve
d  
d 

N j  ( X , 0), (0, )  =  N (3) ( X ), N (4) ( X ) 
dt  
dt 

dir. Burada
N (1) ( X , Y ) = N φ ( X , Y ) + 2d η( X , Y )ξ
N (2) ( X , Y ) = ( Lφ( x ) η) (Y ) − ( Lφ(Y ) η) ( X )
N (3) ( X ) = ( Lξ φ ) ( X )
N (4) ( X ) = ( Lξη ) ( X )
şeklindedir (Blair 2002).
d 

İspat: N j (( X , 0), (Y , 0)) ve N j  ( X , 0), (0, )  torsiyon tensörlerini hesaplayalım.
dt 

N j (( X , 0), (Y , 0)) = −[( X , 0), (Y , 0)] + [ J ( X , 0), J (Y , 0)] − J [ J ( X , 0), (Y , 0)] − J [( X , 0), J (Y , 0)]
= −([ X , Y ], 0) + [(φ( X ), η( X )
d
d
d
), (φ(Y ), η(Y ) )] − J [(φ( X ), η( X ) ), (Y , 0)]
dt
dt
dt
− J [( X , 0), (φ(Y ), η(Y )
d
)]
dt
d 

= − ([ X , Y ], 0 ) +  [φ( X ), φ(Y )], ( φ( X )η(Y ) − φ(Y )η( X ) ) 
dt 

d 
d 


− J  [φ( X ), Y ], −Y η( X )  − J  [ X , φ(Y )], X η(Y ) 
dt 
dt 


d 

= − ([ X , Y ], 0 ) +  [φ( X ), φ(Y )], ( φ( X )η (Y ) − φ(Y )η ( X ) ) 
dt 

d 

−  φ[φ( X ), Y ] + Y η( X )ξ , η([φ( X ), Y ]) 
dt 

d 

−  φ[ X , φ(Y )] − X η(Y )ξ , η([ X , φ(Y )]) 
dt 

= ( −[ X , Y ] + [φ( X ), φ(Y )] − φ[φ( X ), Y ] − φ[ X , φ(Y )]
+ ( X η(Y ) − Y η( X ) ) ξ , φ( X )η(Y ) − φ(Y )η( X ) − η([φ( X ), Y ]) − η([ X , φ(Y )])
d
dt
)
= (−[ X , Y ] + [φ( X ), φ(Y )] − φ[φ( X ), Y ] − φ[ X , φ(Y )] + ( X η(Y ) − Y η( X ))ξ
+η[ X , Y ]ξ − η[ X , Y ]ξ , (φ( X )η(Y ) − φ(Y )η( X ) − η([φ( X ), Y ]) − η([ X , φ(Y )])
Ayrıca
2d η( X , Y ) = X (η(Y )) − Y (η( X )) − η[ X , Y ]
( Lφ X η)Y = φ( X )(η(Y )) − η([φ( X ), Y ])
( Lφ Y η) X = φ(Y )(η( X )) − η([φ(Y ), X ])
oldukları düşünülür ve
d
) (2.3.16)
dt
N φ ( X , Y ) = −[ X , Y ] + η[ X , Y ]ξ + [φ( X ), φ(Y )] − φ[φ( X ), Y ] − φ[ X , φ(Y )])
(3.5.16) da yerine yazılırsa
d 

N j (( X , 0), (Y , 0)) =  N φ ( X , Y ) + 2d η( X , Y )ξ , (( Lφ( X ) η)Y − ( Lφ(Y ) η) X ) 
dt 

N (1) ( X , Y )
N (2) ( X , Y )
Benzer mantıkla
N j (( X , 0), (0,
d
d  
d 

)) = − ( X , 0), (0, )  +  J ( X , 0), J (0, ) 
dt
dt  
dt 

d 
d 


− J  J ( X , 0), (0, )  − J  ( X , 0), J (0, ) 
dt 
dt 


d
d
d 



= (φ( X ), η( X ) ), (−ξ , 0)  − J (φ( X ), η( X ) ), (0, )  − J [ ( X , 0), (−ξ , 0) ]
dt
dt
dt 



= (−[φ( X ), ξ ], ξη( X )
d
d
) − J ([φ( X ), 0], (φ( X )(1) − 0) ) − J (−[ X , ξ ], 0)
dt
dt
= (−[φ( X ), ξ ), ξη( X )
d
d
) − (− φ[ X , ξ ], −η[ X , ξ ] )
dt
dt
d 

=  (φ[ X , ξ ] − [φ X , ξ ]), (ξη( X ) + η[ X , ξ ]) 
dt 

(3.517)
r
( LX ω )(Y1 ,..., Yr ) = LX (ω (Y1 ,..., Yr )) − ∑ ω (Y1 ,...,[ X , Y1 ],..., Yr )
i =1
olduğundan hareketle
( Lξ η) X = Lξ (η( X )) − η[ξ , X ]
(3.5.18)
ve
( Lξ φ) X = Lξ (φ X ) − φ[ξ , X ] = [ξ , φ X ] + φ[ X , ξ ]
= φ[ X , ξ ] − [φ( X ), ξ ]
olur.
(3.5.19)
(3.5.18) ve (3.5.19) eşitlikleri (3.5.17) de yazılırsa
N j (( X , 0), (0,
d
d
)) = (( Lξ φ) X , ( Lξ η) X )
dt
dt
N (3) ( X ) N (4) ( X )
olur. Sonuç olarak
N (1) ( X , Y ) = N φ ( X , Y ) + 2d η( X , Y )ξ
(3.5.20)
N (2) ( X , Y ) = ( Lφ( X ) η)Y − ( Lφ(Y ) η) X
N (3) ( X , Y ) = ( Lξ η) X
N (4) ( X , Y ) = ( Lξ η) X
eşitlikleri göz önüne alınırsa
N j (( X , 0), (Y , 0)) = ( N (1) ( X , Y ), N (2) ( X , Y )
d
)
dt
ve
N j (( X , 0), (0,
d
d
)) = ( N (3) ( X ), N (4) ( X ) )
dt
dt
olur.
Teorem 3.5.8. M , (2n + 1) boyutlu Riemann manifoldunda (φ, ξ , η) hemen hemen
kontak yapısı verilsin. Bu yapının normal olabilmesi için gerek ve yeter şart
N (1) , N (2) , N (3) , N (4) tensörlerinin sıfır olmasıdır (Camcı 2003).
İspat: (⇒) : N j (( X , f
d
d
d
d
), (Y , g )) = ( N j ( X , 0) + (0, f ), (Y , 0) + (0, g ))
dt
dt
dt
dt
Burada J nin lineerliği, N j ’nin bi-lineer ve antisimetrik oluşunu kullanırsak
N j (( X , f
d
d
d
), (Y , g )) = N j (( X , 0), (Y , 0)) + gN j (( X , 0), (0, ))
dt
dt
dt
− fN j ((Y , 0), (0,
d
d
d
)) + fgN j ((0, ), (0, ))
dt
dt
dt
elde edilir.
N j ((0,
d
d
), (0, )) = 0
dt
dt
olduğundan
N j (( X , f
d
d
d
d
), (Y , g )) = N j (( X , 0), (Y , 0)) + gN j (( X , 0), (0, )) − fN j ((Y , 0), (0, ))
dt
dt
dt
dt
= ( N 1 ( X , Y ), N 2 ( X , Y )) + g ( N 3 ( X ), N 4 ( X )) − f ( N 3 (Y ), N 4 (Y ))
= ( N 1 ( X , Y ) + gN 3 ( X ) − fN 3 (Y ), N 2 ( X , Y ) + gN 4 ( X ) − fN 4 (Y ))
olur. Şayet N j = 0 ise
N 1 ( X , Y ) + gN 3 ( X ) − fN 3 (Y ) = 0
(3.5.21)
N 2 ( X , Y ) + gN 4 ( X ) − fN 4 (Y ) = 0
(3.5.22)
olur.
Nϕ , d η, N 1 ve N 2 antisimetrik olduğunu kolayca gösterebiliriz.
(3.5.21) eşitliğinde X = Y alırsak
N1( X , X ) = ( f − g)N 3 ( X )
;
( f ≠ g)
elde edilir.
N 1 anti-simetrik olduğundan
N1( X , X ) = 0
( f − g)N 3 ( X ) = 0
N3(X ) = 0
( ∀X ∈ χ ( M ) için)
;
N3 = 0
(3.5.22) eşitliğinde X = Y alırsak
N 2 ( X , X ) = ( f − g)N 4 ( X )
( f ≠ g)
elde edilir.
N 2 anti-simetrik olduğundan
N2(X , X ) = 0
( f − g)N 4 ( X ) = 0
N4(X ) = 0
;
( ∀X ∈ χ ( M ) için)
N4 = 0
Dikkat edilirse bu ispatı yaparken f ≠ g aldık.
Şimdi de f = g olsun
(3.5.21) ve (3.5.22) eşitliklerinde Y = − X ve f = g alınırsa
N 1 ( X , − X ) + fN 3 ( X ) − fN 3 (− X ) = 0
N1( X , X ) = 0
2 fN 3 ( X ) = 0
; N 1 anti-simetrik
∀X ∈ χ ( M ) ve f ≠ 0 olduğundan
N3 = 0
N 2 ( X , − X ) + fN 4 ( X ) − fN 4 (− X )
N2(X , X ) = 0
;
N 2 anti-simetrik
2 fN 4 ( X ) = 0
∀X ∈ χ ( M ) ve f ≠ 0 olduğundan
N4 = 0
olur.
(⇐) : Tersine kabul edelimki N 1 ( X , Y ) = N 2 ( X , Y ) = N 3 ( X ) = N 4 ( X ) = 0 olsun.
N J (( X , f
d
d
),(Y , g )) = ( N 1 ( X , Y ) + gN 3 ( X ) − fN 3 (Y ), N 2 ( X , Y ) + gN 4 ( X ) − fN 4 (Y ))
dt
dt
eşitliğinde N 1 ( X , Y ) = N 2 ( X , Y ) = N 3 ( X ) = N 4 ( X ) = 0 olduğu göz önüne alınırsa
N J (( X , f
elde edilir.Bu ∀(( X , f
d
d
),(Y , g )) = (0,0)
dt
dt
d
d
),(Y , g )) ∈ χ ( MX ) için sağlandığından dolayı
dt
dt
NJ ≡ 0
olur.Dolayısıyla (φ, ξ , η) hemen hemen kontak yapısı normaldir.
Teorem 3.5.9. (2n+1)-boyutlu ( M , φ, ξ , η) hemen hemen kontak manifoldu verilsin.
N 1 = 0 ise N 2 = N 3 = N 4 = 0 dır (Camcı 2003).
İspat: ∀X , Y ∈ χ ( M ) için
N 1 ( X , Y ) = N φ ( X , Y ) + 2dη ( X , Y )
ve Y = ξ alınırsa
N 1 ( X , ξ ) = N φ ( X , ξ ) + 2dη ( X , ξ )
olur.
(3.5.21) ve (3.5.8) den
N 1 ( X , ξ ) = [ X , ξ ] + φ[ξ , φ( X )] − (ξη ( X ))ξ
(3.5.23)
dır. Hipotezden için N 1 = 0 olduğundan
[ξ , X ] + φ[ξ , φ( X )] − (ξη ( X ))ξ = 0
(3.5.24)
elde edilir. Her iki tarafı “η ” altında görüntüsünü alırsak
η[ξ , X ] + η (φ[ξ , φ( X )] − (ξη ( X ))η (ξ ) = 0
(3.5.25)
(3.2.1) ve (3.2.4) den
η[ξ , X ] − (ξη ( X )) = 0
olur.
( Lξη )( X ) = 0
N4(X ) = 0
(3.5.26)
∀X ∈ χ ( M ) için doğru olduğundan
N4 = 0
(3.5.26) da X yerine φ( X ) alırsak
η[ξ , φ( X )] = 0
olur. (3.5.24) de her iki tarafa φ yi uygularsak
φ[ξ , X ] + φ 2 [ξ , φ( X )] − (ξη ( X )) φ(ξ ) = 0 ; φ(ξ ) = 0
φ[ξ , X ] − [ξ , φ( X )] + η[ξ , φ( X )]ξ = 0
φ[ξ , X ] − [ξ , φ( X )] + η[ξ , φ( X )] = 0
;
φ[ξ , X ] − [ξ , φ( X )] = 0
ise
N 3 ( X ) = ( Lξ φ) X = φ[ξ , X ] − [ξ ,φ( X )] = 0
elde edilir. Ayrıca N 1 = 0 dan N 1 (φ( X ), Y ) = 0 dır. Böylece
η[ξ , φ( X )] = 0
N 1 (φ( X ), Y ) = −[φ( X ), Y ] + η[φ( X ), Y ]ξ + [− X + η ( X )ξ , φ(Y )]
− φ[− X + η ( X )ξ , Y ] − φ[φ( X ), φ(Y )] + φ( X )η (Y )ξ
− Yη (φ( X ))ξ − η[φ( X ), Y ]ξ
0 = −[φ( X ), Y ] − [ X , φ(Y )] + [η ( X )ξ , φ(Y )] − φ[− X + η ( X )ξ , Y ]
− φ[φ( X ), φ(Y )] + φ( X )η (Y )ξ
0 = −[φ( X ), Y ] − [ X , φ(Y )] − φ(Y )η ( X )ξ + η ( X )[ξ , φ(Y )] − φ[− X + η ( X )ξ , Y ]
− φ[φ( X ), φ(Y )] + φ( X )η (Y )ξ
her iki tarafa η yü uygulayıp η[ξ , φ( X )] = 0 ’ı göz önüne alırsak
φ( X )η (Y ) − φ(Y )η ( X ) − η[φ( X ), Y ] − η[ X , φ(Y )] = 0
elde edilir. Dolayısıyla N 2 ( X , Y ) = 0 dır. Böylece ispat biter.
Sonuç 3.5.3. (2n + 1) -boyutlu M kontak manifoldunda (φ, ξ ,η ) hemen hemen kontak
yapısı verilsin. Şayet N 2 = 0 ise (φ, ξ ,η ) hemen hemen kontak yapısı φ altında dη ‘yı
invaryant bırakır (Camcı 2003) .
İspat : (3.4.4) de X yerine φ( X ) alırsak
2dη (φ( X ), Y ) = φ( X )η (Y ) − Yη (φ( X )) − η[φ( X ), Y ]
(3.5.27)
olur. Benzer şekilde Y yerine φ(Y ) alırsak
2dη ( X , φ(Y )) = Xη (φ(Y )) − φ(Y )η ( X ) − η[ X , φ(Y )]
(3.5.28)
(3.5.27) ve (3.5.28) eşitlikleri taraf tarafa toplanırsa
2dη (φ( X ), Y ) + 2dη ( X , φ(Y )) = φ( X )η (Y ) − φ(Y )η ( X ) − η[φ( X ), Y ] − η[ X , φ(Y )]
2dη (φ( X ), Y ) + 2dη ( X ,φ(Y )) = N 2 ( X , Y )
∀X , Y ∈ χ ( M ) için N 1 = 0 iken N 2 = 0 olduğundan
dη (φ( X ), Y ) + dη ( X , φ(Y )) = 0
olur. Burada Y yerine φ(Y ) alırsak
dη (φ( X ), φ(Y )) + dη ( X , φ 2 (Y )) = 0
dη (φ( X ), φ(Y )) + dη ( X , −Y + η (Y )ξ ) = 0
dη (φ( X ), φ(Y )) − dη ( X , Y ) + η (Y )dη ( X , ξ ) = 0
(3.5.29)
(3.4.4) eşitliğinde Y yerine ξ alınırsa
2dη ( X , ξ ) = X η (ξ ) − ξη ( X ) − η[ X , ξ ]
2dη ( X , ξ ) = −ξη ( X ) + η[ξ , X ]
= −( Lξη ) X
=0
olur. Bu sonuç (3.5.29) da yerine yazılırsa
;
η (ξ ) = 1 ve X(1)=0
dη (φ( X ), φ(Y )) = dη ( X , Y )
olur ki bu da (φ, ξ ,η ) hemen hemen kontak yapsının φ altında dη yı invaryant
(değişmez) bırakması demektir.
Sonuç 3.5.4. (2n + 1) -boyutlu ( M , φ ξ ,η ) hemen hemen kontak manifoldu verilsin.
(φ, ξ ,η ) yapısının normal olabilmesi için gerek ve yeter şart N 1 = 0 olmasıdır (Yano ve
Kon 1984, Blair 2002 ).
Sonuç 3.5.5. (2n + 1) -boyutlu ( M , φ, ξ ,η ) hemen hemen kontak manifoldu verilsin.
(φ, ξ ,η ) yapısının normal olabilmesi için gerek ve yeter şart ∀X , Y ∈ χ ( M ) için
N φ ( X , Y ) + 2dη ( X , Y )ξ = 0
olmasıdır (Yano ve Kon 1984, Blair 2002 ).
Teorem 3.5.10. (2n + 1) -boyutlu ( M , φ, ξ ,η , g ) hemen hemen kontak metrik
manifoldunda
2 g (( DX φ)Y , Z ) = g ( N 1 (Y , Z ), φ( X )) + 2dη (φ(Y ), X )η ( Z ) − 2dη (φ( Z ), X )η (Y )
ve özellikle henhangi bir kontak metrik yapı için
Dξ φ = 0
olur (Yano ve Kon 1984).
Sonuç 3.5.6. Teorem 3.5.10 da ξ nın integral eğrileri geodeziklerdir. Çünkü Dξ ξ = 0
olduğu kolaylıkla gösterilebilir (Yano ve Kon 1984).
3.6. K-Kontak Manifoldları
Tanım 3.6.1. M bir Riemann manifoldu g Riemann metriği ile verilsin. Ayrıca
M üzerinde bir X vektör alanını ele alalım. M nin her bir noktasının bir komşuluğunda
X
ile meydana gelen lokal dönüşümlerin lokal 1-parametreli grubu lokal
izometrilerden oluşuyor ise X vektör alanına Killing vektör alanı denir.
Böylece ; X bir Killing vektör alanıdır. ⇔ LX g = 0 ’dır, yani g metrik tensörünün
X vektör alanı yönündeki Lie türevi sıfırdır (Yano ve Kon 1984, Kocayiğit 2004).
Tanım 3.6.2.
(2n + 1) -boyutlu kontak metrik manifoldu
M
verilsin. Eğer
(φ, ξ , η, g ) hemen hemen kontak metrik yapısında yer alan ξ vektör alanı g ye göre bir
Killing vektör alanı ise o zaman M üzerindeki kontak yapıya K-kontak yapı ve M ye de
K-kontak manifoldu denir (Yano ve Kon 1984).
Teorem 3.6.1. (2n + 1) -boyutlu manifoldu M , (φ, ξ , η, g ) kontak metrik yapısı ile
verilsin. Bu durumda aşağıda önermeler denktir.
i) M bir K-kontak manifolddur.
ii) ∀X , Y ∈ χ ( M ) için
g ( DX ξ , Y ) + g ( DY ξ , X ) = 0
(3.6.1)
dır.
iii) ∀X ∈ χ ( M ) için
DX ξ = − φ( X )
(3.6.2)
dır (Camcı 2003, Yano ve Kon 1984) .
İspat: (ii ) ⇒ (iii ) M bir K-kontak manifold olsun. Dolayısıyla ξ bir Killing vektör
alanıdır. M aynı zamanda kontak metrik manifold olduğundan
d η( X , Y ) = g ( X , φ(Y )) = − g (φ( X ), Y )
dir.
(3.6.3)
Ayrıca
2d η( X , Y ) = X η(Y ) − Y η( X ) − η([ X , Y ])
= Xg (Y , ξ ) − Yg ( X , ξ ) − g ([ X , Y ], ξ )
= g ( DX Y , ξ ) + g (Y , DX ξ ) − g ( DY X , ξ )
− g ( X , DY ξ ) − g ( DX Y , ξ ) − g ( DY X , ξ )
gerekli sadeleştirmeler yapılırsa
2d η( X , Y ) = g ( DX ξ , Y ) − g ( X , DY ξ )
(3.6.4)
elde edilir. Ayrıca ξ Killing vektör alanı olduğundan
Lξ g = 0
(3.6.5)
olur.
Burada ( Lξ g )( X , Y ) ’yi hesaplarsak
( Lξ g )( X , Y ) = ξ g ( X , Y ) − g ([ξ , X ], Y ) − g ( X ,[ξ , Y ])
= g ( Dξ X , Y ) + g ( Dξ Y , X ) − g ( Dξ X , Y )
+ g ( DX ξ , Y ) − g ( Dξ Y , X ) + g ( DY ξ , X )
( Lξ g )( X , Y ) = g ( DX ξ , Y ) + g ( X , DY ξ )
(3.6.6)
(3.6.5) ifadesi (3.6.6) da yerine yazılırsa
g ( DX ξ , Y ) + g ( X , DY ξ ) = 0
elde ederiz.
(ii ) ⇒ (iii ) g ( DX ξ , Y ) + g ( X , DY ξ ) = 0 olsun. Dolayısıyla
g ( DX ξ , Y ) = − g ( X , DY ξ )
(3.6.7)
olur.
(3.6.7) ifadesi (3.6.4) de yerine yazılırsa
2d η( X , Y ) = 2 g ( DX ξ , (Y ))
d η( X , Y ) = g ( DX ξ , Y ) = g ( X , φ(Y ))
(3.6.8)
elde edilir. ϕ anti-simetrik olduğundan
g ( X , φ(Y )) = − g (φ( X ), Y ) = g ( DX ξ , Y )
bu eşitlik ∀X , Y ∈ χ ( M ) için sağlandığından
DX ξ = − φ( X )
sonucuna ulaşılır.
(iii ) ⇒ (i ) : ∀X ∈ χ ( M ) için hipotezden bildiğimiz DX ξ = − φ X eşitliği (3.6.6) da
yerine yazılırsa
( Lξ g )( X , Y ) = g (− φ( X ), Y ) + g ( X , − φ(Y ))
; φ anti-simetrik
( Lξ g )( X , Y ) = g ( X , φ(Y ) − g ( X , φ(Y ))
( Lξ g )( X , Y ) = 0
∀X ∈ χ ( M ) için doğru olduğundan Lξ g = 0
dır. Böylece ξ Killing vektör alanı ve M manifoldu K-kontak manifolddur.
O halde (i ) ⇒ (ii ), (ii ) ⇒ (iii ), (iii ⇒ i ) önermeleri doğru olduğundan (i ), (ii ), (iii )
önermeleri denktir (Hacısalihoğlu 1983).
Teorem 3.6.2 (2n+1)-boyutlu manifoldu M , (φ, ξ ,η , g ) kontak metrik yapısı ile
verilsin. Bu durumda N 2 = N 4 = 0 dır. Ayrıca, N 3 = 0 ⇔ ξ Killing vektördür (Camcı
2003) .
İspat : M , kontak metrik manifold olduğundan
d η( X , Y ) = g ( X , φ(Y ))
dir. Burada X yerine φ( X ) , Y yerinede φ(Y ) yazılırsa
d η(φ( X ), φ(Y )) = g (φ( X ), φ 2 (Y ))
= − g ( X , φ3 (Y )) ; φ3 (Y ) = − φ(Y )
= − g ( X , − φ(Y )) ; φ3 (Y ) = − φ(Y )
= g ( X , φ(Y ))
Dolayısıyla
d η(φ( X ), φ(Y )) = d η( X , Y )
(3.6.9)
elde edilir. Ayrıca (3.6.9) da Y yerine φ(Y ) yazılırsa
d η(φ( X ), φ 2 (Y )) = d η( X , φ(Y ))
d η(φ( X ), −Y + η(Y )ξ ) = d η( X , φ(Y ))
− d η(φ( X ), Y ) + η(Y )d η( φ( X ), ξ ) = d η( X , φ(Y ))
burada
d η(φ( X ), ξ ) = g (φ( X ), φ(ξ ))
ve
φ(ξ ) = 0
olduğundan
d η(φ( X ), Y ) + (d η( X , φ(Y )) = 0
elde edilir.
Ayrıca
N 2 ( X , Y ) = 2d η(φ( X ), Y ) + 2d η( X , φ(Y ))
olduğundan
N2 = 0
olur. Diğer taraftan
(3.6.10)
d η( X , ξ ) = g ( X , φ(ξ )) = 0
ve
d η( X , ξ ) =
1
( Xη (ξ ) − ξη ( X ) − η ([ X , ξ ]) ; η (ξ ) = 1 ve X (1) = 0
2
ξη ( X ) − η ([ X , ξ ]) = 0
elde edilir. Böylece
N 4 ( X ) = ( Lξη ) X
= ξη ( X ) − η ([ξ , X ])
=0
olur. Böylece birinci kısmın ispatı biter. İkinci kısmın ispatı için bazı hazırlıklar
yapalım.
( Lξ g )( X , ξ ) = ξ g (ξ , X ) − g ([ξ , X ], ξ ) − g ( X ,[ξ , ξ ])
= ξη ( X ) − η ([ξ , X ])
= ( Lξη )( X )
=0
elde edilir. Biliyoruz ki η ile dη Lie türevi altında invaryant olduğundan Lξ dη ≡ 0 dır.
Dolayısıyla ∀X , Y ∈ χ ( M ) için
( Lξ dη )( X , Y ) = 0
ξ dη ( X , Y ) − dη ([ξ , X ], Y ) − dη ( X ,[ξ , Y ]) = 0
olur.
dη ( X , Y ) = g ( X , φ(Y ))
olduğundan
ξ g ( X , φ(Y )) − g ([ξ , X ], φ(Y )) − g ( X , φ([ξ , Y ])) = 0
(3.6.11)
olur. Diğer taraftan
( Lξ g )( X , φ(Y )) = g (φ(Y ), X ) − g ([ξ , X ], φ(Y )) − g ( X ,[ξ , φ(Y )])
g ( X , ( Lξ φ)(Y )) = g ( X ,[ξ , φ(Y )]) − g ( X , φ([ξ , Y ]))
eşitlikleri taraf tarafa toplarsak
( Lξ g )( X , φ(Y )) + g ( X , ( Lξ φ)(Y )) = ξ g (φ(Y ), X ) − g ([ξ , X ], φ(Y )) − g ( X , φ([ξ , Y ])
elde edilir. (3.6.11) den
( Lξ g )( X , φ(Y )) + g ( X , ( Lξ φ)(Y )) = 0
olur.
(⇒) : N 3 = 0 ise
( Lξ g )( X , φ(Y )) = 0
elde edilir. Bu eşitlik ∀X , Y ∈ χ ( M ) için doğru olduğundan Lξ g ≡ 0 ’dır. Dolayısıyla ξ
Killing vektör alanıdır.
(⇐) : ξ Killing vektör alanı ise Lξ g ≡ 0 olacağından g ( X , ( Lξ φ)(Y )) = 0 olur. Bu
eşitlik ∀X ∈ χ ( M ) için sağlandığından N 3 = 0 dır.
Teorem 3.6.3 (2n + 1) -boyutlu bir M Riemann manifoldunun bir K-kontak manifoldu
olması için gerek ve yeter koşullar aşağıdadır:
i) M bir birim ξ Killing vektör alnına sahiptir.
ii) M nin herhangi bir noktasında ξ ’yı kapsayan düzlem kesitlerin kesitsel eğriliği 1 e
eşittir (Yano ve Kon 1984).
İspat : M bir K-kontak manifold olsun. O zaman ξ ’ye dik bir birim vektör alanı X
olmak üzere
g ( R( X , ξ )ξ , X ) = g (− φ 2 ( X ), X ) = g ( X , X ) = 1
(3.6.12)
dir.
Tersine M nin (i) ve (ii) koşullarını sağladığını düşünelim. ξ bir Killing vektör alanı
olduğundan
R( X , ξ )Y = DX DY ξ − DD Y ξ
X
olur.
(3.6.13)
η ( X ) = g ( X ,ξ )
ve
− DX ξ = φ( X )
eşitlikleri göz önüne alındığında
φ(ξ ) = 0
olur. ξ ye dik bir birim vektör alanı X ∈ χ ( M ) olmak üzere (3.6.12) den
g ( R( X , ξ )ξ , X ) = 1 = − g (φ 2 ( X ), X )
elde edilir. Bu yüzden ξ ye dik ∀X ∈ χ ( M ) vektör alanı için
φ2 ( X ) = − X
olduğu görülür. Halbuki ∀Y ∈ χ ( M ) vektör alanı için
φ 2 (Y ) = −Y + η (Y )ξ
dir. Üstelik
dη ( X , Y ) =
1
( g ( DX ξ , Y ) − g ( DY ξ , X ))
2
= − g ( DY ξ , X )
= g ( X , φ(Y ))
dir. Sonuç olarak (φ, ξ ,η , g ) yapısı M üzerinde bir K-kontak yapısıdır.
Ayrıca (3.6.12) den
1
R( X , ξ )ξ = − φ 2 X = − X − η ( X )ξ
2
elde edilir. Böylece M nin (3.6.12) eşitliğini sağlayan ξ birim Killing vektör alanına
sahip olan (2n + 1) -boyutlu bir K kontak manifold olduğu görülür.
4. MANİFOLDLAR ÜZERİNDE YÖNLENDİRME
4.1. Genel Anlamda Bir Manifoldun Yönlendirilmesi
Tanım 4.1.1. E n deki k-boyutlu bir M manifoldunu ele alalım.
M bir manifold olduğuna göre M nin her bir X n-katsayısındaki TM ( X ) tanjant
uzayında bir µ X yönlendirmesi tanımlamak istiyoruz. Bu işi bir V reel vektör
uzayındaki gibi aynen yapabiliriz. Ancak manifoldun her bir noktasında TM ( X ) için bir
başka vektör uzayı söz konusudur. Bu nedenle her biri için bir yönlendirme söz
konusudur; Eğer M nin her bir noktasındaki tanjant uzaylarda yönlendirme aynı ise M
manifolduna uygun yönlendirilmiş manifold aksi halde ise M manifolduna uygun
yönlendirilmemiş manifold denir.
Diğer bir ifade ile uygun yönlendirilmiş bir M manifoldu için diyebiliriz ki her bir
f : W ⊂ E k 
→ M ⊂ En
koordinat sisteminde a, b ∈ W için
 f* (e1 a ),..., f* (ek a )  = µ f ( a )


(4.1.1)
 f* (e1 b ),..., f* (ek b )  = µ f (b )


(4.1.2)
ile
aynıdır.
M üzerinde uygun bir yön tanımlanmış iken bir
F : M 
→M
fonksiyonu ∀X ∈ M için

∂
 F* (
 ∂x1
X
),..., F* (
∂
∂xk
X
  ∂
) = 
  ∂x1
F(X )
,...,
∂
∂xk

F(X ) 

(4.1.3)
ise F dönüşümüne yönü koruyordur denir. Bu demekdir ki F dönüşümü TM ( X )
deki bir sağ sistemi (sol sistemi) TM ( F ( X )) deki bir diğer sağ sisteme (sol sisteme)
dönüştürür.
Eğer F yönü koruyan cinsden değil ise o zaman det T = −1 olacak şekilde bir
T : E k 
→ Ek
lineer dönüşümü ile elde edilen
F o T : M 
→M
dönüşümü yönü korur. Demek oluyor ki M nin her noktasında daima yönü koruyan bir
koordinat sistemi düşünülebilir (Hacısalihoğlu 2004) .
Tanım 4.1.2. Üzerinde uygun bir yön seçilebilen M manifolduna yönlendirilebilir
manifold veya yönlenebilir manifold denir. Böyle bir manifold üzerinde seçilmiş olan
özel bir µ yönüne M manifoldu üzerinde µ yönü denir. ( M , µ ) ikilisine de
yönlendirilmiş manifold denir (Hacısalihoğlu 2004) .
Tanım 4.1.3. Eğer M bir k-boyutlu ve sınırlı manifold ise X ∈ ∂M noktasındaki
T∂M ( X ) tanjant uzayı (k-1)-boyutludur. Yani TM ( X ) tanjant uzayının (k-1)-boyutlu alt
uzayıdır. Dolayısıyla TM ( X ) de T∂M ( X ) alt uzayına dik olan iki tane birim vektör
vardır. Bu iki vektör aynı doğrultuda fakat zıt yönlüdür.
M üzerinde bir koordinat sistemi
f : W ⊂ E k 
→ M ⊂ En
ve W ⊂ E k ve f (0) = X ∈ M ise bu iki vektörden sadece biri vk negatif olacak şekilde
f* (v 0 ) dır. Bu birim vektöre M nin X noktasındaki dış birim normali denir ve
n( X ) ile gösterilir. Bu tanımın f koordinat sisteminin seçilişinden bağımsız olduğunu
göstermek kolaydır.
k-boyutlu ve sınırlı bir manifold M ve M üzerindeki yönlerden biri µ olsun. Bir
X ∈ ∂M noktasında
v1
X
,..., vk −1
X
∈ T∂M ( X ) vektörlerini öyle seçelim ki
 n( X ), v1

X
,..., vk −1
X
,..., wk −1
X
 = µX

olsun. Eğer aynı zamanda
 n( X ), w1

ise {v1
X
,..., vk −1 X } ve
{w1
X
X
 = µX

,..., wk −1 X } bazları T∂M ( X ) için aynı yönlüdürler
diyeceğiz ve bu yönü (∂µ ) X ile göstereceğiz.
M yönlendirilmiş olduğundan X ∈ ∂M için (∂µ ) X yönlerinin uygun yönlendirmeler
oldukları açıktır. Demek oluyor ki M yönlendirilmiş ise ∂M de yönlendirilmiş olur ve
M de ki bir µ yönü ∂M deki bir ∂µ yönünü belirtir, bu ∂µ yönüne indirgenmiş yön
denir.
Eğer E n de M yönlendirilmiş bir (n-1)-manifold ise M için dış birim normal vektörün
seçilişi M nin bir sınır (yani n-boyutlu bir başka manifoldun sınırı) olmasını
gerektirmez. Eğer
v1
X
,..., vn −1
X
 = µ X
ise n( X ) vektörünü TE n ( X ) de TM ( X ) e dik bir birim vektör olarak öyle seçebilir ki
 n( X ), v1
X
,..., vn −1
X

TE n ( X ) deki adi yön olur. Bu durumda gene n( X ) vektörüne M nin µ ile belirtilmiş
olan, dış birim normali denir. n( X ) birim vektörleri M üzerinde noktadan noktaya
sürekli olarak değişirler. Tersine, M nin bütün noktaları üzerinde, sürekli değişen
n( X ) birim vektörlerinin bir ailesi tanımlanmış ise n( X ) ile M üzerinde bir yön
belirtilebilir (Hacısalihoğlu 2004) .
4.2. Kontak Manifoldlarda Yönlendirme
Teorem 4.2.1. (2n+1)-boyutlu kontak manifold M olmak üzere n sayısı çift ise M
kontak manifoldu yönlendirilebilir bir manifolddur (Blair 1976, Yano ve Kon 1984) .
Teorem 4.2.2. (2n+1)-boyutlu M Riemann manifoldu (φ, ξ ,η ) hemen hemen kontak
yapısı ile birlikte verilsin bu durumda ( M , φ, ξ ,η ) hemen hemen kontak manifoldu
yönlendirilebilirdir (Yano ve Kon 1984) .
Örnek 4.2.1.
4 n +1
de
2n
η = dz − ∑ y i dxi
i =1
kontak formu verilsin. Burada ( x i , y i , z )
karakteristik vektör alanı ξ =
xi =
şeklinde verildiğinde
4 n +1
kartezyen koordinatlar olmak üzere
∂
olmak üzere
∂z
∂
∂
∂
+ yi
, xn +i = i
i
∂x
∂z
∂y
yönlendirilebilirdir.
;
i = 1, 2,..., 2n
KAYNAKLAR
Baikoussis, C. and Blair, D. E. 1997. On Legendere curves in contact 3-manifolds
Geom. Dedicata. 49:135-142.
Blair, D.E.1976. Contact Manifolds in Riemanian Geometry, Lecture Notes in Mat.
Vol. 509. Springer-Verlag.
Blair, D.E.2002.Riemannian Geometry of Contact and Simplectic Manifolds,
Birkhauser, Boston.
Camcı, C.2003. Kontak Geometride Legendre Eğrileri, Doktora Seminer Notu, Ankara
Üniversitesi Fen Bilimleri Enstitüsü, Ankara.
Hacısalihoğlu, H.H. 1980. Yüksek Diferensiyel Geometriye Giriş, Fırat Üniversitesi
Fen Fakültesi Yayınları, Turkey.
Hacısalihoğlu, H.H. 1985. Diferensiyel Geometri, Gazi Üniversitesi Basın Yayın Y.O.
Basım Evi, Turkey.
Hacısalihoğlu, H.H. 2003. Tensör Geometri, Ankara Üniversitesi Fen Fakültesi
Yayınları, Turkey.
Hacısalihoğlu, H.H. 2004. Diferensiyel Geometri, Nobel Basım Evi, Turkey.
Kocayiğit, H.2004. Biharmonic Curves in Lorentz 3-Manifolds and Contact Geometry,
Doktora Tezi, A.Ü. Fen Bilimleri Enstitüsü, Ankara.
Sabuncuoğlu, A. 2004 Diferensiyel Geometri, Nobel Basım Evi, Turkey.
Yano, K. and Kon, M. 1984. Structures on Manifolds, Series in Pure Mathematics, vol.
3, Singapore
ÖZGEÇMİŞ
1977 yılında Ankara’da doğdu. İlk, orta ve lise öğrenimini Ankara’da tamamladı.
Ankara Üniversitesi Fen Fakültesi Matematik Bölümü’nden 2003 yılında Matematikçi
ve Fakülte birincisi unvanıyla mezun oldu. Aynı yıl Ankara Üniversitesi Fen Bilimleri
Enstitüsü’nde yüksek lisans öğrenimine başlayan İsmail GÖK halen yüksek lisans
öğrenimini devam ettirmektedir.
Download