Showing changes from revision #0 to #1: Added | Removed | Changed

Contents

Definition

Given a calculus field $F$ and a $F$-calculus vector space? $V$, a scalar function $f:V \to F$ is a directionally differentiable function if for every vector $v:V$ and line $L_v \subseteq V$,

with canonical equivalence $m:F \cong L_v$ and canonical inclusion $i:L_v \hookrightarrow V$, the composite $f \circ i \circ m$ is a differentiable function.

See also

• differentiable function
• directional derivative