# Thread: Help with proving metric space

1. ## Help with proving metric space

Hi All, i'm getting lost here

Let (X,d) be a metric space. Show that (X,c) is a metric space where c(x,y) = d(x,y)/(d(x,y)+1).

It's just the triangle inequality that I can't seem to nut out!

Any help would be much appreciated!

Thanks!

2. ## Re: Help with proving metric space

Originally Posted by metric89
Let (X,d) be a metric space. Show that (X,c) is a metric space where c(x,y) = d(x,y)/(d(x,y)+1).
It's just the triangle inequality that I can't seem to nut out!
Lemma
If $0\le a\le 0$ then $\dfrac{a}{1+a}\le\dfrac{b}{1+b}$

Then let $a=d(x,y)~\&~b=d(x,z)+d(z,y).$

3. ## Re: Help with proving metric space

Originally Posted by metric89
Hi All, i'm getting lost here

Let (X,d) be a metric space. Show that (X,c) is a metric space where c(x,y) = d(x,y)/(d(x,y)+1).

It's just the triangle inequality that I can't seem to nut out!

Any help would be much appreciated!

Thanks!
O.K

We have:

$c(x,y)=\frac{d(x,y)}{1+d(x,y)}$ $\leq\frac{d(x,z)}{1+d(x,y)} +$ $\frac{d(x,z)}{1+d(x,y)}$.

Now if you can prove that: $\frac{d(x,z)}{1+d(x,y)}\leq\frac{dx,z)}{1+d(x,z)} =c(x,z)$

AND

$\frac{d(z,y)}{1+d(x,y)}\leq\frac{d(z,y)}{1+d(z,y)} =c(z,y)$ ,Then you are done

Start with : $d(x,z)\geq 0$ AND $d(z,y)\geq 0$
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 10, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9949381351470947, "perplexity": 1749.3251881124133}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2016-44/segments/1476988721174.97/warc/CC-MAIN-20161020183841-00165-ip-10-171-6-4.ec2.internal.warc.gz"}