Le théorème de Mazur-Ulam établit un lien entre la structure métrique et la structure affine d'un espace vectoriel normé.