Bourbaki

Example 1

Tag 0835, permanent. Cite it as [Bourbaki, Tag 0835].

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

Let f=(fi)1≤i≤nf = (f_i)_{1 \leq i \leq n} be a function with values in Rn\mathbf{R}^n, defined on an interval I⊂RI \subset \mathbf{R}; each real function fif_i is none other than the composite function pri∘f\mathrm{pr}_i \circ f, so is differentiable at the point x0x_0 if ff is, and, if so, f′(x0)=(fi′(x0))1≤i≤nf'(x_0) = (f'_i(x_0))_{1 \leq i \leq n}.

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.