Documente Academic
Documente Profesional
Documente Cultură
Oana Constantinescu
Theorem
Clasicare
Theorem
Clasicare
Theorem
Clasicare
Denition
Theorem
Denition
Theorem
patrat
V4 = {Id , σa , σb , σO }
= < σa , σO = ρO ,π >
◦ Id σa σb σO
Id Id σa σb σO
σa σa Id σO σb
σb σb σO Id σa
σO σO σb σa Id
Notatii:
ρ rotatia de centru O si
π
unghi
2
σ simetria axiala in raport
cu axa orizontala h
Sunt exact opt
simetrii
n o
Id , σh , σr , σv , σl , ρO , π2 , ρO , 2π = σO , ρO , 3π
2 2
D4 = ρ, ρ2 , ρ3 , ρ4 = Id , ρσ, ρ2 σ, ρ3 σ, σ
σ 2 = ρ4 = Id
σ −1 = σ ρ−1 = ρ3 ρ−2 = ρ2 ρ−3 = ρ
σr = ρσ σv = ρ2 σ σ l = ρ3 σ
σv σ = ρ2 σl σ = ρ3
n o
Id , σh , σr , σv , σl , ρO , π2 , ρO , 2π = σO , ρO , 3π
2 2
D4 = ρ, ρ2 , ρ3 , ρ4 = Id , ρσ, ρ2 σ, ρ3 σ, σ
σ 2 = ρ4 = Id
σ −1 = σ ρ−1 = ρ3 ρ−2 = ρ2 ρ−3 = ρ
σr = ρσ σv = ρ2 σ σ l = ρ3 σ
σv σ = ρ2 σl σ = ρ3
n o
Id , σh , σr , σv , σl , ρO , π2 , ρO , 2π = σO , ρO , 3π
2 2
D4 = ρ, ρ2 , ρ3 , ρ4 = Id , ρσ, ρ2 σ, ρ3 σ, σ
σ 2 = ρ4 = Id
σ −1 = σ ρ−1 = ρ3 ρ−2 = ρ2 ρ−3 = ρ
σr = ρσ σv = ρ2 σ σ l = ρ3 σ
σv σ = ρ2 σl σ = ρ3
Deci σρ, σρ2 , σρ3 sunt simetrii fata de drepte ce trec prin O,
deci sunt aplicatii involutive.
σρ = (σρ)−1 = ρ−1 σ −1 = ρ3 σ,
σρ2 = (σρ2 )−1 = ρ−2 σ −1 = ρ2 σ,
σρ3 = (σρ3 )−1 = ρ−3 σ −1 = ρσ.
◦ Id ρ ρ2 ρ3 σ ρσ ρ2 σ ρ3 σ
Id Id ρ ρ2 ρ3 σ ρσ ρ2 σ ρ3 σ
ρ ρ ρ2 ρ3 Id ρσ ρ2 σ ρ3 σ σ
ρ2 ρ2 ρ3 Id ρ ρ2 σ ρ3 σ σ ρσ
ρ3 ρ3 Id ρ ρ2 ρ3 σ σ ρσ ρ2 σ
σ σ ρ3 σ ρ2 σ ρσ Id ρ3 ρ2 ρ
ρσ ρσ σ ρ3 σ 2
ρ σ ρ Id ρ3 ρ2
ρ2 σ ρ2 σ ρσ σ ρ3 σ ρ2 ρ Id ρ3
ρ3 σ ρ3 σ ρ2 σ ρσ σ ρ 3 ρ 2 ρ Id
C4 = Id , ρ, ρ2 , 3
ρ =< ρ > subgrupul rotatiilor
◦ Id ρ ρ2 ρ3 σ ρσ ρ2 σ ρ3 σ
Id Id ρ ρ2 ρ3 σ ρσ ρ2 σ ρ3 σ
ρ ρ ρ2 ρ3 Id ρσ ρ2 σ ρ3 σ σ
ρ2 ρ2 ρ3 Id ρ ρ2 σ ρ3 σ σ ρσ
ρ3 ρ3 Id ρ ρ2 ρ3 σ σ ρσ ρ2 σ
σ σ ρ3 σ ρ2 σ ρσ Id ρ3 ρ2 ρ
ρσ ρσ σ ρ3 σ 2
ρ σ ρ Id ρ3 ρ2
ρ2 σ ρ2 σ ρσ σ ρ3 σ ρ2 ρ Id ρ3
ρ3 σ ρ3 σ ρ2 σ ρσ σ ρ 3 ρ 2 ρ Id
C4 = Id , ρ, ρ2 , 3
ρ =< ρ > subgrupul rotatiilor
σ = σh ρ = ρO , 2π σ 2 = ρ3 = Id
3
D3 = Id , ρ, ρ2 , σ, ρσ, ρ2 σ
σρ = (σρ)−1 = ρ−1 σ −1 = ρ2 σ
σρ2 = (σρ2 )−1 = ρ−2 σ −1 = ρσ
◦ Id ρ ρ2 σ ρσ ρ2 σ
Id Id ρ ρ2 σ ρσ ρ2 σ
ρ ρ ρ2 Id ρσ ρ2 σ σ
ρ2 ρ2 Id ρ ρ2 σ σ ρσ
σ σ ρ2 σ ρσ Id ρ2 ρ
ρσ ρσ σ ρ2 σ ρ Id ρ2
ρ2 σ ρ2 σ ρσ σ ρ2 ρ Id
C3 = Id , ρ, ρ2
D6 = Id , ρ2 , ρ3 , ρ4 , ρ5 , σ, ρσ, ρ2 σ, ρ3 σ, ρ4 σ, ρ5 σ , ρ = ρO , π
3
C6 = {Id , ρ2 , ρ3 , ρ4 , ρ5 }
Theorem
Theorem
Theorem
Theorem
Corollary
Theorem
Corollary
G = C1 = {Id }
∃ ρA,α ∈ G, ρA,α 6= Id . In aceasta situatie demonstram ca
toate rotatiile sunt de centru A.
Pp prin reducere la absurd ca ∃ ρB ,β ∈ G cu A 6= B . Atunci
1 −1
B ,β ρA,α ρB ,β ρA,α ∈ G . Dar aceasta compunere de rotatii
ρ−
este o translatie diferita de Id caci suma unghiurilor
orientate ale acestor rotatii este 0. Se contrazice astfel
ipoteza ca G e grup nit.
Deci ∀n ∈ N : ρnA,α = ρA,nα ∈ G siρ− 1
A,α = ρA,−α ∈ G . Astfel, toate
elementele grupului pot scrise sub forma ρA,α cu 0 ≤ α ≤ 2π .
Fie α0 valoarea minima (pozitiva) pe care o poate lua unghiul unei
rotatii dinG . Se demonstreaza prin reducere la absurd ca
∀ ρA,β ∈ G, ∃k ∈ N∗ astfel incat β = k α0 . Deci orice rotatie a
k
grupului este de tipul ρA,k α0 = ρA,α , pentru un anumit k natural,
0
deci este generata de ρA,α0 . In concluzie
G =< ρA,α0 >= Cm , ρm A,α0 = Id .
Caz II Presupunem ca G contine cel putin o simetrie axiala
σ.
Deoarece o izometrie si inversa ei sunt de aceeasi specie, iar
compunerea a doua izometrii de specia I este o izometrie de specia
I, rezulta ca multimea izometriilor de specia I ale lui G formeaza un
subgrup al acestuia, ce contine doar rotatii. Conform primului caz,
rezulta ca acest subgrup e de tipul Cn = {Id , ρ, · · · , ρn−1 }. Am
presupus ca numarul izometriilor de specia I ale lui G este n .
Deci ∀n ∈ N : ρnA,α = ρA,nα ∈ G siρ− 1
A,α = ρA,−α ∈ G . Astfel, toate
elementele grupului pot scrise sub forma ρA,α cu 0 ≤ α ≤ 2π .
Fie α0 valoarea minima (pozitiva) pe care o poate lua unghiul unei
rotatii dinG . Se demonstreaza prin reducere la absurd ca
∀ ρA,β ∈ G, ∃k ∈ N∗ astfel incat β = k α0 . Deci orice rotatie a
k
grupului este de tipul ρA,k α0 = ρA,α , pentru un anumit k natural,
0
deci este generata de ρA,α0 . In concluzie
G =< ρA,α0 >= Cm , ρm A,α0 = Id .
Caz II Presupunem ca G contine cel putin o simetrie axiala
σ.
Deoarece o izometrie si inversa ei sunt de aceeasi specie, iar
compunerea a doua izometrii de specia I este o izometrie de specia
I, rezulta ca multimea izometriilor de specia I ale lui G formeaza un
subgrup al acestuia, ce contine doar rotatii. Conform primului caz,
rezulta ca acest subgrup e de tipul Cn = {Id , ρ, · · · , ρn−1 }. Am
presupus ca numarul izometriilor de specia I ale lui G este n .
Presupunem ca G contine m ≥ 1 izometrii de specia a II-a.
Deoarece σ, ρσ, ρ2 σ, · · · , ρn−1 σ sunt izometrii de specia a II-a,
rezulta ca m ≥ n .
Dar cele m izometrii de specia a doua, compuse la dreapta cu σ ,
dau m izometrii de specia I, deci m ≤ n . In concluzie
m = n ⇒ Ord G = 2n si
G = Id , ρ, · · · , ρn−1 , σ, ρσ, ρ2 σ, · · · , ρn−1 σ .