# Thread:

1. ## Unique Geodesic

My book defines, the Riemannian Metric (below) for hyperbolic geometry.

Given a set of points say in R^2 defined by the Riemannian Metric, is there always a geodesic between them? Furthermore, is it unique. (My book never mentions that and I am curios to know).

C is some smooth curve joining two points in the set.
Attached Thumbnails

2. There's no need to restrict this conversation to H^2.

If a manifold with a metric (a.k.a Riemannian manifold) is connected, then any two of its points can be joined by a curve - this won't necessarily be a geodesic.

Geodesics are defined as "curves of least length", say like a great circle on a sphere. This is not so precise, as there are great circles that do not minimize length. What actually goes, is that on a geodesic, the tangent vector can be transported parrallel to itself - and this condition is given by a system of differential equations.

This explains the local nature of geodesy - Using standard ODE arguments. For given initial conditions, such as a point on the manifold and a direction on the tangent space, the system can be solved locally (i.e. there is always a geodesic between that point and the ones sufficiently close to it) and the solution is unique.

Hope this clarifies things a bit.

3. Ah! But what about the sphere? There is more than one geodesic between the poles.

4. Yes, but only one along a specified direction on the tangent plane

ps. Anyhow, the solution to a first order system of ODEs is not necessarily unique, if you just specify two points the solution must cross.

5. Originally Posted by Rebesques
Yes, but only one along a specified direction on the tangent plane
Okay, whatever you say, I do not know differencial geometry.

6. Hm, maybe some more explanations are in order

The equations for a geodesic lead to a system of the form ${\bf y}'={\bf f}({ \bf y}(t),t)$,with f differentiable - thankfuly. For a unique solution, we must specify ${ \bf y}(0)={\bf p}$ (a point on the manifold) and ${\bf y}'(0)={\bf v_p}$ (a tangent vector at this point).

ODE theory grants us a unique solution for t sufficiently small. This is our geodesic!
{"extraction_info": {"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 3, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9227933287620544, "perplexity_flag": "head"}