definition of function over \(C^\infty\) manifold with boundary
Topics
About: \(C^\infty\) manifold
The table of contents of this article
Starting Context
- The reader knows a definition of \(C^\infty\) manifold with boundary.
- The reader knows a definition of Euclidean \(C^\infty\) manifold.
- The reader knows a definition of map.
Target Context
- The reader will have a definition of function over \(C^\infty\) 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\): \(\in \{\text{ the } C^\infty \text{ manifolds with boundary }\}\)
\( \mathbb{R}\): \(= \text{ the Euclidean } C^\infty \text{ manifold }\)
\(*f\): \(: M \to \mathbb{R}\)
//
Conditions:
//
2: Note
'function over \(M\)' is nothing but '\(0\)-form over \(M\)'.
The term, 'function', has the general meaning that means any relation such that each element of the domain has the unique corresponding element in the range, but just 'function' in the manifold-context usually means the definition by this article, not just a general function.
