I've read in several places now the claim that there are only three geometries in dimension 2, up to scaling: Euclidean, spherical, and hyperbolic. This fits nicely with the three cases for the sign of the curvature (zero, positive, negative), but how would you prove this claim? Indeed, I'm not sure exactly what would need to be proved -- what does it really mean? What do we require of geometries in order to consider them "the same"? Sorry if this question is a little nebulous.
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
Yes, at least for compact surfaces, there are only three model geometries upto scaling. You are on the right track when you note that this fits nicely with the notion of curvature.
In short, suppose we are looking at compact $2$--dimensional surfaces (to put it more technically, I am considering the class of compact $2$--dimensional manifolds). Now there is a beautiful theorem, called the Gauss Bonnet theorem, which relates the curvature with an invariant of the surface called the Euler characteristic.
If $S$ is a compact surface, and $\chi(S)$ is the Euler characteristic, $K$ is the curvature
$K = 2\pi\chi(S)$ (Eq1)
On the LHS of (Eq1), we have the curvature, and on the RHS of (Eq1) we have the Euler Characteristic. Now the Euler characteristic is simply an invariant of the surface -- its simple to calculate, pick any triangulation, add the vertices and faces and subtract the edges!
Anyway, if $K>0$ this means that the Euler characteristic is positive. The only surfaces with positive Euler characteristic are the spheres. The same is true for the cases of Euclidean and Hyperbolic curvatures.
I have simplified things a bit, and its possible to drop the constant curvature constraint, and even the topological constraints on the compactness. But hope this gives you a place to start,