# Fonction à valeurs vectorielles

Fonction vectorielle
En mathématiques, une fonction à valeurs vectorielles ou fonction vectorielle est une fonction dont l'espace d'arrivée est un ensemble de vecteurs, son ensemble de définition pouvant être un ensemble de scalaires ou de vecteurs.

## Un exemple : les courbes paramétrées

Un exemple classique de fonctions vectorielles est celui des courbes paramétrées, c'est-à-dire des fonctions d'une variable réelle $t$ (représentant par exemple le temps dans les applications en mécanique du point) à valeurs dans un espace euclidien, par exemple le plan usuel (on parle alors de courbes planes) ou l'espace usuel (on parle alors de courbes gauches).
Si $E=\mathbb {R} ^{n}$, en termes des coordonnées cartésiennes (e$_1$, ..., e$_n$), une courbe paramétrée $\mathbf {r} \colon I\subset \mathbb {R} \to \mathbb {R} ^{n}$ peut s'écrire sous la forme
    $\mathbf {r} (t)=f_{1}(t)\,\mathbf {e} _{1}+\cdots +f_{n}(t)\,\mathbf {e} _{n}$
où les $f_{j}\colon I\to \mathbb {R}$ sont les fonctions coordonnées.
Par exemple, dans l'espace cartésien $\mathbb {R} ^{3}$, en notant i = (1,0,0), j = (0,1,0) et k = (0,0,1) les vecteurs unités usuels, une courbe paramétrée $\mathbf {r} \,\colon I\subset \mathbb {R} \to \mathbb {R} ^{3}$ s'écrit sous la forme
    $\mathbf {r} (t)=f(t)\,\mathbf {i} +g(t)\,\mathbf {j} +h(t)\,\mathbf {k}$
où $f,g,h\,\colon I\to \mathbb {R}$ sont les fonctions coordonnées.

## Définition

Une fonction à valeurs vectorielles est une fonction d'un ensemble X quelconque dans un espace vectoriel E sur un corps K (commutatif).
Quelques cas courants sont :
* X est un sous-ensemble de $\mathbb {R} ^{n}$ (par exemple un intervalle de $\mathbb {R}$), $K=\mathbb {R}$ et $E=\mathbb {R} ^{n}$. Ce cadre couvre notamment le calcul différentiel en dimension finie (notamment les courbes paramétrées évoquées plus haut) et un nombre important d'outils en physique, comme ceux utilisés en mécanique du point, en mécanique des fluides, en thermodynamique, etc.
* X est un espace de probabilité, $K=\mathbb {R}$ et $E=\mathbb {R} ^{n}$. Les fonctions vectorielles de X dans E qui sont mesurables sont appelées des vecteurs aléatoires, généralisant la notion de variable aléatoire.

## Fonctions d'une variable réelle à valeurs vectorielles

Considérons dans cette section une fonction vectorielle f d'un intervalle $I\subset \mathbb {R}$ à valeurs dans $\mathbb {R} ^{n}$. On note $f_{1},\ldots ,f_{n}\colon I\to \mathbb {R}$ les fonctions coordonnées associées :
    $\mathbf {f} (t)=(f_{1}(t),\ldots ,f_{n}(t))=f_{1}(t)\,\mathbf {e} _{1}+\cdots +f_{n}(t)\,\mathbf {e} _{n}$
pour tout t ∈ I où les e$_j$ sont les vecteurs de la base canonique de $\mathbb {R} ^{n}$.
On peut déduire des propriétés de f sur celles des f$_j$ et réciproquement. Par exemple :
* f(t) tend vers un vecteur a = (a$_1$, ... , a$_n$) quand t tend vers t$_0$ (éventuellement t$_0$ = ±∞) si et seulement si chaque f$_j$ (t) tend vers a$_j$ quand t tend vers t$_0$ ;
* f est continue sur I si et seulement si chaque f$_j$ l'est ;
* f est dérivable sur I si et seulement si chaque f$_j$ l'est.
Si f est dérivable sur I, sa dérivée correspond à la dérivation composante par composante :
    $\mathbf {f} ^{\prime }(t)=(f_{1}^{\prime }(t),\ldots ,f_{n}^{\prime }(t))=f_{1}^{\prime }(t)\,\mathbf {e} _{1}+\cdots +f_{n}^{\prime }(t)\,\mathbf {e} _{n}.$
Géométriquement, f ' (t) représente (lorsqu'il n'est pas nul) le vecteur tangent à la courbe représentative de f au point f(t).
On peut en déduire un certain nombre de formules utiles en analyse vectorielle. Par exemple, si $\mathbf {f} ,\mathbf {g} \,\colon I\to \mathbb {R} ^{n}$ sont deux fonctions vectorielles dérivables, alors :
* Le produit scalaire canonique $\mathbf {f} \cdot \mathbf {g} \,\colon I\to \mathbb {R}$ est dérivable et on a
       $\left(\mathbf {f} \cdot \mathbf {g} \right)^{\prime }=\mathbf {f} \cdot \mathbf {g} ^{\prime }+\mathbf {f} ^{\prime }\cdot \mathbf {g}$.
* Dans le cas n = 3, le produit vectoriel $\mathbf {f} \wedge \mathbf {g} \,\colon I\to \mathbb {R} ^{3}$ est dérivable et on a
       $\left(\mathbf {f} \wedge \mathbf {g} \right)^{\prime }=\mathbf {f} \wedge \mathbf {g} ^{\prime }+\mathbf {f} ^{\prime }\wedge \mathbf {g}$.