Math 2.0

Differential geometry Definition

Normal coordinates

Builds on Riemannian manifoldExponential mapOrthonormal basisDiffeomorphism

Definition

Let (M,g)(M, g) be a Riemannian manifold of dimension nn and p∈Mp \in M. Let V⊆TpMV \subseteq T_pM be an open neighbourhood of 00, star-shaped about 00. Assume that the exponential map exp⁡p\exp_p restricts to a diffeomorphism from VV onto an open set U⊆MU \subseteq M. Let (e1,…,en)(e_1, \ldots, e_n) be an orthonormal basis of TpMT_pM for gpg_p, and let E ⁣:ℝn→TpME \colon \R^n \to T_pM be E(x)=∑ixieiE(x) = \sum_i x^i e_i. The normal coordinates centred at pp are the chart φ=E−1∘(exp⁡p∣V)−1 ⁣:U→ℝn.\varphi = E^{-1} \circ (\exp_p|_V)^{-1} \colon U \to \R^n.

Remarks

Example: in ℝn\R^n with the Euclidean metric and the standard basis, exp⁡p(v)=p+v\exp_p(v) = p + v, so the normal coordinates centred at pp are φ(q)=q−p\varphi(q) = q - p, defined on all of ℝn\R^n.

Non-example: in ℝ2\R^2 with the Euclidean metric, the chart ψ(q)=2(q−p)\psi(q) = 2(q - p) has the form E−1∘exp⁡p−1E^{-1} \circ \exp_p^{-1} only for the basis ei=12εie_i = \tfrac{1}{2} \varepsilon_i, where ε1,ε2\varepsilon_1, \varepsilon_2 is the standard basis. This basis is orthogonal but not orthonormal, so ψ\psi is not a normal coordinate chart; indeed, in ψ\psi the metric has matrix 14I\tfrac{1}{4} I at pp, not II.

In normal coordinates centred at pp: gij(p)=δijg_{ij}(p) = \delta_{ij}, ∂kgij(p)=0\partial_k g_{ij}(p) = 0 and Γijk(p)=0\Gamma^k_{ij}(p) = 0. The geodesics through pp are the lines t↦txt \mapsto t x in these coordinates. Different orthonormal bases give normal coordinates that differ by an orthogonal matrix.

Reading path

To understand this page from the ground up, read these 20 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. Euclidean space object
  2. Exponential map concept
  3. Function concept
  4. Riemannian manifold concept
  5. Vector space definition
  6. Total derivative concept
  7. Function of several variables concept
  8. Inner product definition
  9. Linear combination definition
  10. Linear subspace definition
  11. Differentiable function of several variables concept
  12. Orthogonal vectors definition
  13. Linear independence definition
  14. Linear span definition
  15. Diffeomorphism concept
  16. Orthonormal family definition
  17. Spanning set definition
  18. Basis definition
  19. Orthonormal basis definition
  20. Normal coordinates definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Normal_coordinates
About this page
TagFXT3N6QMEX
URIm2://FXT3N6QMEX
Kinddefinition
WritingW0 stub
MSC53B20, 53C22
DefinesNormal coordinates
UsesRiemannian manifold, Exponential map, Orthonormal basis, Diffeomorphism
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • 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.