Hopf-Rinow theorem - Revision history

Vipul at 13:17, 22 May 2008

2008-05-22T13:17:33Z

← Older revision		Revision as of 13:17, 22 May 2008
Line 1:		Line 1:
	==Statement==		==Statement==

	Let <math>(M,g)</math> be a [[Riemannian manifold]] (viz <math>M</math> is a [[differential manifold]] equipped with a [[Riemannian metric]] <math>g</math>). Then, the Hopf-Rinow theorem states ~~that~~ the following ~~are~~ equivalent:		Let <math>(M,g)</math> be a [[Riemannian manifold]] (viz <math>M</math> is a [[differential manifold]] equipped with a [[Riemannian metric]] <math>g</math>). Then the Hopf-Rinow theorem states the following equivalent things:

	* <math>M</math> is ~~[[geodesically complete Riemannian manifold\|~~geodesically complete]], ~~viz~~ any ~~geodesic can be extended indefinitely in both directions~~		# If <math>M</math> is geodesically complete, then given any two points <math>p,q \in M</math> there is a minimizing geodesic joining <math>p</math> and <math>q</math>.
	* <math>M</math> is ~~complete as~~ a ~~metric space (with metric induced by the Riemannian distance function)~~		# For any point <math>p \in M</math>, the [[exponential map at a point\|exponential map]] at <math>p</math> is surjective from <math>T_p(M)</math> to <math>M</math>, and any length-minimizing curve from <math>p</math> to <math>q</math> for some <math>q \in M</math>, occurs as the image of a straight line from the origin, under the exponential map.

	~~In some texts~~, the ~~Hopf-Rinow theorem~~ is ~~expressed in another form~~ (~~which is more geometric~~):

	If <math>M</math> ~~is geodesically complete~~, ~~then given~~ any ~~two points~~ <math>p~~,q \in M~~</math> ~~there is a minimizing geodesic joining~~ <math>p</math> ~~and~~ <math>q</math>.

	==Proof==		==Proof==

	~~The geometric version of Hopf-Rinow theorem (from which the other version easily falls out) can be proved by applying triangle inequalities once we have established the following basic facts:~~

	* Given <math>p \in M</math>, there exists <math>\epsilon > 0</math>, such that the exponential map takes the unit sphere of radius <math>\epsilon</math> about <math>p</math> to the set of points on the manifold at distance <math>\epsilon</math> from <math>p</math>, with the minimal geodesics from <math>p</math> being exponentials of the radial paths.		* Given <math>p \in M</math>, there exists <math>\epsilon > 0</math>, such that the exponential map takes the unit sphere of radius <math>\epsilon</math> about <math>p</math> to the set of points on the manifold at distance <math>\epsilon</math> from <math>p</math>, with the minimal geodesics from <math>p</math> being exponentials of the radial paths.

Vipul: 2 revisions

2008-05-18T19:47:00Z

2 revisions

← Older revision	Revision as of 19:47, 18 May 2008
(No difference)

Vipul: /* Proof */

2007-04-06T00:11:30Z

Proof

← Older revision		Revision as of 00:11, 6 April 2007
Line 18:		Line 18:
	The upshot of this is: given <math>p \in M</math>, there is an <math>\epsilon</math> such that the set of points at distance <math>\epsilon</math> from <math>p</math> is a compact set, and such that there is a unique minimizing geodesic from <math>p</math> to each of them		The upshot of this is: given <math>p \in M</math>, there is an <math>\epsilon</math> such that the set of points at distance <math>\epsilon</math> from <math>p</math> is a compact set, and such that there is a unique minimizing geodesic from <math>p</math> to each of them

	* Any geodesic can be extended indefinitely in both directions (this follows from the assumption that our manifold is geodesically complete)		* Any geodesic can be extended indefinitely (and uniquely) in both directions (this follows from the assumption that our manifold is geodesically complete)

	The proof beyond these two facts is purely geometric (that is, it only uses standard properties of metrics and continuous maps).		The proof beyond these two facts is purely geometric (that is, it only uses standard properties of metrics and continuous maps).

Vipul: Started the page

2007-04-06T00:08:38Z

Started the page

New page

==Statement==

Let <math>(M,g)</math> be a [[Riemannian manifold]] (viz <math>M</math> is a [[differential manifold]] equipped with a [[Riemannian metric]] <math>g</math>). Then, the Hopf-Rinow theorem states that the following are equivalent:

* <math>M</math> is [[geodesically complete Riemannian manifold|geodesically complete]], viz any geodesic can be extended indefinitely in both directions
* <math>M</math> is complete as a metric space (with metric induced by the Riemannian distance function)

In some texts, the Hopf-Rinow theorem is expressed in another form (which is more geometric):

If <math>M</math> is geodesically complete, then given any two points <math>p,q \in M</math> there is a minimizing geodesic joining <math>p</math> and <math>q</math>.

==Proof==

The geometric version of Hopf-Rinow theorem (from which the other version easily falls out) can be proved by applying triangle inequalities once we have established the following basic facts:

* Given <math>p \in M</math>, there exists <math>\epsilon > 0</math>, such that the exponential map takes the unit sphere of radius <math>\epsilon</math> about <math>p</math> to the set of points on the manifold at distance <math>\epsilon</math> from <math>p</math>, with the minimal geodesics from <math>p</math> being exponentials of the radial paths.

The upshot of this is: given <math>p \in M</math>, there is an <math>\epsilon</math> such that the set of points at distance <math>\epsilon</math> from <math>p</math> is a compact set, and such that there is a unique minimizing geodesic from <math>p</math> to each of them

* Any geodesic can be extended indefinitely in both directions (this follows from the assumption that our manifold is geodesically complete)

The proof beyond these two facts is purely geometric (that is, it only uses standard properties of metrics and continuous maps).