Extending partial isometries

We show that a finite metric spaceA admits an extension to a finite metric spaceB so that each partial isometry ofA extends to an isometry ofB. 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.