The top documents tagged [metric spaceis]