Tu argumento utilizando la continuidad es esencialmente correcto, siempre que lo aumentes con el argumento de Gauss-Bonnet mencionado en el comentario de @MichaelAlbanese. Ese argumento te dice que la integral de la curvatura seccional respecto al área es igual a cero (y "curvatura seccional" es lo que deberías tomar como "curvatura intrínseca").
En consecuencia, o bien la curvatura seccional es una constante igual a cero, o bien tiene un valor distinto de cero. Además, si la curvatura seccional tiene un valor distinto de cero entonces debe tener un valor de signo contrario --- si, digamos, el valor es positivo en algún punto entonces el conjunto de puntos donde tiene valor positivo tiene área distinta de cero, y la integral de la curvatura seccional sobre ese conjunto es positiva, por lo que deben existir puntos con curvatura seccional negativa para que la integral total de la curvatura seccional resulte cero. Y finalmente, una vez que se sabe que la curvatura seccional tiene valores positivos y negativos, se aplica tu argumento de continuidad.
3 votos
No lo entiendo. El toro plano $\mathbb{R}^2/\mathbb{Z}^2$ tiene curvatura constante igual a cero.
0 votos
Si incrustas un toroide en $\mathbb{R}^3$ que tiene puntos de curvatura cero.
0 votos
Toda métrica en un toro bidimensional tiene un punto de curvatura cero. Esto se deduce del teorema de Gauss-Bonnet.