How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
SI unit and coordinate conventions of the classical gravitational framework
Conventions for writing the smooth Lorentzian geometry of this framework with SI dimensions: conversion constant c, Newton constant G_N, cosmological parameter Lambda, coordinates, components and invariants. The conventions fix dimensions and unit restoration only; they assert no measured value, adopt no field law, and make no claim about nature.
Definition
This item fixes the unit and coordinate readings of the explicitly defined Lorentzian objects, smooth-curve proper time and four-velocity of Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model, the tensor fields of Smooth covariant 2-tensor fields on a smooth manifold, and the constructed connection, curvature, Ricci and scalar fields of Metric compatibility, torsion freedom and the metric-selected connection class. It states conventions, not a physical law or a measurement.
(a) Constants and tensor slot. Adopt with SI dimension , with dimension , and a signed parameter with dimension . No numerical value is asserted. Define , of dimension . For a smooth symmetric covariant two-tensor adopt the convention that its components in an ordered -orthonormal basis are energy per volume, . This is a tensor slot and unit convention; interpreting a particular as matter is a subsequent definition. Therefore has dimension . No positivity, conservation or matter realization is assumed.
(b) Coordinates and dimensions. In a length-coordinate chart, and all four coordinates have units ; are dimensionless and the quadratic line element has units . The Christoffel symbols defined by (Christoffel symbols of an affine connection) have units : the constructed formula differentiates dimensionless once with respect to a length coordinate. Curvature components have units since the curvature operator differentiates the connection once more and includes products of two connection coefficients; so do and scalar curvature in these coordinates. In a time-coordinate chart has units , and has units ; mixed, spatial, angular or other chart components have the dimensions obtained by the coordinate Jacobians. A single component has no universal dimension in a general chart. Orthonormal-frame readings use the normalized geometric basis, with its length normalization.
(c) Curves and invariant readings. For the smooth future timelike curve and positive scaling parameter of Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model (e), read as in (a) and as a proper-time parameter in seconds. Its four-velocity has length-coordinate and normalized orthonormal components in ; in a time-coordinate chart is dimensionless and other component dimensions follow the coordinates. Lorentzian length is in metres. The tensors , and the scalar have the orthonormal readings , whereas the lowered curvature components in a mixed chart have the units required by the metric and coordinate slots.
(d) Future observer readings and SI restoration. Let be a future unit timelike vector, and . Define , and its spatial part ; indeed , so . In a -orthonormal basis with , set for . The SI energy flux vector and SI momentum density covector are, respectively,
Thus and each have units ; has units and has units . Stress components have units . Tensor components retain the common energy-density units; the factors of convert their mixed readings to different SI quantities. Future-directedness and the signs here are part of the convention, not positivity assumptions on .
(e) Natural units. Setting , or additionally , abbreviates these dimensionful conventions. Restore the factors displayed above before comparison with SI quantities; in particular the same spatial tensor component corresponds to energy flux multiplied by and momentum density divided by . In a chart whose coordinates are all lengths and whose metric components are , a nonzero null tangent vector , null as in clause (b) of Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model, satisfies . Since , this implies , so . This is a coordinate identity for the null condition, not a postulate about light propagation, and it does not change the physical constant .
Depends on
Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model
Smooth covariant 2-tensor fields on a smooth manifold
The inverse metric, musical isomorphisms and index raising
Metric compatibility, torsion freedom and the metric-selected connection class
Christoffel symbols of an affine connection
Dependency tree · 2 levels
Sources
- H. S. Reall, Part III General Relativity (Cambridge, October 12, 2022 revision), Conventions, PDF p. 1 (c = 1; abstract indices; signature (-+++))
- S. M. Carroll, Lecture Notes on General Relativity, arXiv:gr-qc/9712019v1 (1997), equations (1.5)-(1.6) with x^0 = ct and c = 1, printed pp. 4-5 (PDF pp. 11-12)
- D. Tong, General Relativity (Cambridge Part III Mathematical Tripos, Michaelmas 2019), natural units and the dimensions of G, printed p. 144 (PDF p. 151)