A Continuous Compactly Supported Function on is Bounded and Integrable
lemmaAnalysislem:integral-continuous-compact-support-2026aLet be a natural number, let denote the Euclidean distance, a metric on each Euclidean space, let be the Euclidean norm on , and let be Lebesgue measure on the Borel -algebra . Topological notions on refer to the topology of the open sets of , which is a topology by Metric Open Sets Form a Topology.
Let be continuous from to and compactly supported.
1. (Boundedness) is bounded.
2. (Integrability and a bound) The function is measurable with respect to and the Borel -algebra of the real line, and it is integrable with respect to . Moreover, if is a bound for and is a real number such that for every with , then the closed ball of centre and radius in satisfies and
3. (Positivity) If in addition for every and for at least one , then
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.