# Thread:

1. ## 2 simple outer measure problems

Hello all.

These are homework problems, so partial solutions / advice would be preferred.

These come from the book Real Analysis (4th ed) by Royden and Fitzpatrick

Chapter 2 problems 15 and 20

15. Show that if E has finite measure and $\epsilon>0$, then E is the disjoint union of a finite number of measurable sets, each of which has measure at most $\epsilon$.

[For this one I don't really know how to begin. At this point we know

Theorem 9: The collection M of measurable sets is a $\sigma$-algebra that contains the $\sigma$-algebra B of Borel sets. Each interval, each open set, each closed set, each $G_\delta$ and each $F_\sigma$ set is measurable.

If I'm not mistaken this means that once we prove problem 15, we will have also shown that any set with finite outer measure is measurable (since it is a finite union of measurable sets)

Thoughts? ]

20.(Lebesgue) Let E have finite outer measure. Show that if E is measurable if and only if for each open, bounded interval (a,b),
b-a=m*( $(a,b) \cap E$)+m*((a,b)~E)

[Here one direction is very easy. If E is measurable, just let (a,b) be a testing set and we're done. As for the other direction...?

In this section we learned the excision property m*(B~A)=m*(B)-m*(A) and

Theorem 11: The following are equivalent
0)E measurable
1) $\exists$ Outer Approximation by Open Sets and $G_\delta$ Sets
2) $\exists$ Inner Approximation by Closed Sets and $F_\sigma$ Sets

and

Theorem 12: Let E be a measurable set of finite outer measure. Then for each $\epsilong>0$, there is a disjoint collection of open intervals ${{\{I_k\}}_{k=1}}^n$ for which if O=union of $I_k$, then m*(E~O)+m*(O~E) $<\epsilon$

I don't really know how to go from making a statement about all open intervals to a statement about all sets of real numbers.

Thoughts?]

Thank you all.
{"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": 15, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "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": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9418390989303589, "perplexity_flag": "head"}