1 1.G R Ş Katı cisimlerin hareketlerinin matematikte önemli bir yeri

advertisement
1.GİRİŞ
Katı cisimlerin hareketlerinin matematikte önemli bir yeri vardır. Hareketler, uzaklığı
koruyan dönüşümlerle verilir. Homotetik hareketler ise açıları koruyan dönüşümlerle
verilir. Hareketler homotetik hareketlerin özel halidir. Ani hareketlerin helis veya spiral
hareketle olması hareketin homotetik olması ile yakından ilgilidir.
Ani hareketler,
hareket Lie grubunun Lie cebiri ile de ilgilidir.
Bu tezde homotetik hareketlerin özel halleri ele alınıp incelenmiştir. Herhangi bir sabit t
anında homotetik hareketin hız vektörünün özel bir lineer vektör alanı olduğu
söylenmiştir. Daha sonra bu hız vektör alanının yörüngesinin bir eksen etrafında dönme,
öteleme, spiral ya da helis hareketi yaptığı incelenmiştir. Ani uzay hareketlerinde bir
noktanın yörüngesinin helis olduğu belirtilmiştir. Ani homotetik hareketlerde ise bir
noktanın yörüngesinin spiral olduğu gösterilmiştir. Bu ilişkiler incelenirken diferansiyel
geometrinin konularından olan Lie grupları ve Lie cebirlerinden de yararlanılmıştır.
Spiral vektör alanları, Karger ve Novak (1985) ele aldığı lineer vektör alanları olarak ele
alınıp bu vektör alanlarının ani hareketlerle ilişkisi incelenmiştir.
Ani homotetik hareketlerde bir noktanın yörüngesinin, spiral vektör alanlarının integral
eğrileri olarak verilebileceği gösterilmiştir. Spiral vektör alanlarına bir matris karşılık
getirilmiş ve bu matrisin rankı yardımıyla yörüngelerin cinsi belirlenmiştir.
Doğru elemanlarının Plücker koordinatlarının bazı temel gerçekleri açıklanmıştır.
Çizgiler Geometrisi ve Öklid Kinematiği arasındaki bağlantılardan bahsedilmiştir.
1
2.TEMEL KAVRAMLAR
Bu bölümde tez için gerekli olan bazı temel kavram ve teoremleri vereceğiz.
2.1 n-Boyutlu Öklid Uzayı
Tanım 2.1.1 (Afin Uzay)
A ≠ ∅ bir cümle ve V de ℑ 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.
(i) ∀ 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
(Hacısalihoğlu 1980).
Tanım 2.1.2 (Öklid Uzayı)
n-boyutlu bir reel iç çarpım uzayı
n
olsun.
n
ile birleşen
Öklid uzayı denir ve E n ile gösterilir (Hacısalihoğlu 1980).
Tanım 2.1.3 (Öklid Koordinat Sistemi)
E n de bir nokta p = ( p1 ,..., pn ) olsun. 1 ≤ i ≤ n olmak üzere,
2
n
afin uzayına n-boyutlu
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 denir veya dik koordinat sistemi
denir (Hacısalihoğlu 1980).
2.2 E n de Hareketler
Tanım 2.2.1 (İzometri)
E1n ve E2n sırasıyla n-boyutlu V1 ve V2 iç çarpım uzayları ile birleşen birer Öklid uzayı
olsunlar. Bir
f : E1n → E2n
afin dönüşümü ∀α , β ∈ V1 için
ψ (α ),ψ ( β ) = α , β
olacak şekilde bir
ψ : V1 → V2
lineer dönüşümü ile birleşiyorsa f ye bir izometri denir (Hacısalihoğlu 1980).
Tanım 2.2.2 (Dönme)
En in bir f izometrisi için eğer
f (O) = O ,
O ∈ En
olacak şekilde bir O noktası mevcut ise f ye O etrafında bir dönme denir
(Hacısalihoğlu 1980).
3
En de O etrafında dönmelerin cümlesi Ro(n) ile gösterilirse, bu cümle bileşke işlemine
n
göre bir grup olup, I (E ) in bir alt grubudur.
Teorem 2.2.1
En ile eşleşen
n
n-boyutlu standart reel vektör uzayında
n
X , Y = ∑ xi yi , X = ( x1 ,..., xn ) Y = ( y1 ,..., yn )
i =1
Öklid iç çarpımını koruyan ortogonal grup O(n) ile, O = (0,..., 0) noktasını sabit
bırakan dönme grubu eşlenebilir (Hacısalihoğlu 1980).
n
Yani herhangi bir R0 ∈ R0(n) dönmesinin E deki bir X noktasının R0 altındaki
görüntüsü Y olmak üzere
Y = AX ,
A ∈ O(n)
biçiminde ifade edilebilir.
Tanım 2.2.3 (Öteleme)
En in bir f izometrisi için eğer, X = ( x1 ,..., xn ) ∈ E n olmak üzere
f ( X ) = ( x1 + t1 ,..., xn + tn ) , ti ∈ , 1 ≤ i ≤ n
n
ise f ye E de bir öteleme denir (Hacısalihoğlu 1980).
En deki bütün ötelemelerin cümlesi T(n) ile gösterilirse, bu cümle dönüşümlerin bileşke
n
işlemine göre bir değişimli grup olup, I( E ) in bir alt grubudur.
Teorem 2.2.2
En n-boyutlu Öklid uzayının katı hareketlerinden birinin matrisi B olmak üzere
 aij  ∈ O(n)
1≤ i ≤ n
4
(n + 1) × (n + 1) tipinde reel ve regüler bir matristir. Bu cins matrislerin grubu
GL(n + 1, ) nin bir alt grubu olarak ifade edilebilir (Hacısalihoğlu 1980).
n
Teorem 2.2.2 ye göre, B matrisine tekabül eden genel izometri , E
deki bir
X noktasının B altındaki görüntüsü Y olmak üzere, matris formunda
Y = AX + C , A ∈ O(n) , C ∈ T (n)
şeklinde ifade edilir.
Tanım 2.2.4 (Hareket)
n
n-boyutlu bir E n Öklid uzayının izometrilerinden biri f olsun. E deki bir
{ x1 ,..., xn } dik koordinat sistemine göre
ve C ∈
n
1
f nin matrisel ifadesi, A ∈ O(n) ,yani det A = ±1
olmak üzere ,
Y   A C   X 
1  =  0 1   1 
  
 
dir. det A = 1 ise f hareketine direkt hareket, det A = −1 ise f hareketine karşıt
hareket denir (Hacısalihoğlu 1980).
Y = AX + C ile verilen harekette sabit bir X ∈ E n noktasının resmi Y dir. Burada AX
kısmına hareketin dönme kısmı denir. Hareketin parametresi t olmak üzere
Y = AX 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
ile verilir. Böylece
•
•
Y = A AT Y
olur.
5
Tanım 2.2.5 (Darboux Matrisi)
•
Ω = A AT
olmak üzere
•
Y = ΩY
ifadesinde bulunan Ω anti-simetrik matrisine A ya karşılık gelen hareketin Darboux
matrisi denir (Bottema, Roth 1979).
Tanım 2.2.6 ( E n de Eğri)
n-boyutlu Öklid uzayı E n ve
α :I ⊆
nin bir irtibatlı açık alt cümlesi I olmak üzere
→ En
dönüşümü diferensiyellenebilir ise α ( I ) cümlesine E n de bir eğri denir (Hacısalihoğlu
1983).
2.3 Lie Grubu Ve Lie Cebiri
Tanım 2.3.1 (Lie Grubu)
Bir M diferensiyellenebilir manifoldu ve bir G grubu verilmiş olsun.Eğer aşağıdaki
aksiyomlar sağlanırsa (M,G) ikilisine bir Lie Grubu denir.
L1 : M nin noktaları G nin elemanları ile çakışır.
L2 : • : M → M
(a,b) → a • b-1
işlemi her yerde diferensiyellenebilirdir.
M ye Lie Grubunun temel manifoldu ve G ye de temel grubu denir (Hacısalihoğlu
1980).
6
Tanım 2.3.2 (Lie Cebiri)
V bir vektör uzayı olmak üzere
[,] : V × V → V
(x, y ) → [,] (x, y ) = [ x, y ]
işlemi,
1) Bilineer
2) Antisimetrik
3) [ x, y ] , z  + [ y, z ] , x  + [ z , x ] , y  = 0 özelliklerine sahipse (V , [,]) ikilisine bir Lie
cebiri denir (Hacısalihoğlu 1980).
Tanım 2.3.3 (Matris Lie Grubu)
{a 
ij
n× n
aij ∈
}
matris uzayının bir alt manifoldu, matrislerin çarpımı işlemine göre bir grup ise bu
gruba Matris Lie grubu denir (Hacısalihoğlu 1980).
Tanım 2.3.4 3 de ortogonal matrislerin cümlesi
O
3A 33 : A T A AA T I
şeklinde tanımlanır. Bu cümle matris çarpma işlemine göre bir gruptur. Bu gruba
ortogonal grup denir (Karger, Novak 1979).
3 ortogonal grubunun bir alt grubu olan ve
Tanım 2.3.5 O
SO
3AR33 : A T A AA T I, detA 1
şeklinde tanımlanan gruba özel ortogonal grup denir (Karger, Novak 1979).
Tanım 2.3.6 SO (3) Lie grubuna karşılık gelen so(3) Lie cebiri aşağıdaki şekilde
tanımlanır (Karger, Novak 1979).
7
é
ïìï
ïïü
- w3 w2 úù
ê 0
ï
ï
ê
ú
so(3) = ïí wòR 33 : w = ê w3
0
- w1 ú, wT = - w ïı
ïï
ïï
ê
ú
ïï
ïï
ê- w2 w1
ú
0
ïş
îï
ë
û
Tanım 2.3.7 (Vektör Alanı)
Bir diferensiyellenebilir manifold M olsun.
1:1
X : M → U TM ( p )
örten p∈M
p → X P ∈ TM (Y )
biçiminde tanımlı X dönüşümüne M manifoldu üzerinde bir vektör alanı denir
(Hacısalihoğlu 1983).
Tanım 2.3.8 (İntegral Eğrisi)
☺, E n de parametrik bir eğri
☺ : I En
t ☺
t
☺1 t, ☺2 t, . . . ☺n t
ve X, E n üzerinde bir vektör alan olmak üzere, " t òI
d☺
dt
için,
X
☺t
ise, ☺ eğrisine X vektör alanının integral eğrisi denir (Hacısalihoğlu 1983).
Tanım 2.3.9 V, n -boyutlu bir vektör uzay, X , V üzerinde bir vektör alanı olsun.Eğer,
A : V V
bir lineer dönüşüm olmak üzere, " v òV
için
X v A
v
ise, X
vektör alanına lineerdir denir (Karger, Novak 1979).
8
Teorem2.3.1 A, E 3 de bir antisimetrik matrisle verilen bir lineer dönüşüm olsun. Bu
durumda A nın matris formu, 0 olmak üzere;
0 0
A
0 0
0
0 0
olacak şekilde bir E 3 ün bir ortonormal baz vardır (Karger, Novak 1979).
Tanım 2.3.10
ìï
ég c ù
ïü
ú, gòR 33, gT g = I 3, còR 3, det g = 1ïı
SE (3) = ïí A : A = ê
ê0 1 ú
ïîï
ïïş
ë
û
cümlesi matris çarpımına göre bir gruptur. (SE (3), · ) grubuna 3 de katı cisimlerin
özel grubu denir (Karger, Novak 1979).
SE (3) grubu topolojik yapısıyla ele alındığında,6-boyutlu bir topolojik manifolddur.Bu
durumda, SE (3) bir matris Lie grubudur.
Tanım 2.3.11 SE (3) Lie grubuna karşılık gelen se(3) Lie cebiri,
ìï
se(3) = ïí
ïîï
éw v ù
ïü
ê
ú : wòR 33 , wT = - w ïı
êë0 0 úû
ïïş
şeklinde tanımlanır (Karger, Novak 1979).
2.4 Çizgiler Geometrisi
Tanım 2.4.1 (Plücker doğru koordinatları)
r uuur
r
Yönlenmiş bir doğru üzerindeki bir X noktasının x = OX yer vektörü ve a yön vektörü
uur
( a 2 = 1 olmak üzere) şeklinde verilebilir. Bu durumda doğrunun parametrik
(parametre= λ ) bir gösterilişi
9
r r
r
y = x + λa
olur. X noktasının imtiyazlı durumundan kurtulmak için
uur r r
a* = x × a
vektörünü teşkil edelim. Bu vektör
r r r r uur
y × a = x × a = a*
uur
r
dan görüleceği üzere, X noktasının seçilişine bağımsızdır. a* vektörü a birim
kuvvetinin, koordinat sisteminin O başlangıç noktasına göre, vektörel momentidir. Bu
r uur
durumda (a, a* ) vektör çifti sayesinde yönlenmiş doğru, tek anlamlı olarak tespit
edilmiş olur. Bu vektörler şu şartları sağlarlar:
uur
r uur
(a 2 = 1) , aa* = 0
uur
r
a ve a* ın dik koordinat sistemindeki altı bileşenine homojen olmayan PLÜCKER
r
DOĞRU KOORDİNATLARI denir. a yön vektörünün normlanmış olmasını göz önüne
uur
uur
*
alırsak yani doğrunun yönünü herhangi bir − ρ > 0 olmak üzere −b = ρ a* ın homojen
r uur
altı koordinatı homojen Plücker doğru koordinatlarını teşkil ederler. Bu durumda b , b*
uur r r
r uur
vektörleri bb* = 0 şartını gerçekler. Burada b* = x × b olur (Müler 1963).
Tanım 2.4.2 (Lineer Işın Kompleksi)
r
A has bir dual vektör olmak üzere
uur r
r uur
a, x* + a* , x = 0
denklemini sağlayan
uur
r r
X = x + ε x* doğrularının cümlesine bir lineer ışın kompleksi
denir (Hacısalihoğlu 1983).
Tanım 2.4.3
r
A has dual vektörünün
ur
uur
A r
U = r = u + ε u*
A
10
eksenine liner ışın kompleksinin ekseni denir (Hacısalihoğlu 1983).
Tanım 2.4.4
r
A has dual vektörünün
r uur
a , a*
k= r2
a
adımına lineer ışın kompleksinin adımı denir (Hacısalihoğlu 1983).
Teorem 2.4.1
Lineer bir ışın kompleksine bir helis hareketi, tersine olarak bir helis hareketine, lineer
bir ışın kompleksi bağlıdır. Kompleksin ekseni helisin ekseni ile çakışır, kompleksin ve
helis hareketinin adımları aynıdır. Lineer bir kompleksin (∞3 ) sayıdaki ışınları
3
ün
helis hareketine uyan noktalarındaki yörünge normallerinin bütününden oluşur
(Hacısalihoğlu 1983).
Tanım 2.4.5 (Lineer Doğru Kongrüansı)
r r
A, B has dual vektörleri için
uur r
r uur
F ... a, x* + a* , x = 0
uur
r uur
φ ... b, x* + b* , x = 0
r
D enklemlerini sağlayan X doğrularının cümlesine lineer ışın kongrüansı denir
(Hacısalihoğlu 1980).
r
Bağımsız parametrelere u ve v denirse X birim dual vektörü u ve v reel
uur
r r
parametrelerinin X = x(u , v) + ε x* (u , v) şeklinde bir fonksiyonu olarak yazılabilir.
11
3.HOMOTETİK HAREKETLER
Bu bölümde hareket, 1-parametreli hareket, homotetik hareket, 1-parametreli homotetik
hareket kavramları verilmiştir ve ani homotetik hareketlerin hız vektörleri incelenmiştir.
Daha sonra lineer vektör alanları verilerek spiral vektör alanları tanıtılmıştır.
Arkasından homotetik hareketlerin Lie grubu ve Lie cebiri verilerek Sd (3) üzerinde Lie
çarpımı ve Sd (3) Lie cebirinin yapı sabitleri hesaplanmıştır.
3.1 Hareket
Sabit uzayı R, hareketli uzayı R0 ile gösterirsek o zaman R0 ın R ye göre hareketi R0/R
ile göstereceğiz.
α (t0 )
α (t )
O
Şekil 3.1.1 (Hareket)
R0/R hareketi;
Ψ:En
X
En
şeklindeki Ψ izometrisi ile temsil
Y=AX+C
edilir. Ψ’nin matrisel ifadesi A ∈ O(n), C ∈
Y   A C   X 
 1  =  0 1   1  dir.
  
 
12
n
1
olmak üzere;
Örnek 3.1.1
cos θ
A= 
 sin θ
− sin θ 
ortogonal matris olmak üzere;
cos θ 
 x '   cos θ
 ' 
 y  =  sin θ
 1   0
 
− sin θ
a  x 
b   y  C = (a, b) , Y = ( x ' , y ' ) , X = ( x, y )
1   1 
cos θ
0
Y = ( x cos θ − y sin θ + a, x sin θ + y cos θ + b)
3.2 Bir Parametreli Hareket
f t :En
(t ∈ J ⊂
En
X
, A(t) ∈ SO(n), C(t) ∈
n
1
Y=A(t)X+C(t)
dönüşüme bir parametreli hareket denir. Dönüşümün matrisel ifadesi;
 A(t ) C (t ) 
ft = 
dir.
1 
 0
Örnek 3.2.1
fθ : E2
E2
( x cos θ − y sin θ , x sin θ + y cos θ )
( x, y )
 x '  cos θ
 ' 
 y  =  sin θ
 1   0
 
− sin θ
cos θ
0
0  x 
0   y 
1   1 
13
)
fθ (1,0)=( cos θ ,sin θ )
birim çember,
fθ (1,1)=( cos θ − sin θ , sin θ + cos θ )
çember.
Örnek 3.2.2

1
0

1− t2
A= 0
 1+ t2

2t
0
 1 + t 2

0 

−2t 
bir parametreli dönme matrisi olmak üzere;
1+ t2 

1− t 2 
1 + t 2 
ft : E 3 → E 3
0
1
 x   1− t2
 '  0
2
 y  =  1+ t
 z ' 
2t
  0
2
 1   1+ t
0
0

'
0
−2t
1+ t2
1− t2
1+ t2
0
a
  x
b  
  y
 z
b  
 1 
1 
3.3 Homotetik Hareket
Ψ:En
X
En
ile belirli dönüşüme En de bir homotetik hareket
Y=(hA)X+C
14
Örnek3.3.1
ft : E 3 → E 3
0
3

x 
1− t2
 '  0 3
1+ t2
y  = 
 z ' 
2t
  0 3
1+ t2
1 
0
0

'
0
−2t
1+ t2
1− t 2
3
1+ t2
0
3
a
  x
b  
  y
 z
b  
 1 
1 
3.4 Bir Parametreli Homotetik Hareket
Ψ:En
X
En
ile belirli dönüşüme En de bir parametreli
Y=(h(t)A(t))X+C(t)
homotetik hareket denir. Burada t ∈ J ⊂
, A(t) ∈ SO(n), C(t) ∈
Dönüşümün matrisel ifadesi;
Y   h(t ) A(t ) C (t )   X 
dir.
1  =  0
1   1 
  
Örnek3.4.1
f t : E2
(x,y)
E2
(1+t)( x cos t − y sin t , x sin t + y cos t )
Örnek 3.4.2
f t : E2
(x,y)
E2
et ( cos t ,sin t )
15
n
1
, h(t) ∈
+
dir.
Örnek 3.4.3




E 3 de A = 




− r sin t
r +k
r cos t
2
2
r2 + k2
k
− cos t
− sin t
0
r2 + k2
k sin t 

r + k2 
− k cos t 
 ortogonal matrisi alınabilir.
r2 + k2 

r

r 2 + k 2 
fθ : E 3 → E 3
( x, y, z ) → eθ (
+−r
−k cos θ
k +r
2
− r sin θ
k2 + r2
z,
2
x + − y cos θ +
k
k +r
2
2
x+
r
k + r2
2
k sin θ
k 2 + r2
z,
− r cos θ
k2 + r2
x + − y sin θ
z)
Şimdi homotetik hareket için mutlak hız, sürüklenme hızı ve rölatif hız kavramlarını
verelim.
 h(t ) A(t ) C (t )   X 
Ft ( X ) = 
1   1 
 0
h −1 =
1
h
ifadesinde
h
bir
skalar
olduğundan
hT = h
,
dir. B = hA denirse
B −1 = h −1 A−1 =
1 T
A
h
elde edilir. Bir X ∈ E n için Ft ( X ) noktalarının geometrik yeri E n de bir eğridir. Bu
eğriyi ( Yt ) ile göstereceğiz. Yt = Ft ( X ) dir.
Ft ( X ) = BX + C
eşitliğinden t ye göre türev alınırsa
16
dY dB
dX dC
=
X +B
+
dt
dt
dt
dt
elde edilir.
Tanım 3.4.1 (Mutlak Hız, Sürüklenme Hızı,Rölatif Hız)
Y = BX + C hareketi için ifadesi için
dY dB
dX da
=
X +B
+
dt
dt
dt dt
ifadesindeki
dY
dB
da
dX
ye hareketin mutlak hızı ,
X+
ye sürüklenme hızı , B
ye
dt
dt
dt
dt
de hareketin rölatif hızı denir (Hacısalihoğlu 1971).
Teorem 3.4.1
Y = BX + C bir homotetik hareket ise det(
dB
) ≠ 0 dır (Hacısalihoğlu 1971).
dt
Teorem 3.4.2
n-boyutlu Öklid uzayı
E n in homotetik hareketleri her n için regüler hareketlerdir
(Hacısalihoğlu 1971).
3.5 Homotetik Hareketlerinin Hız Vektörleri
Bu bölümde H.Potmann, I-K.Lee and T.Randrup Reconstruction of Kinematic Surfaces
from Scattered Data ve B.Odeehnal, H.Pottmann, J.Wallner Equiform Kinematics and
The Geometry of Line Elements adlı makaleleri tanıtılmıştır.
Bu bölüm lineer parçası afin dönüşüm olan ortogonal dönüşümden ve homotetik
dönüşümden düzenlenmiş benzerlik hareketini tanımlar.
17
uur
r
R0 ve R 3-boyutlu öklid uzayının elemanları olsun ve x0 ∈ R0 , x ∈ R olsun. R0 hareketli
uzayının x0 ∈ R0 noktasının t anındaki R sabit uzayına göre hareketi;
x(t ) = λ (t ) A(t ) x0 + a(t ) dir (H.Pottman, I-K.Lee 1998).
(3.5.1)
x(t ) = λ (t ) A(t ) x0 + a(t ) ise;
x0 =
A−1 (t )
A−1 (t )
A −1
A −1
x(t ) −
a(t ) dir. Kısaca x0 =
x−
a olarak ele alacağız. Buna
λ (t )
λ (t )
λ
λ
göre;
•
•
•
•
x(t ) = a (t ) + λ (t ) A(t ) x0 + λ (t ) A(t ) x0 dır. Türevde x0 ın değerini yerine yazarsak ,
•
•
•
x = a + λ A(
A−1
λ
•
x−
A−1
λ
•
a ) + λ A(
A−1
λ
x−
A−1
λ
a)
•
λ
λ
λ •
λ •
x = a + AA−1 x − AA−1a + A A−1 x − A A−1a
λ
λ
λ
λ
•
•
•
•
•
•
λ
λ
x = a + x − a + A AT x − A AT a dır. ( AT = A−1 )
λ
λ
•
•
•
•
•
•
λ
λ
x = a − a − A AT a + x + A AT x
λ
λ
•
•
c
γ
C
•
(3.5.2)
x = v ( x ) = c + γ x + C .x
Bu ifade hız vektör alanları için iyi bilinen Öklid durumuna benzer. Bu Lie dönüşüm
_
gruplarından herhangi (c, c, γ ) ∈
7
üçlüsü bir tek benzerlik hareketini tanımlar.
Bu hareket benzerlik hareketinin bir parametreli alt grubudur.
18
•
•


•
•
•
λ
λ
T
 C = A A , γ = , c = a − a − A AT a 


λ
λ


•
C = A AT
AAT = I n
•
C T = ( AT )T ( A)T
•
•
•
C = A ( A)
T
•
A AT + A ( A)T = 0
T
•
T
A( A)T = −
1A
2A
3
−C
⇒ C T = −C olduğundan C antisimetrik bir matristir.Bundan dolayı bir c vektörü
→
→
•
kullanarak C.x yerine c × x
ederiz.Burada
( c, c, γ ) ∈
7
yazabiliriz. Böylece
( A(t ), a(t ), γ (t ) )
→
→
x = v( x) = c + γ x + c × x elde
benzerlik hareketinin bir parametreli alt grubudur ve
bu benzerlik hareketini tek türlü olarak tanımlar.
A(t ) t anındaki dönmeyi,
a (t ) t anındaki ötelemeyi,
γ (t ) benzerlik oranını verir.
(c, c, γ ) yı sabitleyerek sabit katsayılı lineer diferansiyel denklem çözümü;
•
x = D.x + c olarak bulunur. Gerçekten çözümü x(0) = x0 sınır koşulu ile ve üstel
matrisi ile açıkça bulunabilir.
x(t ) = s (t ) + e Dt .x0 ,
s (t ) = e Dt .D −1.c − e Dt .D −1.e− Dt .c
•
x = D.x + c ⇒
Dx = γ x + c × x
Dx = γ x + Cx
Dx = (γ1I2
+3
C)x
⇒ D =γ I +C
D
19
x(t ) = e Dt .D −1.c − e Dt .D −1.e− Dt .c + e Dt .x0
•
x(t ) = De Dt D −1 c − De Dt D −1e− Dt c + e Dt D −1 De − Dt c + De Dt x0
•
x(t ) = D(e Dt D −1 c − e Dt D −1e− Dt + e Dt x0 ) + c
14444
4244444
3
x
•
D =γ I +C
x = D.x + c
Dt = γ (t ) + C (t )
x(t ) = s (t ) + e Dt .x0
e Dt = e
0
0 
γ ( t )

γ ( t ) 0 
 0
 0
0
γ ( t )
 eγ t

e Dt =  0
0

0
eγ t
0
olmak üzere;
.eCt
0

0  . eCt 
eγ t 
e Dt = eγ t .I 3 . eCt 
e Dt = λ (t ). A(t )
⇒ x(t ) = [ λ (t ). A(t ) ] x0 + s(t )
= e Dt x0 + s (t )
Şimdi
( c, c, γ ) ∈
7
için benzerlik hareketinin bir parametreli alt grubunun karşılık
geldiği dönüşümlere bakalım ve homotetik hareketlerin yörüngelerinin çizdiği yüzeyleri
inceleyelim.
20
1.Durum γ = 0 , λ (sabit) ≠ 0 olduğunda üç durum vardır.
a.)
v( x ) = c + γ x + c × x
c = 0, c ≠ 0 ⇒
v( x ) = c
⇒ sadece öteleme var.
Şekil 3.5.1 (Homotetik hareketin yörüngesinin
oluşturduğu silindirel yüzey)
Örnek 3.5.1
 0 
A(t ) = E , a(t ) =  0  , λ (t ) = 1
v(t ) 
3
b.)
c ≠ 0, cc ≠ 0 Öklid geometrisindeki helis elde edilir.
⇒ dönme ve öteleme var.
21
Şekil 3.5.2 (Homotetik hareketin yörüngesinin oluşturduğu helisel yüzey)
Örnek3.5.2
 cos ωt − sin ωt 0 
 0 


A(t ) =  sin ωt cos ωt 0  , a(t ) =  0  , λ (t ) = 1
 0
v(t ) 
0
1 
Şekil 3.5.3 (Helisel hareket)
c.)
c ≠ 0 , c.c = 0
⇒ helisel hareket ötelemesiz.
22
Şekil3.5.4 (Homotetik hareketin oluşturduğu dönelyüzey)
2. Durum γ ≠ 0 ise iki durum vardır.
a.)
c ≠ 0 ise spiral harekettir.
Örnek 3.5.3
cos ωt − sin ωt 0 
A(t ) =  sin ωt cos ωt 0  , a(t ) = 0, λ (t ) = eγ t
 0
0
1 
Şekil 3.5.5 (Homotetik hareketin yörüngesinin oluşturduğu spiral yüzeyi)
Dönme ve benzerlik katı var.
23
z (v( z ) = 0) spiralin merkezi; A , c vektörü yönünde spiral ekseni; σ =
γ
c
spiralin
parametresidir.
x(t ) = a (t ) + λ (t ) A(t ) x0
x(t ) = 0 + eγ t [ A(t )][ x0 ]
Bu hareket bir spiraldir. Bir parametreli alt grubun dönme yörüngeleri spiral
yüzeylerdir. Bu spiral yüzeyler deniz kabuklarında görülen sabit ölçülü yönlendirilmiş
eğilimlere benzer.
b.)
c = 0, z = −
c
γ
,noktaların yörüngeleri z ye doğru çizgilerdir.
Örnek 3.5.4
A(t ) = I 3
λ (t ) = eγ t
a (t ) = 0
Şekil 3.5.6 (Homotetik hareketin yörüngesinin oluşturduğu Konikal yüzey)
24
3.6 Lineer Vektör Alanları
Bu bölümde
•
_
_
x = v ( x ) = c + γ x + C .x = [γ I 3 + C ] x + c
_

 x
γ
I
+
C
c
 
≅ 3
 0
0   1 
vektör alanlarının yörüngelerinin farklı şekilde incelenmesi ele alınmıştır.
3.6.1 E3 de lineer vektör alanları
Teorem 3.6.1.1
X, E3 de bir lineer vektör alanı ve E3 ün bir {O; u1 , u2 , u3 } ortonormal çatısına göre
matrisi
0

 A C  λ
 0 1  = 0



0
−λ
0
0
0
0 a
0 b 
, rank [ AC ] = 3
0 c

0 1
şeklinde yazılabilir.
Bu durumda X lineer vektör alanı ∀p = ( x, y, z ) ∈ E 3 için
 X ( P)   A C   P 
 0  = 0 0  1

 
 
yada
0
 −λ
=
0

0
λ 0 a  x
0 0 b   y 
0 0 c z
 
0 0 0 1 
X ( P) = (λ y + a, −λ x + b, c)
olarak bulunur. Diğer yandan, E 3 de
25
α :I ⊂
→ E3
t → α (t) = (α1 (t ), α 2 (t ), α 3 (t ))
eğrisini ele alalım. α nın X 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 )
başlangıç şartlı integral eğrisi α (t ) = p , X (p) = (λ y + a, −λ x + b, c) için
dα
= X ( P)
dt
diferensiyel denkleminin çözüm eğrisidir. Yani
dx
= λy+a
dt
dy
= −λ x + b
dt
dz
=c
dt
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.
α (t ) integral eğrileri ∀A, B ∈
için değişen dairesel helis eğrileridir (Abolfazl 1989).
Şimdi rank [ AC ] = 2 durumuna bakalım. Bu durumda c = 0 ve λ ≠ 0 olmalıdır. Yani X
lineer vektör alanı
0 λ
 −λ 0

0 0

0 0
0 a
0 b 
olmalıdır.
0 0

0 0
c = 0 olmak şartı ile
26
dx
=a+ y
dt
dy
=b−x
dt
dz
=0
dt
denklem sistemi elde edilir. Ve bu denklem sisteminin çözümü
α (t ) = ( A sin t − B cos t + b, A cos t + B sin t − a, d )
olarak elde edilir. α (t ) integral eğrileri çemberleri göstermektedir (Abolfazl 1989).
Son olarak rank [ AC ] = 1 olsun. Bu şartın sağlanabilmesi için λ = 0 olmalıdır.Bu
durumda X lineer vektör alanının matrisi
0
0

0

0
0 0 a
0 0 b 
0 0 c

0 0 1
olur. Bu durumda
dx
=a
dt
dy
=b
dt
dz
=c
dt
denklem sistemi elde edilir. Bu denklem sisteminin çözümü
α (t ) = (at + d1 , bt + d 2 , ct + d3 )
dır.
Bu α (t ) integral eğrileri paralel doğruları gösterir.
27
3.6.2 E2n+1 de lineer vektör alanı
Teorem 3.6.2.1
X, E2n+1 de bir lineer vektör alanı ve X in bir {u1 ,..., u2 n +1} ortonormal çatısına göre
A C
matrisi 
 olsun. Burada A ∈
0 1
2 n +1
2 n +1
bir antisimetrik matris, C ∈
2 n +1
1
bir kolon
matrisidir.
1. X in integral eğrileri, ortak eksenli aynı parametreli, dairesel helis eğrileridir.
2. rank [ AC ] = 2k , 1 ≤ k ≤ n ise X in integral eğrileri, paralel düzlemlere dik olan bir
eksen üzerinde bulunan çemberlerdir.
3. rank [ AC ] = 1 ise , X in integral eğrileri paralel doğrulardır (Abolfazl 1989).
3.7. E3 Öklid Uzayında Spiral Vektör Alanları
Tanım 3.7.1
: E 3 E 3
x
x t
g
t
x c
t
t
SO3, ct 3 ve
dönüşümüne bir parametreli homotetik hareket denir. Burada g
bu dönüşümün matrisel ifadesi;
y
t
tgt ct
1
0
1
x
1
şeklindedir.
tgt ct
A
t
0
1
formundaki 1-parametreli matrisler, matris çarpımına
28
göre bir grup oluşurlar. Bu grubu SD (3) ile göstereceğiz. Yani,
SD
3 A : A SD (3)
dir.
g c
, gSO
3
, , c 3
0 1
topolojik yapısıyla ele alındığında 7-boyutlu topolojik manifolddur.Bu
durumda SD (3)
bir matris Lie grubudur. Bu gruba karşılık gelen Lie cebirini de
sd (3) ile gösterelim ve bu sd (3) Lie cebirini bulalm;
1
g 1 t 1tg 1 t
c
t
t
1
A t
0
1
ve
·
·
é·
ù
êl (t )g(t ) + l (t ) g(t ) c(t ) ú
A (t ) = ê
ú
ê
0
1 ú
ë
û
·
olduğundan,
·
·
é·
ùé 1 - 1
êl (t )g(t ) + l (t ) g(t ) c(t ) úêl (t ) g (t ) - 1
A (t )A (t ) = ê
úê
0
ê
0
1 úêë
ë
û
1 g - 1(t )c(t ) ù
l (t )
ú
·
·
él (t ) ·
ê + g(t )g - 1(t ) = êl (t )
ê
0
êë
elde
_
edilir.
·
l (t )
c(t )
l (t )
1
ú
ûú
·
·
ù
- g(t )g- 1(t )c(t ) + c(t ) ú
ú
ú
0
úû
·
l (t )
Burada,
l (t )
·
= g(t ), g(t )g- 1(t ) = C (t )
ve
·
c (t ) = c(t ) - g (t )c(t ) + C (t )c(t ) denirse,
ég(t )I + C (t ) c_ (t ) ù
3
ú=
A (t )A (t ) = êê
ú
0
0 ú
êë
û
·
- 1
_
_
éw
ù
ê c ú = [w, c ]
ê
ú
êë0 0 úû
_
olarak elde ederiz. Burada, C
antisimetrik matris, , 3x3
durumda, SD (3) Lie grubunun sd (3) Lie cebirini
29
tipinde bir matristir.Bu
_
D c
sd
3
_
, C T C, c 3
0 0
olarak elde ederiz.Burada D = γ I 3 + C dir. Lie cebirinin elemanlar ile spiral vektör
alanlar birebir eşlenirler.
Şimdi lineer vektör alanları ile ani homotetik hareketler arasındaki ilişkiyi verelim:
1-parametreli homotetik harekette x noktasının yörüngesi;
y
t t
g
t
x c
t dir. Buradan türev alınırsa;
·
·
·
·
y (t ) = l (t )g(t )x + l (t ) g(t )x + c(t )
·
·
(
)
= (l (t )g(t ) + l (t ) g(t ) )(
·
= l (t )g(t ) + l (t ) g(t ) x + c(t )
·
·
·
l (t )
(y (t )
l (t )
=
= c(t ) -
·
- c(t )) ) + c(t )
·
·
- c(t )) + g(t )g- 1(t )(y (t ) - c(t )) + c(t )
·
·
1 g - 1(t )(y (t )
l (t )
l (t )
c(t )
l (t )
·
·
- 1
- g(t )g c(t ) +
l (t )
y (t )
l (t )
·
+ g(t )g- 1y (t )
_
c t
t
y
tC
t
y
t
·
_
y (t ) = [g (t )I 3 + C (t ) ]y (t ) + c (t )
olarak elde edilir. Burada, g (t ) benzerlik oranını verir ve C
antisimetrik bir matris
olduğundan,
®
®
C .y = c ´ y
olarak yazılabilir. Burada (g(t ), c(t ), g (t ) ) benzerlik hareketinin bir
parametreli alt grubudur. t = 0 anındaki hız vektörü
·
_
y (0) = [g (0)I 3 + C (0) ]y (0) + c (0)
dir. Bu hız vektörünün matris formundaki ifadesi ise;
é y· (0) ù
ê
ú=
ê
ú
êë 0 úû
ég(0)I + C (0) c_ (0) ùéy (0) ù
3
ê
úê
ú
ê
úê 1 ú
0
0 úêë
êë
úû
û
(3.1) dır.
30
3.7.1 E 3 Öklid uzayında spiral vektör alanlarının integral eğrileri
Y
bir lineer vektör alanı olsun. Yani,
é·
ù
êY (M ) ú
ê
ú=
ê 0 ú
ë
û
_
é
ùéM
êg (t )I 3 + C (t ) c (t ) úê
ê
ú
0
0 úêêë 1
ëê
û
şeklinde
olsun.
Şimdi
ù
ú=
ú
úû
_
é
ùéM ù
êD c úê ú
ê
ú
0 0 úêêë 1 úúû
ëê
û
nin
Y
integral
eğrilerini
bulalım.
·
(Y / a (t ) = a (t )), D = g I 3 + C olmak üzere
·
_
0x başlangıç
Y (t ) = Dx + c ,sabit katsayılı matris diferensiyel denkleminin Y
koşulu altındaki çözümü:
t
_
e Dts c ds
Y
te x Dt
0
_
t
Y
te Dt x e Dt ce Ds ds
0
_
Y
te Dt x e Dt c D1 e Dt 1
_
_
Y
te Dt x e Dt c D1 e Dt e Dt c D1
Y
tS
te Dt x
olarak elde edilir.
ég(0)I + C (0) c_ (t ) ù
3
ê
ú lineer vektör alanına karşılık gelen integral eğrisini bulmak
ê
ú
0
0 ú
êë
û
demek, t = 0 anındaki hız vektörü (3.5.1) ile aynı olan ani harekette y (0) noktasının
t ile gösterelim ve y1(0) = y (0)
yörüngesini bulmak demektir. Bu ani hareketi y 1 ani homotetik hareketi bulalım. Bu durumda,
·
_
y1(t ) = D .y1(t ) + c (t )
0y
0x başlangıç şart altında çözersek,
diferensiyel denklemini y 1 31
t
_
e Dts c ds
y1 te Dt y 1 0
0
_
_
y1 te Dt y 1 0e Dt c D1 e Dt e Dt c D1
olarak elde edilir. Bu bir homotetik hareket tanımlar. Eğer g ¹ 0 ve C ¹ 0 ise bu
durumda hareket bir spiral hareket olarak adlandırılır. Bu hareketi
é y· ù éD c_ ùéM ù
ê 1ú ê
úê ú
ê ú= ê
úê 1 ú
0 0 úêë ú
êë 0 ú
û êë
û û
é · ù é
ê y 1 ú = êg I 3 + C
ê ú ê
0
êë 0 ú
û êë
y1
1
_
c úùéy 1 ù
úê ú
0 úêë 1 ú
û û
_
exp t
I 3 C c
0
0
M
1
ég I + C
3
şeklindedir. Burada y1(t ) eğrisi Y = êê
êë 0
_
cù
ú spiral vektör alanının integral
ú
0ú
û
eğrisidir.
Şekil 3.7.1.1 (Ani Homotetik Hareket)
·
Özel olarak
l (t )
l (t )
= g = 0 ise, bu durumda hareket bir katı cisim hareketidir.
éD c_ ù
ê
ú lineer vektör alanının integral eğrisi,
ê
ú
êë0 0 ú
û
_
i )rank êéD, c úù = 3 ise integral eğrileri, ortak eksenli aynı parametreli helis eğrileridir.
ë
û
32
_
ii )rank êéD, c úù = 2
ë
û
ise integral eğrileri, paralel düzlemlerde kalan ve merkezleri bu
paralel düzlemlere dik olan bir eksen üzerinde bulunan çemberlerdir.
_
iii
rank 
D, c 1 ise integral eğrileri, paralel doğrulardır (Karger,Novak).
·
l (t )
l (t )
_
= g ¹ 0, rank éêD, c ùú = 3 ise integral eğrileri spiral eğrilerdir.
ë
û
Örnek 3.7.1.1
0 1 0
C
0
_
1 0 0
, c
0 0 0
¥
n= 0
(tx )n
n!
·
1
ég I + C
3
olmak üzere, X = êê
êë 0
e tx = å
0
= I + tx +
3
é1
ê
_
c ùú êê- 1
ú= ê
0ú ê 0
û ê
ê0
ë
t2 x 2
2!
4
e t , ll ((tt )) =
+
t3 x 3
3!
2
1 0 0ù
ú
1 0 0ú
ú spiral vektör alanın ele alalım.
0 1 1 úú
ú
0 0 0ú
û
+
t4 x 4
4!
den dolayı,
3
1 t 2t3! 4t4! . . . t 2t2! 2t3! . . .
3
e tx 3
t 2t2! 2t3! ...
3
0
0
0
é 12 e t (e - it + e it )
ê
ê 1 t it
- it
ê- 2 ie (e - e )
= ê
ê
0
ê
ê
0
êë
0
4
1 t 2t3! 4t4!
0
1 ie t (e it
2
- e - it )
1
0
0
2
0
3
4
2
3
4
t
t
t
t
t
t
3!
4!
. . . t 2!
3!
4!
...
1 t 2!
0
ù
ú
ú
1 e t (e - it + e it )
0
0 ú
2
ú
0
e t e t - 1 úú
ú
0
0
1 ú
û
0
0
33
1
e t cos t e t sint 0
0
e t sint e t cos t 0
0
0
0
e t e t 1
0
0
0
- sin t
0
é cos t
ê
ê sin t
êêe t
0
ê
ê
ê
0
ë
1
0
ù
ú
0 0 úú
ú
1 et - 1 ú
ú
0 1 ú
û
cos t
0
0
bulunur. e tx ile 1-parametreli homotetik hareket tanımlanabilir. Harekette bir noktanın
yörüngesi spiral eğrisidir.
3.7.2 E n Öklid uzayında spiral vektör alanları
Tanım 3.7.2.1
: E n E n
x
x t
g
t
x c
t
dönüşümüne bir parametreli homotetik hareket denir. Burada g(t )òSO (n ), c(t )òR n ve
bu dönüşümün matrisel ifadesi;
y
t
tgt ct
1
t
şeklindedir. A
0
1
x
1
él (t )g(t ) c(t ) ù
ê
ú formundaki 1-parametreli matrisler, matris
ê 0
ú
1
úû
ëê
çarpımına göre bir
34
él g c ù
ïì
ïü
ú, gòSO (n ), l òR, còR n ïı
G = ïí A : A = êê
ú
ïï
ïï
êë 0 1 úû
î
ş
grubunu oluştururlar. G bir Lie
grubudur. Bu gruba karşılık gelen Lie cebirini de g ile gösterelim. O zaman
ïì éW V ù
ïü
ú; g I n + C = W òR n ,V òR 1n ïı
g = ïí êê
n
ïï 0 0 ú
ïï
îë
û
ş
olarak elde edilir.
Tanım 3.7.2.2
: Rn ® Rn
Y
M Y
MW. M V
şeklinde
tanımlanan
lineer
dönüşüme
spiral
vektör
alan
denir.
Burada
g I n + C = W òR nn ,C antisimetrik ,V òR 1n dir.
Tanım 3.7.2.3
a , E n de parametrik bir eğri
☺ : I En
t ☺
t
☺1 t, ☺2 t, . . . ☺n t
ve X , E n üzerinde bir spiral vektör alan olmak üzere, " t òI
da
dt
için,
= X (a (t ))
ise, a eğrisine X spiral vektör alanının integral eğrisi denir.
1-parametreli homotetik harekette x noktasının yörüngesi
dir. Buradan türev alınırsa;
·
_
y (t ) = [g (t )I 3 + C (t ) ]y (t ) + c (t )
elde edilir. t = 0 anında hız vektörü,
35
y (t ) = l (t )g(t )x + c(t )
·
_
y (0) = [g (0)I 3 + C (0) ]y (0) + c (0)
dir. Şimdi y1(0) = y (0) = M noktasındaki hız
y1(0) = y (0) = M başlangıç şartı altında çözersek,
·
y1(t ) = W y 1(t ) + V (t )
é· ù
êy1 ú =
ê ú
êë1 ú
û
éW V ùéM ù
ê
úê ú
ê 0 0 úê 1 ú
ë
ûëê ú
û
olmak üzere;
y1 t
exp
1
tg 1 t c 1 t
0
0
W V
M
0 0
1
M
1
elde edilir.Burada, g1(t )òSO (n ), c1(t )òR n
dir.Bulunan y1(t )
éW V ù
ú
eğrisi Y = êê
0 0ú
ë
û
spiral vektör alanının integral eğrisidir.
Y; E n de bir spiral vektör alan ve Y
nin {o; u1, u 2 ,...u n } ortonormal çatısına göre
éW V ù
ú olsun. Burada, g I n + C = W òR n , C antisimetrik ,V òR 1n dir.
matrisi êê
n
0 0ú
ë
û
Bu durumda,
rank [W ,V ]= n ,Y nin integral eğrileri spirallerdir.
3.8 Bir Hareketin Türevi
Bu bölümde Homotetik hareketlerin Lie grubu ve Lie cebiri verilecektir. Bunun için
McCarthy’nin An Intoduction to Theoretical Kinematics adlı kitabından matris grupları
ve tanjant operatörleri ele alınmıştır.
36
3.8.1 Matris grupları
n × n tipinden GL(n) ile gösterilen regüler matrislerin cümlesi matrislerde çarpma
işlemine göre bir cebirsel gruptur (McCarthy 1990).
Tanım 3.8.1.1
Sürekli bir manifold aynı zamanda bir cebirsel gruptur ve grup çarpım işlemi sürekli
ise bir Lie grubu olarak adlandırılır. Bu durumda GL(n) bir Lie grubudur (McCarthy
1990).
Tanım 3.8.1.2
GL(n) nin matris çarpımı altında cebirsel grup olan alt cümlelerine alt gruplar denir
(McCarthy 1990).
GL(n) nin iki alt grubu, n × n tipinden dönme matrislerinin cümlesi SO (n) ve n × n
tipinden homojen dönüşümlerinin cümlesi H (n) dir.
SO (n) :  AT A = [ I n ] ve det( A) = 1 şartını sağlayan
[ A]
n × n tipinden matrislerin
cümlesi SO (n) bir Lie grubudur (McCarthy 1990).
Bir katı cismin sürekli hareketi,
[T (t )] :
→ GL(n) olarak belirli dönüşümlerin parametrelendirilmiş bir cümlesidir.
Özellikle düzlemsel hareket [T (t )] :
ve uzay hareketi [T (t )] :
→ H (3) ,Küresel hareket [T (t )] :
→ SO(3)
→ H (4) ile belli olan hareketlerdir.
Genel olarak,
[T (t )] :
→ GL(n)
t → T (t ) = tij (t ) 
dönüşümleri tij (t ) elemanlarının her biri reel değişkenli sürekli bir fonksiyondur.
• 
Ve bu matris fonksiyonunun T (t )  türevi, tij (t ) elemanlarının her birinin türevi


alınarak oluşturulur (McCarthy 1990).
37
3.9 Tanjant Operatörü
[T (t )] :
→ GL(n) fonksiyonunun F de oluşturduğu Y (t ) = [T (t ) ] y noktalarının
cümlesine Y nin yörüngesi denir (McCarthy 1990).
t = t0 da Y (t ) yörüngesine teğet olan doğrultu Y (t ) nin türevidir.
•
•

Y (t0 ) = T (t0 )  y


•
•

Y (t0 ) = T T −1 (t0 )  y (t0 )


dir.Burada
 • −1 
T T 
hesaplar.Ayrıca
•
matrisi, Y (t )
yörüngesi üzerindeki işlemle Y (t ) türevini
 •   • −1 
T (t )  = T T (t )  [T (t ) ]
olduğundan
 • −1 
T T 
matrisi
[T (t )]
matrisinin türevini hesaplar.
Tanım 3.9.1
 • −1 
T T  matrisine GL(n) üzerindeki tanjant operatör denir (McCarthy 1990).
Tanjant operatörler için tanımlanan özel bir işlem Lie çarpımıdır. [T ] ve [ S ] tanjant
operatörler olsunlar. Bu durumda [T ] × [ S ] = [TS − ST ]
dir. Burada TS , T ile S nin
matris çarpımıdır.
3.9.1 SO (n) nin Tanjant operatörleri
Dönme matrislerinin tanjant operatörleri, GL(n) uzayının tanjant operatörleri gibi
tanımlanmıştır. Bununla birlikte, GL(n) nin her tanjant operatörü SO (n) nin tanjant
operatörü değildir. SO (n) nin tanjant operatörlerini belirleyen ayırıcı şart, bütün dönme
matrislerinin sağlamak zorunda olduğudur.
 AAT (t )  = [ I n ] bağıntısından elde edilmiştir. Her iki tarafın türevi alınarak ,
38
T
 •T
 •T
 •T
 •T
 AA  = −  AA  elde edilir.Bu durumda  AA  = −  AA  = [ Ω ] tanjant operatörü








antisimetriktir.
[ Ω]
matrisi , [ A(t )] dönme matrisinin açısal hız matrisi olarak bilinir (McCarthy 1990).
Üç boyutlu manifold olan SO (3) uzay dönmelerinde, bir sabit açısal hız matrisi [ Ω]
verildiğinde ,
• 
 A(t )  = [ Ω ][ A(t ) ]
matris diferensiyel denkleminin
[ A(0)] = [ I ]
başlangıç şartı altında çözümü,
A(t ) = e [
t Ω]
ile dönmelerin bir parametreli grubunu elde ederiz (McCarthy 1990).
3.9.2 H (n) nin Tanjant operatörleri
Homojen dönüşümlerin cümlesi H (n) nin tanjant operatörleri, GL(n) uzayının tanjant
operatörleri gibi tanımlanmıştır. Bununla birlikte GL(n) nin her tanjant operatörü H (n)
nin tanjant operatörü değildir. H (n) nin tanjant operatörleri
•
•
T
 • −1   A d   A

T T  = 
 0 0   0
•
− AT d   A AT
=
1   0
•
− A AT d  = Ω
[ ]
0 
A d
İlişkisini sağlamalıdır. Burada [T ] = [ A, d ] = 
 dir.
0 1
Şimdi H (4) ün
• 
T (t )  = [ S ][T (t ) ] diferensiyel denkleminden elde edilen bir parametreli alt gruplarını
incelersek
[ S ] = [ Ω, v ]
bir sabit matristir. t = 0 anında sabit ve hareketli çatıların
çakıştığını kabul ederek [T (0) ] = [ I ] başlangıç koşuluyla diferensiyel denkleminin
çözümü [T (t )] = exp(t [ S ])
dir (McCarthy 1990).
39
3.9.3 Tanjant operatörüne karşılık gelen vektörler
SO (3) ve H (3) ün 3 × 3 tipinden matrislerle tanımlanan tanjant operatörlerindeki 9 tane
elemandan sadece 3 tanesi bağımsızdır. Benzer şekilde H (4) ün 4 × 4 tipinden
matrislerle tanımlı tanjant operatörlerinin 16 elemandan sadece 6 tanesi bağımsızdır.
[ Ω] , SO(3)
ün bir tanjant operatörü olsun. Vektör formu 3 × 3 tipinden [ Ω ] antisimetrik
matrisinden elde edilen ω vektörüdür. Öyle ki [ Ω ] y = ω × y dir.
0
H (3) için, [ω , y ] = ω
 0
−ω
0
0
v1 
v2  şeklinde verilir. Bu durumda bağımsız bileşenleri
0 
3-boyutlu (ω , v1 , v2 ) vektöründe , H (4) ' ün bir [ S ] = [ Ω, v ] tanjant operatörü 6-boyutlu
S = (ω , v ) vektöründe toplayabiliriz (McCarthy 1990).
Tanım 3.9.3.1
H (4) ün bir
[ S ] = [ Ω, v ]
tanjant operatöründen elde edilen operatörü 6-boyutlu
S = (ω , v ) vektörüne screw denir (McCarthy 1990).
[T ] × [ S ] = [TS − ST ] ile tanımlı Lie çarpımı bu tanjant operatörlerin her birine karşılık
gelen vektörler için bir çarpım işlemi verir.
SO (3) için [C ] ve [Ω] antisimetrik matrislerine karşılık gelen vektörler sırasıyla
c ve ω ise o zaman [C ] × [Ω] = [C Ω − ΩC ] Lie çarpımının elde edilen antisimetrik
matrisine karşılık gelen vektör c × ω dır. Gerçekten,
40
 0 − a3 a2 
[C ] =  a3
0 − a1  ise c = (a1 , a2 , a3 )
 −a2 a1
0 
 0 −z y 
[Ω] =  z
0 − x  ise ω = ( x, y, z )
 − y x
0 
[ C ] × [ Ω ] = [ C Ω − ΩC ]
a2 x − a1 y a3 x − a1 z 
0


a3 y − a2 z 
0
[C ] × [ Ω] =  −a2 x + a1 y
 −a3 x + a1 z −a3 y + a2 z

0
antisimetrik bir matristir. Bu matrise karşılık gelen vektör
(−a3 y + a2 z , a3 x − a1 z , −a2 x + a1 y ) olup bu ise c × ω vektörüdür. H (n) homojen
dönüşümlerinin genel durumu için, [ R ] = [C , r ] ve [ S ] = [Ω, v] tanjant operatörlerinin
Lie çarpımı [ R] × [ S ] = [C Ω − ΩC ,[C ]v − [Ω]r ] dir.
Özel
olarak
H (3) için
 0 −λ
[ R] = λ 0
 0 0
r1 
 0 −ω v1 

r2  ve [S ] = ω 0 v2 
0 
 0 0 0 
0 0 −λ v2 + ω r2 
[ R] × [ S ] = 0 0 λ v1 − ω r1  Lie çarpımına karşılık gelen vektör
0 0

0
(−λ v2 + ω r2 , λ v1 − ω r1 , 0) dir (McCarthy 1990).
41
ise
H (4) için [ R ] = [C , r ]
 0 − a3
a
0
[ R] =  3
 − a2 a1

0
 0
c = (a1 , a2 , a3 )
a2
−a1
0
0
r1 
r2 
,
r3 

0
r = (r1 , r2 , r3 )
 0 − z y v1 
 z
0 − x v2 

[S ] =
− y x
0 v3 


0
0 0
0
ω = ( x, y , z )
v = (v1 , v2 , v3 )
[ R ] × [ S ] Lie çarpımına karşılık gelen vektör,
( c × ω , c × v − ω × r ) dir (McCarthy 1990).
3.10 Sd(3) Üzerinde Lie Çarpımı
 
Sd (3) =  γ I 3 + C
  0
_
 _
c  = ω
0   0
_


_ _
_
c  = ω , c  , C T = −C , c ∈ R 3 



0  

ur
r
_
_
 _ _
= ω , c  = [ S ] , ω = (ω1 , ω2 , ω3 ), c = (c1 , c2 , c3 )


 λ
v
 3
 −v2

 0
−v3
v2
λ
−v1
v1
λ
0
0
a1 
r
r
_
_
a2   _ _ 
=  v, a  = [ R ] , v = (v1 , v2 , v3 ), a = ( a1 , a2 , a3 )
a3   

0
42
[ S ] ×[ R] = [ SR − RS ]
 θ −ω3 ω2 c1   λ −v3 v2 a1   λ −v3 v2 a1   θ −ω3 ω2 c1 
ω
θ −ω1 c2   v3 λ −v1 a2   v3 λ −v1 a2   ω3
θ −ω1 c2 
 3
−
−ω2 ω1
θ c3  −v2 v1 λ a3  −v2 v1 λ a3  −ω2 ω1 θ c3 


 


0
0
0
0 0  0
0
0 0  0
0
0
 0
 0

 λθ − ω3v3 − ω2 v2
 λω + θ v + ω v
3
3
1 2

 −λω2 + ω1v3 − θ v2

0

 λθ − v3ω3 − v2ω2
 θ v + λω + v ω
3
1 2
− 3
 −θ v2 + v1ω3 − λω2

0

−θ v3 − λω3 + ω2 v1
−ω3v3 + λθ − ω1v1
ω2 v3 + λω1 + θ v1
θ v2 + ω3v1 + λω2 a1θ − a2ω3 + a3ω2 
ω3v2 − θ v1 − λω1 a1ω3 + a2θ − a3ω1 
−ω2 v2 − ω1v1 + θλ −a1ω2 + a2ω1 + a3θ 
0
0
−λω3 − θ v3 + v2ω1
−v3ω3 + λθ − v1ω1
v2ω3 + θ v1 + λω1


λω2 + v3ω1 + θ v2 c1λ − c2 v3 + c3v2 
v3ω2 − λω1 − θ v1
c1v3 + c2 λ − c3v1 
−v2ω2 − v1ω1 + θλ −c1v2 + c2 v1 + c3λ 
0
0
ω2 v1 − v2ω1 ω3v1 − v3ω1

ω v − v ω
0
ω3v2 − v3ω2
= 1 2 1 2
ω1v3 − v1ω3 ω2 v3 − v2ω3
0

0
0
0

0
0
0


a1θ − a2ω3 + a3ω2 − c1λ − c2 v3 + c3v2 
a1ω3 + a2θ − a3ω1 − c1v3 + c2 λ − c3v1 
− a1ω2 + a2ω1 + a3θ + c1v2 − c2 v1 − c3λ 

0

.
.
.
↔ (ω2 v3 − v2ω3 , v1ω3 − ω1v3 , ω1v2 − v1ω2 ) = ω1 ω2 ω3 = ω × v
144444424444443
ω ×v
v1 v1 v1
.
.
.
↔ ( a3ω2 − a2ω3 , a1ω3 − a3ω1 , a2ω1 − a1ω2 ) = ω1 ω2 ω3 = ω × a
1444444
424444444
3
ω ×a
a1 a2 a3
43
. . .
↔ ( c2v3 − c3v2 , c3v1 − c1v3 , c1v2 − c2v1 ) = c1 c2 c3 = c × v
144444
42444444
3
c×v
v1 v2 v3
= −v × c
⇒ θ (a1, a2 , a3 ) − λ(c1, c2 , c3 ) + ( a3ω2 − a2ω3 , a1ω3 − a3ω1, a2ω1 − a1ω2 ) + ( c2v3 − c3v2 , c3v1 − c1v3 , c1v2 − c2v1 )
= (ω × v,θ a − λc + ω × a + c × v)
= (ω × v, θ a − λ c + ω × a − v × c)
⇒ [ S ] × [ R ] = [ SR − RS ]
= (ω × v,θ a − λ c + ω × a − v × c)
3.11 Sd(3) Lie Cebirinin Yapı Sabitleri
sd (3) Lie cebirinin standart bazını elde edelim. S ∈ sd (3) olarak alalım. Bu durumda
_
 

_
γ
I
+
C
c
 , C = CT , c ∈
sd (3) =   3
0 
  0

S = ω
 0
_
 θ
 
c  =  ω3
0   −ω2

 0
0
0
S = ω1 
0

0
0
0
+ c1 
0

0
_
−ω3
θ
ω1
3



ω2 c1 
−ω1 c2 
θ c3 
0

0
0
0 0 0
0

0
0 −1 0 
+ ω2 
 −1
1 0 0


0 0 0
0
0 0 1
0

0
0 0 0
+ c2 
0
0 0 0


0 0 0
0
0 1 0
0 −1

1 0
0 0 0
+ ω3 
0 0
0 0 0


0 0 0
0 0
0 0 0
0

0
0 0 1
+ c3 
0
0 0 0


0 0 0
0
44
0 0
0 0 
0 0

0 0
0 0 0
1

0
0 0 0
+θ 
0
0 0 1


0 0 0
0
0 0 0
1 0 0 
0 1 0

0 0 0
S = ω1 L1 + ω2 L2 + ω3 L3 + c1 L4 + c2 L5 + c3 L6 + c4 L7
⇒ sd (3) = Sp { L1 , L2 , L3 , L4 , L5 , L6 , L7 }
olarak yazılabilir.
Tanım 3.11.1 sd (3) Lie cebirinin baz vektörlerinin bracket çarpımı:
7
 Li , L j  = ∑ Cijk Lk
k =1
Şeklinde tanımlanabilir. Burada ki Cijk katsayılarına, Lie cebirinin yapı sabitleri denir.
Cijk yapı sabitleri arasında Cijk = −C kji bağıntısı vardır. (Sattinger , Weaver 1993)
Şimdi bu yapı sabitlerini elde edelim.
Özel olarak i = 1 ve j = 1 alalım. Bu durumda;
7
[ L1 , L1 ] = ∑ C11k Lk
Bracket çarpımından C11k ları elde ederiz.
k =1
[ L1 , L1 ] = L1 L1 − L1L1
=0
⇒ C111 , C112 , C113 , C114 , C115 , C116 , C117 = 0
Özel olarak i = 3 ve j = 4 alalım. Bu durumda ;
7
[ L3 , L4 ] = ∑ C34k Lk
Bracket çarpımından C34k ları elde ederiz
k =1
[ L3 , L4 ] = L3 L4 − L4 L3
0 −1
1 0
=
0 0

0 0
0
0
=
0

0
0
0
0
0
0  0
0  0
0  0

0  0
0 0 0 0
0 0 1   0
−
0 0 0 0
 
0 0 0 0
0
0
0
0
0
0
0
0
1 0
0   0
−
0 0
 
0 0
0 0 0  0
0 0 0  0
=
0 0 0  0
 
0 0 0  0
0
0
0
0
0
0
0
0
1   0 −1
0  1 0
0  0 0

0  0 0
0 0 0
0 0 1 
= L5
0 0 0

0 0 0
45
0
0
0
0
0
0 
0

0
⇒ C345 = 1,
1
3
C34
, C342 , C34
, C344 , C346 , C347 = 0
Benzer yolla diğer yapı sabitleri de bulunabilir. Bu yapı sabitleri aşağıda
verilmiştir.
C111 = C112 = C113 = C114 = C115 = C116 = C117 = 0
C123 =1 , C121 = C123 = C124 = C125 = C126 = C127 = 0
C132 =−1 , C131 = C133 = C134 = C135 = C136 = C137 = 0
C141 = C142 = C143 = C144 = C145 = C146 = C147 = 0
C156 =1 , C151 =C152 =C153 =C154 =C155 =C157 =0
C165 =−1 , C161 =C162 =C163 =C164 =C166 =C167 =0
C171 = C172 = C173 = C174 = C175 = C176 = C177 = 0
46
C221 = C222 = C223 = C224 = C225 = C226 = C227 = 0
C21 =−C21
C231 =1 , C232 = C233 = C234 = C235 = C236 = C237 = 0
1
C246 =−1 , C24
= C242 = C243 = C244 = C245 = C247 = 0
C251 = C252 = C253 = C254 = C255 = C256 = C257 = 0
1
C264 =1 , C26
= C262 = C263 = C256 = C266 = C267 = 0
C271 = C272 = C273 = C274 = C275 = C276 = C277 = 0
C331 = C332 = C333 = C334 = C335 = C336 = C337 = 0
C31 =−C13
C32 =−C23
C345 =1 , C341 = C342 = C343 = C344 = C346 = C347 = 0
C354 =−1 , C351 = C352 = C353 = C354 =C355 = C357 = 0
C361 = C362 = C363 = C364 = C365 = C366 = C367 = 0
C371 = C372 = C373 = C374 = C375 = C376 = C377 = 0
47
C441 =C442 =C443 =C444 =C445 =C446 =C447 =0
C41 =−C14
C42 =−C24
C43 =−C34
1
C45
= C452 = C453 = C454 = C455 = C456 = C457 = 0
1
C46
= C462 = C463 = C464 = C465 = C466 = C467 = 0
1
C474 =−1 , C47
= C472 = C473 = C475 = C476 = C477 = 0
C551 = C552 = C553 = C554 = C555 = C556 = C557 = 0
C51 =−C15
C52 =−C15
C53 =−C35
C54 =−C45
C561 = C562 = C563 = C564 = C565 = C566 = C567 = 0
C575 =−1 , C571 = C572 = C573 = C574 = C576 = C577 = 0
48
C661 =C662 =C663 =C664 =C665 =C666 =C667 =0
C61 =−C16
C62 =−C26
C63 =−C36
C64 =−C46
C65 =−C56
C676 =−1 , C671 =C672 =C673 =C674 =C675 =C677 =0
C771 = C772 =C773 = C774 =C775 =C776 =C777 =0
C71 =−C17
C72 =−C27
C73 =−C37
C74 =−C47
C75 =−C57
C76 =−C67
49
4. DOĞRU ELEMANLARININ PLÜCKER KOORDİNATLARI
Bu bölümde B.Odehnall, H.Pottmann, J.Wallner in Equiform Kinematics and Line
Elements adlı makalesi tanıtılmıştır.
•
x = v( x) = c + γ x + C.x
_
ifadesinde Lie dönüşüm gruplarından herhangi (c, c, γ ) ∈
7
üçlüsü bir tek benzerlik hareketini tanımlar.Bu hareket, benzerlik hareketinin bir
parametreli alt grubudur. Homotetik hareketlerin devamı olan ani hareketlerde
_
karşılaşılan doğruların (l , l , λ ) ∈
7
doğru elemanlarına modellenmesini ele alacağız.
L 3-boyutlu Öklid uzayında x noktasından geçen bir doğru olsun. ( L, x) ∈
3
doğru
elemanlarının koordinatlarını düzenlemek için Plücker koordinatlarının benzer
tanımlarını veriyoruz.
Tanım 4.1.
_
_
Eğer l ≠ 0 ve l//L , l = x × l ve λ = x, l ise (l , l , λ ) ∈
7
üçlüsüne ( L, x) ∈
3
doğru
_
elemanlarının Plücker koordinatları denir.Burada l , l nin vektörel momenti
7. koordinat olarak λ = x, l
yı x in L üzerindeki yerel noktasını düzenlemek için
_
ekliyoruz. Böylece doğru elemanları (l , l , λ ) ∈
Şekil 4.1. (Doğru elemanları )
50
7
olur.
Açıkça bu koordinatlar homojen koordinatlardır ve aşağıdaki denklemi elde etmek
basittir.
_
(4.1.)
x = p(l , l ) +
λ
l, l
_
p(l , l ) =
l.......( I ),
_
1
l × l ......( II )
l, l
p (l , l ) yi (I) de yerine yazarsak,
x=
_
1
λ
l ×l+
l
l, l
l, l
l yönlendirilmiş (birim paralel ) vektör, l , l = 1
_
x = l × l + λl
elde edilir.
_
Burada
p (l , l ) orijinden
L
üzerine indirilen dikmenin ayağıdır. Eğer doğru
yönlendirilmişse doğru elemanı da yönlendirilmiş olur. Koordinatlarda
 _ 
 _ 
 l , l , λ  ve µ  l , l , λ  yi benzer düşüneceğiz ⇔ µ > 0 ya da l = 1 kısıtlaması varsa.




 _ 
x(t ) = λ (t ) A(t ) x0 + a (t ) Benzerlik dönüşümü  l , l , λ  doğru elemanlarını


x ' = α Ax + a
l ' = Al
_
l ' = x' × l '
denklemleri ile birlikte
λ ' = x' , l '
 ' _' ' 
 l , l , λ  doğru elemanlarına dönüştürür.


Bu dönüşümün blok matris formu;
(4.2.)
 l' 
l 
0 0  
_  A
_
 l '  =  A× A α A 0   l 
 
 '  T
 λ   a A 0T α   λ 
 
 
( A A = a × x)
×
dir.
51
_
l ' = x ' × l ' = (α Ax + a ) × ( Al )
= α ( Ax ) ∧ ( Al ) + a ∧ ( Al )
,l ' = Al
= a ∧ ( Al ) + α ( Ax ) ∧ ( Al )
λ ' = x' , l '
= α Ax + a, Al
= α Ax, Al + a, Al
,A ∈ O(n) (izometri)
= α x, l + aT Al
, Ax, Al = x, l
= αλ + a Al
, a, Al = aT Al
T
dir.
(4.2.) denklemi açıkça yönlendirilmiş doğru elemanını sağlar.
_
4.1 l , l , λ nın Geometrik Yorumu
_
( L, x) = (l , l , λ ) doğru elemanlarının cümlesi l ,λ (sabit) ile birlikte ,l//L olacak şekilde
tanımlanır ve x noktası düzlem içinde λ = x, l denklemi ile içerilir.
( −λ ,l )
 _ 
düzlem için homojen koordinatlardır. Eğer  l , l , λ  yönlendirilmiş olarak


düşünülürse düzlemde yönlendirilmiş kabul edilir.
_
Şimdi farz edelim ki l ≠ 0 ve λ
_


 ( L, x) = (l , l , λ ) 


_
verilsin. Biz doğru elemanlarının cümlesine
_
 _
l ve λ verilmişken bakıyoruz. Plücker koordinatları  l , l  olan
 
_⊥
doğrular, l verilmişken l düzlemi içinde içerilir.
_
p = p (l , l ) pedal noktası ve x noktası aşağıdaki ilişkiyi sağlar.
52
_
l
l =
x− p =
ve
p
λ p
_
l
dir. Gerçekten,
_
x = p(l , l ) +
p =
p =
_
l.......( I ),
l, l
p(l , l ) =
_
1
l × l ....( II )
l, l
_
1
l×l
l, l
_
1
l
p =
λ
2
l l sin 90
_
_
l
l
⇒ l =
l
p
dir.
Ve
x− p =
λ
l, l
l
x− p =
x− p =
⇒
x− p =
λ
l, l
λ
l
=
l
λ p
_
l
λ p
_
l
dir.
53
idi. Buradan,
Tanım 4.1.1 (bundle of lines)
3
Verilen bir doğruya paralel olan doğruların cümlesi yada
ün bir noktasından geçen
doğruların cümlesine doğruların bundle’ ı denir.
Tanım 4.1.2
( L, x ) doğru elemanlarının cümlesi ‘generalized bundle’ olarak adlandırılır eğer
doğruları bir bundledan oluşuyorsa ve koordinatları
7
nin 3-boyutlu lineer alt uzayında
içerilirse.
4.2 Doğru Elemanlarının Lineer Kompleksi
_
(l , l ) plücker koordinatlarının doğrularının cümlesi
_
_
_
l , c + l , c = 0 lineer homojen denklemini sağlar ve (c, c) koordinatlarıyla lineer ışın
kompleksi olarak adlandırılırlar.Biz bu tanımı genelleyeceğiz.
Tanım4.2.1
_
(l , l , λ ) doğru elemanlarının cümlesi
_
(4.2.1.)
_
_
l , c + l , c + γλ = 0
lineer denklemini sağlar ve
(c, c, γ ) koordinatları ile
doğruların lineer kompleksi olarak adlandırılır.
Eğer C kompleksi (4.2.1) ile verilmişse ve γ ≠ 0 ise Öklid uzayındaki bütün
_
L = (l , l ) doğruları için ( L, x ) ∈ C olacak şekilde bir x ∈ L noktası vardır. γ ≠ 0 olduğu
durumda ( L, x ) ∈ C , L doğrusunu tek olarak belirtir ve ( L, x ) ∈ C ⇔ (4.2.1.) denklemini
54
sağlayan L kompleks içinde içerilir.Böylece doğruların cümlesi tanım 4.2.1 den
kompleksin doğru elemanları ile ilişkilendirilir. γ ya bağlı olarak 3 yada 4-boyuta
sahiptirler.
Öklid kinematiğinde, düzgün hareketin normal yolu sabit değişmez bir lineer ışın
kompleksinden oluşur. Öklidyen hareket ve doğru kompleksleri arasındaki bu ilişki
benzerlik hareketi ve doğru elemanlarına genelleştirilir. Biz eğer L ⊥ v ( y ) ise ( L, y ) ye
_
y deki path normal elemanı diyoruz. v( y ) = c + c × x + γ y
(path normal element) ⊥ (düzgün homotetik hareketin hız vektörü)
Teorem 4.2.1
Düzgün bir parametreli benzerlik hareketin herhangi bir andaki v ( y ) hız vektörü (3.5.2)
_
ile birlikte noktaların path normal elemanlarının cümlesi ile (c, c, γ ) koordinatları ile
birlikte doğru elemanlarının lineer kompleksi eştir.
İspat 4.2.1
_
( l , l , λ ) doğru elemanının v ( y ) hız vektörüne ortogonal olması durumunda;
v( y ), l = 0
_
c × y + c + γ y, l = 0
_
c × y, l + c, l + γ y, l = 0 elde edilir.
_
c, y × l + c, l + γλ = 0
_
_
c, l + c, l + γλ = 0
55
Açıkça doğru elemanlarının lineer kompleksi bu yolla meydana gelir.Bu nedenle şu
teorem ifade edilebilir.
Teorem 4.2.2
Lineer bir ışın kompleksine bir spiral hareketi, tersine olarak da bir spiral hareketine
lineer bir ışın kompleksi bağlıdır. Kompleksin ekseni ile spiralin ekseni çakışır.
Kompleksin ve spiralin adımları aynıdır. Lineer bir kompleksin ( ∞ 4 ) sayıdaki ışınları
3
ün spiral hareketine uyan noktalarındaki yörünge normallerinin bütününden oluşur.
Teorem 4.2.3
Benzerlik eşitliğinden doğru elemanlarının lineer kompleksinin homojen koordinatları;
_
(4.2.2.)
(c, c, γ ) = (0, 0,1;0, 0, p; 0), p ∈
_
(4.2.3.)
(c, c, γ ) = (0, 0, 0;0, 0,1;0)
(4.2.4.)
(c, c, γ ) = (0, 0,1;0, 0, 0; p ), p ≠ 0
(4.2.5.)
(c, c, γ ) = (0, 0, 0;0, 0, 0;1)
_
_
dır.
İspat 4.2.3
Daha önce bu dört durum incelenmişti.
_
Doğru elemanlarının
(c, c, γ ) lineer kompleksi c ≠ 0 ve γ ≠ 0 iken spiral harekete
uyar.(bölüm 3.5).Spiral hareketin merkezi koordinat dönüşümünden sonra normal form
_
(0, 0, 0)T koordinatına sahiptir.Açıkça o = −(C × + γ E3 ) −1 c ile verilir.
(4.2.6.)
t=o=
_
_
_
1
(γ c × c − γ 2 c − c, c c)
γµ
56
µ = γ 2 + c, c = γ 2 + c 2
Spiralin ekseni c ye paraleldir.Ve doğru elemanlarının koordinatlarını
(4.2.7) A = (c, o × c, o, c ) = (c,
_
_
_
_
1
1
( c, c c − c, c c + γ c × c), − c, c )
µ
γ
ile verebiliriz.
γ = 0 olduğu durumlarda (4.2.7) eşitliği bilinen plücker koordinatlarda helisin eksenini
oluşturur.
A = ( c , o × c , o, c ) = ( c ,
1
µ
_
_
_
( c, c c − c, c c + γ c × c))
_
_
= (c , c −
c, c
c, c
c)
Şekil 4.2.1(Spiral ekseni)
Şekil 4.2.2.(Helisel eksen)
Teorem 4.2.4
Düzlem içinde bulunan lineer kompleksin doğru elemanları spiral hareket düzleminin
path normal elemanıdır.
57
Şekil 4.2.3(Doğru elemanlarının lineer
Şekil 4.2.4 (spiral hareketin çizdiği nokta
kompleksinin düzlem parçası)
yörüngeleri)
İspat 4.2.3
Genelliği bozmadan sadece
x3 = 0 olduğunu düşünelim. ( L, x ) doğru elemanlarının
_
Plücker koordinatları bu düzlem üzerinde, l = x1l2 − x2l 1 ile
formundadır.
.
l = x × l = x1
l1
_
.
x2
l2
.
0 = (0, 0, x1l2 − x2l1 )
0
_
l = x1l2 − x2l 1
Lineer komplekse ait olan doğru elemanları
_
_
_
_
c1 l1 + c 2 l2 + c3 l 3 + γλ = 0 denklemini sağlar. Gerçekten,
(4.2.8.)
_
l , c + l , c + γλ = 0
dan dolayı;
58
−
(l 1 , l2 , 0; 0, 0, l 3 ; λ )
_
_
_
_
(c1 , c 2 , c3 ), (l1 , l2 , 0) + (c1 , c2 , c3 ), (0, 0, l 3 ) + γλ = 0
_
_
_
c1 l1 + c 2 l2 + c3 l 3 + γλ = 0
dır.
_
_
v ( x) = (c1 , c 2 , 0)T + c3 ( − x2 , x1 , 0)T + γ ( x1 , x2 , 0)T
(4.2.9)
şeklindedir. Gerçekten,
( L, x ) doğru elemanı v( x ) e ortogonal olduğundan,
_
_
v( x), l = ((c1 , c 2 , 0)T + c3 (− x2 , x1 , 0)T + γ ( x1 , x2 , 0)T ), (l 1 , l2 , 0)
_
_
_
_
_
_
_
_
= c1 l 1 + c 2 l2 + c3 ( − x2l1 + x1l2 ) + γ ( x1l1 + x2l2 ) = 0
= c1 l 1 + c 2 l2 + c3 l 3 + γ l , x = 0
= c1 l 1 + c 2 l2 + c3 l 3 + γλ = 0
_
(4.2.10)
_
v( x), l = c1 l 1 + c 2 l2 + c3 ( x1l2 − x2l1 ) + γ ( l , x ) = 0 şeklinde yazılabilir.
Lemma 4.2.1
_
Eğer C=(c, c, γ )
doğruları üzerinde,
doğru elemanlarının bir lineer kompleksi ise γ ≠ 0 ; bütün L
( L, x ) ∈ C
olacak şekilde bir tek x noktası vardır.
_
Eğer γ = 0 ise doğruların lineer kompleksini C ' = (c, c) olarak düşüneceğiz. Eğer
L ∈ C ' ise bütün x ∈ L için ( L, x ) ∈ C dir. Aksi durumda ( L, x ) ∈ C olacak şekilde x
yoktur.
59
İspat 4.2.4
_
_
c, l + c, l + γλ = 0
_
_
L ∈ C ⇔ c, l + c , l = 0
λ=
denklemini çözmeliyiz.
_
−1  _

c, l + c, l 

γ 

dır. Lemma 4.2.1den (4.1) ile birlikte x noktası
(4.2.11)
x=
_
1  _ 1 _
 
 l × l −  c, l + l , c  l 
l, l 
γ
 
şeklinde elde edilir.
_
_
_

λ
1
l , p(l , l ) =
l × l 
 x = p(l , l ) +
l, l
l, l,


x=
_
_
1
1  _

l × l−
c
,
l
+
l
,
c
l


l, l
γ l, l 

x=
_
1  _ 1 _
 
 l × l −  c, l + l , c  l 
l, l 
γ
 
Lemma 4.2.2
_
( L, x ) olacak şekilde x noktalarının cümlesi (c, c ,γ ) kompleksinde içerilir ve L sabit
l ≠ 0 vektörüne paraleldir. Bu noktaların cümlesi bir düzlemdir.
( γ = 0 ve l / / c olduğu durumlar dışında )
60
İspat 4.2.5
Herhangi x noktası için
( L, x )
doğru elemanı l ye paraleldir ve
(l, x × l,
x, l
)
koordinatlaına sahiptir. x noktası kompleks içinde içerilir.
_
c , l + c, x × l + γ x, l = 0
⇔
_
c , l + x, l × c + γ l = 0
γ ≠ 0 yada l × c ≠ 0 ile bu denklem aşikar çözümü olmayan lineer düzlem denklemidir.
_
(l , l ) doğrularının durumundan dolayı, bir q noktası ile rankı 2 olup lineerdir. Böylece,
q ∈ L olacak şekilde verilen kompleksin doğru
lineer denklemi hesaplayarak
elemanlarının generalized bundle oluşturduğunu görürüz (Tanım 4.1.2) den.
Teorem 4.2.5
q∈
3
_
ve C = (c, c, γ ) , (γ ≠ 0) nin doğru elemanlarının lineer kompleksi olduğunu
kabul edelim. Böylece
qq’çapı ile bir küredir.
( L, x ) ∈ C olacak şekilde
x noktalarının cümlesi q ∈ L ve
1
q ' = q − v ( q ) ( 3.5.1.)deki hız vektör şartı altında ifade edilir.
γ
İspat 4.2.6
_
_
Genelliği bozmadan q = 0 alalım. O zaman v( q ) = c olur. ( L, x ) = (l , l , λ ) doğru
_
_
_
elemanı üzerindeki durumundan dolayı l = 0 ( l = q × l , q = 0 ⇒ l = 0) ve
_
(4.2.12.)
c, l + γλ = 0
_
_


c
,
l
+
c
, l + γλ = 0 

{
0


_


 ⇒ c, l + γλ = 0



Ayrıca (4.1) eşitliği
61
denklemleri sağlanır.
_
x=
(4.2.13.)
x=
1
γ l, l
λ
_
x = p(l , l ) +
c, l
l, l
l yi sağlar. Gerçekten,
_
l,
p(l , l ) =
_
1
l×l
l, l,
_
λ
1
l{
×l +
l
l, l 0
l, l
=−
_
1
γ l, l
c, l l
_
⇒x=−
1
c, l
γ l, l
l
olur.Açıkça x noktası L doğrusu üzerindeki
1
1_
q ' = q{ − v{
(q) = − c
γ _
γ
0
noktasının
c
pedal noktasıdır.bu x noktalarının cümlesi çapı qq ' olan Thales küresini gösterir.
Şekil 4.2.5.(pedal noktası)
Şekil 4.2.6.( Thales küresi)
62
Sonuç 4.2.1
Teorem 4.2.5 de C kompleksi ile x noktalarının cümlesi verilen doğrularda içerilen
( L, x ) ∈ C olacak şekilde L ile bir dairedir. Gerçekten,
Problemdeki daire Teorem 4.2.5. deki kürenin doğrunun taşıyıcı düzlemi ile kesiştirerek
oluşturulur.
4.3 Doğru Kongrüansı İle Kompleksin Kesişmesi
Zıt iki A1 , A2 eksenleri ile doğruların lineer hiperbolik kongrüansı, A1 ve A2 yi kesen
doğruları içerir.
Şekil 4.3.1.(Komplekslerin kesişimi)
Teorem 4.3.1
γ ≠ 0 ve C = (c, c, γ ) doğru elemanlarının lineer kompleksi olsun. x ∈ noktalarının
cümlesinin φ olduğunu düşünelim ∋ ( L, x) ∈ C olacak şekildeki L hiperbolik doğru
kongrüansı içinde içerilsin. φ 2-tane bir parametreli dairelerin ailesini taşıyan kübik
yüzeydir.
63
Şekil 4.3.2.(Kübik yüzey)
İspat 4.3.1
Genelliği bozmadan hiperbolik lineer doğru kongrüansının A1 , A2 eksenlerini yaklaşık
olarak
(4.3.1)
A1 (u ) = (2ku , 2u , d ) = u (2k , 2, 0) + (0, 0, d )
A2 (v) = (2kv, −2v, − d ) = v(2k , −2, 0) + (0, 0, −d )
( k , d ≠ 0)
şeklinde parametrelendirdiğimizi farz edelim. Plücker koordinatların kongrüansı
_
L(u , v ) = (l (u , v ), l (u , v )) ile parametrelenir.
64
1
( A2 (v) − A1 (u ))
2
1
= ( (2kv, −2v, − d ) − (2ku, 2u, d ) )
2
= k ( (u − v), (u + v), d )
l (u , v) =
_
1
( ( A2 (v) + A1 (u )) × l (u, v) )
2
= (k (u + v), (u − v), 0) × (k (u − v), (u + v)d )
l (u , v) =
•
•
•
= k (u + v) (u − v) 0
k (u − v) (u + v) d
= (d(u-v),-dk(u+v),k(u+v) 2 -k(u-v)2 )
= (d(u-v),-dk(u+v),4kuv)
x(u, v ) noktalarının cümlesi ∋ C kompleksi içinde içerilen
( L(u, v), x(u, v) )
doğru
elemanları (4.2.1.) ile hesaplanır.
(4.3.2.)
yüzeyden
x=
_
1  _ 1 _
 
 l × l −  c, l + l , c  l  , Lemma 4.1 den x bir tektir. Bu
l, l 
γ
 
kγ ( x12 + x22 + x32 ) x3 + ..., elde
edilir.
Noktalar
alt
sıradaki
terimleri
göstermektedir. k , γ ≠ 0 olduğundan φ 3.derecedendir. ε ⊃ Ai olan herhangi bir düzlem
için, φ ∩ ε kesişimi Ai lerden oluşur ve 2.dereceden Rε eğrisini kapsar. Sonuç 4.2.1. den
dolayı ε da uzanan ( L, u ) doğruları, Rε la tanımlanan x(u, v ) noktalarının dairesini
oluşturur.Sonuç olarak x(u, v ) noktalarının parametrizasyonu φ nin bütününü kapsar.
φ nin denkleminden ve φ nin daireleri taşıdığı gerçeğinden φ nin projektif ve kompleks
uzaması mutlak konikleri içerir.
65
4.4 Komplekslerin Kesişimi
Bu kısa paragrafta doğru elemanlarının iki kompleksinin kesişimini düşüneceğiz.
_
C = (c, c, γ ), γ = 0 olmak üzere yukarıda aşikar olduğu gibi bir kompleks bazı özel
özelliklere sahiptir.
_
C = (ci , c i , γ i ),
(γ 1 , γ 2 ≠ 0)
(i = 1, 2),
olmak üzere farklı komplekslerin lineer
bağımsız koordinat vektörleri olsun.
C : (c, c, γ ) = γ 2C1 − γ 1C2 lineer kombinasyonu

_
_




_

_
γ 2  c1 , l + c1 , l  = γ 1  c2 , l + c2 , l  denklemi ile bir kompleks
(4.4.1)


tanımlar. Gerçekten,
_
_
C : (c1 , c1 , γ 1 )
,
( L, x) ∈ C1 ,
C : (c2 , c 2 , γ 2 )
ise,
( L, x) ∈ C2
_
_
_
c1 , l + c1 , l + γ 1λ = 0
⇒λ =−
_
c1 , l + c1 , l
_
_
_
c2 , l + c 2 , l + γ 2 λ = 0
⇒λ =
.....( I )
γ1
_
c2 , l + c 2 , l
γ2
.....( II )
( I ) ve ( II ) den dolayı
_
λ=
_
_
c2 , l + c 2 , l
γ2
_
c2 , l + c 2 , l
=
γ1
dir. Böylece;
66

_
_




_

_
γ 2  c1 , l + c1 , l  = γ 1  c2 , l + c2 , l 

_
_

_
_
γ 2 c1 , l + γ 2 c1 , l − γ 1 c2 , l − γ 1 c2 , l = 0
_
_
_
_
_
_
l , γ 2 c1 + l , γ 2 c1 + l , γ 1 c2 + l , γ 1c2 = 0
D:
_
l , γ 2 c1 + γ 1 c2 + l , γ 2 c1 + γ 1c2 = 0
_
Lineer kombinasyonu elde edilir.Aslında D lineer komplekstir.Eğer L(l , l ) D de bir
_
_
doğru ise (l , l , λ ) ∈ C1 ∩ C2 olacak şekilde λ vardır. λ = −
_
ci , l + ci , l
γi
( γ i ≠ 0 ).Bu
durumda C1 ∩ C2 kesişimi doğru elemanlarının cümlesinden oluşur ve doğruların lineer
kompleksidir.
67
KAYNAKLAR
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. 1980. Yüksek Boyutlu Uzaylarda Dönüşümler ve Geometriler.
İnönü Üniversitesi Temel Bilimler Fakültesi Yayınları, Ankara.
Hacısalihoğlu, H.H. 1980. 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. Space 1985. 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.
Müler, H.R.1963. Kinematik Dersleri. Ankara Üniversitesi Basımevi,Ankara.
Acratalishıan, A. 1989. E2n+1 de Lineer Vektör Alanları, Doktora Tezi Gazi
Üniversitesi Fen Bilimleri Enstitüsü, Ankara.
68
Odehnal,B., Pottmann, H., Wallner,J. 2000. Equiform Knematic and the Geometry of
Line Elements. Mathematics subject Classification.
Pottmann, H.,Lee, I-K. 1998. Randrup,T., Reconstruction of Kinematic Surfaces from
Scatterd Data. Proceedings of symposium on Geodesy for Geotechnical and
structural Engineering, 483-488.
69
ÖZGEÇMİŞ
Adı Soyadı
: Esra Betül KOÇ
Doğum Yeri : Kayseri
Doğum Tarihi : 01.05.1982
Medeni Hali : Bekar
Yabancı Dili : İngilizce
Eğitim Durumu (Kurum ve Yıl)
Lise
: Kayseri Lisesi (2000)
Lisans
: Ankara Üniversitesi Matematik Bölümü (2002-2006)
Tezsiz Yüksek Lisans :Sakarya Üniversitesi 0FMA Matematik Bölümü(2006-2007)
Yüksek Lisans
: Ankara Üniversitesi (2007-2009)
Çalıştığı Kurum/Kurumlar ve Yıl
Özel Cemal Şaşmaz Fen Lisesi (2006-2008)
e-mail: [email protected]
70
Download