[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Prove directly that the function

[[math]] d(\pi,\nu)=\frac{|\pi|+|\nu|}{2}-|\pi\vee\nu| [[/math]]

is a distance on [math]P(k)[/math].