Physics Forums

## A question on proof of Riesz Representation Theorem when p=1

This question comes from the proof of Riesz Representation Theorem in Bartle's "The Elements of Integration and Lebesgue Measure", page 90-91, as the image below shows.

The equation (8.10) is $$G(f)=\int fgd\mu$$.

The definition of $$L^\infty$$ space is as follows:

My question is: why the g determined by Radon-Nikodym Theorem is in $$L^\infty$$? I can only prove that it is Lebesgue integrable, that is, belongs to $$L^1$$ space, but the proof mentions no word on why it is in $$L^\infty$$, that is, bounded a.e.. Could you please tell me how to prove this? Thanks!

PhysOrg.com  science news on PhysOrg.com  >> Front-row seats to climate change>> Attacking MRSA with metals from antibacterial clays>> New formula invented for microscope viewing, substitutes for federally controlled drug

Recognitions:
Science Advisor

Quote by zzzhhh 					 				 				 I can only prove that it is Lebesgue integrable, that is, belongs to $$L^1$$ space
The L^1 property already comes from Radon-Nikodym, right? Radon-Nikodym says such a g in L^1 exists. To prove it is also in L^\infty, what about this:

Suppose g is not a.e. bounded, then for every n we can find An with $0<\mu(A_n)<\infty$ such that for all $x\in A_n$ we have $|g(x)|>n$. Now take
$$f_0:=\frac{1_{A_n}|g|}{g}.$$

Then

$$\|G\|=\sup\frac{|Gf|}{\|f\|}\geq \frac{|Gf_0|}{\|f_0\|}=\frac{1}{\mu(A_n)}\left|\int fg\right|=\frac{1}{\mu(A_n)}\int_{A_n} |g|>n,$$

in contradiction with G being bounded.

Yes! this is the proof! Thank you for the ingenious construction, I got it.

Thread Tools

|                                                                                   |                           |         |
|-----------------------------------------------------------------------------------|---------------------------|---------|
| Similar Threads for: A question on proof of Riesz Representation Theorem when p=1 |                           |         |
| Thread                                                                            | Forum                     | Replies |
|                                                                                   | Calculus                  | 4       |
|                                                                                   | Linear & Abstract Algebra | 3       |
|                                                                                   | Linear & Abstract Algebra | 12      |
|                                                                                   | Calculus                  | 4       |
|                                                                                   | Calculus                  | 16      |
{"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": 3, "mathjax_display_tex": 8, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "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": false}, "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.9121976494789124, "perplexity_flag": "middle"}