2025-07-13

1204: Rough q-Form over C Manifold with Boundary

<The previous article in this series | The table of contents of this series | The next article in this series>

definition of rough q-form over C manifold with boundary

Topics


About: C manifold

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of rough q-form over C manifold with boundary.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Structured Description


Here is the rules of Structured Description.

Entities:
M: { the d -dimensional C manifolds with boundary }
q: N
(Tq0(TM),M,π): = the C(0,q) -tensors bundle over M
(Λq(TM),M,π): = the Cq -covectors bundle over M
f: :MTq0(TM) such that Ran(f)Λq(TM) or :MΛq(TM), { the rough sections }
//

Conditions:
//


2: Note


As Description says, "rough q-form" may mean :MTq0(TM) such that Ran(f)Λq(TM) or mean :MΛq(TM), whose difference should not matter in most cases: Λq(TM) is an embedded submanifold with boundary of Tq0(TM).

Usually, we need only (non-rough) forms, but we sometimes need to talk about a rough form in order to 1st introduce a may-be-rough form and then prove that it is really a non-rough form.


References


<The previous article in this series | The table of contents of this series | The next article in this series>