Integral of a Differential Form over an Oriented k-Sub-Rectangle in Euclidean Space
definitionAnalysisGeometryMultivariable CalculusIntegral of a Differential Form over an Oriented k-Sub-Rectangle in Euclidean Space
definitionAnalysisGeometryMultivariable Calculusdef:integral-form-oriented-k-sub-rectangle-euclidean-2026bLet with , let be an \reftext{def:oriented-k-sub-rectangle-euclidean-2026a}{oriented -sub-rectangle} of , let be open with , and let be a \reftext{def:continuous-differential-k-form-euclidean-open-set-2026b}{continuous differential -form} on . Choose data as in \ref{def:oriented-k-sub-rectangle-euclidean-2026a}, so that for a standard -rectangle
and active coordinate indices . Write in the coordinate expansion from \ref{thm:coordinate-expansion-differential-forms-euclidean-2026b}. Let be the coefficient function of the basis form
For each fixed , define
where this is the one-dimensional \reftext{def:riemann-integrable-closed-interval-c54-2026b}{Riemann integral} on ; it exists because the integrand is continuous on , hence \reftext{lem:continuous-implies-riemann-integrable-c54-2026b}{Riemann integrable}. Recursively, for each and each fixed , define
again in the one-dimensional Riemann sense of \ref{def:riemann-integrable-closed-interval-c54-2026b}, whenever the integrand is viewed as a function of alone. The integral of over is defined by
Equivalently,
with the right-hand side understood through the recursive construction above.
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
Authors
Loading…