Bourbaki

Definition 3

Tag 082Y, permanent. Cite it as [Bourbaki, Tag 082Y].

Functions of a Real Variable, chapter I, § 1. FIRST DERIVATIVE

We say that a vector function f\mathbf{f} defined on an interval I⊂RI \subset \mathbf{R} is differentiable (resp. right differentiable, left differentiable) on II if it is differentiable (resp. right differentiable, left differentiable) at each point of II; the function x↦f′(x)x \mapsto \mathbf{f}'(x) (resp. x↦fd′(x)x \mapsto \mathbf{f}'_d(x), x↦fg′(x)x \mapsto \mathbf{f}'_g(x)) defined on II, is called the derived function, or (by abuse of language) the derivative (resp. right derivative, left derivative) of f\mathbf{f}, and is denoted by f′\mathbf{f}' or Df\mathrm{Df} or df/dxd\mathbf{f}/dx (resp. fd′,fg′\mathbf{f}'_d, \mathbf{f}'_g).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.