Affine space/Norm and metric/Remark

An affine space over a normed vector space is a metric space, be setting

This metric is invariant under translations.