2
$\begingroup$

Let $X$ be a space, and $d_1$ and $d_2$ be two metrics on $X$.

Define $S(x,y)= ${$\Sigma_2^l Min${$d_1(x_{k-1},x_k),d_2(x_{k-1},x_k)$}$:x_1=x, x_l=y, l finite $} $x$ and $y$ are two points in $X$ The set considers all finite stepped routes from $x$ to $y$.

Define $d_1\wedge d_2(x,y)=inf${$S(x,y)$} as the meet of $d_1$ and $d_2$.

Define $d_1\vee d_2(x,y)=Max${$d_1(x,y),d_2(x,y)$} as the join of $d_1$ and $d_2$.

Prove that the set $D$ of all metrics on $X$ is a lattice under the standard definition of order($d_1>d_2$ if $d_1$ induces a finer topology than $d_2$)with this definition of meet and join.

The order relations can be written as $d_1>d_2$ if $\forall x,\epsilon, \exists {\epsilon}' $such that, $d_1(x,y)<{\epsilon}' \implies d_2(x,y)<\epsilon$

Essentially, the problem is to show that the defined meet is a metric and is indeed a meet; that boils down to finding a $non-zero$ lower bound to $S(x,y)$ in terms of $d_1(x,y)$ and $d_2(x,y)$

$\endgroup$
0

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.