Showing changes from revision #2 to #3: Added | Removed | Changed

< directional derivative

Given a sequentially Cauchy complete Archimedean ordered field $\mathbb{R}$ and a real vector space $V$, a scalar function $f:V \to \mathbb{R}$ is a directionally differentiable function if for every vector $v:V$ and line $L_v \subseteq V$,

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

Revision on June 10, 2022 at 15:16:48 by Anonymous?. See the history of this page for a list of all contributions to it.