description/proof of that
Topics
About:
The table of contents of this article
Starting Context
-
The reader knows a definition of
manifold with boundary. -
The reader knows a definition of
vectors field along curve. -
The reader knows a definition of
-form over manifold with boundary. -
The reader admits the proposition that any
-tensors field over manifold with boundary is if and only if the operation result on any vectors fields is .
Target Context
-
The reader will have a description and a proof of the proposition that for any
manifold with boundary and any curve on it, any 1-form operated on any vector field along the curve is a function over the domain of the curve.
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:
//
Statements:
//
2: Proof
For each
As
Over