Dalil I – 6 : Himpunan transformasi menyusun grup

Bukti :

Sebut himpunan transformasi itu J

a. I ∈J, jadi J ≠ 0.
b. J memenuhi sifat tertutup ( lihat dalil I-4).
c. Untuk sifat assosiatif : ambil T 1 , T 2, T 3 sembarang trasformasi, maka:
(T 3 ¿ )) (β ¿ = (T 3 ¿) (β ¿¿
= T 3 ¿(β ¿¿ ¿
= T 3 T 2 ¿ (β ¿¿
=((T ¿ ¿ 3 T 2)T 1 )¿(β ¿
Jadi, T 3 ¿) = (T 3 T 2 ¿ T 1, sifat assosiatif dipenuhi.
d. Unsur netral adalah I ( lihat TI=T=IT)
e. Invers transformasi adalah transformasi juga .
Dengan demikian terbuktilah bahwa J menyusun grup.

Dalil I-7 : Himpunan kolineasi menyusun grup

Bukti:

Sebut himpunan kolineasi itu K

Karena kolineasi adalah transformasi maka K⊂ J , jadi untuk membuktikan dalil ini cukup
dibuktikan apakah K memenuhi sifat tertutup dan apakah invers kolineasi juga kolineasi.

Jelas sifat tertutup dipenuhi K (lihat dalil 1-5). Ambil sembarang kolineasi K dan sebarang garis
g. Dengan demikian pasti ada garis լ, yang memenuhi K ( լ ) = g.

Dari K −1 (g) = K −1 (K (լ)) =¿K)(լ) = I (լ) = լ , mak ini berarti bahwa K −1 adalah kolineasi.

4. Pengertian orientasi bangun Geometri

Untuk dapat memahami pengetian orientasi bagun geometri maka disini diperkenalkan
konsep orientasi tiga titik yang tidk segaris .

Apabila ( P1, P2 , P3 ) ganda tiga titik tak segaris maka melalui ketiga titik ini dapat dibuat
tepat satu lingkaran L. kita dapat mengelilingi lingkaran ini, berawal misalnya P1 kemudian
sampai di P2 , lalu dari P2sampai ke P3 , akhirnya dari P3 kembali ke P1 . Bila arah pengelilingan
ini sesuai dengan arah putaran jarum jam, maka dikatakan ganda tiga titik ( P1, P2 , P3 ) memiliki
orientasi yang berlawanan dengan putaran jarum jam.
 B• P•

A• Q•

C• R•

Gambar I-4

(A, B, C) berorientasi searah jarum jam (P, Q, R) berorientasi berlawanan

Putaran jarum jam

Defenisi :

1. Suatu transformasi T dinamakan mempertahankan orientasi bila untuk setiap tiga titik tak
segaris ( P1, P2 , P3 ) orientasinya sama dengan tiga titik tak segaris ( P1 ' , P2 ' , P3 ' ) dimana
P'1=T ( P 1) , P2 ' = T( P2 ¿, P3′ = T( P3) .
2. Suatu transformasi T dinamakan tidak mempertahankan orientasi bila untuk setiap tiga
titik tak segaris ( P1, P2 , P3 ) orientasinya tidak sama dengan tiga titik tak segaris ( P1 ' ,
P2 ' , P3 ' ) dimana P'1=T ( P 1) , P2 ' = T( P2 ¿, P3′ = T( P3).

Defenisi : Suatu transformasi dinamakan searah apabila transformasi itu mempertahankan

orientasi dan dinamakan berlawanan apabila tidak mempertahankan orientasi.