Go backward to Translation Go up to Top Go forward to Proof |
Proposition: cartesian and polar are bijections.
Definition:
cartesian o polar = 1C, polar o cartesian = 1C'
x *C' y := <x0*y0, shift(x1+y1)>
Proposition: C and C' are isomorphic with respect to multiplication.
polar: C ->iso(*C, *C') C' cartesian: C' ->iso(*C', *C) C