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.
The Jacobian determinant of a square-dimensional map is the determinant of its Jacobian matrix
Definition
Let , let be open, and let be . Its Jacobian matrix at is the matrix of the total derivative in the standard bases. Its Jacobian determinant is The change-of-variables scale factor is . Thus an orientation-reversing derivative and an orientation-preserving derivative with the same volume scale have the same change-of-variables factor.
Depends on
- Continuously differentiable maps, local inverses, and local diffeomorphisms
- The Jacobian matrix of partial derivatives and the gradient in the scalar-valued case
- A total derivative computes every directional derivative, and its matrix is the Jacobian
- For $n\ge1$, the determinant over a commutative ring by the Leibniz formula, and $|\det A|$ for a real matrix
Used by
- Polar coordinates on a full closed angular period are not injective and are singular at radius zero Counterexample
- Cylindrical coordinates have absolute Jacobian determinant r on an injective compact box Example
- Polar change of variables on a compact annular sector gives the Jacobian factor r and its area Example
- Spherical coordinates have absolute Jacobian determinant r²sinφ away from the axis and angular seam Example
- The hyperspherical-coordinate Jacobian is the standard product of a radial power and sine powers Example
- On a small cube, a C¹ diffeomorphism distorts Jordan content by factors arbitrarily close to its linearized absolute determinant Lemma
- Change of variables for an injective C¹ map on a compact Jordan set Theorem
Dependency tree · next 3 levels
Direct dependencies and their dependencies through the next three levels: 79 results over 17 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.
Sources
- A. Leibman, Multidimensional Real Analysis, §5.5 (standard reference, not scraped)