Definition:Space of Continuous Functions of Differentiability Class k

Definition
Let $X, Y$ be normed vector spaces.

Let $f : X \to Y$ be a mapping of a differentiability class $k \in \N_{>0}$ in the sense of Frechet.

Then the set of all such mappings $f$ is known as continuous function space of differentiability class k and is denoted by $\CC^k \paren {X,Y}$:


 * $\CC^k \paren {X, Y} = \set {f : X \to Y}$