Outer Measure

  • Thread starter Artusartos
  • Start date
  • #1
247
0
I have 2 questions about the attachments.

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
 

Attachments

Last edited:

Answers and Replies

  • #2
71
0
1) Equality does not necessarily hold for infinite unions. Write [tex]O_k \sim E_k=O_k \cap \tilde{E_k}[/tex] and see that [tex]\cup [O_n \sim E_n]=(O_1 \cap \tilde{E_1}) \cup (O_2 \cap \tilde{E_2}) \cup \cdots [/tex] while [tex]\cup O_n \sim E = (O_1 \cup O_2 \cup \cdots)\cap \tilde{E}= (O_1 \cap \tilde{E})\cup (O_2 \cap \tilde{E}) \cup \cdots.[/tex] So they are not necessarily the same. Term-by-term, you can see that [tex]O_k \cap \tilde{E} \subseteq O_k \cap \tilde{E}_k [/tex]
2) The real line contains R~{0} and both have the same measure. R is a cover of R~{0}
 
  • #3
247
0
1) Equality does not necessarily hold for infinite unions. Write [tex]O_k \sim E_k=O_k \cap \tilde{E_k}[/tex] and see that [tex]\cup [O_n \sim E_n]=(O_1 \cap \tilde{E_1}) \cup (O_2 \cap \tilde{E_2}) \cup \cdots [/tex] while [tex]\cup O_n \sim E = (O_1 \cup O_2 \cup \cdots)\cap \tilde{E}= (O_1 \cap \tilde{E})\cup (O_2 \cap \tilde{E}) \cup \cdots.[/tex] So they are not necessarily the same. Term-by-term, you can see that [tex]O_k \cap \tilde{E} \subseteq O_k \cap \tilde{E}_k [/tex]
2) The real line contains R~{0} and both have the same measure. R is a cover of R~{0}
Thank you so much :)
 

Related Threads on Outer Measure

Top