I have 2 questions about the attachments.(adsbygoogle = window.adsbygoogle || []).push({});

1) In the second attachment, I'm a bit confused about the thing that I marked: [itex]O \sim E = \cup^{\infty}_{k=1} O_k \sim E \subseteq \cup^{\infty}_{k=1} [O_k \sim E_k][/itex]. I just don't understand how [itex]\cup^{\infty}_{k=1} O_k \sim E[/itex] can be smaller than [itex]\cup^{\infty}_{k=1} [O_k \sim E_k][/itex]. Isn't E equal to [itex]\cup^{\infty}_{k=1} E_k[/itex]?

2) Also, they are considering the measure of E when it is equal to infinity. But since outer measure means length...it means that the length of E is infinity. Then how is it possible for E to have an open cover unless that open cover is equal to E itself. In other words, how can there be anything greater than E? But if it is equal, then wouldn't their difference be zero? So why do we even need to check if it is less than epsilon?

Thanks in advance

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

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!

# Outer Measure

Loading...

Similar Threads - Outer Measure | Date |
---|---|

I Generalization of measure theory to uncountable unions | Sep 19, 2017 |

A Hypothesis on measurable sets | Apr 3, 2017 |

I N-dimensional Lebesgue measure: def. with Borel sets | Jun 19, 2016 |

I Lebesgue measure under orthogonal transofrmation | Jun 8, 2016 |

Lebesgue outer measure of a set of countably many points is 0 - logic check | Oct 18, 2012 |

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