Geometria transformado

Geometria bildigo estas funkcio F kiu transformas geometrian figuron Z₁ en geometria figuro Z₂. oni signifas ĉi tiu: F: Z₁ → Z₂. Por ĉiuj punktoj p el figuro Z₁ estas kuniĝita kun punkto el figuro Z₂, kiu nomiĝas bildo de punkto p kun geometria bildigo F kaj signifas per F(p).

Derivaj difinoj

• Aro de figuro Z₁ kun bildigo F: Z₁ → Z₂ nomiĝas figuron en Z₂ kaj ĉiuj punktoj de ĝi estas bildoj de punktoj el figuro Z₁. Ĉi tiu aro estas signifata per F(Z₁):
  

$F(Z_{1})=\left\{q\in Z_{2}\colon \ \exists _{p\in Z_{1}}\ q=F(p)\right\}$

• Punkto p de figuro Z nomiĝas konstanta punkto kun geometria bildigo F: Z → Z, se F(p)=p.
• Inversa geometria bildigo: Se funkcio F, kiu transformas estas ensurĵeto, tiam geometria bildigo estas inversigebla, kaj F ^-1 nomiĝas inversa funkcio kaj tiam:

$\forall _{q\in Z_{2}}\ \exists _{p\in Z_{1}}\ q=F(p)$

do estas inversa geometria bildigo F ^-1: Z₂ → Z₁: por laŭvola :$q\in Z_{2}\ F^{-1}(q)=p\Leftrightarrow F(p)=q$