2025-06-16

1169: 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 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 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 sections }
//

Conditions:
//


2: Note


As Description says, "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).

The set of all the C q-forms over M is denoted as Ωq(TM).


References


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