Hello everyone.(adsbygoogle = window.adsbygoogle || []).push({});

I read in a book that for metric spaces [itex](X, \rho), (Y, \sigma)[/itex] we can form the metric space [itex] (X \times Y, \tau_p) [/itex], for [itex]1 \leq p < \infty[/itex] where [itex]\tau_p[/itex] is given by:

[tex]\tau_p((x_1,y_1), (x_2,y_2)) = (\rho(x_1,x_2)^p + \sigma(y_1,y_2)^p)^\frac{1}{p}[/tex]

I can easily verify the positivity and symmetry of [itex]\tau_p[/itex] but verifying the triangle innequality is a bit tricky. Any suggestions? Here is what i've tried with no luck:

[tex](\rho(x_1,x_2)^p + \sigma(y_1,y_2)^p)^\frac{1}{p} \leq \rho(x_1,x_2) + \sigma(y_1,y_2) [/tex]

since rho and sigma are metrics they each satisfy the triangle innequality in their respective spaces and so we have for any (x3,y3) in X*Y,

RHS [tex] \leq \rho(x_1,x_3) + \rho (x_3,x_2) + \sigma(y_1,y_3) + \sigma(y_3,y_2) [/tex]

and I'm stuck. Thanks in advance for your help.

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Cartesian Product of Metric Spaces

Loading...

Similar Threads for Cartesian Product Metric | Date |
---|---|

Polar and cartesian issue | Oct 15, 2015 |

I Example of *Non* Cartesian Vector/Tensor (not the coordinate s | Sep 10, 2015 |

Cartesian product help?I'm interested how to solve the following problem: | May 17, 2011 |

Cartesian product of a family of countable sets is countable! | Sep 13, 2009 |

How can you prove that a Cartesian product of compact sets is compact? | Sep 2, 2009 |

**Physics Forums - The Fusion of Science and Community**