Integral of a Compactly Supported Continuous n-Form on a Euclidean or Half-Space Domain
definitionAnalysisMultivariable CalculusIntegral of a Compactly Supported Continuous n-Form on a Euclidean or Half-Space Domain
definitionAnalysisMultivariable Calculusdef:integral-compactly-supported-n-form-euclidean-2026aLet \reftext{def:natural-numbers-2026a}{}, let be an admissible domain in \reftext{def:euclidean-space-rn-2026a}{Euclidean space} with ambient set in the sense of \ref{def:continuous-n-form-support-euclidean-domain-2026a}, and let be a continuous differential -form on that is compactly supported in in the sense of that definition.
By \ref{lem:zero-extension-box-integral-euclidean-2026a} there exists a \reftext{def:closed-box-rn-2026a}{closed box} containing , the iterated one-dimensional Riemann integrals of the zero extension of the coefficient function of over any such box exist, and the resulting value is independent of the chosen box. The \textbf{integral of over }, denoted
is defined to be this common value.
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
Authors
Loading…