Talk:Pseudometric space

Latest comment: 4 years ago by Verdana Bold in topic Useless examples

question about the induced metric

edit

In order for the metric on the equivalence classes to be well defined, doesn't it need to be an infimum over the metric distances between all elements of each equivalence class? Or am I being overly careful?--217.84.30.228 (talk) 19:57, 18 April 2012 (UTC)Reply

Let   and  . Consider  . Using just the pseudometric properties of   and the fact that   and   (by definition), we have   so  . Repeat the same steps but start with   and  .   so  . Those two results imply   so the definition   is well-defined. For what it's worth, it wasn't intuitively obvious to me either. Cheers,Jason Quinn (talk) 06:42, 10 September 2012 (UTC)Reply

Does the completion of metric spaces really fit here? In fact, the construction of complete metric spaces from metric spaces is something different to the construction of metric spaces from pseudometric spaces. Certainly, both cases are based in the definition of an equivalent relation and the related quotient space --ErnstGR (talk) 16:31, 16 October 2014 (UTC)Reply


Useless examples

edit

They are just assertions and not examples where people can see why it is a pseudometric space. — Preceding unsigned comment added by 217.225.42.190 (talk) 17:59, 30 October 2012 (UTC)Reply

Is Minkowski space-time (in physics) a pseudometric space? That would seem like an important example to use. Cesiumfrog (talk) 06:12, 9 October 2014 (UTC)Reply
No, it is not. The definition of pseudometric implies  --ErnstGR (talk) 14:50, 16 October 2014 (UTC)Reply
Yes it is.
Take a pseudometric space with signature (3,1), like spacetime. It has the distance function:
d2 = x2 + y2 + z2 - ct2
T is an elapsed time. To convert it to space units, multiply it by c. Note that seconds * miles/sec = miles. In fact, one nanosecond of time is almost exactly 12 inches.
4D distance is called the interval between 2 points. If the difference in time is greater than the distance in space, the absolute distance is negative.
The only way around that is to arbitrarily define distance as positive or zero. That's what special relativity scientists do, but then you have to give negative distance another name, like "pseudodistance" or "imaginary space" or "a timelike interval." VerdanaBold 08:32, 17 August 2020 (UTC)Reply

Semi-metric space

edit

In the opening sentence, this is also referred to as a semi-metric space. This is not the usual definition of semi-metric space, if there is a usual definition. For example, http://www.ams.org/journals/proc/1961-012-05/S0002-9939-1961-0125562-9/S0002-9939-1961-0125562-9.pdf shows a definition that lines up with Metric_(mathematics)#Semimetrics. I will remove the offending word, because Wikipedia should try to be consistent, and because it seems this is non-standard. 209.194.136.27 (talk) 17:43, 26 July 2016 (UTC)Reply