C^k Function Space is Banach Space
Jump to navigation
Jump to search
Theorem
Let $I = \closedint a b$ be a closed real interval.
Let $\struct {\map {C^k} I, +, \, \cdot \,}_\R$ be the vector space of real-valued functions, k-times differentiable on $I$.
Let $x \in \map {C^k} I$ be a real-valued function of differentiability class $k$.
Let $\norm {\, \cdot \,}_{\map {C^k} I}$ be the $C^k$ norm on $I$.
Then $\struct {\map {C^k} I, +, \, \cdot \,}_\R$ equipped with $\norm {\, \cdot \,}_{\map {C^k} I}$ is a Banach space.
Proof
This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
Also see
Sources
- Weisstein, Eric W. "$C^k$ Function." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/C-kFunction.html