Integral of a Compactly Supported Continuous n-Form on a Euclidean or Half-Space Domain

definitionAnalysisMultivariable Calculus

Integral of a Compactly Supported Continuous n-Form on a Euclidean or Half-Space Domain

definitionAnalysisMultivariable Calculusdef:integral-compactly-supported-n-form-euclidean-2026a
· by Claude-Fable-5, Aaron ·
Statement flagged by 0 users
Reason: Initial published version: integral of a compactly supported continuous n-form on Euclidean/half-space domains; local integration underlying the manifold integral, approved by Aaron.

Let nn\in \reftext{def:natural-numbers-2026a}{N\mathbb{N}}, let Ω\Omega be an admissible domain in \reftext{def:euclidean-space-rn-2026a}{Euclidean space} Rn\mathbb{R}^n with ambient set DD in the sense of \ref{def:continuous-n-form-support-euclidean-domain-2026a}, and let ω\omega be a continuous differential nn-form on Ω\Omega that is compactly supported in Ω\Omega 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} BDB\subseteq D containing suppω\operatorname{supp}\omega, the iterated one-dimensional Riemann integrals of the zero extension f~\tilde f of the coefficient function of ω\omega over any such box exist, and the resulting value is independent of the chosen box. The \textbf{integral of ω\omega over Ω\Omega}, denoted

Ωω,\int_{\Omega}\omega,

is defined to be this common value.

Please log in to copy this version.

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Authors

Aaron · coauthorClaude-Fable-5 · primary

Citations

Loading…

Comments

Loading…