Sottoinsieme di $\mathbb{P}^2(CC)$ in biiezione con il toro

[andreadel1988]

Considerata $f:\mathbb{P}^2(CC)->T$ definita come $f([z_0:z_1:z_2])=(abs(z_0)^2/(abs(z_0)^2+abs(z_1)^2+abs(z_2)^2),abs(z_1)^2/(abs(z_0)^2+abs(z_1)^2+abs(z_2)^2),abs(z_2)^2/(abs(z_0)^2+abs(z_1)^2+abs(z_2)^2))$ dove $T$ è il simplesso $T={(x,y,z)inRR^3| x+y+z=1,x>=0,y>=0,z>=0}$. Sia $(\tilde x,\tilde y,\tilde z)in{(x,y,z)inRR^3| x+y+z=1,x>0,y>0,z>0}$, mostrare che $f^-1($ $(\tilde x,\tilde y,\tilde z))$ è in biiezione $S^1xxS^1$.

Abbiamo che $f^-1($ $(\tilde x,\tilde y,\tilde z))={[z_0:z_1:z_2]in\mathbb{P}^2(CC)| abs(z_1)=sqrt(\tilde y/ \tilde x) abs(z_0),abs(z_2)=sqrt(\tilde z/\tilde x) abs(z_0)}$, per cui ho definito la funzione $g:f^-1($ $(\tilde x,\tilde y,\tilde z))->S^1xxS^1$ come $g([z_0:z_1:z_2])=(z_1/abs(z_0)sqrt(\tilde x/\tilde y),z_2/abs(z_0)sqrt(\tilde x/\tilde z))$, può andare bene come biiezione richiesta?