Abstract
We define a binary metric as a symmetric, distributive lattice ordered magma-valued function of two variables, satisfying a “triangle inequality”. Using the notion of a Kuratowski topology, in which topologies are specified by closed sets rather than open sets, we prove that every topology is induced by a binary metric. We conclude with a discussion on the relation between binary metrics and some separation axioms.
Original language | English |
---|---|
Article number | 107116 |
Journal | Topology and its Applications |
Volume | 274 |
DOIs | |
State | Published - 1 Apr 2020 |
Keywords
- Binary metric
- Generalized metric
- Partial metric