Coordinate Expansion of Differential Forms on Euclidean Open Sets
theoremGeometryMultivariable CalculusCoordinate Expansion of Differential Forms on Euclidean Open Sets
theoremGeometryMultivariable Calculusthm:coordinate-expansion-differential-forms-euclidean-2026bLet , let be \reftext{def:open-subset-euclidean-space-2026a}{open}, let , and let be a \reftext{def:differential-k-form-euclidean-open-set-2026a}{differential -form} on . Then there exist unique real-valued functions
indexed by strictly increasing -tuples with such that
where each is the coordinate -form from \ref{def:coordinate-1-form-euclidean-open-set-2026a} and the wedge product is the one from \ref{def:wedge-product-differential-forms-euclidean-2026b}. When , this says that is uniquely equal to a real-valued function on .
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
Authors
Loading…