S(x,y)=||x-y||はコンパクト空間A×A上の連続関数だから最大値を持つ