# Closed but infinite space?

#### Dmitry67

I wonder if Universe with a positive curvature everywhere can be infinite.

As an example I see a spring: you make a full rotation, but you dont get into the same place, but another place.

Spring is 1-dimensional object (line) so curvature is not defined for it. But is it possible for the higher dimensional surfaces?

Related Differential Geometry News on Phys.org

#### HallsofIvy

Homework Helper
I wonder if Universe with a positive curvature everywhere can be infinite.

As an example I see a spring: you make a full rotation, but you dont get into the same place, but another place.

Spring is 1-dimensional object (line) so curvature is not defined for it. But is it possible for the higher dimensional surfaces?
The curvature of a line certainly is defined: it is 0. In any case, yes, it is possible for a 3 dimensional spaced, with positive curvature to have infinite volume. The curvature would have to have 0 as greatest lower bound.

#### wofsy

I wonder if Universe with a positive curvature everywhere can be infinite.

As an example I see a spring: you make a full rotation, but you dont get into the same place, but another place.

Spring is 1-dimensional object (line) so curvature is not defined for it. But is it possible for the higher dimensional surfaces?
A simple example would be a parabaloid of revolution. Note that the Gauss curvature falls to zero as you move far away from the apex.

#### Dmitry67

A simple example would be a parabaloid of revolution. Note that the Gauss curvature falls to zero as you move far away from the apex.
Ha, this is correct!
I have to change my original question, I need to add "positive curvature, constant everywhere"

#### HallsofIvy

Homework Helper
In that case the hyper-volume is finite and, in fact, can be given as a standard formula in terms of the curvature, $\kappa$, and dimension, n:
$$V= \frac{\pi^{n/2}}{\Gamma(1+ n/2)\kappa^n}$$.

Note that if n is odd, $\Gamma(1+ n/2)$ and $\pi^{n/2}$ will both involve a square root of $\pi$ so this equation always has $\pi$ to an integer power.

#### Dmitry67

Wait, wait. I understand the classical view.

Curvature is positive everywhere, so surface must intersect with itself. Intersect, if we look at the manifold.

But what if it does not intersect? And when we complete a full cycle around a sphere we end not in the same place, but in another place? (an analogy with a spiral spring)

That set of points can not be put in any manifold... so may be it can not be called 'space'. But still.. what properties of space we need to sacrifice in order to make such object?

In general, I am interested in how curvature defines the topology. As far as I know, I does not.... hence any facts about the topology of our curved space (General Relativity) are not falsifiable?

#### Hurkyl

Staff Emeritus
Gold Member
But what if it does not intersect?
You can prove that it does. Here's a fun hands-on example that will (hopefully) convey what I think the main proof idea is.

In this exercise, we will be drawing triangles. The sides of the triangle don't need to be straight, but they have to have three vertices and three edges.

Your goal is to draw triangles so that exactly four triangles meet at a vertex. Of course, adjacent triangles at a vertex must share a side. So, initially you might have something that looks like this:
Code:
   *
/|\
/ | \
*--*--*
\ | /
\|/
*
How many more triangles can you add? I claim that the best you can do 6 vertices and 7 triangles, with exactly three edges lying on the outside of the diagram. (If you wanted, you could include the "outside" as an 8th triangle)

Try the same example again, but this time have exactly 5 triangles meet at a vertex. How many triangles can you draw now? (12 vertices, 19 triangles, and the outside)

The point of this exercise is how you're constrained by the geometry. The above two examples correspond to an octahedron and an icosahedron respectively: knowing nothing more than how many triangles could meet at a vertex, you were forced to assemble them into an 8-sided or a 20-sided figure, respectively.

Maybe you still don't trust me, and want to try something more involved. Well, go nuts! Draw any sort of combination of triangles you like (again, you don't have to draw straight sides). But from the constant-curvature metric, you can prove two things:

(1) The sum of the angles at any vertex is $2 \pi$ radians
(2) If a triangle has angles $\alpha$, $\beta$ and $\gamma$ radians, then its area is $\alpha + \beta + \gamma - \pi$ steradians. (The scaling factor between steradian and actual area depends on the actual numerical value of the curvature)

You'll find that no matter how you draw your triangles, if you assign angle measures to the angles of the triangles (including the outside 'triangle'), the area will always be no greater than $4 \pi$ steradians... the area of a sphere.

(Note that the sum of the angles of the triangles must be strictly greater than $\pi$)

In the two examples above, the angle measures of the triangles were $\pi/2$ and $2\pi / 5$ respectively.

I believe you can exceed $4 \pi$ if you allow yourself to have edges. e.g. imagine starting with a strip with the geometry of the equator of a sphere, and cut a vertical line through it so it's no longer a loop. I believe there is no problem attaching it another duplicate copy of the strip along that cut edge, and you could repeat that process as much as you like. However, you will never be able to 'complete' your manifold: you will always be stuck with edges. This isn't really suitable for a description of the universe: you could fly off of the universe at an edge... or worse, any sort of random stuff could instantaneously appear at an edge.

P.S. if you're dealing with anything that, locally, has the topology of Euclidean space, then it's a manifold. That's (essentially) the definition of manifold. :tongue:

Last edited:

#### HallsofIvy

Homework Helper
Curvature is positive everywhere, so surface must intersect with itself.
But what if it does not intersect?
The surface MUST intersect but what if it does NOT? What if 4 were a prime number?

Last edited by a moderator:

#### wofsy

The curvature of a line certainly is defined: it is 0. In any case, yes, it is possible for a 3 dimensional spaced, with positive curvature to have infinite volume. The curvature would have to have 0 as greatest lower bound.
I'm not sure I totally understand your point. I can see that you can define a trivial Riemann curvature tensor on a 1 manifold but I don't see how this extends when you view curvature as an obstruction to the integrability of horizontal spaces.

#### Dmitry67

Hurkyl, thank you
Your example with triangles explains it, so the 'spiral spring' analogy wont work if nummber of dimensions is >1.

#### wofsy

Hurkyl, thank you
Your example with triangles explains it, so the 'spiral spring' analogy wont work if nummber of dimensions is >1.
You can make an infinitely spiralling surface that has Gauss curvature zero.

#### wofsy

You can make an infinitely spiralling surface that has Gauss curvature zero.
But I wonder if such a surface can be complete.

#### wofsy

Hurkyl, thank you
Your example with triangles explains it, so the 'spiral spring' analogy wont work if nummber of dimensions is >1.
Here's a try. Start with an infinite spiral in the plane. At each of its points, place a small segment that curves away from the orientation of the spiral and slide it around to create a surface of positive curvature. As you wind inwards, scale the segment increasingly shallower so that it will not cause self intersection. This surface is not complete because it can not include the limit point of the spiral. Also it has a boundary.

It on starts with a segment that curves towards the orientation of the spiral, one gets a surface of negative curvature - like an infinite sand collar.

### Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}