0
$\begingroup$

Metric spaces are isometric if there exists a bijective isometry between them.

Is there a standard notation for this, along the same lines as $X\approx Y$ for homeomorphic spaces and $X\simeq Y$ for homotopy equivalent spaces?

$\endgroup$
4
  • 4
    $\begingroup$ I would say no. And actually I'm not sure that your notations for homeomorphism and homotopy equivalence, are completely standard... $\endgroup$ Oct 28, 2011 at 9:18
  • 2
    $\begingroup$ In every case you can write $\cong$ when the category is clear in the context. $\endgroup$ Oct 28, 2011 at 9:18
  • $\begingroup$ @Alain: point taken. I meant to say that the above symbols are standard enough that a topologist would know what they mean without them being defined. I was wondering if there was a similar symbol for isometry ($=$ seems inaccurate, and $\cong$ seems too general). $\endgroup$
    – Mark Grant
    Oct 28, 2011 at 11:38
  • $\begingroup$ I don't know of such a notation. But I agree with Martin that if you scrupulously bear in mind the category under discussion, then $\cong$ is all-purpose. If that doesn't seem satisfactory, then I'd lamely offer $\cong_{\text{isom}}$ or something like that for emphasis. $\endgroup$
    – Todd Trimble
    Oct 28, 2011 at 13:27

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.