Math 2.0

Differential geometry Definition

Geodesic

Builds on Pseudo-Riemannian manifoldLevi-Civita connectionCovariant derivative

Definition

Let (M,g)(M, g) be a pseudo-Riemannian manifold with Levi-Civita connection ∇\nabla, and let I⊆ℝI \subseteq \R be an interval. A smooth curve γ ⁣:I→M\gamma \colon I \to M is a geodesic if Dtγ′(t)=0for all t∈I,D_t \gamma'(t) = 0 \quad \text{for all } t \in I, where DtD_t is the covariant derivative along γ\gamma induced by ∇\nabla.

Remarks

In local coordinates, with Christoffel symbols Γijk\Gamma^k_{ij}, the condition is the geodesic equation γ¨k+∑i,jΓijk(γ) γ˙iγ˙j=0,k=1,…,n.\ddot\gamma^k + \sum_{i,j} \Gamma^k_{ij}(\gamma) \, \dot\gamma^i \dot\gamma^j = 0, \qquad k = 1, \ldots, n.

Example: in ℝn\R^n with the Euclidean metric all Γijk\Gamma^k_{ij} vanish, so the geodesics are the curves with γ¨=0\ddot\gamma = 0, that is γ(t)=p+tv\gamma(t) = p + tv.

Non-example: in ℝ2\R^2, the curve γ(t)=(t2,0)\gamma(t) = (t^2, 0) traces a straight line, but γ¨=(2,0)≠0\ddot\gamma = (2, 0) \ne 0, so it is not a geodesic: a geodesic must have constant speed.

The quantity g(γ′,γ′)g(\gamma', \gamma') is constant along a geodesic. On a Riemannian manifold, every geodesic is locally length-minimizing: each t∈It \in I has a neighbourhood in II on which γ\gamma is a shortest curve between its endpoints. For each p∈Mp \in M and v∈TpMv \in T_pM there is a unique maximal geodesic γv\gamma_v with γv(0)=p\gamma_v(0) = p and γv′(0)=v\gamma_v'(0) = v.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Covariant derivative concept
  2. Levi-Civita connection concept
  3. Pseudo-Riemannian manifold concept
  4. Geodesic definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Geodesic
About this page
Tag2CNFVTWFRC
URIm2://2CNFVTWFRC
Kinddefinition
WritingW0 stub
MSC53C22
DefinesGeodesic
UsesPseudo-Riemannian manifold, Levi-Civita connection, Covariant derivative
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.