2025-07-20

1209: Riemannian Metric over \(C^\infty\) Manifold with Boundary

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

definition of Riemannian metric over \(C^\infty\) manifold with boundary

Topics


About: Riemannian manifold

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of Riemannian metric 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 }\}\)
\( (T^0_2 (TM), M, \pi)\): \(= \text{ the } C^\infty (0, 2) \text{ -tensors bundle over } M\)
\(*g\): \(: M \to T^0_2 (TM)\), \(\in \{\text{ the } C^\infty (p, q) \text{ -tensors fields over } M\}\)
//

Conditions:
\(\forall v, v' \in T_mM (g (v, v') = g (v', v))\)
\(\land\)
\(\forall v \in T_mM (0 \le g (v, v) \land (v = 0 \iff g (v, v) = 0))\)
//


2: Note


In other words, any Riemannian metric is any \(C^\infty\) \((0, 2)\)-tensors field over \(M\) that is symmetric and positive definite.


References


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