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.
Classical first-law product leaves entropy-temperature calibration free
Statement
Let be a nonempty connected smooth manifold, let , and let be a constant with for every . Here and are the differential one-forms of the indicated functions, and equality of one-forms means pointwise equality on . Assume the classical first-law product identity For every constant and offset , set and . Then . Distinct positive give distinct functions , and changing changes without changing its differential. Thus this product identity alone does not determine the temperature scale or the absolute entropy offset.
The names and denote real-valued functions here; no operational temperature or physical entropy is assumed. If the symbols carry dimensions, consistency requires , , and . No particular unit system is used.
Facts & Assumptions
Given: A nonempty connected smooth manifold , smooth real-valued functions , a constant , pointwise , and the one-form identity .
is nonempty and connected, , is constant, and for every .
The assumed one-form identity is on .
Proof
For any fixed constants and , the function is smooth and its differential is , since is constant and .
Multiplication by gives , using and [A2].
If , then for every , by [A1]; hence the temperature functions differ. For fixed , offsets give , while step 1.1 gives the same differential and step 2.1 gives the same product identity. The factorization and its offset are therefore not uniquely determined.
Remarks
This is only a mathematical factorization result. It does not assert that every pair describes measured thermodynamic quantities or derive a quantum calibration. The cited treatments distinguish the classical black-hole-mechanics identity from the additional quantum calculation that fixes a Hawking-temperature/entropy normalization. Any application with charge, angular momentum, or other work terms must retain those terms and its stated restrictions.
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.