A Confining Potential and Its Derivative are Continuous and Borel
lemmaAnalysislem:confining-potential-basic-line-2026aA confining potential on the real line and its derivative are continuous, hence Borel.
The real line is identified with as in One-Dimensional Test Functions: Scalars, Derivatives, and the Difference Quotient of the Derivative; a function is continuous if it is continuous on for the absolute-value metric, and Borel is as in Probability Measures on Euclidean Space and Random Vectors: Standing Notation §borel-maps. Let be a confining potential, with derivative .
1. (Continuity)¶ The functions and are continuous.
2. (Measurability)¶ The functions and are Borel.
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.