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?
$\begingroup$
$\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$– Alain ValetteCommented Oct 28, 2011 at 9:18
-
2$\begingroup$ In every case you can write $\cong$ when the category is clear in the context. $\endgroup$– Martin BrandenburgCommented 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 GrantCommented 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 TrimbleCommented Oct 28, 2011 at 13:27
Add a comment
|