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.
Lorentz forms of inertia (3,1,0) on a 4-dimensional real vector space
Definition
Let be a -dimensional real vector space (Vector space over a field, Finite-dimensional vector space, and its dimension ; infinite-dimensional means having no finite basis). A Lorentz form on is a symmetric bilinear form (Bilinear forms, and symmetric, skew-symmetric, and alternating bilinear forms) such that
- is nondegenerate: both radicals and are (The matrix, left and right radicals, rank, and nondegeneracy of a bilinear form on a finite-dimensional space); and
- has inertia : in some (equivalently, in every) basis of in which the matrix of is diagonal, exactly three diagonal entries are positive, exactly one is negative, and none is zero (Positive and negative definiteness, the inertia , rank , and signature of a real symmetric bilinear or quadratic form).
The inertia of a symmetric bilinear form is the triple of numbers of positive, negative and zero diagonal entries of any diagonalizing basis, and it is independent of the diagonalizing basis by Sylvester's law of inertia (Positive and negative definiteness, the inertia , rank , and signature of a real symmetric bilinear or quadratic form); hence clause 2 is a property of itself and not of a chosen basis. The associated quadratic form of is
A Lorentz vector space of signature is a pair consisting of a -dimensional real vector space and a Lorentz form on ; the name records that the diagonal normal form of has one negative entry followed by three positive entries. No positive-definite structure on is assumed or implied by this definition, and takes both negative and positive values on nonzero vectors: a basis in which is diagonal with diagonal entries exists by clause 2, and on its first vector is , while on each of the other three it is .
Depends on
Vector space over a field
Finite-dimensional vector space, and its dimension ; infinite-dimensional means having no finite basis
Bilinear forms, and symmetric, skew-symmetric, and alternating bilinear forms
The matrix, left and right radicals, rank, and nondegeneracy of a bilinear form on a finite-dimensional space
Positive and negative definiteness, the inertia , rank , and signature of a real symmetric bilinear or quadratic form
Dependency tree · 2 levels
Sources
- H. S. Reall, Part III General Relativity (Cambridge, October 12, 2022 revision), sections 2.1-2.2 pp. 25-28 (PDF pp. 26-29); Internet Archive copy of the original https://www.damtp.cam.ac.uk/user/hsr1000/part3_gr_lectures.pdf
- S. M. Carroll, Lecture Notes on General Relativity, arXiv:gr-qc/9712019v1 (1997), Ch. 1 pp. 2-7 (PDF pp. 9-14)
- K. Conrad, Bilinear Forms (orthogonality, radicals, inertia)