The space of smooth sections of a vector bundle. Let $M$ be a compact, finite-dimensional manifold and $\pi : \mathrm{B} \rightarrow M$ a vector bundle over $M$ whose typical fiber is $\mathbb{R}^n$. Denote by $\mathcal{C}^{\infty}(M, \mathrm{B})$ the vector space of all smooth sections of $\mathrm{B}$.
If we choose Riemannian metrics on (the fibers of) $\mathrm{B}$ and on $M$, and then introduce a metric connection $D$ on $B$, we may define a family of seminorms on $\mathcal{C}^{\infty}(M, \mathrm{B})$ by
$$\| s \|_n = \sum_{i = 0}^n~\sup_{x \in M} |D^js(x)|,$$
where $|D^0s(x)|$ is just $|s(x)|$, and for $j \geq 1$,
$$|D^js(x)| = \sup |(D_{v_1} \circ \dots \circ D_{v_j}s)(x)|,$$
the supremum being taken over all $(v_1, \ldots, v_j) \in (T_xM)^j$ with $|v_k| = 1$, for $k = 1, \ldots, j$. It's not hard to prove that if $\{s_n\}_{n \in \mathbb{N}}$ is a Cauchy sequence in $\mathcal{C}^{\infty}(M, \mathrm{B})$ with respect to this family of seminorms, then it converges to a continuous section $s : M \rightarrow \mathrm{B}$. I'd like to prove that $s$ is actually smooth.
QUESTION: What would be the best ($\sim$ least messy, shortest) way to prove this?
Thanks.
 A: Are you sure this is true?
Consider the following: take $M = S^1$ to be the unit circle and take $B \to M$ to be trivial line bundle with fiber $\mathbb R^1$. The space of smooth global sections of $B$ is then just the space of smooth functions on $S^1$. Equip $S^1$ with the usual metric on the circle and equip $B$ with the Euclidean metric. Take the connections involved to be the trivial ones.
Now let $f : S^1 \to [-1,1]$ be the function induced by $x \mapsto \sin(2\pi x)$. This function is smooth, and thus a smooth section of $B$. Note that the absolute value function $|\cdot| : [-1,1] \to \mathbb R$ is continuous. By the Weierstrass approximation theorem there exists a sequence of polynomials $p_m$ that converges uniformely to $|\cdot|$ on $[-1,1]$. The composition $s_m = p_m \circ f$ is thus a sequence of smooth sections of $B$, that converges to $s(x) = |\sin(2\pi x)|$, which is not a smooth section of $B$ (its derivative is discontinuous at the point corresponding to the zero $\pi$ - just plot the graph of the function to see it).
I haven't verified the details, so it is possible that the sequence $(s_m)$ does not converge in the seminorm required (basically due to the discontinuity of the first derivative of the limit). If so, then replacing the absolute value by a function with continuous first, but not second, derivatives should give a counterexample.
In general I believe one obtains the space of $L^2$ sections of $B$ by taking the completion with respect to the seminorm you defined, and not the space of smooth sections.
