, il existe N unique dans A tel que
, et
, il existe
unique de E tel que
.
d'un espace affine A, tel que tous les barycentres d'une famille finie quelconque de points Mi de
appartiennent à
.
;
;
. [L'application linéaire f est unique et dite associée à ϕ.]