Extending partial isometries

We show that a finite metric space A admits an extension to a finite metric space B so that each partial isometry of A extends to an isometry of B. We also prove a more precise result on extending a single partial isometry of a finite metric space. Both these results have consequences for the structure of the isometry groups of the rational Urysohn metric space and the Urysohn metric space.