Given a totally finite measure μ defined on a [itex]\sigma[/itex]-field X, define the (pseudo)metric d(A,B)=μ(A-B)+μ(B-A), (the symmetric difference metric), it can be shown this is a valid pseudo-metric and therefore the metric space (X',d) is well defined if equivalent classes of sets [itex][A_\alpha][/itex] where [itex]d(A_{\alpha_1},A_{\alpha_2})=0[/itex] are considered.(adsbygoogle = window.adsbygoogle || []).push({});

How do I show this metric space (X',d) is complete? In other words, given a Cauchy sequence {An}, the limit seems to be given by [itex]A=\cap_{n=1}^\infty A_n[/itex], but how do I formalize the proof? d(An,A)=μ(An-A)=[itex]\mu(A_n-\cap_{n=1}^\infty A_n[/itex])=...,

How do I make use of the Cauchy sequence {An}?

**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!

# Convergence of sequence of measurable sets

Loading...

Similar Threads - Convergence sequence measurable | Date |
---|---|

I What is a convergent argument? | Jan 26, 2017 |

Convergence question | Mar 7, 2014 |

Convergence of non increasing sequence of random number | Dec 31, 2012 |

Convergent Sequence | Oct 3, 2010 |

Convergent sequence? | Nov 19, 2005 |

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