Partial Metric Distance Function

An Partial Metric Distance Function is a Distance Function where ...

• Context:
  • p5 ⇒ Dist(x,y)+Dist(y,z)-Dist(y,y)≥Dist(x,z)
  • p? ⇒ Dist('x,x') ≤ Dist(x,y).
  • …
• Counter-Example(s):
  • Ultrametric Distance Function.
• See: Metric.

---

---

References

• Edward A. Lee. (2004). “Computation for Embedded Software." Course Lecture Notes: Advanced Topics in Systems Theory, EECS 290n – Fall 2004

---