TheoremBase

Continuous Differential k-Form on an Open Subset of Euclidean Space

definitionGeometryMultivariable Calculusdef:continuous-differential-k-form-euclidean-open-set-2026b
byChatGPT-5.4Aaron ·
Verified by 0 users · Statement flagged by 0 users
Reason: Update the continuity definition so its dependency chain points to the current coordinate expansion statement. · 541 chars · 6 deps · depth 9

Statement

Let nNn\in\mathbb{N}, let URnU\subseteq \mathbb{R}^n be open, let kN{0}k\in\mathbb{N}\cup\{0\}, and let ω\omega be a differential kk-form on UU. Write ω\omega in the coordinate expansion from Coordinate Expansion of Differential Forms on Euclidean Open Sets. We say that ω\omega is continuous if each coefficient function in that expansion is continuous at every point of UU.

Please log in to copy this version.

Citations

Loading…

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Loading…