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

advertisement
ANKARA ÜNİVERSİTESİ
FEN BİLİMLERİ ENSTİTÜSÜ
DOKTORA TEZİ
SPİRAL VEKTÖR ALANLARI VE UYGULAMALARI
Esra Betül KOÇ ÖZTÜRK
MATEMATİK ANABİLİM DALI
ANKARA
2012
Her hakkı saklıdır
ÖZET
Doktora Tezi
SPİRAL VEKTÖR ALANLARI VE UYGULAMALARI
Esra Betül KOÇ ÖZTÜRK
Ankara Üniversitesi
Fen Bilimleri Enstitüsü
Matematik Anabilim Dalı
Danışman: Prof. Dr. Yusuf YAYLI
Bu doktora tezi altı bölümden oluşmaktadır. Birinci bölüm, giriş kısmına ayrılmıştır.
İkinci bölümde, tez için gerekli kavramlar verilmiştir. Üçüncü bölümde, lineer vektör
alanları verilerek spiral vektör alanları tanıtılmıştır ve spiral vektör alanlarının integral
eğrileri hesaplanmıştır. Dördüncü bölümde, üçüncü bölümde yapılan çalışmalar Lorenz
uzayında yapılmıştır. Beşinci bölümde, point-line operatörü tanımlanarak benzerlik
dönüşümü yardımıyla bir point-line’nın başka bir point-line’a dönüştürülebileceği
gösterilmiştir. Altıncı bölümde ise beşinci bölümde yapılan çalışma, Lorenz uzayı için
incelenmiştir.
Şubat 2012, 78 sayfa
Anahtar Kelimeler: Lie Grubu, Lie Cebiri, Lineer vektör alanı, Helisel Vektör Alanı,
Point-line operatörü
i
ABSTRACT
Ph.D. Thesis
SPIRAL VECTOR FIELD AND ITS APPLICATIONS
Esra Betül KOÇ ÖZTÜRK
Ankara University
Graduate School of Natural and Applied Sciences
Department of Mathematics
Supervisor: Prof.Dr. Yusuf YAYLI
This thesis consists of six chapters. The first chapter has been devoted to the
introduction. In the second chapter, some main concepts for this study have been given.
In the third chapter, we gave the lineer vector fields and defined the spiral vector fields.
In addition to this we calculate the integral curves of a spiral vector field. In the fourth
chapter, we did the same work on Lorentzian space like chapter three. In the fifth
chapter, we defined the point-line operator. With the help of Equiform motion a pointline is transformed to the another point-line. In the final chapter we did the same work
on Lorentzian space like chapter five.
February 2012, 78 pages
Key Words : Lie gruops, Lie Algebras, Lineer Vector Field, Helical vector field, Pointline operatör
ii
TEŞEKKÜR
Doktora çalışmamın yönetimini kabul ederek bana bu tezi hazırlama olanağı sağlayan,
çalışmalarımı yönlendiren, araştırmalarımın her aşamasında bilgi, öneri ve yardımlarını
esirgemeyerek akademik ortamda olduğu kadar beşeri ilişkilerde de engin fikirleriyle
yetişmeme ve gelişmeme katkıda bulunan danışman hocam sayın Prof. Dr. Yusuf
YAYLI (Ankara Üniversitesi Fen Fakültesi)’ya, çalışmalarım süresince desteklerini
esirgemeyen değerli hocalarım sayın Prof. Dr. Baki KARLIĞA (Gazi Üniversitesi Fen
Fakültesi)’ya, Doç. Dr. Nejat EKMEKCİ (Ankara Üniversitesi Fen Fakültesi)’ye ve
sayın Prof. Dr. Mustafa ÇALIŞKAN (Gazi Üniversitesi Fen Fakültesi)’a teşekkürlerimi
bir borç bilirim.
Çalışmalarım süresince birçok fedakarlıklar göstererek beni destekleyen ve yardımlarını
esirgemeyen eşim Ufuk ÖZTÜRK’e, babam Ali KOÇ ve annem Fatma KOÇ’a derin
duygularla teşekkür ederim.
Esra Betül KOÇ ÖZTÜRK
Ankara, Şubat 2012
iii
İÇİNDEKİLER
ÖZET...........................................................................................................................
i
ABSTRACT................................................................................................................
ii
TEŞEKKÜR................................................................................................................
iii
SİMGELER DİZİNİ..................................................................................................
v
ŞEKİLLER DİZİNİ..................................................................................................
vi
1. GİRİŞ…………………...…...................................................................................
1
2. TEMEL KAVRAMLAR…...................................................................................
2
2.1 n-Boyutlu Öklid Uzayı..……………………………….......................................
2
2.2 Riemann Manifoldu, Riemann Konneksiyonu, İkinci Temel Form…………
2.3 Eğriler Teorisi……….……….............................................................................
3
2.4 Lie Grubu ve Lie Cebiri………………………………………………………..
9
2.5 Dual Uzay………………………………………………………………………..
10
n
6
2.6 E de Hareketler……………………………………………………………….
14
2.7 3-Boyutlu Lorenz Uzayı……...…………………………………………………
18
3. LİNEER VEKTÖR ALANLARI………………………………………………..
21
3
3.1 E de Helisel Vektör Alanı……………………………………………………..
22
3.2 E3 Öklid Uzayında Spiral Vektör Alanları…………………………………...
28
3.3 En Öklid Uzayında Spiral Vektör Alanları…………………………………...
34
4. LORENZ UZAYINDA LİNEER VEKTÖR ALANLARI…………………….
38
4.1 E13 Lorenz Uzayında Helisel Vektör Alanları…………………………………
38
4.2 E13 Lorenz Uzayında Spiral Vektör Alanları ve İntegral Eğrileri…………...
41
4.3 E1n Lorenz Uzayında Spiral Vektör Alanları ve İntegral Eğrileri…………...
45
5. POINT-LINE OPERATÖRÜ…………………………………………………...
5.1 Doğru Elemanlarının Plücker Koordinatları………………………………...
6. LORENZ UZAYINDA POINT-LINE OPERATÖRÜ………………………...
50
53
60
6.1 3-boyutlu Lorenz Uzayında Benzerlik Dönüşümü……………………………
64
6.2 3-boyutlu Lorenz Uzayında Doğru Elemanlarının Plücker Koordinatları…
KAYNAKLAR….......................................................................................................
65
75
ÖZGEÇMİŞ….......................................................................................................
77
iv
SİMGELER DİZİNİ
O (n)
Ortogonal matrisler ailesi
D
Riemann koneksiyonu
g
Metrik tensör
[,]
Lie parantez operatörü
α
İntegral eğrisi
∧
Dış çarpma operatörü
D%
Öklid anlamında koneksiyon
∇
Gradient fonksiyonu
∆
Laplace operatörü
M
Diferensiyellenebilir reel manifold
TM ( P )
P ∈ M noktasındaki tanjant uzay
En
n-boyutlu Öklid uzayı
n
n-boyutlu reel vektör uzayı
GL(n + 1, )
(n + 1) × (n + 1) tipindeki regüler matrislerin cümlesi
O (n)
Ortogonal Matrislerin cümlesi
R
Sabit Uzay
R0
Hareketli Uzay
Ω
Darboux Matrisi
SO (3)
Özel ortogonal grup
SE (3)
Matris Lie grubu
se(3)
Matris Lie grubunun Lie cebiri
SD(3)
Homotetik hareketlerin matris Lie grubu
sd (3)
Homotetik hareketlerin matris Lie grubunun Lie cebiri
v
ŞEKİLLER DİZİNİ
Şekil 2.1 E n uzayı içinde bir eğri……………………………………………….............7
Şekil 2.2 Parametre değişimi………………………………………………………........7
Şekil 3.1 Ani Homotetik Hareket………...…………………………………………….32
Şekil 4.1 Lorenz Uzayında Ani Homotetik Hareket……………………………….......44
Şekil 5.1 Point-line……………………………………………………………………..51
Şekil 5.2 Referans noktası orjin olan point-line………………………………………..52
Şekil 5.3 Point-line yer değiştirmesi……………………………………………………56
Şekil 7.1 Lorenz uzayında Point-line………………………………………………......60
Şekil 7.2 Lorenz uzayında Referans noktası orjin olan point-line .……………………63
Şekil 7.3 Lorenz uzayında Point-line yer değiştirmesi…………………………….......70
vi
1. GİRİŞ
Hareketlerin modellenmesi Kinematikte önemli bir yer tutmaktadır. Özellikle katı cisim
hareketlerinin Lie grubu ve Lie cebiri yapısı yardımıyla ifade edilmesinde, lineer vektör
alanları gündeme gelmektedir. Lineer vektör alanlarının özel hallerinden olan helisel
vektör alanları ile ani hareketlerin yörüngeleri elde edilmektedir.
Lineer vektör alanlarının tanım ve uygulamaları Karger ve Novak (1985) tarafından
verilmiş olup Öklid uzayı için lineer vektör alanlarının integral eğrilerini Acratalishian
(1989) ve Lorenz uzayı için Helisel vektör alanlarının genellemesi ile helisel vektör
alanlarının ani hareketlerle olan ilişkisini Zafer ÜNAL (2007) doktora tezinde
incelemiştir.
Biz ise bu çalışmada, ilk önce lineer vektör alanlarını kullanarak spiral vektör alanlarını
tanımladık ve spiral vektör alanlarının özel halinin helisel vektör alanları olduğunu
gösterdik. Daha sonra, Spiral vektör alanlarının Lie grubu ve Lie cebiri yapılarını
inceleyerek bu yapılar üzerinde çeşitli dönüşümler tanımlayarak bu dönüşümlerin
özeliklerini inceledik.
Ayrıca, yönlendirilmiş bir doğru ve doğru üzerinde alınan bir referans noktası
yardımıyla ifade edilebilen Point-line kavramını inceledik. Bir doğru Plücker
koordinatları ile verilebilir. Eğri üzerinde bir nokta alırsak, bu nokta ile doğrunun ifade
edilmesi de point-line ile verilebilir. Bir point-line’den başka bir point-line’ye geçiş bir
operatörle yapılabilir. Bu operatör, point-line operatörü olarak adlandırılabilir. Biz
gösterdik ki; point-line operatörü bir benzerlik dönüşümüdür. Bunlara ek olarak, bir
point-line’den başka bir point-line’ye geçişin, kuaterniyonları kullanarak daha kolay
yapılabileceğini gösterdik.
1
2. TEMEL KAVRAMLAR
Bu bölümde, ilerleyen bölümlerde sıkça kullanacağımız bazı temel tanım ve sembolleri
tanıtacağız.
2.1 n-Boyutlu Öklid Uzayı
Tanım 2.1.1 A ≠ ∅ bir cümle ve V de K cismi üzerinde bir vektör uzayı olsun. Eğer
bir
ψ : A × A 
→V
dönüşümü P, Q ∈ A noktaları için
( P, Q ) 
→ψ ( P, Q )
şeklinde tanımlanmış ve aşağıdaki iki aksiyomu sağlıyor ise A cümlesine V vektör
uzayı ile birleştirilmiş bir Afin Uzay denir:
∀ P, Q, R ∈ A için ψ ( P, R ) = ψ ( P, Q) + ψ (Q, R ) dir,
ur
ur
ii. ∀ P ∈ A ve ∀ α ∈ V için ψ ( P, Q) = α olacak şekilde bir tek Q ∈ A noktası vardır
i.
(Hacısalihoğlu 2000).
Tanım 2.1.2 n-boyutlu bir reel iç çarpım uzayı
n
olsun.
n
ile birleşen
n
afin
uzayına n-boyutlu Öklid Uzay denir ve E n ile gösterilir (Hacısalihoğlu 2000).
Tanım 2.1.3 E n de bir nokta P = ( p1 ,..., pn ) olsun. 1 ≤ i ≤ n olmak üzere,
xi : E n 
→
P 
→ xi ( P) = pi
biçiminde tanımlı xi fonksiyonuna E n nin i-yinci koordinat fonksiyonu denir. Eğer
P noktasının bileşenleri bir dik çatıya göre verilmişse
{ x1 ,..., xn }
sistemine, E n nin
Öklid koordinat sistemi veya dik koordinat sistemi denir (Hacısalihoğlu 2000).
2
2.2 Riemann Manifoldu, Riemann Konneksiyonu, İkinci Temel Form
Tanım 2.2.1 X ≠ ∅ ve X in alt cümlelerinin bir koleksiyonu τ olsun. Eğer aşağıdaki
aksiyomlar sağlanıyor ise τ koleksiyonu X üzerinde bir topoloji adını alır:
i.
X , ∅ ∈τ ,
ii. ∀Ai , Aj ∈τ ⇒ Ai ∩ Aj ∈τ ,
iii. ∀i ∈ I için Ai ∈τ ⇒ ∪ Ai ∈τ
i∈I
(Hacısalihoğlu 2000 ).
Tanım 2.2.2 Boş olmayan bir X cümlesi ve üzerindeki τ topolojisinden oluşan ( X ,τ )
ikilisine bir topolojik uzay denir ve kısaca X ile gösterilir (Hacısalihoğlu 2000).
Tanım 2.2.3 X bir topolojik uzay olsun. X in P ve Q gibi faklı iki noktaları için, X
de, sırası ile, P ve Q noktalarını içine alan AP ve AQ açık alt cümleleri AP ∩ AQ = ∅
olacak biçimde bulunabilirse X
topolojik uzayına bir Hausdorff uzayı denir
(Hacısalihoğlu 2000).
Tanım 2.2.4 X ve Y birer topolojik uzay olsunlar. Bir
f : X 
→Y
fonksiyonu sürekli, f −1 tersi var ve f −1 de sürekli ise f ye X den Y ye bir
homeomorfizm (topolojik dönüşüm) denir (Hacısalihoğlu 2000).
Tanım 2.2.5 M bir topolojik uzay olsun. M için aşağıdaki önermeler doğru ise M ye
bir n-boyutlu topolojik manifold veya kısaca n-manifold denir:
(M1) M bir Hausdorff uzayıdır,
(M2) M nin her bir açık alt cümlesi E n e veya E n in bir açık alt cümlesine homeomorftur,
(M3) M sayılabilir çoklukta açık cümlelerle örtülebilir
(Hacısalihoğlu 2000).
3
Tanım 2.2.6 M bir topolojik n-manifold olsun. Bir P ∈ M noktasının M deki bir U
açık komşuluğu,
ψ : U 
→V
tanımlı dönüşümü ile E n in bir V açık alt cümlesine homeomorf ise
(U ,ψ )
homeomorfizmine M nin P noktasındaki bir haritası veya koordinat komşuluğu
denir (Hacısalihoğlu 2000).
Tanım 2.2.7 M bir topolojik n-manifold ve M nin bir açık örtüsü {Uα } olsun. Uα
açık cümlelerinin α indislerinin cümlesi A olmak üzere {Uα } örtüsü için {Uα }α ∈A
yazılır. E n de her bir Uα açığının bir ψ α homeomorfizmi altında homeomorf olan bir
açık cümlesi Vα olsun. Böylece ortaya çıkan (ψ α ,U α ) haritalarının
{(Uα ,ψ α )}α
∈A
koleksiyonuna M bir atlası (koordinat komşuluğu sistemi) denir (Hacısalihoğlu
2000).
Tanım 2.2.8 M bir topolojik n-manifold ve M nin bir atlası S = {(Uα ,ψ α )}α ∈A olsun.
Eğer S atlası için, Wα ∩ Wβ ≠ ∅ olmak üzere ∀α , β ∈ A ya karşılık φαβ ve φβα
fonksiyonları
Ck
sınıfından diferensiyellenebilir iseler
S
ye
Ck
sınıfından
diferensiyellenebilir denir. S atlası M üzerinde C k sınıfından olduğu zaman S ye
M üzerinde C k sınıfından diferensiyellenebilir yapı denir (Hacısalihoğlu 2000).
Tanım 2.2.9 M bir topolojik n-manifold olsun. M üzerinde C k sınıfından bir
diferensiyellenebilir atlas tanımlanabilirse M ye C k sınıfından diferensiyel-lenebilir
manifold denir. Ayrıca, her k ∈
zaman
M
manifolduna C ∞
için M üzerindeki atlas diferensiyellenebilir ise, o
sınıfından diferensiyel-lenebilir manifold denir
(Hacısalihoğlu 2000).
4
ye C ∞ sınıfından
Tanım 2.2.10 M diferensiyellenebilir bir manifold ve M den
fonksiyonların cümlesi de C ∞ ( M , ) olmak üzere, ∀P ∈ M için
ur
V P : C ∞ ( M , ) 
→
ur
f 
→V P [ f ]
dönüşümü
ur
ur
ur
i. V P [ λ f + µ g ] = λV P [ f ] + µV P [ g ] ,
∀λ , µ ∈
ur
ur
ur
ii. V P [ f , g ] = V P [ f ] g ( P ) + f ( P ) V P [ g ]
ur
aksiyonlarını sağlıyor ise V P fonksiyonuna M nin P noktasındaki bir tanjant
vektörü denir (Hacısalihoğlu 2000).
M manifoldunun bir P ∈ M noktasındaki tanjant vektörlerinin cümlesini
ur ur
tanjant uzay
TM ( P) = V P V P : C ∞ ( M , ) 
→
{
}
ile gösterelim. Bu cümlede toplama işlemini ∀f ∈ C ∞ ( M , ) için,
⊕ : TM ( P ) × TM ( P ) 
→ TM ( P )
ur uur
ur
uur
V P ,W P

→ V P ⊕ W P : C ∞ ( M , ) 
→
(
)
ur
uur

→ V P ⊕W P
(
f
ur
uur
)[ f ] = V P [ f ] +W P [ f ]
olarak tanımlarsak (TM ( P), ⊕ ) ikilisi bir Abel grubu olur. Ayrıca ∀f ∈ C ∞ ( M , ) için,
:
(
× TM ( P ) 
→ TM ( P )
ur
ur
λ ,V P

→ λ V P : C ∞ ( M , ) 
→
)
f
(

→ λ
ur
VP
dönüşümü ile tanımlı dış işlem ve (TM ( P), ⊕ ) Abel grubu,
uzayı oluşturur. Bu uzay {TM ( P), ⊕, , +, ⋅,
}
ur
) [ f ] = λV
P
[f]
cismi üzerinde bir vektör
sisteminden ibaret olup M nin P ∈ M
noktasındaki tanjant uzayı adını alır ve kısaca TM ( P ) ile gösterilir (Hacısalihoğlu
2000).
5
2.3 Eğriler Teorisi
Tanım 2.3.1 n-boyutlu bir reel vektör uzayı V olmak üzere
, : V × V 
→
n
r r
r r
rr
→ u , v = ∑ ui vi
( u , v ) 
(2.1)
i =1
ile tanımlı dönüşüm (reel değerli fonksiyon), aşağıdaki tanımlanan aksiyomları sağlıyor
ise V üzerinde bir iç çarpım adını alır:
r r
r r
r r
i. Simetri Aksiyomu: ∀u , v ∈ V için u , v = v , u ,
r r r
ii. Bilineerlik Aksiyomu: ∀a, b ∈ ve ∀x , y, z ∈ V için
r r r
r r
r r
ax + by, z = a x , z + b y , z
r r r
r r
r r
x , ay + bz = a x , y + b x , z
r r
r
iii. Pozitif Tanımlılık Aksiyomu: ∀u ∈ V için u , u ≥ 0
r r
r r
u, u = 0 ⇔ u = 0
(Hacısalihoğlu 2000).
r
Tanım 2.3.2 V bir reel vektör uzayı olsun. V deki bir u vektörünün uzunluğu
veya boyu
r
u =
r r
u, u
(2.2)
r
olarak tanımlanır. Ayrıca bu değere u vektörünün normu da denir (Hacısalihoğlu
2000).
Tanım 2.3.3 I ⊂
bir açık aralık olmak üzere,
α : I 
→ En
t 
→ α ( t ) = (α1 ( t ) , α 2 ( t ) ,K , α n ( t ) )
biçiminde düzgün( C ∞ sınıfından) bir α dönüşümüne, E n uzayı içinde 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 2000).
6
•α ( t )
α
α
I
En
•
t
Şekil 2.1 E n uzayı içinde bir eğri
Tanım 2.3.4 M bir C ∞ manifold ve I ⊂
bir açık aralık olmak üzere,
α : I 
→ M ⊆ En
dönüşümü diferensiyellenebilir ise α ya M üzerinde diferensiyellenebilir bir eğri
denir (Hacısalihoğlu 2000).
Tanım 2.3.5. E n de bir M eğrisinin ( I , α ) ve ( J , β ) gibi iki koordinat komşuluğu
verilsin.
h = α −1 o β : J 
→I
diferensiyellenebilir fonksiyonuna M nin bir parametre değişimi ( daha doğrusu
M nin I daki parameteresinin J deki parametre ile değişimi) denir (Hacısalihoğlu
2000).
•β ( s ) = α ( t )
β
α
h
J
I
•
s
•
t
Şekil 2.2 Parametre değişimi
Tanım 2.3.6 E n de bir M
eğrisi
( I ,α )
koordinat komşuluğu ile verilsin.
α : I 
→ E n fonksiyonunun Öklidyen koordinat fonksiyonları α1 , α 2 , α 3 ,L , α n olmak
üzere,
7
α (t ) ∈ M
ve
∂α 
 ∂α1
,L , n 
∂t 
 ∂t
α ' (t ) = 
dir.
(α ( t ) , α ( t ) ) ∈ T (α ( t ) )
'
En
tanjant vektörüne , M
(2.3)
eğrisinin
( I ,α )
koordinat
komşuluğuna göre hız vektörü denir (Hacısalihoğlu 2000).
Tanım 2.3.7 Her noktasındaki hız vektörü sıfırdan farklı olan eğriye regüler eğri denir
(Hacısalihoğlu 2000).
Teorem 2.3.1 E n de regüler her eğrinin, birim hızlı olacak şekilde bir koordinat
komşuluğu vardır (Hacısalihoğlu 2000).
Tanım 2.3.8 I ⊂
bir açık aralık, E n de bir eğri a ve E n üzerinde bir vektör alanı
X olmak üzere, " t òI
için,
da
= X (a (t ))
dt
ise, α eğrisine X vektör alanının integral eğrisi denir (Hacısalihoğlu 1983).
Tanım 2.3.9 V , bir K cismi üzerinde n -boyutlu bir vektör uzayı ve X , V üzerinde
bir vektör alanı olsun. Eğer,
A :V ¾ ¾ ® V
ile tanım lineer dönüşümü " v òV için,
X v A
v
olur ise, X vektör alanına lineerdir denir (Karger ve Novak 1979).
8
2.4 Lie Grubu ve Lie Cebiri
Tanım 2.4.1 Diferensiyellenebilir bir manifold M ve bir grub G olmak üzere
L1 : M nin noktaları G nin elemanları ile çakışır,
L2 :
• : M 
→M
(a,b) 
→ a • b -1 işlemi her yerde diferensiyellenebilir,
aksiyomları sağlanırsa (M,G) ikilisine bir Lie Grubu, M ye Lie Grubunun Temel
Manifoldu ve G ye de Lie Grubunun Temel Grubu denir (Hacısalihoğlu 1980a).
Tanım 2.4.2 V , bir K cismi üzerinde bir vektör uzayı olmak üzere
→V
[,] : V × V 
(x, y ) 
→ [ x, y ]
ile tanımlı işlemi,
1. Bilineer,
2. Anti-simetrik,
3. [ x, y ] , z  + [ y, z ] , x  + [ z , x ] , y  = 0
özelliklerine sahipse (V , [,]) ikilisine bir Lie Cebiri denir (Hacısalihoğlu 1980a).
Tanım 2.4.3 Matris uzayının bir alt manifoldu, matrislerin çarpma işlemine göre bir
grup ise bu gruba Matris Lie Grubu denir (Hacısalihoğlu 1980a).
Tanım 2.4.4
3
3
de
O (3) =
{A òR 33 : AT A =
A AT = I , det A = m1 }
şeklinde tanımlanan cümleye Ortogonal Matrislerin Cümlesi denir ve matrislerde
çarpma işlemine göre oluşturduğu gruba Ortogonal Matris Lie Grubu denir (Karger,
Novak 1979).
Tanım 2.4.5
3
3
de
SO
3AR33 : A T A AA T I, detA 1
şeklinde tanımlanan cümleye Özel Ortogonal Matrislerin Cümlesi, matrislerde
9
çarpma işlemine göre oluşturduğu gruba Özel Ortogonal Matris Lie Grubu denir ve
bu Lie grubuna karşılık gelen Lie cebiri
ìï
é
ïïü
- w3 w2 úù
ïï
ê 0
ï
so(3) = ïí wòR 33 : w = êê w3
0
- w1 úú, wT = - w ïı
ïï
ïï
ê- w
ú
w
0
ïï
ïï
êë 2
úû
1
î
ş
şekilde tanımlanır (Karger ve Novak 1979).
Teorem 2.4.1 E3 de bir anti-simetrik matrise karşılık gelen bir lineer dönüşüm A olsun.
A ya karşılık gelen matris,
é0
ê
A = êê- l
ê0
ëê
0 ùú
0 0 úú,
0 0 úú
û
l
(l
¹ 0)
olacak şekilde bir E3 ün bir ortonormal bazı vardır (Karger ve Novak 1979).
2.5 Dual Uzay
Tanım 2.5.1 Her a , a * ∈
için A = ( a , a* ) ikilisine bir sıralı reel sayı ikilisi adı
verilir. Böylece
{
}
ID = × = ( a , a * ) : a , a* ∈
cümlesi üzerinde iki iç işlem (toplama ve çarpma) ve eşitlik aşağıdaki şekilde
tanımlanır.
⊕ :ID × ID 
→ ID
iç işlemi A = ( a , a * ) ∈ ID ve B = ( b , b * ) ∈ ID olmak üzere
A ⊕ B = ( a , a* ) ⊕ ( b , b * ) = ( a + b , a* + b* )
şeklinde tanımlanır ve ID deki toplama olarak isimlendirilir.
:ID × ID 
→ ID
iç işlemi A = ( a , a * ) ∈ ID ve B = ( b , b * ) ∈ ID olmak üzere
A
B = ( a, a* )
( b , b ) = ( ab , ab
*
10
*
+ a*b )
şeklinde tanımlanır ve ID deki çarpma olarak isimlendirilir.
A = ( a , a * ) ∈ ID ve B = ( b , b * ) ∈ ID için
a = b ve a* = b *
ise A ve B eşittir denir ve A = B şeklinde gösterilir (Hacısalihoğlu 1983).
Tanım 2.5.2
reel sayılar cümlesi olmak üzere,
ID = ×
cümlesi üzerinde toplama, çarpma ve eşitlik işlemleri yukarıdaki gibi tanımlanmış ise
ID cümlesine dual sayılar sistemi ve her ( a , a * ) ∈ ID elemanına da bir dual sayı denir
(Hacısalihoğlu 1983).
Teorem 2.5.1 ( ID, ⊕ ,
)
üçlüsü birimli ve değişimli bir halkadır (Hacısalihoğlu 1983).
Teorem 2.5.2 ( ID, ⊕ ,
)
üçlüsü bir cisim değildir (Hacısalihoğlu 1983).
Tanım 2.5.3 A ⊕ X = A denkleminin çözümü olarak tanımlanan X dual sayısına ID
nin sıfırı denir ve 0 = ( 0, 0 ) ile gösterilir (Hacısalihoğlu 1983).
Teorem 2.5.3 ID dual sayılar halkası,
reel sayılar cümlesine izomorf bir alt cümleyi
alt cisim olarak kapsar (Hacısalihoğlu 1983).
Tanım 2.5.4 Her A = ( a , a * ) ∈ ID dual sayısında “ a ” reel sayısına A nın reel kısmı,
“ a* ” reel sayısına da A nın dual kısmı denir ve sırasıyla Re A = a , DuA = a * şeklinde
yazılır (Hacısalihoğlu 1983).
Tanım 2.5.5 ( 1, 0 ) = 1 dual sayısına ID deki çarpma işleminin birim elemanı veya ID
deki reel birim ve ( 0, 1 ) = ε dual sayısı da ID deki dual birim olarak adlandırılır
(Hacısalihoğlu 1983).
11
Tanım 2.5.6 ID dual sayılar halkası olmak üzere,
{
}
ID × ID × ID = ID 3 = A = ( A1 , A2 , A3 ) : A1 , A2 , A3 ∈ ID
cümlesi üzerindeki, sırasıyla, toplama, skalarla çarpma ve eşitlik aşağıdaki şekilde
% = ( B ) ∈ ID 3 ve λ ∈ ID olmak üzere,
tanımlanır. 1 ≤ i ≤ 3 için A = ( Ai ) , B
i
Toplama: + :ID 3 × ID 3 
→ ID 3
( A, B% ) → A + B% = ( A + B )
i
Çarpma:
i
:ID × ID 3 
→ ID 3
( λ , A)

→λ
A = ( λ Ai )
%⇔A =B
Eşitlik : A = B
i
i
(Hacısalihoğlu 1983).
Teorem 2.5.4 ( ID 3 , + ) bir abel grubudur (Hacısalihoğlu 1983).
Teorem 2.5.5
( ID
3
, + , ID, ⊕ , ,
)
sistemi ID dual sayılar halkası üzerinde bir
modüldür (Hacısalihoğlu 1983).
Tanım 2.5.7 Dual sayılar halkası üzerinde modül olan ID 3 = ID × ID × ID cümlesi ID Modül olarak isimlendirilir ve ID -Modül’ ün elemanları olan sıralı dual sayı
üçlülerine, dual vektörler adı verilir (Hacısalihoğlu 1983).
r uur
Teorem 2.5.6 a , a * ∈
3
ur
olmak üzere ID -Modül’ de her bir A dual vektörü
ur r
uur
A = a + ε a* ,
(ε = ( 0, 1) ∈ ID )
biçiminde yazılır (Hacısalihoğlu 1983).
ur r
uur r uur
Teorem 2.5.6 A = a + ε a* = a , a * dual vektörünün λ ∈ ID skaları ile çarpımı
( )
(
r
uur
λ A = λ a , λ a*
dır (Hacısalihoğlu 1983).
12
)
ur r uur ur r uur
% = b , b * ∈ ID 3 için
Teorem 2.5.7 A = a , a* , B
( )
( )
uur uur
r r
% ⇔ a = b ve a* = b *
A=B
dır (Hacısalihoğlu 1983).
Teorem 2.5.8
3
r r
vektör uzayı, ID -Modül’ ün elemanları a , 0 şeklinde olan bir alt
( )
cümlesine izomorftur (Hacısalihoğlu 1983).
ur r
uur ur r
uur
% = b + ε b * ∈ ID 3 dual vektörlerinin iç çarpımı
Tanım 2.5.8 A = a + ε a* , B
f :ID 3 × ID 3 
→ ID
şeklinde bir dönüşümdür ve
ur ur
ur ur
% = A, B
%
f A, B
uur r
uur
r
= a + ε a* , b + ε b *
uur r
r r
r uur
= a, b + ε  a, b * + a* , b 


( )
olarak tanımlanır (Hacısalihoğlu 1983).
ur r
uur
r r
Tanım 2.5.9 Bir A = a + ε a * ∈ ID 3 dual vektörünün normu, a ≠ 0 olmak üzere
r uur
ur
ur ur  r a , a * 
A = A, A =  a , r 

a 



olarak tanımlanan bir dual sayıdır, burada
r uur*
a, a
r
a = a ve a* = r
a
olmak üzere,
ur
A = a + ε a*
olarak yazılabilir (Hacısalihoğlu 1983).
13
Tanım 2.5.10 Normu ( 1, 0 ) reel birimine karşılık gelen dual vektöre birim dual vektör
denir (Hacısalihoğlu 1983).
ur r
uur r uur
Teorem 2.5.9 A = a + ε a * = a , a * ∈ ID 3 dual vektörü, birim dual vektör ise,
( )
r
r uur
a = 1 ve a , a* = 0
dır (Hacısalihoğlu 1983).
ur r uur
Teorem 2.5.10 A = a , a* ∈ ID 3 olmak üzere
( )
ur
ur A
U = ur
A
bir birim dual vektördür (Hacısalihoğlu 1983).
Tanım 2.5.11
{
ur r
uur r uur
X = x + ε x* : x , x* ∈
3
} cümlesine ID -Modül’ de birim
ur
, X = ( 1, 0 )
dual küre adı verilir (Hacısalihoğlu 1983).
ur r r
Teorem 2.5.11 A ≠ 0, a ∈ ID -Modül olmak üzere, ID -Modül’ de denklemi
( )
ur
A = ( 1, 0 )
olan birim dual kürenin dual noktaları,
3
deki yönlü doğrulara birebir karşılık gelir
(E. Study 1903).
2.6 E n de Hareketler
Tanım 2.6.1 n-boyutlu V1 ve V2 iç çarpım uzayları ile birleşen Öklid uzayları, sırasıyla,
E1n ve E2n olsun. Bir
f : E1n 
→ E2n
afin dönüşümü ∀α , β ∈ V1 için
14
ψ (α ),ψ ( β ) = α , β
olacak şekilde bir
ψ : V1 
→V2
lineer dönüşümü ile birleşiyorsa f ye bir izometri denir (Hacısalihoğlu 1980a).
Tanım 2.6.2 n-boyutlu Öklid uzayı E n olmak üzere
→ En
R : E n 
dönüşümü bir izometri ise f ye E n de bir katı hareket denir. E n nin bütün katı
hareketlerinin cümlesi R(n) ile gösterilir ve
R(n) = { R R : E n 
→ E n , R izometri}
olup R(n) cümlesi dönüşümlerin birleşimi işlemine göre bir grup’dur (Hacısalihoğlu
1980a).
Tanım 2.6.3 n-boyutlu Öklid uzayı E n ve
R0 : E n 
→ En
dönüşümü bir izometri olsun.
O ∈ E n için R0 (O) = O
olacak şekilde bir O
noktası mevcut olsun.
x≠0
olmak üzere
∀x ∈ En
için x 
→ R0 ( x) biçiminde tanımlanan R0 hareketine O etrafında E n nin bir dönme
hareketi denir (Hacısalihoğlu 1980a).
En de O etrafındaki bütün dönmelerin cümlesi R0 (n) , hareketlerin birleşimi (çarpımı)
işlemine göre R(n) in bir alt grubudur.
Teorem 2.6.1 n-boyutlu Öklid uzayı E n ve X = ( x1 ,..., xn ), Y = ( y1 ,..., yn ) ∈ E n olmak
üzere
n
X , Y = ∑ xi yi
i =1
15
Öklid iç çarpımını koruyan ortogonal grup O(n) ile O = (0,..., 0) noktasını sabit bırakan
(dönme grubu) R0 (n) ile eşlenebilir (Hacısalihoğlu 1980a).
n
Tanım 2.6.4 n-boyutlu Öklid uzayı E ve
→ En
T : E n 
dönüşümü bir izometri olsun. Eğer ∀X = ( x1 ,..., xn ) ∈ E n için
T ( X ) = ( x1 + t1 ,..., xn + tn ), ti ∈ , 1 ≤ i ≤ n
n
oluyor ise T ye E deki bir öteleme denir (Hacısalihoğlu 1980a).
En deki bütün ötelemelerin cümlesi
T (n) = {T T : E n 
→ E n , T izometri}
ile gösterilir ve hareketlerin bileşimi işlemine göre bir Abel grubudur.
Teorem 2.6.2 ∀R ∈ R ( n ) için E
n+1
de R dönüşümünün matris formu
c1 

 a
M 
ij
R=
,  a  ∈ O(n), 1 ≤ i , j ≤ n

c n   ij 


0 0 L 1 
( n + 1) × ( n + 1) tipinde reel ve regüler bir matristir (Hacısalihoğlu 1980a).
Teorem 2.6.2 ye göre, R ∈ R ( n ) için
R : E n 
→ En
x 
→ R( x) = y = ax + c
olarak ifade edilebilir. Burada, a ∈ O(n) ve c ∈ T (n) dir. E
matris formu
 y 1   a11
M  M
 =
 y n   an 1
  
1  0
L a1 n
O M
L ann
L 0
16
c 1   x1 
M   M 
c n   xn 
 
1 1 
n+1
de R dönüşümünün
olarak yazılabilir. Burada ax , hareketin dönme kısmıdır.
n
n
Tanım 2.6.5 n-boyutlu Öklid uzayı E
{ x1 ,..., xn } dik koordinat sistemine göre
de bir izometri R olsun. E
deki bir
R nin matrisel formu,
 y  a c   x 
 1  =  0 1   1  , a ∈ O(n), c ∈
  
 
n
1
dir. Eğer,
1.
det a = 1 ise R hareketine direkt hareket,
2.
det a = −1 ise R hareketine karşıt hareket denir
(Hacısalihoğlu 1980a).
Ayrıca y = ax + c ile verilen hareketin parametresi t olmak üzere
y = ax
(2.6.1)
dönme kısmını ele alalım. Hareketli uzayın sabit x noktasının hız vektörü
•
y=
•
dy
da
, a=
dt
dt
olmak üzere
•
•
y =ax
(2.6.2)
olur. a ∈ O(n) olduğundan a −1 = aT olup (2.6.1) den
x = aT y
olacağından (2.6.2) ifadesi
•
•
y = a aT y
•
olur. Burada Ω = a aT olarak alınırsa
•
y = Ωy
yazılabilir. Burada Ω , bir anti-simetrik matris olup hareketin a ya karşılık gelen
Darboux matrisi denir (Bottema ve Roth 1979).
17
n+1
n+1
Tanım 2.6.6
de
éa c ù
ïì
ïü
ú, a Î O (n ), det a = 1, c Î R n ïı
SE (n ) = ïí R : R = êê
1
ú
ïï
ïï
êë0 1 úû
î
ş
şeklinde tanımlanan cümleye Katı Cisimlerin Özel Ortogonal Matrislerin Cümlesi,
matrislerde çarpma işlemine göre oluşturduğu gruba Katı Cisimlerin Özel Ortogonal
Matris Lie Grubu denir ve bu Lie grubuna karşılık gelen Lie cebiri
se(n ) =
{w wòR nn ++ 11, wT
= - w}
şekilde tanımlanır (Karger ve Novak 1979).
2.7 3-Boyutlu Lorenz Uzayı
Tanım 2.7.1
R3 üzerinde
,
L
:
3
×
3

→
3
r r
r r
(u , v) 
→ u, v
ile tanımlı ,
L
L
= −u1v1 + u2 v2 + u3v3
metrik tensörünü ele alalım. Bu durumda
(
3
, ,
L
) ikilisine 3-boyutlu
Lorenz Uzayı adı verilir ve E13 ile gösterilir (O’neill, 1983).
Tanım 2.7.2
V , sonlu boyutlu reel vektör uzayı olmak üzere,
, :V × V →
bilineer fonksiyonu ∀v, w ∈ V için v, w = w, v
özelliğini sağlıyor ise
üzerinde bir simetrik bilineer form denir (O’neill 1983).
Tanım 2.7.3
V , vektör uzayı üzerinde bir simetrik bilineer form
,
olsun. Bu taktirde,
i-) ∀v ∈ V , (v ≠ 0) için v, v > 0 ise
,
bilineer formuna pozitif tanımlı,
ii-) ∀v ∈ V , (v ≠ 0) için v, v < 0 ise
,
bilineer formuna negatif tanımlı,
18
, ’ye V
iii-) ∀v ∈ V , (v ≠ 0) için v, v ≥ 0 ise
,
bilineer formuna semi- pozitif tanımlı,
iv-) ∀v ∈ V , (v ≠ 0) için v, v ≤ 0 ise
,
bilineer formuna semi-negatif tanımlı,
v-) ∀w ∈ V için v, w = 0 için v = 0 oluyorsa
,
bilineer formuna non-dejenere,
v ≠ 0 ise dejenere adı verilir (O’neill, 1983).
Tanım 2.7.4
3
üzerinde Lorenz metriğinin tanımlanmasıyla meydana gelen
{
3
, ,
}
ikilisine 3-
boyutlu Lorenz uzayı denir ve IL3 İle gösterilir (O’neill 1983).
Tanım 2.7.5
r
X = ( x1 , x2 , x3 ) ∈ IL3 olsun. Eğer
r r
r
i-) X , X < 0 ise X ’ e time-like vektör,
r r
r
ii-) X , X > 0 ise X ’ e space-like vektör,
r r
r r
r
iii-) X , X = 0 ve X ≠ 0 ise X ’ e null vektör adı verilir
(O’neill 1983).
Tanım 2.7.6
r r
r r
r
r
IL3 , 3-boyutlu Lorenz uzayı ve X , Y ∈ IL3 olsun. X , Y = 0 ise X ve Y vektörleri
Lorenz anlamında diktirler denir (O’neill 1983).
Tanım 2.7.7
r
r
X ∈ IL3 için X ‘ in normu
r
X
L
r r
X, X
=
olarak tanımlanır (O’neill 1983).
Tanım 2.7.8
r
X ∈ IL3 olmak üzere,
r
i-) X > 0 dır,
L
19
r
ii-) X
L
r
= 0 ⇔ X bir null vektördür,
r
r
iii-) X bir time-like vektör ise X
r
r
iv-) X bir space-like vektör ise X
2
L
r r
= − X, X ,
2
L
r r
= X , X dir
(O’neill 1983).
Tanım 2.7.9
IL3 Lorenz uzayında A−1 = ε AT ε eşitliğini sağlayan A matrisine Lorenz anlamda
 −1 0 0 
ortogonal matris denir. Burada ε işaret matrisidir, yani ε =  0 1 0  dir (O’neill
 0 0 1 
1983).
Tanım 2.7.10
S T = −ε S ε eşitliğini sağlayan S matrisine Lorenz anlamda anti-simetrik matris
denir (O’neill 1983).
Tanım 2.7.11
r
r
IL3 Lorenz uzayında iki vektör v = (v1 , v2 , v3 ) ve w = ( w1 , w2 , w3 ) olmak üzere
(v3 w2 − v2 w3 , v3 w1 − v1w3 , v1w2 − v2 w1 )
vektörüne v ve w nın vektörel çarpımı denir.
1, i = j ise
0, i ≠ j ise
δ ij = 
ve
r
ei = (δ i1 , δ i 2δ i 3 )
olmak üzere
r
 −e1
r r
v ∧ w = det  v1
 w1
biçiminde tanımlanır (O’neill 1983).
20
r
e2
v2
w2
r
e3 
v3 
w3 
3. LİNEER VEKTÖR ALANLARI
Bu bölümde ilk önce; hareket, 1-parametreli hareket, homotetik hareket, 1-parametreli
homotetik hareket kavramları verilmiştir. Daha sonra lineer vektör alanları verilerek
spiral vektör alanları ve spiral vektör alanlarının integral eğrileri tanıtılmıştır. Bu
integral eğrilerinin ani hareketler ve homotetik hareketler arasındaki ilişkisi verilmiştir.
Spiral vektör alanlarının özel halinin helisel vektör alanları olduğu belirtilmiştir.
Tanım 3.1 En n-boyutlu Öklid uzayında bir sabit uzay H , hareketli uzay H 0 olmak
üzere, H 0 ın H ye göre H 0 / H hareketi
y : En 
→ En
x 
→ y( x ) = ax + c
şeklindeki y izometrisi ile tanımlıdır ve bu hareketin matris gösterimi
 y  a c   x 
 1  =  0 1 1 
  
 
olarak yazılabilir. Burada, a ∈ SO(n) ve c ∈
n
1
(3.1)
dir.
Tanım 3.2 En n-boyutlu Öklid uzayında J ⊂
bir açık aralık ve t ∈ J olmak üzere
f t : En 
→ En
x 
→ f t ( x ) = y(t ) = a(t )x + c(t )
ile tanımlı dönüşüme En de bir parametreli hareket denir ve bu hareketin matris
gösterimi
 y (t )   a (t ) c(t )   x 
 1 = 0
1   1 

 
dir. Burada, a (t ) ∈ SO(n) ve c(t ) ∈
n
1
dir.
Tanım 3.3 En n-boyutlu Öklid uzayında h ∈
+
olmak üzere
y : En 
→ En
x 
→ y( x ) = ( ha)x + c
21
(3.2)
ile tanımlı dönüşüme En de bir homotetik hareket denir ve bu hareketin matris
gösterimi
 y   ha c   x 
 1  =  0 1  1 
  
 
dir. Burada, a ∈ SO(n) ve c ∈
n
1
(3.3)
dir.
Tanım 3.4 En n-boyutlu Öklid uzayında J ⊂
bir açık aralık ve t ∈ J olmak üzere
f t : En 
→ En
x 
→ f t ( x ) = y(t ) = h(t )a(t )x + c(t )
ile tanımlı dönüşüme En de bir parametreli homotetik hareket denir ve bu hareketin
matris gösterimi
 y (t )   h(t )a (t ) c(t )   x 
 1 = 0
1   1 

 
dir. Burada, h(t ) ∈
+
, a(t ) ∈ SO(n) ve c(t ) ∈
n
1
(3.4)
dir.
3.1 E3 de Helisel Vektör Alanı
Bu bölümde 1-parametreli hareketlerin Lie grubu ve Lie cebirini inceleyerek helisel
vektör alanını tanımlayacağız. Ayrıca aldığımız bir helisel vektör alanının integral
eğrisini inceleyeceğiz
E3 3-boyutlu Öklid uzayında J ⊂
bir açık aralık ve t ∈ J olmak üzere,
y (t ) = a (t ) x + c(t )
ile tanımlı E3 de 1-parametreli hareketi alalım. Bu hareketin matris gösterimi
 y (t )   a (t ) c(t )   x 
 1 = 0
1   1 

 14243

A(t )
dir. Burada, a(t ) ∈ SO(3) ve c(t ) ∈
3
1
dir.
A(t ) formundaki 1-parametreli matrislerin cümlesi
ìï
éa (t ) c(t ) ù
ïü
ú, a (t ) Î SO (3), c(t ) Î R 3 ïı
SE (3) = ïí A (t ) A (t ) = êê
1
ïï
ïï
1 úú
êë 0
î
û
ş
22
(3.5)
olup matrislerde çarpma işlemine göre bir Matris Lie grubunu oluşturur ve bu gruba
 a(t ) c(t )
karşılık gelen Lie cebirini se(3) ile gösterirsek A(t ) = 
 ∈ SE(3) için
0
1


éa - 1(t ) - a - 1(t )c(t ) ù
ú, a(t ) Î SO (3)
A - 1(t ) = êê
ú
0
1
ëê
ûú
éaT (t ) - aT (t )c(t ) ù
ú
= êê
ú
0
1
ëê
ûú
ve
·
é·
ù
êa (t ) c(t ) ú
ú
A (t ) = ê
ê0
0 úú
êë
û
·
olup
·
·
é·
ù
êa (t )aT (t ) - a (t )aT (t )c(t ) + c(t ) ú
ú
A (t )A (t ) = ê
ê 0
ú
0
êë
úû
éW v ù
ú
= êê
ú
0
0
ëê
ûú
·
- 1
·
olarak elde ederiz. Burada W= a(t )aT (t ) olup WT = - W olduğundan bir anti-simetrik
·
·
matris ve v = c(t ) - a(t )aT (t )c(t ) dir. Bu durumda, se(3) Lie cebirini
ìï éW v ù
ïü
ú : WÎ R 3 , WT = - W, v Î R 3 ïı
se(3) = ïí êê
3
1
ïï ê0 0 úú
ïï
îë
û
ş
olarak yazabiliriz. Ayrıca se(3) Lie cebirinin elemanları ile helisel vektör alanları
birebir eşlenirler.
Tanım 3.1.1
4
4
de
ìï éW v ù
ïü
ú : WÎ R 3 , WT = - W, v Î R 3 ïı
se(3) = ïí êê
3
1
ïï ê0 0 úú
ïï
îë
û
ş
ile tanımlı cümlesinin elemanlarının oluşturduğu lineer vektör alanına helisel vektör
alanı denir.
23
Ani hareket altında bir noktanın yörüngesi, lineer vektör alanının integral eğrisidir.
éW(t ) v (t ) ù
ê
ú Î se(3) matris kümesinde t = t için Ω(t ) = Ω ve v (t ) = v olarak alırsak
0
0
0
ê 0
ú
0
úû
ëê
éW v ù
ê
ú
ê0 0 ú matrisi yardımıyla lineer vektör alanını tanımlayabiliriz. Tanım 2.3.9 a göre
úû
ëê
éW v ù
ú ve v =
A = êê
ú
0
0
êë
úû
3
alınırsa X lineer vektör alanını
X :
3
→
3
P → X ( P) = AP
Ω v   P 
=
 
 0 0  1 
 ΩP + v 
=

 0 
şeklinde ifade edebiliriz. Şimdi bu lineer vektör alanının integral eğrisini t = 0 için
y (0) = P = x başlangıç şartı altında bulalım.
·
y = Wy + v
sabit katsayılı matris diferensiyel denkleminin y (0) = P = x başlangıç koşulu altındaki
çözümü
t
Wt
y (t ) = e x + ò e W(t - s )vds
0
= e Wt x - e Wt v W- 1e - Wt + e Wt v W- 1
= e Wt x - (144444442
e Wt ve - Wt 4444444
+ e Wt v 3) W- 1
(3.1.2)
l
= e Wt x - l W- 1
= e Wt x + l W
= e Wt x + S (t )
olarak elde edilir.
Sonuç olarak x in yörüngesi olan y (t ) eğrisi bir helis belirtir. Çünkü x , W etrafında
dönmüş ve W boyunca ötelenmiştir. Bu sonuçtan dolayı X vektör alanına helisel
vektör alanı denir.
24
Helisel vektör alanları ile 1-parametreli hareketlerin Lie cebirinin elemanları eşleşebilir.
Dolayısıyla bunlar yardımı ile 1-parametreli hareketleri elde ederiz. Bu 1-parametreli
hareketlerin yörüngelerini şu teoremle verebiliriz.
Teorem 3.1.1 E3 de bir lineer vektör alanı X , bir anti-simetrik matris Ω ∈
kolon matrisi v ∈
3
1
3
3
ve bir
olsun. O halde X in E3 de bir {O; u1 , u2 , u3 } ortonormal çatısına
göre matrisi
éW v ù
ù
ê
ú é
ê0 0 ú @ êëW v úû
úû
ëê
olmak üzere
1. rank [ Ω v ] = 3 ise X in integral eğrileri, ortak eksenli aynı parametreli, dairesel
helis eğrileridir.
2.
rank [ Ω v ] = 2 ise X in integral eğrileri, paralel düzlemlere dik olan bir eksen
üzerinde bulunan çemberlerdir.
3. rank [ Ω v ] = 1 ise X in integral eğrileri paralel doğrulardır
(Abolfazl 1989).
İspat:
E3 de bir lineer vektör alanı X , bir anti-simetrik matris Ω ∈
v∈
3
1
3
3
ve bir kolon matrisi
olsun. O halde X in E3 de bir {O; u1 , u2 , u3 } ortonormal çatısına göre matrisi
Ω v 
X =

 0 o
 0 −λ
λ 0
=
0 0

0 0
0
0
0
0
a
b 
c

0
şeklinde yazılabilir.
1. rank [ Ω v ] = 3 olmak üzere, X lineer vektör alanını ∀P = ( x, y, z ) ∈ E 3 için
25
 X ( P)  Ω v   P 
 0  =  0 o  1 

 
 
 0 λ 0 a  x
 −λ 0 0 b   y 
 
=
 0 0 0 c z

 
 0 0 0 0 1 
yada
X ( P) = (λ y + a, −λ x + b, c)
olarak yazılabilir. Diğer yandan, E 3 de
α :I ⊂
t

→ E3

→ α (t) = (α1 (t ), α 2 (t ), α 3 (t ))
eğrisini ele alalım. α nın X lineer vektör alanının integral eğrisi olabilmesi için
dα
= X (α (t ))
dt
diferensiyel
denklemini
sağlaması
gerekir.
Bu
diferensiyel
denkleminin
∀α (t ) = P = ( x, y, z ) ∈ E 3 için çözümünü X (P) = (λ y + a, −λ x + b, c) alarak aşağıdaki
şekilde çözebiliriz.
 dα1
 dt = λα 2 + a

 dα 2
= −λα1 + b

 dt
 dα 3
 dt = α 3

diferensiyel denklem sistemidir. Bu denklem sistemini basitleştirmek amacıyla λ = 1
almamız genelliği bozmaz. Bu durumda X in integral eğrisi
α (t ) = ( A sin t − B cos t + b, A cos t + B sin t − a, ct + d )
şeklinde elde edilir. Buradan, α (t ) integral eğrileri ∀A, B ∈
için ortak eksenli aynı
parametreli, dairesel helis eğrileridir.
2. rank [ Ω v ] = 2 olduğunda c = 0 ve λ ≠ 0 olmalıdır. Bu durumda X lineer vektör
alanı
26
X ( P) = (λ y + a, −λ x + b, 0)
yada X e karşılık gelen matris
0 λ
 −λ 0

0 0

0 0
0 a
0 b 
0 0

0 0
şeklinde olmalıdır. Diğer yandan, E 3 de
α :I ⊂
t

→ E3

→ α (t) = (α1 (t ), α 2 (t ), α 3 (t ))
eğrisini ele alalım. α nın X lineer vektör alanının integral eğrisi olabilmesi için
dα
= X (α (t ))
dt
diferensiyel
denklemini
sağlaması
gerekir.
Bu
diferensiyel
denkleminin
∀P = ( x, y, z ) ∈ E 3 için α (t ) = P ve X ( P) = (λ y + a, −λ x + b, 0) ise integral eğrisi
dα
= X ( P)
dt
diferensiyel denkleminin çözüm eğrisidir. Yani,
 dα1
 dt = λα 2 + a

 dα 2
= −λα1 + b

dt

 dα 3
 dt = 0

diferensiyel denklem sistemidir. Bu denklem sistemini basitleştirmek amacıyla λ = 1
almamız genelliği bozmaz. Bu durumda X in integral eğrisi
α (t ) = ( A sin t − B cos t + b, A cos t + B sin t − a, d )
şeklinde elde edilir. Buradan, α (t ) integral eğrileri ∀A, B ∈
için paralel düzlemlere
dik olan bir eksen üzerinde bulunan çemberlerdir.
3. rank [ Ω v ] = 1 olduğunda λ = 0 olmalıdır. Bu durumda X lineer vektör alanı
X ( P ) = ( a , b, c )
yada X e karşılık gelen matris
27
0
0

0

0
0 0 a
0 0 b 
0 0 c

0 0 1
şeklinde olmalıdır. Diğer yandan, E 3 de
α :I ⊂
t

→ E3

→ α (t) = (α1 (t ), α 2 (t ), α 3 (t ))
eğrisini ele alalım. α nın X lineer vektör alanının integral eğrisi olabilmesi için
dα
= X (α (t ))
dt
diferensiyel
denklemini
sağlaması
gerekir.
Bu
diferensiyel
denkleminin
∀P = ( x, y, z ) ∈ E 3 için α (t ) = P ve X ( P) = (a, b, c) ise integral eğrisi
dα
= X ( P)
dt
diferensiyel denkleminin çözüm eğrisidir. Yani,
 dα1
 dt = a

 dα 2
=b

dt

 dα 3
 dt = 0

diferensiyel denklem sistemidir. Böylece X in integral eğrisi
α (t ) = (at + d1 , bt + d 2 , ct + d3 )
şeklinde elde edilir. Buradan, α (t ) integral eğrileri paralel doğrulardır □
3.2 E3 Öklid Uzayında Spiral Vektör Alanları
Bu bölümde bir parametreli homotetik hareketlerin Lie grubu ve Lie cebirini
inceleyerek spiral vektör alanını tanımlayacağız. Ayrıca aldığımız bir spiral vektör
alanının integral eğrisini inceleyeceğiz.
28
E3 n-boyutlu Öklid uzayında J ⊂
bir açık aralık ve t ∈ J olmak üzere
f t : E3 
→ E3
x 
→ f t ( x ) = y(t ) = h(t )a(t )x + c(t )
(3.7)
ile tanımlı E3 de bir parametreli homotetik hareketi ele alalım. Bu homotetik hareketin
matris gösterimi
 y (t )   h(t )a (t ) c(t )   x 
 1 = 0
1  1 

 144

2443  
B (t )
dir. Burada, h(t ) ∈
+
, a(t ) ∈ SO(3) ve c(t ) ∈
3
1
dir.
B(t ) formundaki 1-parametreli matrislerin cümlesi
ìï
éh (t )a (t ) c(t ) ù
ïü
ú, a (t )òSO (3), h (t )òR + , c(t )òR 3 ïı
SD (3) = ïí B (t ): B (t ) = êê
1
ïï
ïï
1 úú
êë 0
î
û
ş
olup matrislerde çarpma işlemine göre bir Matris Lie grubunu oluşturur ve bu gruba
 h(t )a(t ) c(t )
karşılık gelen Lie cebirini sd (3) ile gösterirsek B(t ) = 
∈ SD(3) için
1 
 0
é 1 a - 1(t ) - 1 a - 1(t )c(t ) ù
ú,
h (t )
B - 1(t ) = êêh (t )
ú
0
1
êë
úû
é 1 aT (t ) - 1 aT (t )c(t ) ù
ú
h (t )
= êêh (t )
ú
0
1
ëê
ûú
a Î SO (3)
ve
·
·
é·
ù
êh (t )a (t ) + h (t ) a(t ) c(t ) ú
ú
B (t ) = ê
ê
ú
0
0
êë
úû
·
olup
·
é·
ù
·
·
·
êh (t )
ú
h
(
t
)
T
T
T
T
ê
ú
- 1
a
(
t
)
a
+
a
(
t
)
a
(
t
)
a
(
t
)
a
(
t
)
c
(
t
)
a
(
t
)
a
(
t
)
c
(
t
)
+
c
(
t
)
B (t )B (t ) = ê
ú
h
(
t
)
h
(
t
)
ê
ú
ê
ú
0
0
ëê
ûú
·
29
·
é·
ù
·
·
·
êh (t )
ú
h
(
t
)
T
T
ê
ú
- 1
I
+
a
(
t
)
a
(
t
)
c
(
t
)
a
(
t
)
a
(
t
)
c
(
t
)
+
c
(
t
)
B (t )B (t ) = ê
3
ú
h
(
t
)
h
(
t
)
ê
ú
ê
ú
0
0
êë
úû
ég (t )I 3 + W(t ) c (t ) ù
ú
= êê
ú
0
0
êë
úû
·
·
·
h(t )
olarak elde ederiz. Burada g(t ) =
, W= a(t )aT (t ) olup 3 ´ 3 tipinde bir antih(t )
·
·
simetrik matris ve c (t ) = - g (t )c(t ) - a(t )aT (t )c(t ) + c(t ) dir. Bu durumda, sd (3) Lie
cebirini
ìï ég (t )I 3 + W(t ) c (t ) ù
ïü
ú : WÎ ¡ 3 , WT = - W, c òR 3, g Î ¡ ïı
sd (3) = ïí êê
3
1
ïï ê
ïï
0
0 úú
îë
û
ş
olarak yazabiliriz. Ayrıca se(3) Lie cebirinin elemanları ile spiral vektör alanları birebir
eşlenirler.
Tanım 3.2.1
4
4
de
ìï ég I + W c ù
ïü
ú : WÎ ¡ 3 , WT = - W, c òR 3, g Î ¡ ïı
sd (3) = ïí êê 3
3
1
ïï ê 0
ïï
0 úú
îë
û
ş
ile tanımlı cümlesinin elemanlarının oluşturduğu lineer vektör alanına spiral vektör
alanı denir.
Ani homotetik hareket altında bir noktanın yörüngesi, lineer vektör alanının integral
eğrisidir.
ég (t )I 3 + W(t ) c (t ) ù
ê
ú Î sd (3) matris kümesinde t = t için γ (t ) I + Ω(t ) = D ve
0
0
3
0
ê
ú
0
0
êë
úû
c (t0 ) = c
olarak
alırsak
éD c ù
ê
ú
ê0 0 ú matrisi
úû
ëê
yardımıyla
éD c ù
ú ve v =
tanımlayabiliriz. Tanım 2.3.9 a göre A = êê
ú
0
0
úû
ëê
30
lineer
3
vektör
alanını
alınırsa Y lineer vektör
alanını
Y :
3
→
3
Q → Y (Q) = AQ
 D c  Q   DQ + c 
=
  =

 0 0  1   0 
şeklinde ifade edebiliriz. Şimdi bu lineer vektör alanının integral eğrisini t = 0 için
y (0) = Q = x başlangıç şartı altında bulalım.
·
y = Dy + c
sabit katsayılı matris diferensiyel denkleminin y (0) = Q = x başlangıç koşulu altındaki
çözümü
t
y (t ) = e Dt x + ò e D (t - s )cds
0
= e x + e Dt D - 1c - e Dt D - 1e - Dt c
Dt
= e Dt x + K (t )
olarak elde edilir.
e Dt = e
0
0 
γ ( t )
 0
γ ( t ) 0 

γ ( t )
0
 0
.eΩt
= eγ (t ) I 3 . eΩt 
y (t ) = [ h(t )a(t )] x + K (t ) şeklinde bir
y (t ) = e Dt x + K (t ) ifadesinin
olduğundan
homotetik hareket belirttiğini söyleyebiliriz. Sonuç olarak x in yörüngesi olan y (t )
eğrisi bir spiral belirtir. Bu sonuçtan dolayı X vektör alanına spiral vektör alanı denir.
·
·
·
T
·
T
Ayrıca v = c- a a c ve c = - gc - a a c + c olduğunu biliyoruz. Buna göre
y (t ) = e Dt x + e Dt D - 1c - e Dt D - 1e - Dt c
y (t ) = e ( g I 3 + W)t x + e ( g I 3 + W)t ( g I 3 + W)- 1c - e ( g I 3 + W)t ( g I 3 + W)- 1e - ( g I 3 + W)t
ifadesinde g = 0 alırsak y (t )= e Wt x - e Wt v W- 1e - Wt + e Wt v W- 1 ifadesini elde ederiz ki
bu ifade (3.6) den dolayı y (t ) eğrisinin bir helis eğrisi olduğunu söyler. Bu durumda
spiral vektör alanları helisel vektör alanlarının bir genel halidir diyebiliriz.
31
·
y 1(t )
Şekil 3.1 Ani Homotetik Hareket
Spiral vektör alanları ile 1-parametreli homotetik hareketin Lie cebirinin elemanları
eşleşebilir. Dolayısıyla bunlar yardımı ile 1-parametreli homotetik hareketleri elde
ederiz. Bu durumda 1-parametreli homotetik hareketlerin yörüngelerini aşağıdaki
teoremle verebiliriz.
Teorem 3.2.1 E3 de bir lineer vektör alanı Y , bir anti-simetrik matris Ω ∈
kolon matrisi c ∈
3
1
olsun. O halde Y nin E3 de bir
{O ; u1, u 2, u 3 }
3
3
ve bir
ortonormal
çatısına göre matrisi
ég I + W c ù
ê 3
ú @ ég I + W c ù
úû
ê 0
ú ëê 3
0
úû
ëê
olmak üzere
1. g = 0 ise, bu durumda hareket bir katı cisim hareketidir.
i. rank éêg I 3 + W c ùú = 3 ise Y nin integral eğrileri, ortak eksenli aynı parametreli,
ë
û
helis eğrileridir.
ii. rank éêg I 3 + W c ùú = 2 ise Y nin integral eğrileri, paralel düzlemlerde kalan ve
ë
û
merkezleri bu paralel düzlemlere dik olan bir eksen üzerinde bulunan çemberlerdir.
iii. rank éêg I 3 + W c ùú = 1 ise, Y nin integral eğrileri, paralel doğrulardır
ë
û
(Karger, Novak).
32
2. g ¹ 0 ve rank éêg I 3 + W c ùú = 3 ise integral eğrileri spiral eğrilerdir.
ë
û
·
Burada, h(t ) ∈
Örnek
3.2.1
+
,
h (t )
h (t )
E3 de
é 0 1 0ù
ê
ú
W= êê- 1 0 0 úú Î ¡
ê 0 0 0ú
êë
úû
= g (t ) ve Ω = a aT dır.
bir
lineer
vektör
Y,
alanı
bir
anti-simetrik
é0 ù
ê ú
3
ê0 ú Î ¡ 3 , h = e t ve
,
bir
kolon
matrisi
c
=
3
1
ê ú
ê1 ú
ëê ûú
matris
·
h (t )
h (t )
= g = 1
olmak üzere,
é1
ê
ég I 3 + W c ù ê- 1
ú= ê
Y = êê
ú ê0
0
0
ëê
ûú ê
ê0
êë
1 0 0ù
ú
1 0 0 úú
0 1 1 úú
0 0 0 úú
û
dir.
¥
e tY = å
n= 0
(tY )n
n!
= I + tY +
t2 2
Y
2!
+
t3 3
Y
3!
+
t4
Y4
4!
olduğundan dolayı,
etY
é1 + t - 2t 3 - 4t 4 + ... - t - 2t 2 - 2t 3 - ...
ê
3!
4!
2!
3!
3
4
ê
2t 3
2t 3
1 + t - 23t ! - 44t !
ê t + 2 ! + 3 ! + ...
= ê
ê
0
0
ê
ê
0
0
ë
- it
1 t it
é 1 e t (e - it + e it )
ie (e - e ) 0
ê 2
2
ê- 1 iet (e it - e - it ) 1 et (e - it + e it ) 0
2
= êê 2
0
0
et et
ê
ê
ê
0
0
0
ë
ée t cos t - e t sin t 0
ù
0 ú é cos t
ê
ê
êe t sin t e t cos t 0
0 úú êê t sin t
ê
= ê
ú = êe
0
0
et et - 1 ú ê
ê 0
ê
ú ê
0
ê 0
0
0
1 ú êë
ë
û
ù
ú
ú
0
0
ú
ú
t2
t3
t4
t2
t3
t4
1 + t + 2! + 3! + 4 ! + ... t + 2! + 3! + 4 ! + ... ú
ú
ú
0
1
û
ù
0 ú
0 úú
ú
- 1ú
ú
1 ú
û
- sin t 0 0 ùú
cos t 0 0 úú
0
1 e t - 1 úú
0
0 1 úú
û
0
0
olarak bulunur. e tY ile 1-parametreli homotetik hareket tanımlanabilir. Bu harekette bir
noktanın yörüngesi spiral eğri belirtir.
33
3.3 En Öklid Uzayında Spiral Vektör Alanları
Bu bölümde ilk önce En Öklid uzayında bir parametreli homotetik hareketlerin Lie
grubu ve Lie cebirini inceleyerek spiral vektör alanını tanımlayacağız. Ayrıca aldığımız
bir spiral vektör alanının integral eğrisini inceleyeceğiz.
En n-boyutlu Öklid uzay, J ⊂
bir açık aralık ve t ∈ J olmak üzere
f t : En 
→ En
x 
→ f t ( x ) = y(t ) = h(t )a(t )x + c(t )
(3.8)
ile tanımlı En de bir parametreli homotetik hareketi ele alalım. Bu homotetik hareketin
matris gösterimi
 y (t )   h(t )a (t ) c(t )   x 
 1 = 0
1  1 

 144

2443  
B (t )
dir. Burada, h(t ) ∈
+
, a(t ) ∈ SO(n) ve c(t ) ∈
n
1
dir.
B(t ) formundaki 1-parametreli matrislerin cümlesi
éh (t )a (t ) c(t ) ù
ïì
ïü
ú, a (t ) Î SO (n ), h (t ) Î R + , c(t ) Î R n ïı
SD (n ) = ïí B (t ): B (t ) = êê
1
ïï
ïï
1 úú
êë 0
î
û
ş
olup matrislerde çarpma işlemine göre bir Matris Lie grubunu oluşturur ve bu gruba
éh (t )a (t ) c(t ) ù
ú Î SD (n ) için
karşılık gelen Lie cebirini sd (n ) ile gösterirsek B (t ) = êê
ú
0
1
úû
ëê
B
- 1
é 1 a - 1(t ) - 1 a - 1(t )c(t ) ù
ú,
h (t )
(t ) = êêh (t )
ú
0
1
êë
úû
é 1 aT (t ) - 1 aT (t )c(t ) ù
ú
h (t )
= êêh (t )
ú
0
1
ëê
ûú
a Î SO (n )
ve
·
·
é·
ù
êh (t )a (t ) + h (t ) a (t ) c(t ) ú
ú
B (t ) = ê
ê
0
0 úú
êë
û
·
olup
34
·
é·
ù
·
·
·
êh (t )
ú
h
(
t
)
T
T
T
T
ê
ú
- 1
a
(
t
)
a
+
a
(
t
)
a
(
t
)
a
(
t
)
a
c
(
t
)
a
(
t
)
a
(
t
)
c
(
t
)
+
c
(
t
)
B (t )B (t ) = ê
ú
h
(
t
)
h
(
t
)
ê
ú
ê
ú
0
0
ëê
ûú
·
é·
ù
·
·
·
êh (t )
ú
h (t )
T
T
ê
ú
I
+
a
(
t
)
a
(
t
)
c
(
t
)
a
(
t
)
a
(
t
)
c
(
t
)
+
c
(
t
)
= ê
n
ú
h
(
t
)
h
(
t
)
ê
ú
ê
ú
0
0
êë
úû
ég (t )I n + W(t ) c (t ) ù
ú
= êê
ú
0
0
êë
úû
·
·
·
h(t )
olarak elde ederiz. Burada g(t ) =
, W= a(t )aT (t ) olup n ´ n
h(t )
·
tipinde bir anti-
·
simetrik matris ve c (t ) = - g (t )c(t ) - a(t )aT (t )c(t ) + c(t ) dir. Bu durumda, sd (n ) Lie
cebirini
ìï ég (t )I n + W(t ) c (t ) ù
ïü
ú : WÎ ¡ n , WT = - W, c òR n , g Î ¡ ïı
sd (n ) = ïí êê
1
n
ïï ê
ïï
0
0 úú
îë
û
ş
olarak yazabiliriz. Ayrıca sd (n ) Lie cebirinin elemanları ile spiral vektör alanları
birebir eşlenirler.
Tanım 3.3.1
n+1
n+1
de
ìï ég I + W c ù
ïü
ú : WÎ ¡ n , WT = - W, c òR n , g Î ¡ ïı
sd (n ) = ïí êê n
n
1
ïï ê 0
ïï
0 úú
îë
û
ş
ile tanımlı cümlesinin elemanlarının oluşturduğu lineer vektör alanına spiral vektör
alanı denir.
Ani homotetik hareket altında bir noktanın yörüngesi, lineer vektör alanının integral
eğrisidir.
ég (t )I n + W(t ) c (t ) ù
ê
ú Î sd (n ) matris kümesinde t = t için γ (t ) I + Ω(t ) = D ve
0
0
n
0
ê
ú
0
0
êë
úû
c (t0 ) = c
olarak
alırsak
éD c ù
ê
ú
ê0 0 ú matrisi
úû
ëê
35
yardımıyla
lineer
vektör
alanını
éD c ù
ú ve v =
tanımlayabiliriz. Tanım 2.3.9 a göre A = êê
ú
0
0
úû
ëê
n
alınırsa Y lineer vektör
alanını
Y :
n
→
n
Q → Y (Q) = AQ
 D c  Q   DQ + c 
=
  =

 0 0  1   0 
şeklinde ifade edebiliriz. Şimdi bu lineer vektör alanının integral eğrisini t = 0 için
y (0) = Q = x başlangıç şartı altında bulalım.
·
y = Dy + c
sabit katsayılı matris diferensiyel denkleminin y (0) = Q = x başlangıç koşulu altındaki
çözümü
t
y (t ) = e x + ò e D (t - s )cds
Dt
0
= e Dt x + e Dt D - 1c - e Dt D - 1e - Dt c
= e Dt x + K (t )
olarak elde edilir.
e Dt = e
0
0 
γ ( t )
 0
γ
(
t
)
0 

 0
γ ( t )
0
.eΩt
= eγ (t ) I n . eΩt 
y (t ) = e Dt x + K (t ) ifadesinin
olduğundan
y (t ) = [ h(t )a(t )] x + K (t ) şeklinde bir
homotetik hareket belirttiğini söyleyebiliriz. Sonuç olarak x in yörüngesi olan y (t )
eğrisi bir spiral belirtir. Bu sonuçtan dolayı X vektör alanına spiral vektör alanı denir.
·
·
·
·
Ayrıca v = c- a aT c ve c = - gc - a aT c + c olduğunu biliyoruz. Buna göre
y (t ) = e Dt x + e Dt D - 1c - e Dt D - 1e - Dt c
y (t ) = e ( g I n + W)t x + e ( g I n + W)t ( g I n + W)- 1c - e ( g I n + W)t ( g I n + W)- 1e - ( g I n + W)t
ifadesinde g = 0 alırsak y (t )= e Wt x - e Wt v W- 1e - Wt + e Wt v W- 1 ifadesini elde ederiz ki
bu ifade (3.6) den dolayı y (t ) eğrisinin bir helis eğrisi olduğunu söyler. Bu durumda
spiral vektör alanları helisel vektör alanlarının bir genel halidir diyebiliriz.
36
Spiral vektör alanları ile 1-parametreli homotetik hareketin Lie cebirinin elemanları
eşleşebilir. Dolayısıyla bunlar yardımı ile 1-parametreli homotetik hareketleri elde
ederiz. Bu 1-parametreli homotetik hareketlerin yörüngelerini aşağıdaki teoremle
verebiliriz.
Teorem 3.3.1 E n de bir lineer vektör alanı Y , bir anti-simetrik matris Ω ∈
kolon matrisi c ∈
çatısına
göre
n
1
n
n
ve bir
olsun. O halde Y in E n de bir {O ; u1, u 2 ,..., un } ortonormal
matrisi
ég I + W c ù
ú
Y = êê n
ú
0
0
úû
ëê
olmak
üzere
g ¹ 0
rank éêg I n + W c ùú = n ise Y nin integral eğrileri spiral eğrilerdir.
ë
û
·
·
·
h(t )
c(t ) - a(t )aT (t )c(t ) ,
Burada, a(t ) ∈ SO(n) , h(t ) ∈ + , c(t ) ∈ n1 , c (t ) = c(t ) h(t )
·
·
h(t )
g(t ) =
ve W(t ) = a(t )aT (t ) dir.
h(t )
37
ve
4. LORENZ UZAYINDA LİNEER VEKTÖR ALANLARI
Bu bölümde; Lorenz uzayı için, 1-parametreli hareket ve 1-parametreli homotetik
hareket kavramları verilmiştir. Lorenz uzayında ani homotetik hareketlerin hız
vektörleri incelenmiştir. Daha sonra lineer vektör alanları verilerek Lorenz uzayında
spiral vektör alanları ve spiral vektör alanlarının integral eğrileri tanıtılmıştır. Bu
integral eğrilerinin ani hareketler ile homotetik hareketler arasındaki ilişkisi verilmiştir.
4.1 E13 Lorenz Uzayında Helisel Vektör Alanları
Bu bölümde E13 Lorenz uzayında bir parametreli hareketlerin Lie grubu ve Lie cebirini
inceleyerek helisel vektör alanını tanımlayacağız. Ayrıca aldığımız bir helisel vektör
alanının integral eğrisini inceleyeceğiz.
Tanım 4.1.1 R3 üzerinde
,
L
:
3
×
3

→
3
r r
r r
(u , v) 
→ u, v
ile tanımlı ,
L
L
= −u1v1 + u2 v2 + u3v3
metrik tensörünü ele alalım. Bu durumda
(
3
, ,
L
) ikilisine 3-boyutlu
Lorenz Uzayı adı verilir ve E13 ile gösterilir.
Tanım 4.1.2 E13 , 3-boyutlu Lorenz uzayı, J ⊂
bir açık aralık ve t ∈ J olmak üzere
f t : E13 
→ E13
x
¾ ¾ ® ft (x ) = y (t ) = a (t )x + c(t )
(4.1)
ile tanımlı dönüşümüne E13 Lorenz uzayında 1-parametreli hareket denir ve bu
hareketin matris gösterimi,
 y (t )   a (t ) c(t )   x 
 1 = 0
1   1 

 14243

A(t )
dir. Burada c(t ) Î ¡
3
1
ve a (t ) Î SO (3, 1) dir. Ayrıca, a (t ) Î SO (3, 1) olduğundan
38
 −1 0 0 
ε =  0 1 0  olmak üzere aT = ε a−1ε dir.
 0 0 1 
A(t ) formundaki 1-parametreli matrislerin cümlesi

 a(t ) c(t )
SE(3, 1) =  A(t ) A(t ) = 
, a(t ) ∈ SO(3, 1), c(t ) ∈
1 

 0
3
1



olup matrislerde çarpma işlemine göre bir Matris Lie grubunu oluşturur ve bu gruba
 a(t ) c(t )
∈ SE(3, 1) için
karşılık gelen Lie cebirini se(3,1) ile gösterirsek A(t ) = 
1 
 0
A
- 1
éa - 1(t ) - a - 1(t )c(t ) ù
ú
(t ) = êê
ú
0
1
êë
úû
ve
·
é·
ù
êa (t ) c(t ) ú
ú
A (t ) = ê
ê0
0 úú
êë
û
·
olup
·
·
é·
ù
êa (t )a - 1(t ) c(t ) - a (t )a - 1(t )c(t ) ú
ú
A (t )A (t ) = ê
ê
ú
0
0
ëê
ûú
éC u ù
ú
= êê
ú
0
0
ëê
ûú
·
- 1
·
olarak elde ederiz. Burada C = a(t )a - 1(t ) olup Lorenz anlamında bir anti-simetrik
·
·
matris ve u = c(t ) - a(t )a - 1(t )c(t ) dir. Bu durumda, se(3,1) Lie cebirini
ïì éC
se(3,1) = ïí êê
ïï ê0
îë
uù T
ïü
ú :C = - eC e, u Î R 3 ïı
1
ïï
0 úú
û
ş
olarak yazabiliriz. Ayrıca se(3,1) Lie cebirinin elemanları ile helisel vektör alanları
birebir eşlenirler.
39
Tanım 4.1.3
ïì éC
se(3,1) = ïí êê
ïï ê0
îë
uù T
ïü
ú :C = - eC e, u Î R 3 ïı
1
ïï
0 úú
û
ş
ile tanımlı cümlesinin elemanlarının oluşturduğu lineer vektör alanına helisel vektör
alanı denir.
E13 Lorenz uzayında bir parametreli ani hareket altında bir noktanın yörüngesi, lineer
vektör alanının integral eğrisidir.
éC (t ) u (t ) ù
ê
ú Î se(3,1) matris kümesinde t = t için C (t ) = C ve u (t ) = u olarak
0
0
0
ê 0
ú
0
úû
ëê
éC
alırsak êê
0
ëê
uù
ú matrisi yardımıyla lineer vektör alanını tanımlayabiliriz. Tanım 2.3.9 a
0 úú
û
éC
göre A = êê
êë0
uù
ú ve v = E 3 alınırsa X lineer vektör alanını
1
0 úú
û
X : E13 
→ E13
P → X ( P) = AP
C u   P  CP + u 
=
  = 

 0 0 1   0 
şeklinde ifade edebiliriz. Şimdi bu lineer vektör alanının integral eğrisini t = 0 için
y (0) = P = x başlangıç şartı altında bulalım.
·
y = Cy + u
sabit katsayılı matris diferensiyel denkleminin y (0) = P = x başlangıç koşulu altındaki
çözümü
t
y (t ) = eCt x + ò eC (t - s )uds
Ct
0
Ct
= e x - e uC - 1e - Ct + eCt uC Ct
= eCt x - (1444444
eCt ue - 42
- eCt u 3)C 4444444
l
= eCt x + l C
= eCt x + S (t )
40
1
1
(4.2)
olarak elde edilir.
Sonuç olarak x in yörüngesi olan y (t ) eğrisi bir helis belirtir. Çünkü x , C etrafında
dönmüş ve C boyunca ötelenmiştir. Bu sonuçtan dolayı X vektör alanına helisel
vektör alanı denir.
Helisel vektör alanları ile 1-parametreli hareketlerin Lie cebirinini elemanları
eşleşebilir. Dolayısıyla bunlar yardımı ile 1-parametreli (ani) hareketleri elde ederiz.
4.2 E13 Lorenz Uzayında Spiral Vektör Alanları ve İntegral Eğrileri
Bu bölümde E13 Lorenz uzayında 1-parametreli homotetik hareketlerin Lie grubu ve Lie
cebirini inceleyerek spiral vektör alanını tanımlayacağız. Ayrıca aldığımız bir spiral
vektör alanının integral eğrisini inceleyeceğiz.
Tanım 4.2.1 E13 , 3-boyutlu Lorenz uzayında J ⊂
bir açık aralık ve t ∈ J olmak üzere
ft : E 13 ¾ ¾ ® E 13
x
¾ ¾ ® ft (x ) = y (t ) = h(t )a(t )x + c(t )
(4.3)
ile tanımlı dönüşüme E13 Lorenz uzayında 1-parametreli homotetik hareket denir ve
bu hareketin matris gösterimi,
 y (t )   h(t )a (t ) c(t )   x 
 1 = 0
1  1 

 144

2443  
B (t )
dir. Burada c(t ) Î ¡ 31 , h(t ) ∈
+
ve a (t ) Î SO (3, 1) dir. Ayrıca, a (t ) Î SO (3, 1)
 −1 0 0 
olduğundan ε =  0 1 0  olmak üzere aT = ε a−1ε dir.
 0 0 1 
41
B(t ) formundaki 1-parametreli matrislerin cümlesi

 h(t )a(t ) c(t )
SD(3, 1) = B(t ) : B(t ) = 
, a(t ) ∈ SO(3, 1), c(t ) ∈
1 

 0
3
1
,h∈
+



olup matrislerde çarpma işlemine göre bir Matris Lie grubunu oluşturur ve bu gruba
 h(t )a(t ) c(t )
karşılık gelen Lie cebirini sd (3,1) ile gösterirsek B(t ) = 
∈ SD(3, 1) için
1 
 0
é 1 a - 1(t ) B - 1(t ) = êêh (t )
0
êë
1 a - 1(t )c(t ) ù
ú
h (t )
1
ú
úû
ve
•
•
•

h
(
t
)
a
(
t
)
+
h
(
t
)
a
(
t
)
c
(t ) 
B(t ) = 

0
0 
•
olduğundan
•
•

•
•
•
h
t
h
(
)
(t )
−
1
−1

+ a(t )a (t ) −
c(t ) − a(t )a (t )c(t ) + c(t )
B(t )B−1 (t ) =  h(t )

h( t )


0
0


•
γ (t )I 3 + C (t ) r (t )
=
0
0 

 W (t ) r ( t ) 
=
0 
 0
≅ [W r ]
·
elde
edilir.
Burada
h(t )
g(t ) =
,
h(t )
·
·
- 1
r (t ) = - g(t )c(t ) - a(t )a (t )c(t ) + c(t )
ve
·
C = a(t )a - 1(t ) olup Lorenz anlamında bir anti-simetrik matrisdir. Bu durumda,
sd (3,1) Lie cebirini
ìï éW
sd (3, 1) = ïí êê
ïï ê 0
îë
üï
rù
ú : g I + C = W Î ¡ 3 ,C T = - eC e,, r òR 3 , g Î ¡ ïı
3
1
ïï
0 úú 3
û
ş
olarak yazabiliriz. Ayrıca sd (3,1) Lie cebirinin elemanları ile spiral vektör alanları
birebir eşlenirler.
42
Tanım 4.2.2
ïì éW
sd (3, 1) = ïí êê
ïï ê 0
îë
üï
rù
ú : g I + C = W Î ¡ 3 ,C T = - eC e,, r òR 3 , g Î ¡ ïı
3
1
ïï
0 úú 3
û
ş
ile tanımlı cümlesinin elemanlarının oluşturduğu lineer vektör alanına spiral vektör
alanı denir.
E13 Lorenz uzayında bir parametreli ani
homotetik hareket altında bir noktanın
yörüngesi, lineer vektör alanının integral eğrisidir.
éW (t ) r (t ) ù
ê
ú Î sd (3,1) matris kümesinde t = t için W (t ) = W ve r (t ) = r olarak
0
0
0
ê 0
ú
0
êë
úû
éW
alırsak êê
0
ëê
rù
ú matrisi yardımıyla lineer vektör alanını tanımlayabiliriz. Tanım 2.3.9 a
0 úú
û
éW
göre A = êê
êë 0
rù
ú ve v = E 3 alınırsa Y lineer vektör alanını
1
0 úú
û
Y : E13 → E13
Q → Y (Q) = AQ
r  Q  WQ + r 
=
0   1   0 
W
=
0
şeklinde ifade edebiliriz. Şimdi bu lineer vektör alanının integral eğrisini t = 0 için
y (0) = Q = x başlangıç şartı altında bulalım.
·
y = Wy + r
sabit katsayılı matris diferensiyel denkleminin y (0) = Q = x başlangıç koşulu altındaki
çözümü
t
Wt
y (t ) = e x + ò eW (t - s )rds
0
= eW t x + eW tW
- 1
= eW t x + K (t )
olarak elde edilir.
43
r - eW tW
- 1 - Wt
e
r
eWt = e
0
0 
γ ( t )
 0
γ ( t ) 0 

 0
γ ( t ) 
0
.eWt
= eγ (t ) I 3 . eWt 
y (t ) = eW t x + K (t ) ifadesinin
olduğundan
y (t ) = [ h(t )a(t )] x + K (t ) şeklinde bir
homotetik hareket belirttiğini söyleyebiliriz. Sonuç olarak x in yörüngesi olan y (t )
eğrisi bir spiral belirtir. Bu sonuçtan dolayı X vektör alanına spiral vektör alanı denir.
·
Ayrıca
·
·
- 1
u = c(t ) - a(t )a (t )c(t )
·
- 1
r (t ) = - g(t )c(t ) - a(t )a (t )c(t ) + c(t )
ve
olduğunu biliyoruz. Buna göre
y (t ) = eW t x + eW tW
= e
( g I 3 + C )t
- 1
x+e
İfadesinde γ = 0 alırsak
r - eW tW
( g I 3 + C )t
- 1 - Wt
e
r
( g I 3 + C ) r - e ( g I 3 + C )t ( g I 3 + C )- 1e - ( g I 3 + C )t r
- 1
y (t ) = eCt x - eCt uC - 1e - Ct + eCt uC -
1
ifadesini elde ederiz
ki buda bize (4.2) den dolayı elde edilen y (t ) eğrisinin Lorenz uzayında bir helisel
vektör alanı olduğunu gösterir. Bu durumda söyleyebiliriz ki spiral vektör alanları
helisel vektör alanlarının genel bir halidir.
Şekil 4.1 Lorenz Uzayında Ani Homotetik Hareket
Spiral vektör alanları ile 1-parametreli homotetik hareketin Lie cebirinin elemanları
eşleşebilir. Dolayısıyla bunlar yardımı ile 1-parametreli homotetik hareketleri elde
ederiz. Bu durumda 1-parametreli homotetik hareketlerin yörüngelerini aşağıdaki
teoremle verebiliriz.
44
Teorem 4.2.1 E13 de bir lineer vektör alanı Y , Lorenz anlamında bir anti-simetrik
matris C ∈
3
3
ve bir kolon matrisi r ∈
3
1
olsun. O halde Y in E13 de bir
{O ; u1, u 2, u 3 } ortonormal çatısına göre matrisi
ég I + C
Y = êê 3
êë 0
rù
ú=
0 úú
û
éW
ê
ê0
êë
rù
ú
0 úú
û
olmak üzere
1. g = 0 ise, bu durumda hareket bir katı cisim hareketidir;
i.
rank éêW
ë
r ùú = 3 ise Y nin integral eğrileri, ortak eksenli aynı parametreli,
û
Lorenzian helis eğrileridir,
ii. rank éêW
ë
r ùú = 2 ise Y nin integral eğrileri, paralel düzlemlerde kalan ve
û
merkezleri bu paralel düzlemlere dik olan bir eksen üzerinde bulunan Lorenzian
çemberlerdir,
iii. rank éêW
ë
r ùú = 1 ise, Y nin integral eğrileri, Lorenzian paralel doğrulardır
û
(Zafer Ünal 2007).
2. g ¹ 0 ve rank éêW
ë
r ùú = 3 ise integral eğrileri spiral eğrilerdir.
û
·
Burada, h(t ) ∈
+
ve
h (t )
h (t )
= g (t ) dır.
4.3 E1n Lorenz Uzayında Spiral Vektör Alanları ve İntegral Eğrileri
Bu bölümde E1n Lorenz uzayında uzayında 1-parametreli homotetik hareketlerin Lie
grubu ve Lie cebirini inceleyerek spiral vektör alanını tanımlayacağız. Ayrıca aldığımız
bir spiral vektör alanının integral eğrisini inceleyeceğiz.
45
Tanım 4.3.1 E1n , n-boyutlu Lorenz uzayında J ⊂
bir açık aralık ve t ∈ J olmak üzere
ft : E 1n ¾ ¾ ® E 1n
x
¾ ¾ ® ft (x ) = y (t ) = h(t )a(t )x + c(t )
(4.4)
ile tanımlı dönüşüme E1n Lorenz uzayında 1-parametreli homotetik hareket denir ve
bu hareketin matris gösterimi,
 y (t )   h(t )a (t ) c(t )   x 
 1 = 0
1  1 

 144

2443  
B (t )
dir. Burada c(t ) Î ¡
n
1
 −1
0
olduğundan ε = 
M

0
0
1
M
0
, h( t ) ∈
+
ve a (t ) Î SO (n , 1) dir. Ayrıca, a (t ) Î SO (n , 1)
0
0 
olmak üzere aT = ε a−1ε dir.
M

1
L
L
O
L
B(t ) formundaki 1-parametreli matrislerin cümlesi
 h(t )a(t ) c(t )

SD(n , 1) = B(t ) : B(t ) = 
, a(t ) ∈ SO(n , 1), c(t ) ∈
1 
 0

n
1
,h∈
+



olup matrislerde çarpma işlemine göre bir Matris Lie grubunu oluşturur ve bu gruba
karşılık gelen Lie cebirini sd (n ,1)
 h(t )a(t ) c(t )
ile gösterirsek B(t ) = 
∈ SD(n , 1)
1 
 0
için
B
- 1
é 1 a - 1(t ) (t ) = êêh (t )
0
êë
1 a - 1(t )c(t ) ù
ú
h (t )
1
ve
•
•
•

h
(
t
)
a
(
t
)
+
h
(
t
)
a
(
t
)
c
(t ) 
B(t ) = 

0
0 
•
olduğundan
46
ú
úû
•
•

•
•
•
h
(
t
)
h
(t )
1
−
−1

+ a(t )a (t ) −
c(t ) − a(t )a (t )c(t ) + c(t )
B(t )B−1 (t ) =  h(t )

h( t )


0
0


•
γ (t )I n + C (t ) r (t )
=
0
0 

 W ( t ) r (t ) 
=
0 
 0
≅ [W r ]
·
elde
edilir.
Burada
h(t )
g(t ) =
,
h(t )
·
·
- 1
r (t ) = - g(t )c(t ) - a(t )a (t )c(t ) + c(t )
ve
·
C = a(t )a - 1(t ) olup Lorenz anlamında bir anti-simetrik matris dir. Bu durumda,
sd (n ,1) Lie cebirini
ìï éW
sd (n ,1) = ïí êê
ïï ê 0
îë
üï
rù
ú : g I + C = W Î ¡ n ,C T = - eC e,, r òR n , g Î ¡ ïı
n
1
ïï
0 úú n
û
ş
olarak yazabiliriz. Ayrıca sd (n ,1) Lie cebirinin elemanları ile spiral vektör alanları
birebir eşlenirler.
Tanım 4.3.2
ìï éW
sd (n ,1) = ïí êê
ïï ê 0
îë
üï
rù
ú : g I + C = W Î ¡ n ,C T = - eC e,, r òR n , g Î ¡ ïı
n
1
ïï
0 úú n
û
ş
ile tanımlı cümlesinin elemanlarının oluşturduğu lineer vektör alanına spiral vektör
alanı denir.
E1n Lorenz uzayında bir parametreli ani homotetik hareket altında bir noktanın
yörüngesi, lineer vektör alanının integral eğrisidir.
éW (t ) r (t ) ù
ê
ú Î sd (n ,1) matris kümesinde t = t için W (t ) = W ve r (t ) = r olarak
0
0
0
ê 0
ú
0
êë
úû
47
éW
alırsak êê
0
ëê
rù
ú matrisi yardımıyla lineer vektör alanını tanımlayabiliriz. Tanım 2.3.9 a
0 úú
û
éW
göre A = êê
êë 0
rù
ú ve v = E n alınırsa Y lineer vektör alanını
1
0 úú
û
Y : E1n → E1n
Q → Y (Q) = AQ
r  Q  WQ + r 
=
0   1   0 
W
=
0
şeklinde ifade edebiliriz. Şimdi bu lineer vektör alanının integral eğrisini t = 0 için
y (0) = Q = x başlangıç şartı altında bulalım.
·
y = Wy + r
sabit katsayılı matris diferensiyel denkleminin y (0) = Q = x başlangıç koşulu altındaki
çözümü
t
Wt
y (t ) = e x + ò eW (t - s )rds
0
= eW t x + eW tW
- 1
r - eW tW
- 1 - Wt
e
r
= eW t x + K (t )
olarak elde edilir.
eWt = e
0
0 
γ ( t )
 0
γ ( t ) 0 

 0
γ ( t ) 
0
.eWt
= eγ (t ) I n . eWt 
y (t ) = eW t x + K (t ) ifadesinin
olduğundan
y (t ) = [ h(t )a(t )] x + K (t ) şeklinde bir
homotetik hareket belirttiğini söyleyebiliriz. Sonuç olarak x in yörüngesi olan y (t )
eğrisi bir spiral belirtir. Bu sonuçtan dolayı X vektör alanına spiral vektör alanı denir.
·
Ayrıca
·
·
- 1
u = c(t ) - a(t )a (t )c(t )
·
- 1
r (t ) = - g(t )c(t ) - a(t )a (t )c(t ) + c(t )
ve
olduğunu biliyoruz. Buna göre
y (t ) = eW t x + eW tW
= e
( g I n + C )t
- 1
x+e
r - eW tW
( g I n + C )t
- 1 - Wt
e
r
( g I n + C ) r - e ( g I n + C )t ( g I n + C )- 1e - ( g I n + C )t r
- 1
48
ifadesinde γ = 0 alırsak
y (t ) = eCt x - eCt uC - 1e - Ct + eCt uC -
1
ifadesini elde ederiz
ki buda bize (4.2) den dolayı elde edilen y (t ) eğrisinin Lorenz uzayında bir helisel
vektör alanı olduğunu gösterir. Bu durumda söyleyebiliriz ki spiral vektör alanları
helisel vektör alanlarının genel halleridir.
Spiral vektör alanları ile 1-parametreli homotetik hareketin Lie cebirinin elemanları
eşleşebilir. Dolayısıyla bunlar yardımı ile 1-parametreli homotetik hareketleri elde
ederiz. Bu 1-parametreli homotetik hareketlerin yörüngelerini aşağıdaki teoremle
verebiliriz.
Teorem 4.3.1 E1n de bir lineer vektör alanı Y , Lorenz anlamında bir anti-simetrik
matris C ∈
n
n
ve bir kolon matrisi c ∈
n
1
olsun. O halde Y in E1n de bir
ég I n + C
ê
O
;
u
,
u
,...,
u
ortonormal
çatısına
göre
matrisi
Y
=
{ 1 2
n }
ê 0
êë
olmak üzere g ¹ 0 ve rank éêW
ë
rù
ú=
0 úú
û
éW
ê
ê0
êë
rù
ú
0 úú
û
r ùú = n ise Y nin integral eğrileri spiral eğrilerdir.
û
•
Burada, a(t ) ∈ SO(n , 1) , h(t ) ∈
+
, c(t ) ∈
•
n
1
h(t )
, γ (t ) =
, W (t ) = g (t )I n + C (t ) ,
h(t )
•
•
h(t )
r (t ) = c(t ) −
c(t ) − a(t )a −1 (t )c(t ) ve C (t ) = a (t )a −1 (t ) dir.
h(t )
•
49
5. POINT-LINE OPERATÖRÜ
Bu bölümde point-line operatörü tanıtıldı ve daha sonra point-line yer değiştirmesi ile
Öklid uzayındaki benzerlik dönüşümü arasındaki ilişki verildi. Daha önce point-line
operatörü ve yer değiştirmesi dual kuaterniyonlar kullanılarak Yi Zhang, Kwun-Lon
Ting tarafından On Point-Line Geometry And Displeacement adlı makalelerinde
çalışılmıştır. Boris Odehnal, Helmut Pottmann, and Johannes Wallner Equiform
Kinematics And the Geometry of Line elements adlı makalede 3-boyutlu Öklid
uzayında doğru elemanlarının plücker koordinatlarını vermişlerdir. Biz ise pointline’nin referans noktasını koordinat sistemindeki orjin olarak kabul edildiğinde, pointline ile doğru elemanlarının benzer olduğunu gösterdik. Benzerlik dönüşümü yardımı ile
de herhangi bir doğru elamanını başka bir doğru elemanına dönüştürebileceğimizi
gösterdik. Ayrıca bir doğru elamanını başka bir doğru elamanına kuaterniyonları
kullanarak daha kolay dönüştürülebileceğini ifade ettik.
Yönlendirilmiş bir doğru, birim doğru vektörü yada Plücker koordinatları ile temsil
edilebilir. Point-line yönlendirilmiş bir doğru ve bu doğru üzerindeki bir referans
noktası ile bellidir. E ve H noktaları yönlendirilmiş bir doğru üzerindeki herhangi iki
nokta olsun. Bu durumda E ve H noktalarından geçen yönlendirilmiş doğrumuzu
r r r
r r
r r
A = a + ε a0 , ( a , a = 1, a , a0 = 0 )
(5.1)
r
birim doğrultu vektörü ile gösterebiliriz (Şekil 5.1). Burada, a yönlendirilmiş doğru
r
boyunca birim doğrultman vektörüdür ve a0 O − xyz referans çatısına göre
yönlendirilmiş doğrunun moment vektörüdür. Bir birim doğru vektör 6 tane
paremetreye bağlıdır.
Şimdi doğru üzerinde olmayan herhangi bir nokta P olsun ve buna referans noktası
diyelim. Ayrıca doğru üzerindeki herhangi bir nokta E olsun. N ise P den pointline’ye dik olan ayak noktası ve h ise yönlendirilmiş doğru üzerindeki N ayak
noktasından E noktasına olan uzaklıktır. Burada h yönlendirmeye göre pozitif veya
negatif olabilir.
50
Şekil 5.1 Point-line
Bir point-line exp ( ε h ) = ( 1 + ε h ) dual uzunluk ile (5.1) deki birim dual vektörün
çarpılmasıyla elde edilen bir dual vektördür. Yani,
r
ˆ = exp ( ε h ) A
A
r r
= ( 1 + ε h )( a + ε a0 )
r
r
= ( 1 + ε h ) a + ( 1 + ε h ) ε a0 , ε 2 = 0
r
r r
= a + ε ha + ε a0
r
r r
= a + ( ha + a0 ) ε
r
r r
ve a0 ′ = ha + a0 olmak üzere
r r
 = a + a0 ′ε
(5.2)
dır. Eğer, vidanın adımını, E noktasının yeri olarak kabul edersek vida ile point-line
benzerdir. Benzerliğin avantajı olarak vida ile ilgili koordinat dönüşümündeki formüller
point-line’ ye uygulanabilir. Bir point-line koordinatları verildiğinde E noktasını ve
yönlendirilmiş doğruyu hesaplamak kolaydır.
r
r r
r
a0 ′ = ha + a0 ifadesinde eşitliğin her iki yanını a ile iç çarparsak,
r r
r r
r
a , a′0 = a , a0 + ha
r r
r r
= a , a0 + h a , a
{
123
0
r r
⇒ h = a , a′0
olup (5.1) ifadesini
51
1
(5.3)
r r
r
r
A = a + ε ( a0′ − ha )
(5.4)
olarak yazılabiliriz. Genelliği bozmadan referans noktamız orjindeki koordinat sistemi
olsun. Böylece rE referans noktasının yer vektörü (Şekil 5.2)
r uuuur uuur
rE = ON + NE
(5.5)
uuuur
dır. Burada ON , O noktasının point-line üzerindeki dikme ayağı olduğundan
uuuur r
ON , a = 0 olup vektörel moment tanımından dolayı
uuuur r r
ON ∧ a = a0
(5.6)
r
yazılabilir. (5.6) nın her iki yanını a ile vektörel çarparsak,
r r r uuuur r
a ∧ a0 = a ∧ ON ∧ a
r r uuuur r uuuur r
= a , a ON − a , ON a
{
1
424
3
1
(
)
0
uuuur r r
⇒ ON = a ∧ a0
(5.7)
dir. Ayrıca
uuur
r
NE = ha
(5.8)
r r r
r
rE = a ∧ a0 + ha
(5.9)
dir. O halde (5.7) ve (5.8) den
olarak bulunur.
O
r uuuur r
a0 = ON ∧ a
L
r
rE
r
a
E
h
N
Şekil 5.2 Referans noktası orjin olan point-line
52
5.1 Doğru Elemanlarının Plücker Koordinatları
3-boyutlu Öklid uzayında x noktasından geçen yönlendirilmiş bir doğru L olsun. Eğer,
r r
r r
r
r r r
a ≠ 0 , L doğrusuna paralel birim vektör, a0 = x ∧ a ve h = x , a ise ( a , a0 , h ) ∈ 7
üçlüsüne doğru elemanlarının Plücker koordinatları denir ve bu koordinatlar homojen
r r
koordinatlardır. Burada a0 , a nın vektörel momentidir ve h yi x in L üzerindeki yerel
noktasını belirlemek için ekliyoruz.
Ayrıca orjinden L doğrusuna çizilen dikmenin ayağı
r r
1 r r
N ( a , a0 ) = r r a ∧ a0 ,
a, a
r r
= a ∧ a0
r r
a, a = 1
(5.10)
dir. Ayrıca
r
r
r r
h r
rX = x = N ( a , a0 ) + r r a ,
a, a
r r
r
= N ( a , a0 ) + ha
r r
a, a = 1
(5.11)
ve (5.10) den
r
r r r
r
rX = x = a ∧ a0 + ha
(5.12)
olarak yazılabilir.
r
r r
Şimdi benzerlik dönüşümü ile doğru elemanları arasındaki ilişkiyi verelim. x ' = hgx + v
r r
denklemi ile tanımlı benzerlik dönüşümü ( a , a0 , h1 ) doğru elelmanını
r
r
u = ga
r
r r
u0 = x '∧ u
r r
h2 = x ', u
denklemleri yardımı ile başka bir
r r
( u, u0 , h2 )
doğru elemanına dönüştürür ve bu
dönüşümün matris gösterimi
r
r
0 0  a 
u  g
ur  =  g× g hg 0   ar  ,
 0 
 0
T
T
 h2   v g 0 h   h1 
53
r r
g× x = v ∧ x
(5.13)
r
r r
dir. Özel durumda h1 = h2 = 0 ve h = 1 olduğunda x ' = hgx + v ile tanımlı benzerlik
dönüşümü
r
r r
x ' = gx + v
ve (5.13) deki matris
r
u  g
ur  =  g× g
 0 
r
o  a 
r ,
g   a0 
r r
g× x = v ∧ x
(5.14)
olur ve (5.14) ifadesi McCarthy nin An Introduction to Theoretical Kinematics adlı
kitabındaki sonuç ile çakışır.
Benzer şekilde kuaterniyonları kullanarak,
r r
( u, u0 , h2 )
r r
( a , a0 , h1 )
doğru elelmanını başka bir
doğru elemanına aşağıdaki teoremle dönüştürebiliriz.
Teorem 5.1.1
7
de
1
Qˆ = r 2
A
(
r r
r r
A, U + A ∧ U
)
(5.15)
dönüşümü;
1. Bir doğru elemanını başka bir bir doğru elemanına dönüştürür,
2. Bir point-line operatörü belirtir.
İspat:
7
r
r
r r
r r
de iki doğru elemanı A = ( a , a0 , h1 ) ve U = ( u , u0 , h2 ) olsun.
1
Qˆ = r 2
A
r r
( A, U
r r
+ A ∧U
)
r
olup her iki tarafı A ile vektörel çarparsak
r  1
r r
r r  r

ˆ
Q × A = r 2 A, U + A ∧ U  ∧ A
 A



r
r
r
r
r
r
1
= r 2 A, U A +  A ∧ U  ∧ A
A
(
)
(
54
)




r
r
r
r
r
r
r
r
r
r
1
Qˆ × A = r 2  A, U A − A, U A + A, A U 
123 
A 
r 2

A


r
r
2
1
= r 2 A U
A
r
=U
dir. Burada “× ” kuaterniyon çarpımıdır.
r
r
r r
r r
Ayrıca A = ( a , a0 , h1 ) ve U = ( u , u0 , h2 ) ,
7
de iki doğru elemanının belirttiği point-
line’ ler, sırasıyla,
r r
ˆ = exp ( ε h )( ar + ε ar ) = A A
A
1
0
0
1424
31
424
3
r
r
A0
A
r r
r
r
Uˆ = exp ( ε h2 )( u + ε u0 ) = U U 0
1424
3 1424
3
r
r
U0
U
olup (5.15) ile tanımlı dönüşümü için
1
Qˆ = r 2
A
r r
( A, U
r r
+ A ∧U
)
r r r r
r r r
r
1
= r 2  A U A0 , U 0 + A U A0 ∧ U 0 


A
r
U
r r
r
r
= r  A0 , U 0 + A0 ∧ U 0 

A 
(
(
=
r
U
r
A
{
exp ε ( h2 − h1 ) 
)
)


r r
r
r 
 A
0 , U 0 + A0 ∧ U 0 
 1444
24443


Q0
(
)
= exp ε ( h2 − h1 )  Q0
dir. Buradan (5.15) ile tanımlı dönüşümünün de bir point-line olduğunu söyleyebiliriz □
Teorem 5.1.2 Eğer bir point-line için referans noktası koordinat sisteminin orjin noktası
r
r
r r
ise rX' = x' = hgx + v benzerlik dönüşümü yardımıyla bir point-line başka bir pointline’ye dönüştürülebilir.
55
İspat:
ˆ = ( ar , ar , h ) ve Uˆ = ( ur , ur , h ) , sırasıyla, L ile L yönlendirilmiş doğruları üzerinde
A
0
1
0
2
1
2
r
r
iki point-line olsun. a0 ve u0 orjin çatısına göre, sırasıyla, Â ve Û nun vektörel
momentleridir. h1 , N den X noktasına olan uzaklık ve h2 , M den X ′ noktasına olan
uzaklık olarak kabul edelim.
r
r
rX ve rX' , sırasıyla, X ve X ′ nün pozisyon vektörleridir (Şekil 5.3)
Şekil 5.3 Point-line yer değiştirmesi
Biliyoruz ki, (5.9) dan rX pozisyon vektörü
r r r
r
rX = a ∧ a0 + h1 a
r
denklemine belirlidir. Aynı zamanda rX' pozisyon vektörü (3.7) den
56
r
r r
rX' = hgrX + v
dir. Burada g ∈ SO(3) , h ∈
+
ve v ∈
3
dir. Aşağıdaki denklemleri kullanarak
r
r
u = ga
r r
r
u0 = rX' ∧ u
r r
h2 = rX' , u
ya da (5.13) deki blok matrisi kullanarak
r
r
r
u0 = g× ga + hga0
{
r
u
r r
r
= v ∧ u + hga0
r
1 r r r
⇒ ga0 = ( u0 − v ∧ u )
h
(5.16)
ve
r r
h2 = vT ga + hh1
{
r
u
rT r
= v u + hh1
r r
= u , v + hh1
r r
⇒ hh1 = h2 − u , v
dir. Buradan
r
r r
rX' = hgrX + v
r r
r r
= hg ( a ∧ a0 + h1 a ) + v
r r
r r
= hg ( a ∧ a0 ) + hgh1 a + v
r
r
r r
= h ( ga ∧ ga0 ) + hh1 ga + v
olup (5.13), (5.16) ve (5.17 ) den
 r
r
r 
r r
rX' = h  ga ∧ ga0  + hh1 ga + v
{
{

r
u
 ur

r r r r
 r 1 r r r 
= h  u ∧  ( u0 − v ∧ u )   +  h2 − u , v  u + v
h


57
(5.17)
r
r
r r r
r r r r r
rX' = u ∧ ( u0 − v ∧ u )  + h2 u − u , v u + v
r r r r r
r r r r r
= u ∧ u0 − u ∧ ( v ∧ u ) + h2 u − u , v u + v
r r
r r r r r r
r r r r r
= u ∧ u0 − u , u v + u , v u + h2 u − u , v u + v
{
1
r r
r
= u ∧ u0 + h2 u
(
)
olarak elde edilir. Bu sonuç Û point-line’ ı için pozisyon vektörüdür □
ˆ = ( ar , ar , h ) point-line vektörü için yön vektörü
Örnek 5.1.1 Şekil 5.3’de gösterilen A
0
1
r
r r
r  1 3
'
a =  0, ,
 ve pozisyon vektörü rX = ( 0, 1, 0 ) olsun. x = hgx + v ile verilen
 2 2 
benzerlik dönüşümü ve (5.1.4) de verilen blok matrisi yardımıyla  point-line’sini Û
r
point-line’sine dönüştürelim. Burada, h = − 3 , v = ( 1, 0, 0 ) ve g ∈ SO(3) , x -ekseni
etrafında 30 o lik dönmeye karşılık gelen matris olsun.
O halde,
r r r
A = a + ε a0
r
r r
= a + ε ( rX ∧ a )
 1 3
 3

=  0, ,
, 0, 0 
 + ε 
 2 2 
 2

r r
1
şeklindedir. Dikme ayağından referans noktasına olan uzaklık h1 = rX , a =
dir.
2
r
r
Buna göre şekil 5.3’deki Û point-line vektörün u birim doğrultman vektörü, u0
r
moment vektörü ve rX ′ yer vektörü aşağıdaki gibidir.
0
1
r
r 
u = ga =  0 cos θ
 0 sin θ


0 
− sin θ  

cos θ  


58

0 
 0 
1   
= 0
2   
  1
3  
2 


 1 


r
r r  3 
rX ′ = hgrX + v = −
 2 


− 3 
 2 
(5.18)
r r
r  3

u0 = rX ′ ∧ u =  − , − 1, 0 
 2

 3

Uˆ = ( 0, 0, 1 ) + ε  − , − 1, 0 
 2

r r
3
h2 = rX ′ , u = −
2
ve biliyoruz ki point-line vektörünün yer vektörü aşağıdaki eşitliği sağlar,
r
r r
r 
3
3
rX ′ = u ∧ u0 + h2 u =  1, − , −

2
2 

Böylece bu sonuç (5.18) ile çakışır.
Sonuç olarak söyleyebiliriz ki benzerlik dönüşümü yardımıyla doğru elemanını başka
bir doğru elemanına dönüştürebiliriz. Biz ise bu bölümde bir point-line’sini başka bir
point-line’sine benzerlik dönüşümünü kullanarak nasıl dönüşebileceğini gösterdik. Aynı
zamanda doğru elemanını başka bir doğru elemanına dönüştürme işinde (5.13) deki
blok matrisi kullanmak zor olacağından bu işi kuaterniyonları kullanarak daha kolay
nasıl yapılabileceğini gösterdik.
59
6. LORENZ UZAYINDA POINT-LINE OPERATÖRÜ
Bu bölümde Lorenz uzayında point-line operatörü tanıtıldı ve daha sonra point-line yer
değiştirmesi ile Lorenz uzayındaki benzerlik dönüşümü arasındaki ilişki verildi. Daha
önce Lorenz uzayında point-line operatörü ve yer değiştirmesi dual kuaterniyonlar
kullanılarak Ö. Aydoğmuş, L. Kula ve Y. Yayli tarafından On Point-Line
Displeacement in Minkowski 3-space adlı makalelerinde çalışılmıştır. Biz ise Lorenz
uzayında ilk önce benzerlik dönüşümünü ve Plücker korrdinatları Lorenz uzayında
tanıttık. Daha sonra point-line’ın referans noktasını koordinat sistemindeki orjin olarak
kabul edildiğinde, point-line ile doğru elemanlarının benzer olduğunu gösterdik. Lorenz
uzayında benzerlik dönüşümü yardımı ile de herhangi bir doğru elamanını başka bir
doğru elemanına dönüştürebileceğimizi gösterdik. Ayrıca bir doğru elamanını başka bir
doğru elamanına split-dual kuaterniyonları kullanarak daha kolay dönüştürülebileceğini
ifade ettik.
Yönlendirilmiş bir doğru birim dual spilt vektörü yada Plücker koordinatlarla
gösterilebilir. Bir point-line ise yönlendirilmiş bir ve bir referans noktası ile bellidir.
Yönlendirilmiş bir doğru, E ve H noktasından geçsin ve birim dual-split vektörünü
r r r
r r
r r
A = a + ε a0 , ( a , a = m1, a , a0 = 0 )
(6.1)
birim doğrultman vektörü ile gösterebiliriz (Şekil 6.1).
Şekil 6.1 Lorenz uzayında Point-line
r
r
Burada, a yönlendirilmiş doğru boyunca birim doğrultman vektörüdür ve a0 sırasıyla
60
O − xyz referans çatısına göre yönlendirilmiş doğrunun moment vektörüdür.
Kabul edelim ki, H yönlendirilmiş bir doğru ve üzerinde alınan herhangi bir nokta E
olsun. Ayrıca doğru üzerinde olmayan bir P noktası alalım. Bu noktaya referans noktası
diyeceğiz. P den yönlendirilmiş doğruya inilen dikmenin ayağı N
ve N dikmenin
ayak noktasından E noktasına yönlendirilmiş doğru üzerindeki uzaklık h dir. Ayrıca
h yönlendirilmiş doğru üzerinde N nin ve E nin konumuna göre pozitif veya negatif
olabilir (Aydoğmuş, 2008). P noktası uzaydaki her hangi bir nokta olabilir. Bunlardan
biri de orjin referans noktası olabilir.
Bir point-line exp ( ε h ) dual sayısı ile (6.1) deki birim dual vektörün çarpılmasıyla elde
edilen bir dual vektördür. Yani,
r
ˆ = exp ( ε h ) A
A
r r
= ( 1 + ε h )( a + ε a0 )
r
r
= ( 1 + ε h ) a + ( 1 + ε h ) ε a0 , ε 2 = 0
r
r r
= a + ε ha + ε a0
r
r r
= a + ( ha + a0 ) ε
r
r r
ve a0 ′ = ha + a0 olmak üzere
r r
 = a + a0 ′ε
(6.2)
dir. Burada, Â nın exp ( ε h ) = 1 + ε h dual uzunluklu dual split vektör olduğunu
söyleyebiliriz. (6.2) eşitliğinden
(
ˆ = a , a , a , a' , a' , a'
A
1
2
3
01
02
03
)
(6.3)
yazılabillir. Burada, a'01 = a 01 + ha1 , a'02 = a 02 + ha2 ve a'03 = a 03 + ha3 dir.
Eğer, vidanın adımını, E noktasının yeri olarak kabul edersek vida ile point-line
benzerdir. Benzerliğin avantajı olarak vida ile ilgili koordinat dönüşümündeki formüller
point-line’ a uygulanabilir. Bir point-line koordinatları verildiğinde E noktası ve
yönlendirilmiş doğruyu hesaplamak kolaydır.
r
r
r r
1) A birim dual-split vektörü spacelike ise a0 ′ = ha + a0 ifadesinde eşitliğin her iki
r
yanını a ile iç çarparsak,
61
r r
r r
r
a , a′0 = a , a0 + ha
r r
r r
= a , a0 + h a , a
{
123
0
1
r r
⇒ h = a , a′0
(6.4)
olup (6.1) ifadesini
r r r
A = a + a0ε
r
r
r
= a + ε ( a0 ′ − ha )
(6.5)
olarak yazılabiliriz.
r
r
r r
2) A birim dual-split vektörü time-like ise a0 ′ = ha + a0 ifadesinde eşitliğin her iki
r
yanını a ile iç çarparsak,
r r
r r
r
a , a′0 = a , a0 + ha
r r
r r
= a , a0 + h a , a
{
123
0
−1
r r
⇒ h = − a , a′0
(6.6)
olup (6.1) ifadesini
r r r
A = a + a0ε
r
r
r
= a + ε ( a0 ′ − ha )
(6.7)
olarak yazılabiliriz.
Point-line koordinatlarını vererek referans noktasının yerini, yönlendirilmiş doğruyu ve
yer vektörü(pozisyon vektörü)nü hesaplamak kolaydır. Genelliği bozmadan referans
noktamız orjindeki koordinat sistemi olsun. Böylece rE referans noktasının yer vektörü
(Şekil 6.2)
r uuuur uuur
rE = ON + NE
dır.
62
(6.8)
O
r uuuur r
a0 = ON ∧ a
L
r
rE
r
a
E
h
N
Şekil 6.2 Lorenz uzayında referans noktası orjin olan point-line
uuuur
uuuur r
Burada ON , O noktasının point-line üzerindeki dikme ayağı olduğundan ON , a = 0
olup vektörel moment tanımından
uuuur r r
ON ∧ a = a0
(6.9)
yazılabilir.
r
r
1) A birim dual-split vektörü spacelike ise (6.9) un her iki yanını a ile vektörel
çarparsak,
r r r uuuur r
a ∧ a0 = a ∧ ON ∧ a
r r uuuur r uuuur r
= − a , a ON + a , ON a
{
1
424
3
(
)
1
0
uuuur
r r
⇒ ON = − a ∧ a0
(6.10)
dir. Ayrıca
uuur
r
NE = ha
(6.11)
dir. O halde (6.10) ve (6.11) den
r
r r
r
rE = − a ∧ a0 + ha
olarak bulunur.
63
(6.12)
r
r
2) A birim dual-split vektörü time-like ise (6.9) un her iki yanını a ile vektörel
çarparsak,
r r r uuuur r
a ∧ a0 = a ∧ ON ∧ a
r r uuuur r uuuur r
= − a , a ON + a , ON a
{
1
424
3
(
)
−1
0
uuuur r r
⇒ ON = a ∧ a0
(6.13)
dir. Ayrıca
uuur
r
NE = ha
(6.14)
r r r
r
rE = a ∧ a0 + ha
(6.15)
dir. O halde (6.13) ve (6.14) den
olarak bulunur.
6.1 3-boyutlu Lorenz Uzayında Benzerlik Dönüşümü
3
1
Tanım 6.1.1 3-boyutlu Lorenz uzayı
de R ∈ SO1 (3) , b ∈
3
1
ve α bir homotetik
skalar olmak üzere
ϕ:
3
1

→
3
1
x 
→ ϕ ( x ) = y(t ) = α (t )R(t )x + b(t )
ile tanımlı dönüşüme
3
1
(6.16)
Lorenz uzayında benzerlik dönüşümü denir.
Burada, R , α ve b , t ye göre C ∞ sınıfından diferensiyellenebilir donksiyonlardır.
y(t ) = α (t )R(t )x + b(t )
•
dönüşümünde t ye göre türev alınarak v( y ) = y(t ) hız vektörü
•
•
•
α
α
v( y ) = y(t ) = R RT y − y − RRT b − b + b
α
α
•
•
(6.17)
•
olarak elde ederiz. Burada R ortogonal matris olduğundan R RT := C × Lorenz
r
anlamındabir antisimetrik matristir ve C × x çarpımı, c vektörünü kullanarak
r r
C × x = c ∧ x şeklinde yazabilir. Bu durumda, (6.17) ifadesini
•
v( y ) = y(t ) = c ∧ y + γ y + c
64
(6.18)
•
•
•
α
α
dir. Burada γ = ve c = − RRT b − b + b dir.
α
α
Her hangi ( c , c , γ ) ∈
7
1
üçlüsü bir tek 3-boyutlu Lorenz uzayında bir tek benzerlik
hareketi tanımlar.
6.2 3-boyutlu Lorenz Uzayında Doğru Elemanlarının Plücker Koordinatları
3-boyutlu Lorenz uzayında x noktasından geçen yönlendirilmiş bir doğru L olsun.
r r
r
r r r
Eğer, a ≠ 0 , L doğrusuna paralel birim vektör, a0 = x ∧ a ve h1 = m x , a ise
r r
( a , a0 , h1 ) ∈
7
1
üçlüsüne doğru elemanlarının Plücker koordinatları denir ve bu
r r
koordinatlar homojen koordinatlardır. Burada a0 , a nın vektörel momentidir ve h1 , x
in L üzerindeki yerel noktasını belirlemek için ekliyoruz. Buradan orjinden L
doğrusuna çizilen dikmenin ayağı
r
1) a birim spacelike vektör ise
r r
r r
N ( a , a0 ) = − a ∧ a0
(6.19)
r
r
r r
r
rX = x = N ( a , a0 ) + h1 a
(6.20)
dir. Ayrıca
ve (6.20) den
r
r r
r
rX = − a ∧ a0 + h1 a
(6.21)
olarak yazılabilir.
r
2) a birim timelike vektör ise
r r
r r
N ( a , a0 ) = a ∧ a0
(6.22)
dir. Ayrıca
r
r
r r
r
rX = x = N ( a , a0 ) + h1 a
(6.23)
r
r r r
r
rX = x = a ∧ a0 + h1 a
(6.24)
ve (6.22) den
65
olarak yazılabilir.
Şimdi benzerlik dönüşümleri ile doğru elemanları arasındaki ilişkiyi verelim. Eğer,
r r
doğru yönlendirilirse doğru elemanı da yönlendirilmiş olur. (6.16) deki x' = α Rx + b
r r
denklemi ile tanımlı benzerlik dönüşümü ( a , a0 , h1 ) doğru elelmanını
r
r r
x ' = α Rx + b
r
r
u = Ra
r
r r
u0 = x '∧ u
r r
h2 = x ', u
denklemleri yardımı ile başka bir
r r
( u, u0 , h2 )
doğru elemanına dönüştürür ve bu
dönüşümün blok matris gösterimi
r
1) a birim spacelike vektör ise
r
r
0 0 a 
u  R
ur  =  R× R α R 0   ar  ,
 0 
 0
T
T
 h2   b R 0
α   h1 
r r
R× x = b ∧ x
(6.25)
dir. Burada R ∈ SO1 (3) dır.
r
2) a birim time-like vektör ise
r
r
0 0 a 
u  R
ur  =  R× R α R 0   ar  ,
 0 
 0
T
T
 h2   −b R 0
α   h1 
r r
R× x = b ∧ x
(6.26)
dir. Burada R ∈ SO1 (3) dır.
(6.25) ve (6.26) eşitlikleri açıkça yönlendirilmiş doğru elemanına uygulanabilir. Benzer
r r
r r
şekilde kuaterniyonları kullanarak, ( a , a0 , h1 ) doğru elemanını başka bir ( u , u0 , h2 )
doğru elemanına aşağıdaki teoremle dönüştürebiliriz.
66
Teorem 6.2.1
dönüşümü
7
1
de
ˆ = ( ar , ar , h )
A
0
1
1
Qˆ =
ˆ 2
A
( Aˆ ,Uˆ
doğru
elemanını,
ˆ ∧ Uˆ
+A
)
(6.27)
r r
Uˆ = ( u , u0 , h2 )
doğru
elemanına
dönüştürür.
İspat:
r
r
r r
r r
A = ( a , a0 , h1 ) ve U = ( u , u0 , h2 ) dual-split vektörler olsun.
r
r r
1) A = ( a , a0 , h1 ) birim dual-split vektör spacelike ise
1
Qˆ =
ˆ 2
A
( Aˆ ,Uˆ
ˆ ∧ Uˆ
+A
)
olup her iki tarafı Â ile soldan vektörel çarparsak
ˆ × Qˆ = 1  A
ˆ∧
A
2 

ˆ
A
=
1
ˆ 2
A
( Aˆ ,Uˆ
( Aˆ ,Uˆ
)
ˆ ∧ Uˆ 
+A

ˆ +A
ˆ ∧ A
ˆ ˆ
A
 ∧U
)




1
ˆ , Uˆ A
ˆ− A
ˆ , Uˆ A
ˆ+ A
ˆ,A
ˆ Uˆ 
 A
=
2
ˆ
123


A 

ˆ 2
A


1
ˆ,A
ˆ Uˆ
=
A
2
ˆ
A
= Uˆ
dir. Burada “ × ” kuaterniyon çarpımıdır.
r
r
r r
r r
Ayrıca A = ( a , a0 , h1 ) ve U = ( u , u0 , h2 ) ,
7
1
de iki doğru elemanının belirttiği point-
line’ler, sırasıyla,
r
ˆ = exp ( ε h )( ar + ε ar ) = A
ˆ A
A
1
0
0
1424
3
1
424
3
r
ˆ
A
A0
67
r
r
r
Uˆ = exp ( ε h2 )( u + ε u0 ) = Uˆ U 0
1424
3 1424
3
r
Uˆ
U0
olup (6.27) ile tanımlı dönüşümü
1
Qˆ =
ˆ 2
A
=
=
=
( Aˆ ,Uˆ
ˆ ∧ Uˆ
+A
)
r
r
1  ˆ ˆ r r
ˆ Uˆ A ∧ U 
A
U
A
,
U
+
A
0
0
0
0

ˆ 2
A
(
Uˆ
)
r r
r
r
 A0 , U 0 + A0 ∧ U 0 

ˆ 
A
(
Uˆ
ˆ
A
{
)


r r
r
r 
 A
0 , U 0 + A0 ∧ U 0 
 1444
24443
Q0


(
exp ε ( h2 − h1 ) 
)
= exp ε ( h2 − h1 )  Q0
dir. Buradan (6.27) ile tanımlı dönüşümünün de bir point-line olduğunu söyleyebiliriz.
r
r r
2) A = ( a , a0 , h1 ) birim dual-split vektör timelike ise
1
Qˆ =
ˆ 2
A
( Aˆ ,Uˆ
ˆ ∧ Uˆ
+A
)
olup her iki tarafı Â ile vektörel çarparsak
ˆ × Qˆ = 1  A
ˆ∧
A
2 

ˆ
A
=
1
ˆ 2
A
( Aˆ ,Uˆ
( Aˆ ,Uˆ
)
ˆ ∧ Uˆ 
+A

ˆ +A
ˆ ∧ A
ˆ ˆ
A
 ∧U
)




1
ˆ , Uˆ A
ˆ− A
ˆ , Uˆ A
ˆ+ A
ˆ,A
ˆ Uˆ 
 A
=
2
ˆ
123 
A 

ˆ 2
A


1
ˆ,A
ˆ Uˆ
=
A
2
ˆ
A
= −Uˆ
68
dir. Burada ” × ” kuaterniyon çarpımıdır
r
r
r r
r r
Ayrıca A = ( a , a0 , h1 ) ve U = ( u , u0 , h2 ) ,
7
1
de iki doğru elemanının belirttiği point-
line’ ler, sırasıyla,
r
ˆ = exp ( ε h )( ar + ε ar ) = A
ˆ A
A
1
0
0
1424
3
1
424
3
r
ˆ
A
A0
r
r
r
Uˆ = exp ( ε h2 )( u + ε u0 ) = Uˆ U 0
1424
3 1424
3
r
Uˆ
U0
olup (6.27) ile tanımlı dönüşümü
1
Qˆ =
ˆ 2
A
=
=
=
( Aˆ ,Uˆ
ˆ ∧ Uˆ
+A
)
r
r
1  ˆ ˆ r r
ˆ Uˆ A ∧ U 
A U A0 , U 0 + A
0
0
2 

ˆ
A
(
Uˆ
)
r r
r
r
 A0 , U 0 + A0 ∧ U 0 

ˆ 
A
(
Uˆ
ˆ
A
{
exp ε ( h2 − h1 ) 
)


r r
r
r 
 A
0 , U 0 + A0 ∧ U 0 
 1444
24443


Q0
(
)
= exp ε ( h2 − h1 )  Q0
dir. Buradan (6.27) ile tanımlı dönüşümünün de bir point-line olduğunu söyleyebiliriz□
Şimdi 3-boyutlu Lorenz uzayında point-line yer değiştirmesi ve benzerlik dönüşümü
arasındaki ilişkiyi bir teoremle verelim.
Teorem 6.2.2 Eğer 3-boyutlu Lorenz uzayında bir point-line için referans noktası
koordinat sisteminin orjin noktası ise (6.16) benzerlik dönüşümü yardımıyla bir pointline başka bir point-line’ye dönüştürülür.
İspat:
ˆ = ( ar , ar , h ) ve Uˆ = ( ur , ur , h ) , sırasıyla, L ile L yönlendirilmiş doğruları üzerinde
A
0
1
0
2
1
2
69
r
r
r
r
iki point-line olsun. a0 ve u0 orjin çatısına göre, sırasıyla, a ve u nun vektörel
momentleridir. h1 , N dikme ayağından X noktasına olan uzaklık ve h2 , M dikme
r
r
ayağından X ′ noktasına olan uzaklık olarak kabul edelim. rX ve rX ′ , sırasıyla, X ve
X ′ nün pozisyon vektörleridir (Şekil 6.3).
Şekil 6.3 Lorenz Uzayında Point-line yer değiştirmesi
r
r
1) a birim spacelike vektör ise (6.21) den rX pozisyon vektörü
r
r r
r
rX = − a ∧ a0 + h1 a
r
denklemine belirlidir. Aynı zamanda rX ' pozisyon vektörü (6.16) den
r
r r
rX ′ = α RrX + b
dir. Burada R ∈ SO1 (3) , α homotetik skalar ve b ∈
matrisleri kullanılırsa
70
3
1
dir. (6.25) ve (6.26) deki blok
r
r
r
u0 = R× Ra
{ + α Ra0
r
u
r r
r
= b ∧ u + α Ra0
r
1 r r r
⇒ Ra0 =
u0 − b ∧ u
α
(
)
(6.28)
ve
r r
h2 = b T Ra
+ α h1
{
r
u
r r
= b T u + α h1
r r
= b , u + α h1
r r
⇒ α h1 = h 2 − b , u
dir. Buradan
r
r r
rX ′ = α RrX + b
r r
r r
= α R ( − a ∧ a0 + h1 a ) + b
r r
r r
= −α R ( a ∧ a0 ) + α Rh1 a + b
r
r
r r
= −α ( Ra ∧ Ra0 ) + α h1 Ra + b
olup (6.25), (6.28) ve (6.29) den
r
r 
r r
 r
rX ′ = −α  Ra
∧
Ra
+
α
h
Ra
0
1 {+ b
{
r
 ur

u
r r r r
 r  1 r r r 
= −α  u ∧  u0 − b ∧ u   +  h2 − u , b  u + b

α
 

r
r r r
r r r r r
= − u ∧  u0 − b ∧ u  + h2 u − u , b u + b


r r r r r
r r r r r
= −u ∧ u0 + u ∧ b ∧ u + h2 u − u , b u + b
r r
r r r r r r
r r r r r
= −u ∧ u0 − u , u b + u , b u + h2 u − u , b u + b
{
1
r r r r r r
r r r r r
= −u ∧ u0 − b + u , b u + h2 u − u , b u + b
r r
r
= −u ∧ u0 + h2 u
(
( (
)
))
( )
olarak elde edilir. Bu sonuç Û point-line’si için pozisyon vektörüdür;
r
r
2) a birim time-like vektör ise (6.24) den rX pozisyon vektörü
r r r
r
rX = a ∧ a0 + h1 a
71
(6.29)
r
denklemine belirlidir. Aynı zamanda rX ' pozisyon vektörü (6.16) den
r
r r
rX ′ = α RrX + b
dir. Burada R ∈ SO1 (3) , α homotetik skalar ve b ∈
3
1
dir. (6.25) ve (6.26) deki blok
matrisleri kullanılırsa
r
r
r
u0 = R× Ra
{ + α Ra0
r
u
r r
r
= b ∧ u + α Ra0
r
1 r r r
⇒ Ra0 =
u0 − b ∧ u
)
(6.30)
r r
h2 = −b T Ra
+ α h1
{
r
u
r r
= − b T u + α h1
r r
⇒ α h1 = h 2 + b , u
(6.31)
α
(
ve
dir. Buradan
r
r r
rX ′ = α RrX + b
r r
r r
= α R ( a ∧ a0 + h1 a ) + b
r r
r r
= α R ( a ∧ a0 ) + α Rh1 a + b
r
r
r r
= α ( Ra ∧ Ra0 ) + α h1 Ra + b
olup (6.26), (6.30) ve (6.31) den
r
r 
r r
 r
rX ′ = α  Ra
∧ Ra0  + α h1 Ra
+b
{
{
r
 ur

u
r r r r
 r  1 r r r 
= α  u ∧  u0 − b ∧ u   +  h2 + u , b  u + b

α
 

r
r r r
r r r r r
= u ∧  u0 − b ∧ u  + h2 u + u , b u + b


r r r r r
r r r r r
= u ∧ u0 − u ∧ b ∧ u + h2 u + u , b u + b
r r
r r r r r r
r r r r r
= u ∧ u0 + u , u b − u , b u + h2 u + u , b u + b
{
−1
r r r r r r
r r r r r
= u ∧ u0 − b − u , b u + h2 u + u , b u + b
r r
r
= u ∧ u0 + h2 u
(
( (
)
))
( )
olarak elde edilir. Bu sonuç Û point-line’si için pozisyon vektörüdür □
72
ˆ = ( ar , ar , h )
A
0
1
Örnek 6.2.1 Şekil 6.3’de gösterilen
point-line vektörü için
r
r
yönlendirilmiş birim vektörü a = ( 1, 1, 1) , moment vektörü a0 = ( 1, 0, 1 ) olsun. (6.16)
de verilen benzerlik dönüşümü ve (6.25) de verilen blok matrisi yardımıyla  pointr
line’sini Û point-line’sine dönüştürelim. Burada, α = 4 , b = ( −1, 0, 2 ) ve θ = ln 2
olarak aldığımızda,
r r
r
A = a + ε a0
= ( 1, 1, 1 ) + ε ( 1, 0, 1 )
r r
şeklindedir. Dikme ayağından referans noktasına olan uzaklık h1 = rX , a = 1 olsun. Bu
durumda, X son noktanın pozisyon vektörü
r
r r
r
rX = − a ∧ a0 + h1 a
= ( 2, 1, 2 )
r
r
dir. Buna göre şekil 6.3’ deki Û point-line’sinin u birim doğrultman vektörü, u0
r
moment vektörü ve rX ′ yer vektörü aşağıdaki gibidir.
 cosh θ
r
r 
u = Ra =  sinh θ
 0
sinh θ
cosh θ
0
0  1  2 
0  1 =  2 
1 1  1 
r
r
r
u0 = R× Ra + α Ra0 = ( 9, 8, 2 )
r r
h2 = b T Ra + α h1 = 8
12 
r
r r  
rX ′ = α RrX + b =  11 
10 
dir. Biliyoruz ki point-line vektörünün yer vektörü,
r
r r
r
rX ′ = −u ∧ u0 + h2 u
= ( 12, 11, 10 )
olup bu sonuç (6.32) ile çakışır.
73
(6.32)
ˆ = ( ar , ar , h )
A
0
1
Örnek 6.2.2 Şekil 6.3’de gösterilen
point-line vektörü için
r
r
yönlendirilmiş birim vektörü a = ( 1, 0,0 ) , moment vektörü a0 = ( 0, 1, 2 ) olsun. (6.16)
de verilen benzerlik dönüşümü ve (6.26) de verilen blok matrisi yardımıyla  pointr
3π
line’ sini Û point-line’ sine dönüştürelim. Burada, α = 2 , b = ( 2, − 1, 3 ) ve θ =
4
olarak aldığımızda,
r r
r
A = a + ε a0
= ( 1, 0, 0 ) + ε ( 0, 1, 2 )
r r
şeklindedir. Dikme ayağından referans noktasına olan uzaklık h1 = rX , a = 2 olsun.
Bu durumda, X referans noktasının pozisyon vektörü
r
r r
r
rX = + a ∧ a0 + h1 a
= ( 2, − 2, 1 )
r
r
dir. Buna göre şekil 6.3’ deki Û point-line’ sinin u birim doğrultman vektörü, u0
r
moment vektörü ve rX ′ yer vektörü aşağıdaki gibidir.
0
1
r
r 
u = Ra =  0 cos θ
 0 − sin θ
0  1 1
sin θ  0  = 0 
cos θ  0  0 
r
r
r
u0 = − R× Ra + α Ra0 = ( 0, 4, − 2 )
r r
h2 = −b T Ra + α h1 = 2 + 2 2
2 + 2 2 

r
r r 
rX ′ = α RrX + b =  2 
 4 


dir. Biliyoruz ki point-line vektörünün yer vektörü,
r
r r
r
rX ′ = u ∧ u0 + h2 u
(
= 2 + 2 2 , 2, 4
)
olup bu sonuç (6.33) ile çakışır.
74
(6.33)
KAYNAKLAR
Acratalishian, A. 1989. “E2n+1 de Lineer Vektör Alanları”, Doktora Tezi Gazi
Üniversitesi Fen Bilimleri Enstitüsü, Ankara.
Aydoğmuş, Ö., Kula, L. and Yaylı, Y. 2008. “On point-line displacement in Minkowski
3-space” Differential Geometry-Dynamical Systems, Vol. 10, pp. 32-43.
Bottema, O. and Roth, B. 1979. “Theoretical Kinematics”, North Holland Publ.
Company New York
Hacısalihoğlu, H. H. 1983. “Diferansiyel Geometri”, İnönü Üniversitesi Fen Fakültesi
Yayını.
Hacısalihoğlu, H. H. 1980a. “Yüksek Boyutlu Uzaylarda Dönüşümler ve Geometriler”,
İnönü Üniversitesi Temel Bilimler Fakültesi Yayınları, Ankara.
Hacısalihoğlu, H. H. 1980b. ”Yüksek Diferansiyel Geometriye Giriş”, Fırat Üniversitesi
Fen Fakültesi Yayını.
Hacısalihoğlu, H. H. 1971. “On The Rolling of One Curve or Surface Upon Another”,
Proceedings of the Royal Irish Academy. 71(2), 13-16.
Hacısalihoğlu, H. H. 1983. “Hareket Geometrisi ve Kuaterniyonlar Teorisi”, Gazi
Üniversitesi Fen –Ed. Fakültesi Yayınları, Mat. No. 2, Ankara.
Karger, A. and Novak, J. 1985. “Space Kinematics and Lie Groups”, Gordon and
Breach Science Publishers.
McCarthy, J. M. 1990. ”An Introduction to Theoretical Kinematics”, The MIT Pres
Cambridge, Massachusetts London, England.
75
Odehnal, B., Pottmann, H. and
Wallner, J. 2000. “Equiform Knematic and the
Geometry of Line Elements”, Mathematics subject Classification.
O’neill, B. 1983. “Semi Riemannian Geometry”, Academic Press, New York, London.
Ünal, Z. 2007. “Lorenz Uzayında Cebirsel Metodlarla Kinematik”, Ankara Üniversitesi
Fen Bilimleri, Doktora Tezi.
Yano, K. and Kon, M. 1984. “Structures on manifolds”, World Scientific, Singapore.
Zhang, Y. and Ting, K. L. 2004. “On point-line geometry and displacement”, Mech.
Mach. Theory 39, 1033-1050.
76
ÖZGEÇMİŞ
Adı Soyadı
: Esra Betül KOÇ ÖZTÜRK
Doğum Yeri
: KAYSERİ
Doğum Tarihi : 1982
Medeni Hali
: Evli
Yabancı Dili : İngilizce
EĞİTİM DURUMU (Kurum ve Yıl) :
Lise
: Kayseri Lisesi – 2000
Lisans
: Ankara Üniversitesi Fen Fakültesi Matematik Bölümü
(2002 - 2006)
Tezsiz Yüksek Lisans
: Sakarya Üniversitesi OFMA Tezsiz Yüksek Lisans
(2006 - 2007)
Tezli Yüksek Lisans
: Ankara Üniversitesi Fen Bilimleri Enstitüsü Matematik
Anabilim Dalı – ( 2007 - 2009)
Doktora
: Ankara Üniversitesi Fen Bilimleri Enstitüsü Matematik
Anabilim Dalı – ( 2009 - 2012)
ÇALIŞTIĞI KURUM/KURUMLAR ve YIL :
•
Ankara Cemal Şaşmaz Fen Lisesi, Yurt Müdür Yardımcılığı, Matematik
Öğretmeni ve Olimpiyat Koordinatörlüğü, 2006 - 2008
•
İngiltere Wisdom School, Matematik Öğretmeni, 2008 – 2009
•
Ankara Öncü Koleji, Matematik Öğretmeni, 2009 - 2010
İŞTİRAK EDİLEN SEMİNER VE DİĞER ETKİNLİKLER :
•
II. Türk Dünyası Matematik Sempozyumu Katılımcı (Sakarya ÜniversitesiSAKARYA)
YAYINLAR :
•
Öztürk, U., Hacısalihoğlu, H.H., Yaylı, Y., Koç Öztürk, E.B. “Dual Quaternion
Frames”, Commun. Fac. Sci. Univ. Ank. Ser. A1 Math. Stat.
77
•
Koç Öztürk, E.B., Öztürk, U., Yaylı, Y., Özkaldı, S., “Integral Curves of a Spiral
Vector Field In Eⁿ”, International Journal Of Mathematical Sciences &
Applications
•
Öztürk, U., Koç Öztürk, E.B., Yaylı, Y., “Dual Quaternion Frames Of A Non
Ligthlike Curve”, International Journal Of Contemporary Mathematics
EDİTÖRLÜK :
•
International Journal of Mathematical Sciences & Aplications
(Ocak 2011 den itibaren)
•
International Journal of Open Problems in Mathematics and Aplications
(Şubat 2011 den itibaren)
78
Download