3.1. group of collineations of an affine plane 3.2. the

0 downloads 0 Views 175KB Size Report
CONSEQUENCE. Collineation set Kol of the affine plane =( , , ) forms symmetrical groups about the composition , namely (Kol , ) is symmetric group.
3.1. GROUP OF COLLINEATIONS OF AN AFFINE PLANE Definition

= 

{ψ : 

3.1.1.

Let

it

be

}

→  | where ψ - is bijection

=(,,)

an

affine

plane

and

set of bijections to set points  on yourself.

Collineation of affine plane  called a bijection ψ ∈ , such that

∀ ∈ , ψ (  ) ∈ 

(1)

Otherwise, a collineation of the affine plane  is a bijection of set  on yourself, that preserves lines. It is known that the set of bijections to a set over itself is a group on rassociated with the binary action  of composition in it, which is known as total group or symmetric groups [1], [31], [32], [38], [63], [65], [66],[67],[70], [71]. In a collineation ψ of an affine plans, image ψ (P) to a point P to plans often mark briefly P '. PROPOSITION 3.1.1. Every bijections of set to points  on yourself to affine plane =(, , ) is a his collineation. CONSEQUENCE. Collineation set Kol of the affine plane =(, , ) forms symmetrical groups about the composition  , namely (Kol,  ) is symmetric group. It is clear that identical bijections id :  →  is a collineation of the affine plane

=(, ,

), we call identical collineations of . In this collineation, every point of  passes itself, as well as every line  passes itself. Definition 3.1.2. An point P of the affine plan  called fix point his associated with a collineation δ , if coincides with the image itself δ (P), briefly when P= δ ( P ) . According to this definition, we have this PROPOSITION 3.1.1. Every point of the affine plane, is a fix point related to his identical collineation.

3.2. THE DILATATION GROUP OF THE AFFINE PLANE Definition 3.2.1. [15], [28] Dilatation of an affine plane =(, , ) called a its collineation δ such that

∀P ≠ Q ∈ , δ ( PQ ) || PQ

(2)

According to axiom A1 of affine plane definitions, the line that passes through two different points P, Q we have written PQ. From the fact that dilatations δ is bijection, worth implication

P ≠ Q ⇔ δ ( P ) ≠ δ (Q ) ,

(3)

therefore line δ ( PQ ) also written δ ( P )δ (Q ) and propositions (2), in these circumstances, takes the view

∀P ≠ Q ∈ , δ ( P )δ (Q ) || PQ

(2')

It is clear that identical collineations id  of an affine plan =(, , ) It is an dilatation of his, who called his identical dilation. However, by being bijection an dilatation δ of an affine plane, the inverse his δ −1 is also bijection. It's a dilatation his affine plan the bijections δ −1 ? By (3), easily shown that is true this PROPOSITION 3.2.1. Inverse bijections δ −1 of a dilatations δ of an affine plan is also an dilatation of that plan. Proff. coming soon PROPOSITION 3.2.2. Composition of two dilatations of a affine plan is agin an extension of his. Proff. coming soon Let it be Zgj = { δ ∈ Kol δ is dilatation of } the dilatation set of affine plane =(, , ). As such it is the subset of collineations Kol . Propositions 3.2.2 indicates that (Zgj ,  ) is a substructure of the symmetric group (Kol ,  ) of collineations of the affine plan . Propositions 3.2.1 indicates that this substructure is a subgroup of the group (Kol ,  ), [2], [33], [35], [36], [37], [38], [64], [68], [70], [71]. Is obtained in that way this THEOREM 3.2.1. Set Zgj of dilatations a affine plan  forms a group with respect to composition  . Proff. coming soon Definition 3.2.2. Let it be  an dilatation of affine plane  = (, , ), P his one point. Lines that passes by P and  P  called trace of points P regarding dilatations  . Proff. coming soon THEOREM 3.2.2. For an point P to an affine plane =(, , ), not fixed related to an his dilatation δ , is true propositions

∀Q ∈  - {P}, Q ∈ P δ ( P ) ⇒ δ (Q ) ∈ P δ ( P ) . Proff. coming soon

THEOREM 3.2.3.[28] If two different assigned points P, Q of an affine plane =(, , ), are defined their image P' = δ(P) and Q' = δ(Q) by an his dilatations δ ≠ id , then image

R' = δ(R) of an other points R ∈  − {P,Q} determined as follows: P′

R ∉ PQ ⇒ δ ( R ) =  RP ∩

QRQ′ , S′

P′ R ∈ PQ ⇒ ∃S ∈  , S ∉ PQ, δ ( R ) =  RP ∩  RS .

Proff. coming soon CONSEQUENCE 1. If the tracks P δ ( P ) , Q δ (Q ) the two points P, Q of an affine plane are expected, then their cutting points P δ ( P ) ∩ Q δ (Q ) is a fixed point related to his dilatations δ . Proff. coming soon CONSEQUENCE 2. If an point Q of affine plans is to trace P δ (P) to an his point P, then the its image δ (Q) locates at the a trace. Otherwise, in an affine plan, line, which is an a trace of his points by an dilatation, is a trace for every other points of it Proff. coming soon CONSEQUENCE 3. Two dilatations δ 1 ≠ id and δ 2 ≠ id of an affine plane =(,,), are equal if and only if, when two points P ≠ Q ∈  are simultaneously true equations

( )

( )

( )

( )

= δ1 P δ= P and δ 1 Q δ2 Q 2

(6)

Otherwise, an dilatation δ ≠ id of an affine plane is completely determined by giving his image according to two different points of the plans. Proff. coming soon THEOREM 3.2.4. For every dilatation δ ≠ id of an affine plane =(, , ) exists in the plane least two not fixed points about what dilatation. Proff. coming soon THEOREM 3.2.5. If an affine plane =(, , ) has two fixed points about an dilatationthen he dilatation is identical dilatation id  of his. Proff. coming soon CONSEQUENCE. For every dilatation δ ≠ id to an affine plan =(, , ) if in the plan has an fixed point with respect to that dilatation, then it is only. Proff. coming soon

THEOREM 3.2.6. For every dilatation δ ≠ id to an affine plan =(, , ), which has a fixed point V associated with it dilatation, is true propositions

( )

∀P ∈  ,V ∈ Pδ P ,

(8)

otherwise, all the tracks regarding with dilatation δ cross the point V. Proff. coming soon THEOREM 3.2.7. An affine plane =(,,) has not fix point related to an dilatation

δ ≠ id then and only then, when all the tracks Pδ ( P ) for all P ∈  are parallel between

themselves. Proff. coming soon THEOREMS we can give also this wording: For every dilatation δ ≠ id of an affine plane =(,,), worth propositions “has not fixed point by δ ”



∀ P, Q



, P δ (P)||Q δ (Q).

(9)

Proff. coming soon The last two theorems summarized in this PROPOSITION 3.2.3. In an affine plane related to dilatation δ ≠ id all traces P δ (P) for all P

∈ , or cross the by a single point, or are parallel between themselves.

3. TRANSLATIONS GROUPS OF AN AFFINE PLANE By Propositions 3.2.3, in an affine plane all traces related an dilatation of his or cross the by a single point, or are parallel between themselves. This fact leads us to this Definition 3.3.1. [15], [14], [28], Translation of an affine plans  = (, , ), called identical dilatation id his and every other of its dilatation, about which heaffine plane has not fixed points. If  is an translation different from identical translation id , then, by Theorems 3.2.7, all traces related to  form the a set of parallel lines. According to Propositions 1.2.4, at every point P ∈  pass at least three lines out , among which only one is its a traceof translations  . Because || parallelism relation on  It is an equivalence relation, according Propositionit 1.2.1, then  =/|| is an a cleavage of  in the equivalence classes by parallelism [1], [33], [35], [37], [40]. Each class has representative an line that passes from of random point P.

Definition 3.3.2. For one translation σ ≠ id , equivalence classes of the cleavage π =  / ||, which contained tracks by σ of points of the plan  = (, , ) called the direction of his translations σ and marked π σ . So, for σ ≠ id , direction π σ represented by single the trace by σ every point P ∈  . for translation id , We say that there are undefined direction. Otherwise we say that has the same the direction with every other translations  of the plane  , namely true accept the propositions: For every translation  of the plane ,  id =   . 

(10)

Subject of review at this point would be the set of translations of the affine plane =(,,): Zhv = { σ ∈ Zgj σ is translation of } . Let it be  : Zhv  Zhv an scalene application of Zhv on yourself. For every translation id id  , its image α (σ ) is again an translation, that can be α (σ ) =  or α (σ )   , So there is a certain direction or indefinitely. The first equation, in the case where σ = id , takes the view α (

id )= id , and the second α ( id )  id , that it is not possible to  is application. To avoid this, yet accept that for every application  : Zhv  Zhv , is true equalization

α ( id )= id .

(10')

THEOREM 3.3.1: If a certain point P of an affine plane  = (, , ), Its image is

( ) − {P } determined as follows:

( )

determined P ' = σ P according to an his translations σ ≠ id , then image Q ' = σ Q a other point Q ∈ 

P' Q  PP '  (Q)   QPP '   PQ S P' S' Q  PP '  S  PP ', S'   PP   PS dhe (Q)  PP '   SQ '

(11) (11')

CONSEQUENCE. Two translations σ 1 ≠ id , σ 2 ≠ id of an affine plane  = (, , ), are equal only when for a point P ∈  is true equalization

σ 1 (P ) = σ 2 (P )

(12)

Otherwise, one translations σ ≠ id of an affine plane is completely determined by giving her the likeness to an point according to the plan. PROPOSITION 3.3.1. The inverse translation σ −1 of an translation σ to an affine plane is also an translation in the affine plane.

CONSEQUENCE. For every translation σ to an affine plane  = (, , ), σ and σ −1 have the same direction. PROPOSITION 3.3.2. The composition of the two translations in affine plane is agin a translation of his. PROPOSITION 3.3.3. If translations σ 1 and σ 2 have the same direction with translation σ to a affine plane  = (, , ), then and composition σ 2  σ 1 has the same the direction, otherwise ∀σ 1, σ 2 , σ ∈ Zhv , π σ = πσ = π σ ⇒ π σ σ = πσ . (13) 1

2

2

1

THEOREM 3.3.2. Set Zhv of translations to an affine plane  form a group about the

(

)

composition , which is a sub-group of the group Zgj  ,  to dilatations of affine plans .

(

) ,  ) of him plane.

THEOREM 3.3.3. Group Zhv ,  of translations to the affine plane  is normal sub- group

(

of the group of dilatations Zgj 

CONSEQUENCE 1. For every dilatations δ ∈ Zgj  and for every translations σ ∈ Zhv of affine plane  = (, , ), translations σ and δ −1  σ  δ of his have the same direction. According to the understanding of the normal sub-group [1], [31], [32], [33], [36], [37], [64], [67], from this Theorem also it shows that there is true the implication

(

)

∀ δ , σ ∈ Zgj  × Zhv , δ  σ = σ  δ. Because δ ∈ Zhv ⇒ δ ∈ Zgj  , from that comes true the implication

(

)

σ  δ. ∀ δ , σ ∈ Zhv × Zhv , δ  σ =

(14)

This indicates that is true this

(

)

CONSEQUENCE 2. The translations group Zhv ,  of an affine plane  is (abelian) commutative. By definition of an Abelian Groups [2], [31], [32], [33], [36], [37], [64], [66], [67], [68], this means that besides propositions (14), are true even these propositions: ∀σ 1, σ 2 , σ 3 ∈ ZhvA,



1

 σ2 )  σ3 = σ 1  (σ 2  σ 3 )

∀σ ∈ Zhv , σ = id  id = σ σ ∀σ ∈ Zhv , ∃σ −1 ∈ Zhv σ  σ −1 = id 

(14''') v

(14')

(14'')