Abstract:We give a short review of a construction of Frink to obtain a metric space from a quasi-metric space. By an example we illustrate the limits of the construction.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to construct a metric space from a quasi - metric space. Specifically, the author reviews a method proposed by Frink and shows the limitations of this method through an example.
### Problem Background
A quasi - metric space \((Z, \rho)\) is a set \(Z\) in which a function \(\rho: Z\times Z\rightarrow[0, \infty)\) is defined, satisfying the following conditions:
1. \(\rho(z, z')\geq0\) for all \(z, z'\in Z\), and \(\rho(z, z') = 0\) if and only if \(z = z'\);
2. \(\rho(z, z')=\rho(z', z)\) for all \(z, z'\in Z\);
3. \(\rho(z, z'')\leq K\max\{\rho(z, z'), \rho(z', z'')\}\) for all \(z, z', z''\in Z\) and some fixed \(K\geq1\).
Here \(\rho\) is called a quasi - metric, more specifically a \(K\)-quasi - metric. Property (3) is a generalized version of the ultrametric triangle inequality (when \(K = 1\), it is the ultrametric triangle inequality).
### Problem Description
The author is interested in how to construct a metric space \((Z, d)\) from a quasi - metric space \((Z, \rho)\). Specifically, the author explores how to convert the quasi - metric \(\rho\) into the metric \(d\) under certain conditions.
### Main Contributions
1. **Chain Approach**: The author introduces the chain approach proposed by Frink, that is, to construct the metric \(d\) by minimizing the path sum:
\[
d(z, z')=\inf\sum_{i}\rho(z_{i}, z_{i + 1}),
\]
where the infimum is taken over all sequences \(z = z_{0},\ldots, z_{n+1}=z'\) from \(z\) to \(z'\).
2. **Weak Triangle Inequality**: The author points out that when the quasi - metric space \((Z, \rho)\) satisfies the following weak triangle inequality, the chain approach can successfully construct a metric:
\[
\text{If }\rho(z, z')\leq\varepsilon\text{ and }\rho(z', z'')\leq\varepsilon,\text{ then }\rho(z, z'')\leq2\varepsilon.
\]
3. **Counterexample Construction**: The author constructs a specific counterexample to show that when the weak triangle inequality does not hold, the chain approach may not be able to construct a valid metric space.
### Conclusion
The main purpose of this paper is to show how to construct a metric space from a quasi - metric space and to illustrate the applicable conditions and limitations of the chain approach through specific examples. This helps to understand the relationship between quasi - metric spaces and metric spaces and provides a theoretical basis for related research.