Correction of metrics (Q1762543): Difference between revisions

The authors consider Lebesgue spaces and continuous measures. Let \(X\) be a set and \(\mu\) a probability measure on \(X\) and \(\varrho : X \times X \rightarrow\mathbb{R}\) be a function such that \(\varrho(x,y)= \varrho(y,x)\) and \(\varrho(x,y)\leq \varrho(x,z)+ \varrho(z,y)\) for \(\mu\)-almost all \(x,y,z\in X\). Then \(\varrho\) is called an almost metric. Two almost metrics which coincide on a set of full measure (\(\mu \times \mu\)) are called equivalent. If \(\mu_1\) and \(\mu_2\) are equivalent, then one can say that the second of them is a correction of the first one. Now let us quote the abstract of this paper: ``We prove that a symmetric nonnegative function of two variables on a Lebesgue space that satisfies the triangle inequality for almost all triples of points is equivalent to some semimetric. Some other properties of metric triples (spaces with structures of a measure space and a metric space) are discussed.''