1170: (0,q)-Tensors Field over C∞ Manifold with Boundary Is C∞ iff Operation Result on Any C∞ Vectors Fields Is C∞

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

description/proof of that $(0,q)$-tensors field over $C^{\mathrm{\infty }}$ manifold with boundary is $C^{\mathrm{\infty }}$ iff operation result on any $C^{\mathrm{\infty }}$ vectors fields is $C^{\mathrm{\infty }}$

---

Topics

About: $C^{\mathrm{\infty }}$ manifold

---

The table of contents of this article

• Starting Context
• Target Context
• Orientation
• Main Body
• 1: Structured Description
• 2: Proof

---

Starting Context

• The reader knows a definition of $C^{\mathrm{\infty }}$ $(p,q)$-tensors field over $C^{\mathrm{\infty }}$ manifold with boundary.
• The reader knows a definition of $r^{\prime }$-$r$-open-balls charts pair around point on $C^{\mathrm{\infty }}$ manifold with boundary.
• The reader knows a definition of $r^{\prime }$-$r$-open-half-balls charts pair around point on $C^{\mathrm{\infty }}$ manifold with boundary.
• The reader admits the proposition that for any $C^{\mathrm{\infty }}$ manifold with boundary, each interior point has an $r^{\prime }$-$r$-open-balls charts pair and each boundary point has an $r^{\prime }$-$r$-open-half-balls charts pair for any positive $r^{\prime }$ and $r$.
• The reader admits the proposition that for any $C^{\mathrm{\infty }}$ vectors bundle, any $C^{\mathrm{\infty }}$ section along any closed subset of the base space can be extended to over the whole base space with the support contained in any open neighborhood of the subset.

---

Target Context

• The reader will have a description and a proof of the proposition that any $(0,q)$-tensors field over $C^{\mathrm{\infty }}$ manifold with boundary is $C^{\mathrm{\infty }}$ if and only if the operation result on any $C^{\mathrm{\infty }}$ vectors fields is $C^{\mathrm{\infty }}$.

---

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}^{\mathrm{\infty }}\text{ manifolds with boundary }\}$
$q$: $\in \mathbb{N}\setminus \{0\}$
$(T_q^0(TM),M,\pi )$: $=(0,q)\text{ -tensors bundle over }M$
$f$: $:M\to T_q^0(TM)$, $\in \{\text{ the sections of }\pi \}$
//

Statements:
$f\in \{\text{ the }{C}^{\mathrm{\infty }}\text{ maps }\}$
$⟺$
$\mathrm{\forall }{V}_1,...,V_q\in \{\text{ the }{C}^{\mathrm{\infty }}\text{ vectors fields over }M\}(f(V_1,...,V_q):M\to \mathbb{R}\in \{\text{ the }{C}^{\mathrm{\infty }}\text{ maps }\})$
//

---

2: Proof

Whole Strategy: Step 1: suppose that $f(V_1,...,V_q)\in \{\text{ the }{C}^{\mathrm{\infty }}\text{ maps }\}$, and see that $f$ is $C^{\mathrm{\infty }}$, by taking an $r^{\prime }$-$r$-open-balls charts pair or an $r^{\prime }$-$r$-open-half-balls charts pair around each $m\in M$, $(U_m^{\prime }\subseteq M,{\varphi }_m^{\prime })$ and $(U_m\subseteq M,{\varphi }_m)$, and the induced chart, $({\pi }^{-1}(U_m)\subseteq T_q^0(TM),\widetilde{{\varphi }_m})$, and seeing that the components function of $f$ is $C^{\mathrm{\infty }}$; Step 2: suppose that $f$ is $C^{\mathrm{\infty }}$, and see that $f(V_1,...,V_q)$ is $C^{\mathrm{\infty }}$ over a chart, $(U_m\subseteq M,{\varphi }_m)$, around each $m\in M$.

Step 1:

Let us suppose that $f(V_1,...,V_q)\in \{\text{ the }{C}^{\mathrm{\infty }}\text{ maps }\}$.

Let $m\in M$ be any.

Let us take any $r^{\prime }$-$r$-open-balls charts pair or any $r^{\prime }$-$r$-open-half-balls charts pair around $m$, $(U_m^{\prime }\subseteq M,{\varphi }_m^{\prime })$ and $(U_m\subseteq M,{\varphi }_m)$, which is possible by the proposition that for any $C^{\mathrm{\infty }}$ manifold with boundary, each interior point has an $r^{\prime }$-$r$-open-balls charts pair and each boundary point has an $r^{\prime }$-$r$-open-half-balls charts pair for any positive $r^{\prime }$ and $r$, and take the induced chart, $({\pi }^{-1}(U_m)\subseteq T_q^0(TM),\widetilde{{\varphi }_m})$.

Let us take $V_j=V_j^{l_j}\partial /\partial x^{l_j}$ over $U_m^{\prime }$ as $V_j^{l_j^{\prime }}\equiv 1$ and $V_j^{l_j}\equiv 0$ for each $l_j\ne l_j^{\prime }$. $V_j$ is $C^{\mathrm{\infty }}$ over $U_m^{\prime }$. $V_j$ is $C^{\mathrm{\infty }}$ over $\overline{U_m}\subseteq U_m^{\prime }$. By the proposition that for any $C^{\mathrm{\infty }}$ vectors bundle, any $C^{\mathrm{\infty }}$ section along any closed subset of the base space can be extended to over the whole base space with the support contained in any open neighborhood of the subset, $V_j$ is extended to over $M$. The extended $V_j$ equals the original $V_j$ over $\overline{U_m}$ especially over $U_m$.

Let $m^{\prime }\in U_m$ be any.

$f(m^{\prime })=f_{j_1,...,j_q}(m^{\prime })d{x}^{j_1}\otimes ...\otimes d{x}^{j_q}$.

$f(m^{\prime })(V_1,...,V_q)=f_{j_1,...,j_q}(m^{\prime })d{x}^{j_1}\otimes ...\otimes d{x}^{j_q}(V_1^{l_1}\partial /\partial x^{l_1},...,V_q^{l_q}\partial /\partial x^{l_q})=f_{j_1,...,j_q}(m^{\prime })d{x}^{j_1}(V_1^{l_1}\partial /\partial x^{l_1})...d{x}^{j_q}(V_q^{l_q}\partial /\partial x^{l_q})=f_{j_1,...,j_q}(m^{\prime })V_1^{l_1}{\delta }_{l_1}^{j_1}...V_q^{l_q}{\delta }_{l_q}^{j_q}=f_{j_1,...,j_q}(m^{\prime })V_1^{j_1}...V_q^{j_q}=f_{l_1^{\prime },...,l_q^{\prime }}(m^{\prime })$.

$f(V_1,...,V_q):U_m\to \mathbb{R}$ is $C^{\mathrm{\infty }}$ by the supposition, so, $f_{l_1^{\prime },...,l_q^{\prime }}:U_m\to \mathbb{R}$ is $C^{\mathrm{\infty }}$.

So, each $f_{j_1,...,j_q}$ is $C^{\mathrm{\infty }}$ on $U_m$, which means that the components function of $f$ with respect to $(U_m\subseteq M,{\varphi }_m)$ and $({\pi }^{-1}(U_m)\subseteq T_q^0(TM),\widetilde{{\varphi }_m})$, $\widetilde{{\varphi }_m}\circ f\circ {{\varphi }_m}^{-1}$ whose components are $f_{j_1,...,j_q}\circ {{\varphi }_m}^{-1}$ s, is $C^{\mathrm{\infty }}$.

So, $f$ is $C^{\mathrm{\infty }}$.

Step 2:

Let us suppose that $f$ is $C^{\mathrm{\infty }}$.

Let $m\in M$ be any.

Let us take any chart around $m$, $(U_m\subseteq M,{\varphi }_m)$, and the induced chart, $({\pi }^{-1}(U_m)\subseteq T_q^0(TM),\widetilde{{\varphi }_m})$.

Over $U_m$, $f=f_{j_1,...,j_q}d{x}^{j_1}\otimes ...\otimes d{x}^{j_q}$, where $f_{j_1,...,j_q}:U_m\to \mathbb{R}$ is $C^{\mathrm{\infty }}$, because it is a component of $\widetilde{{\varphi }_m}\circ f\circ {{\varphi }_m}^{-1}\circ {\varphi }_m$, while the components function of $f$ with respect to $(U_m\subseteq M,{\varphi }_m)$ and $({\pi }^{-1}(U_m)\subseteq T_q^0(TM),\widetilde{{\varphi }_m})$, $\widetilde{{\varphi }_m}\circ f\circ {{\varphi }_m}^{-1}$, is $C^{\mathrm{\infty }}$ and ${\varphi }_m$ is $C^{\mathrm{\infty }}$.

$V_j=V_j^{l_j}\partial /\partial x^{l_j}$, where $V_j^{l_j}:U_m\to \mathbb{R}$ is $C^{\mathrm{\infty }}$.

$f(V_1,...,V_q)=f_{j_1,...,j_q}d{x}^{j_1}\otimes ...\otimes d{x}^{j_q}(V_1^{l_1}\partial /\partial x^{l_1},...,V_q^{l_q}\partial /\partial x^{l_q})=f_{j_1,...,j_q}d{x}^{j_1}(V_1^{l_1}\partial /\partial x^{l_1})...d{x}^{j_q}(V_q^{l_q}\partial /\partial x^{l_q})=f_{j_1,...,j_q}{V}_1^{l_1}{\delta }_{l_1}^{j_1}...V_q^{l_q}{\delta }_{l_q}^{j_q}=f_{j_1,...,j_q}{V}_1^{j_1}...V_q^{j_q}$, which is $C^{\mathrm{\infty }}$.

As $f(V_1,...,V_q)$ is $C^{\mathrm{\infty }}$ over a neighborhood of each $m\in M$, $f(V_1,...,V_q)$ is $C^{\mathrm{\infty }}$ over $M$.

---

References

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