2
$\begingroup$

Prove that spherical distance on $\bar{\mathbb{C}}$ is a metric which induces the standard topology on $\bar{\mathbb{C}}$.

Just starting complex analysis and having a bit of trouble understanding the question. Part of the exercise was to derive a formula for the spherical distance on $\bar{\mathbb{C}}$. With $\bar{\mathbb{C}}$ being the Riemann sphere. But the second part is rather confusing to me. Any help to guide me in the right direction would be much appreciated.

edit

Metric defined as $p(z_{1}, z_{2}) = \frac{2|z_2-z_1|}{\sqrt[]{1+|z_2|^2}\sqrt[]{1+|z_1|^2}}$

Extend to $\infty$

$p(z, \infty) = \frac{2}{\sqrt[]{1+|z^|2}}$

I hope that is not too small, if so how do I make it larger?

  • 0
    @JohnThomas: It means you have to prove that: (1) the "spherical distance" is in fact a metric, and (2) a subset of $\bar{\mathbb{C}}$ is open with respect to the spherical metric if and only if it is open with respect to whatever is meant by "standard topology" on $\bar{\mathbb{C}}$. (This brings us to tomasz' question above: how was the topology on $\bar{\mathbb{C}}$ introduced?)2012-09-09

0 Answers 0