1
$\begingroup$

I'm reading the book Differential Geometry of Curves and Surfaces written by do Carmo. And there is one theorem I'm trying to prove. Here is the statement:

If $S$ be a compact, connected, regular surface with constant Gaussian curvature $K$, then $S$ is a sphere.

enter image description here

In the proof, do Carmo claims that $S$ is open in the sphere $\Sigma$. But I'm quite vague about his argument. Why is $S$ open in $\Sigma$ if $S$ is to be a regular surface? Thanks.

$\endgroup$
1
$\begingroup$

Let $p\in S$. Since $S$ is a regular surface, there exists an open subset $U\subseteq\mathbb R^2$ and a homeomorphism $\psi: U\to \psi(U)\subseteq S$ such that $\psi(U)$ is an open subset of $\mathbb R^3$ containing $p$. So $\Sigma\cap \psi(U)$ is an open subset of $\Sigma$ containing $p$.

$\endgroup$
  • $\begingroup$ Thanks. But, is $U$ an open set in $\mathbb R^2$? Also, do you conclude open-ness of $S$ by letting $p$ range over $S$ (thus, $S$ can be written as a union of open sets)? $\endgroup$ – Steve Jul 5 '20 at 15:12
  • 1
    $\begingroup$ Yes, you're right, that was a typo. And your argument is correct. $\endgroup$ – Shivering Soldier Jul 5 '20 at 15:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.