Is it possible to flatten the metric on a sphere?

[marcgrr]

Hi!

I'm trying to learn some geometry for general relativity, and I am having a bit of trouble understanding how to tell flat and curved spaces apart. Specifically, I heard that a space is flat if you can "flatten" the metric by finding a coordinate system where $$ds^2 = dx^2 + dy^2 + ...$$. Unfortunately, if this is true, then I can show that the surface of a sphere is flat.

Let $$\theta$$ be the latitude and $$\phi$$ be the longitude on a unit sphere. Then the metric is

$$ds^2 = d\theta^2 + \sin^2(\theta)d\phi^2$$

Now let coordinates x and y be

$$x = \theta$$
$$y = \phi \sin(\theta)$$

Then we get

$$d\theta = dx$$
$$d\phi = \frac{dy}{\sin(\theta)}$$

Plugging into the metric,

$$ds^2 = d\theta^2 + \sin^2(\theta)d\phi^2 = dx^2 + dy^2\frac{\sin^2(\theta)}{\sin^2(\theta)} = dx^2 + dy^2$$

This is in the "flat" form.

I'm sure I've done something wrong. Maybe putting the metric in this form does not actually imply that the space is flat, or maybe I did something bad with the coordinate change?

Thanks

 

[CompuChip]

Well, the unit sphere in two dimensions isn't curved, so you might be right.

Curvature in 2d is a tricky concept. For example, a cone is not curved except at the "tip", but most smooth objects in 2d are intrinsically flat. They just look curved to us, when embedded in 3d space.

 

[Hurkyl]

Now let coordinates x and y be

$$x = \theta$$
$$y = \phi \sin(\theta)$$

Then we get

$$d\theta = dx$$
$$d\phi = \frac{dy}{\sin(\theta)}$$

You differentiated incorrectly.

$$dy = \phi \, d\!\sin(\theta) + \sin(\theta) \, d\phi$$

or alternatively,

$$d\phi = d\left( \frac{y}{\sin(\theta)} \right) = \frac{ \sin(\theta)\, dy - y\, d\!\sin(\theta) }{(\sin\theta)^2}$$


(Of course, $d\!\sin(\theta) = \cos(\theta) \, d\theta$)

 

[Hurkyl]

Well, the unit sphere in two dimensions isn't curved, so you might be right.

I'm under the impression that there aren't any flat metrics on the sphere. (Of course, all metrics on the circle are flat)

 

[CompuChip]

I'm under the impression that there aren't any flat metrics on the sphere. (Of course, all metrics on the circle are flat)

Good point. Forget what I said? :blush:

 

[haushofer]

Basically, how I would define flat manifolds is to show that the Riemanntensor is 0. This means that if I would transport vectors on the manifold along arbitrary loops, then the orientation of the vector would stay the same. This is true for the cirkel $S^{1}$. But also for the cylinder or the doughnut; try it yourself. After this trying you could set up a coordinate system for these manifolds, labourously calculate the connection coeficients etc and construct the Riemann-tensor. Because it's a tensor (a multilinear mapping from tangent spaces and cotangent spaces to the real line), if it vanishes in one coordinate system, it will vanish in every coordinate system.

Hope this helps :)

 

[zhentil]

I'm under the impression that there aren't any flat metrics on the sphere. (Of course, all metrics on the circle are flat)

Nor on any compact surface in R^3.

 

[wofsy]

Basically, how I would define flat manifolds is to show that the Riemanntensor is 0. This means that if I would transport vectors on the manifold along arbitrary loops, then the orientation of the vector would stay the same. This is true for the cirkel $S^{1}$. But also for the cylinder or the doughnut; try it yourself. After this trying you could set up a coordinate system for these manifolds, labourously calculate the connection coeficients etc and construct the Riemann-tensor. Because it's a tensor (a multilinear mapping from tangent spaces and cotangent spaces to the real line), if it vanishes in one coordinate system, it will vanish in every coordinate system.

Hope this helps :)

Just because the Riemann curvature tensor is identically zero does not mean that parallel transport of arbitrary vectors around arbitrary loops bring the vector back to itself. What about parallel translation on the flat Klein bottle? In three dimensions there is a manifold with zero Riemann tensor in which no vector transports back to itself (I think).

In fact the only manifolds with zero Riemann tensor where all vectors transport around all loops back to themselves are flat tori, cylinders, and Euclidean space.

 

[HallsofIvy]

Hi!

I'm trying to learn some geometry for general relativity, and I am having a bit of trouble understanding how to tell flat and curved spaces apart. Specifically, I heard that a space is flat if you can "flatten" the metric by finding a coordinate system where $$ds^2 = dx^2 + dy^2 + ...$$. Unfortunately, if this is true, then I can show that the surface of a sphere is flat.

Let $$\theta$$ be the latitude and $$\phi$$ be the longitude on a unit sphere. Then the metric is

$$ds^2 = d\theta^2 + \sin^2(\theta)d\phi^2$$

Now let coordinates x and y be

$$x = \theta$$
$$y = \phi \sin(\theta)$$

Then we get

$$d\theta = dx$$
$$d\phi = \frac{dy}{\sin(\theta)}$$

No. You didn't differentiate the "$sin(\theta)$" which you have to do. $\theta$ is not a constant! $dy= d\phi sin(\theta)+ \phi cos(\theta)d\theta$. Now you can say that $d\theta= dx$ but you still have that sine and cosine.

$$d\phi= \frac{dy- \phi cos(\theta) dx}{sin(\theta)}$$
Now, $cos(\theta)= cos(x)$, $sin(\theta)= sin(x)$ and $\phi= y/(sin(\theta)= y/sin(x)$ so
[tex]d\phi= \frac{dy- y cot(x) dx}{sin(x)}[/itex]<br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> Plugging into the metric,<br /> <br /> $$ds^2 = d\theta^2 + \sin^2(\theta)d\phi^2 = dx^2 + dy^2\frac{\sin^2(\theta)}{\sin^2(\theta)} = dx^2 + dy^2$$<br /> <br /> This is in the "flat" form. </div> </div> </blockquote>$$ds^2= dx^2+ x^2\frac{(dy- y cot(x) dx)^2}{sin^2(x)}$$<br /> $$= \frac{x^2(1+ y^2cot^2(x))}{sin^2(x)}dx^2- \frac{2x^2ycot(x)}{sin^2(x)}dxdy+ \fra{x^2}{sin^2(x)}dy^2$$<br /> far from "flat".<br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> I'm sure I've done something wrong. Maybe putting the metric in this form does not actually imply that the space is flat, or maybe I did something bad with the coordinate change?<br /> <br /> Thanks </div> </div> </blockquote>[/tex]