moltiplicazione in C
- estensione della moltiplicazione a coefficienti reali alla moltiplicazione a coefficienti complessi:
se z=x+yi, definiamo z*w := x•w + y•ort(w).
Dal momento che se z=x si ha y=0 e di conseguenza x*w = x•w. l'operazione * estende a CxC la moltiplicazione • già definita su RxC. Pertanto continueremo a denotare col simbolo • (oppure, come già abbiamo spesso fatto, senza alcun simbolo) la nuova operazione * , che continueremo a chiamare ancora moltiplicazione, precisamente moltiplicazione in C oppure moltiplicazione a coefficienti complessi.
Riassumendo:
- cambiamento di scala: la corrispondenza z
z•w associa al numero z, di coordinate x e y realizzate nel sistema di riferimento costituito da 1 e i, in quanto x+yi=x•1+y•i=x•1+y•ort(1), quel punto che ha le stesse coordinate x e y realizzate nel sistema di riferimento costituito da w e ort(w), ossia x•w+y•ort(w), pertanto realizza le coordinate x e y rispetto a w, ovvero in una nuova scala in cui 1 viene sostituito da w. Per questo fatto tale corrispondenza viene chiamata omotetia (termine greco che significa uguale disposizione) in C. Riassumendo, possiamo dire che z•w rappresenta z realizzato nella scala di w invece che nella scala di 1
- proprietà:
- moltiplicazione per i: abbiamo: i w = ( 0 + 1i ) w = 0w + 1 ort(w) = ort(w)
e
z i = ( x + yi ) i = xi + y ort(i) = xi + y(-1) = -y + xi = ort(z). In particolare: i2 = i•i = -1.
Pertanto: moltiplicare un numero complesso per l'unità immaginaria i significa ortonormalizzarlo
- espressione algebrica del prodotto:
(x + yi)•(x' + y'i) = x•(x'+y'i) + y•ort(x'+y'i) = x•(x'+y'i) + y•(-y'+x'i) = ( x x' - y y' ) + ( x y' + x' y )i
- commutativa: z•w = w•z
- associativa: (z•w)•v = z•(w•v)
- distributiva: (z+w)•v = (z•v) + (w•v) (la commutatività permette di enunciare una sola distributività)
- neutralità dell'uno: 1•z = z
- coniugato del prodotto: z • w = z • w (fra i sette operatori isometrici coordinati distinti dall'identità, conj è l'unico che conserva il prodotto; tutti invece, come già visto, conservano la somma).
|