1
$\begingroup$

This might be an easy question, but I haven't been able to up come up with a solution.

The image of the map $f : \mathbb{R} \to \mathbb{R}^2, a \mapsto (\frac{2a}{a^2+1}, \frac{a^2-1}{a^2+1})$

is the unit circle take away the north pole. $f$ extends to a function $g: \mathbb{C} \backslash \{i, -i \} \to \mathbb{C}^2. $ Can anything be said about the image of $g$?

  • 1
    A difference is that the functions $a\mapsto\frac{2a}{a^2+1}$ and $a\mapsto\frac{a^2-1}{a^2+1}$ are no longer bounded. The first has image $\mathbb{C}$, while the second has image $\mathbb{C}\setminus\{1\}$. As Qiaochu says, the image of your map is still the set of pairs $(w,z)\in\mathbb{C}^2\setminus{(0,1)}$ such that $w^2+z^2=1$, and you can still represent such pairs using (complex) cosine and sine.2010-12-07

2 Answers 2

1

Note that although $a$ is complex, is valid :

$\left(\frac{2a}{a^2+1}\right)^2+\left(\frac{a^2-1}{a^2+1}\right)^2= \frac{4a^2}{(a^2+1)^2}+\frac{(a^2-1)^2}{(a^2+1)}=$

$\frac{4a^2+a^4-2a^2+1}{(a^2+1)^2}=\frac{(a^4+2a^2+1)}{(a^2+1)^2}=\frac{(a^2+1)^2}{(a^2+1)^2}=1$

Thus is also an circle

EDIT

Is say, the points of the set $\{g(a)\in \mathbb{C}^2 :a\in \mathbb{C}/ \{\imath,-\imath\}\}$ meet the above.

  • 3
    Yes, it is true that the sum of the squares is still 1, and Qiaochu commented that conversely each such pair of complex numbers other than $(0,1)$ is represented this way, but is there a good reason to call the resulting set a "circle"?2010-12-07
0

It is the unit circle. Substituting $\tan t$ for $a$ and simplifying, you get

$ x=\sin 2t, y=-\cos 2t $ which is the unit circle.

  • 0
    Perhaps a good way to view it is as a (co)tangent bundle of the unit circle (minus the point (0,1)). In fancy language they are Liouville isomorphic, and in a sense passing to cotangent bundle is the "right" complexification.2010-12-07