Definition:Derivative/Function With Values in Normed Space
Jump to navigation
Jump to search
Definition
Let $U \subset \R$ be an open set.
Let $\struct {X, \norm {\, \cdot \,}_X}$ be a normed vector space.
Let $f : U \to X$ be differentiable at $x \in U$.
The derivative of $f$ at $x$ is defined as the element $\map {f'} x \in X$ which satisfies:
- $\ds \lim_{h \mathop \to 0} \norm {\frac {\map f {x + h} - \map f x} h - \map {f'} x}_X = 0$
Sources
- 1996: E. Hille and R.S. Phillips: Functional Analysis and Semi-Groups (Revised ed.): Chapter $\text {III}$: Vector-Valued Functions: $3.2$. Some properties of vector-valued functions. Definition $3.2.3$