Ultrametric Distance Function

An Ultrametric Distance Function is a Distance Function where ...

• Context:
  • It can be a Cantor Metric.
• Context:
  • p5 ⇒ Max(Dist(a,b), Dist(b,c)) ≥ Dist(a,c).
  • …
• Counter-Example(s):
  • a Partial Metric Distance Function, where
• See: Metric.

---

---

References

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

---