roto-omotetie in C
- roto-omotetia di rapporto w: è l' omotetia in C già considerata nella fase precedente; poniamo la definizione: Rw : z z•w, ossia Rw(z) := z•w.
Rw è anche detta roto-omotetia di fattore w
- la roto-omotetia Rw : C C estende da R a C la parametrizzazione Lw : R R•w
- Quando w=x è reale si ha: Rx(z)=z•x=x•z=Hx(z). Le roto-omotetie generalizzano le omotetie (in quanto diventano omotetie se il fattore è reale)
- proprietà delle roto-omotetie:
- composizione di roto-omotetie:
RvRw = Rvw
- azione sulle unità: Rw(1)=w e Rw(i)=ort(w)
- commutatività: RwRv = RvRw
- associatività: come per traslazioni e omotetie
- azione sul coniugato del fattore:
Rw(w) ≥ 0
(prova a dimostrare queste proprietà)
|