Positive lokale räumliche Krümmung des Universums impliziert, dass das Universum kompakt (dh endlich) ist?

Ich zitiere aus der Wikipedia-Seite über die Form des Universums :

Wenn die räumliche Geometrie [des Universums] kugelförmig ist, dh eine positive Krümmung besitzt, ist die Topologie kompakt.

Ich versuche anhand dieses vereinfachten Beispiels zu verstehen, ob die zitierte Aussage wahr ist:

Angenommen, Sie haben ein Koordinatensystem für das Universum, T , X , j , z , und die räumliche Krümmung ist durch eine Funktion gegeben C ( T , X , j , z ) . Nehmen wir das für alle an X , die beiden Ereignisse ( T , X , j , z ) Und ( T , X + L , j , z ) sind identisch. Mit anderen Worten, die Dimension X ist "kompakt" mit "Punkt" L (Mit anderen Worten, die Topologie dieses Raums hat den Kreis S 1 als Faktor, denke ich).

Jetzt kann ich ein anderes Universum mit Koordinaten definieren T , X , j , z , so dass X ist nicht mehr kompakt, das heißt, ( T , X , j , z ) unterscheidet sich von jeder Veranstaltung ( T , X + L ' , j , z ) für alle X Und L ' 0 . Für dieses Universum sei seine Krümmung durch dieselbe Funktion wie oben gegeben C ( T , X , j , z ) . Mit anderen Worten, dieses neue Universum hat genau die gleiche lokale Krümmungsstruktur wie das ursprüngliche Universum, aber es ist nicht mehr kompakt.

Nun verstehe ich, dass ich in diesem Beispiel die Krümmung nicht erwähnt habe (und insbesondere S 1 ist flach). Aber kann die gleiche "Auflockerung" nicht auch für positiv gekrümmte Räume durchgeführt werden, um zu zeigen, dass eine positive Krümmung nicht unbedingt ein kompaktes Universum impliziert?


Als zusätzlicher Gedanke, wenn ich mir Raum als a vorstelle 2 -Sphäre, mit sphärischen Koordinaten ( φ , θ ) ( φ ist Azimut, θ ist Neigung, ( φ , θ ) = ( φ + 2 π , θ ) ), dann könnte ich eine "Auflockerung" vornehmen ( φ , θ ) Und ( φ + 2 π , θ ) verschiedene Punkte im Raum sein. Ich sehe jedoch, dass dies am Pol zusammenbricht θ = 0 , weil alle Punkte mit θ = 0 sind identisch. Aber ist das ein Problem?

Antworten (1)

Ich sehe aber, dass dies am Pol θ=0 zusammenbricht, weil alle Punkte mit θ=0 identisch sind. Aber ist das ein Problem?

Ja, das ist ein Problem, denn wenn man bei einer Kugel die Pole weglässt, dann hat sie die Topologie eines Zylinders, nicht einer Kugel.

Es gibt einen Satz in der Differentialgeometrie, der als Myers-Theorem bezeichnet wird . Dies ist ein Theorem in der Riemannschen Geometrie (nicht in der halb-Riemannschen Geometrie), aber wir können es auf die Metrik eines raumähnlichen Schnitts einer kosmologischen Raumzeit anwenden, die Riemannsch ist. Der Satz von Myers sagt uns im Grunde, dass der Raum kompakt ist, wenn die Ricci-Krümmung nach unten durch eine positive Grenze begrenzt ist (und der Satz setzt auch eine Grenze für seinen Durchmesser).

Beachten Sie, dass es nicht ausreicht, eine Krümmung zu haben, die überall positiv ist. Sie benötigen auch eine globale untere Schranke. Aber normalerweise machen wir unsere kosmologischen Modelle homogen, also ist die Ricci-Krümmung tatsächlich überall gleich.