Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

## #1 2010-10-30 14:06:28

xsw001
Novice

Offline

### Prove Lower Integral <= 0 <= Upper Integral

Suppose f:[a, b]-> R is bounded function
f(x)=0 for each rational number x in [a, b]
Prove Lower Integral <= 0 <= Upper Integral

Proof:
f(x) = 0 when x is rational
both L(f, p) = U(f, P) = 0
and L(f, p) <= Lower Integral <= Upper Integral <= U(f, p)

This function seems like discontinous even though there aren't any information of functional value when x is NOT rational.  It looks like that the Intermediate Value Theorem needs to be appplied.

So I have to prove that the Lower Integral <=0, and the Upper Integral >=0.  So the function itself has to cross f(x)=0 isn't it?

Any suggestions would be greatly appreciated.

## #2 2010-10-30 14:27:08

xsw001
Novice

Offline

### Re: Prove Lower Integral <= 0 <= Upper Integral

Never mind, I got it.
Every interval of nonzero size contains a rational number.
So the min of f(x) on the interval MUST be <=0
and the max of f(x) on the interval is >=0.

## #3 2011-03-16 19:08:36

rstarling
Novice

Offline

### Re: Prove Lower Integral <= 0 <= Upper Integral

cant quite get the whole indeger and order of opporation thing can u help make it a fun thing but easy.

## #4 2011-03-16 20:10:06

bobbym

Online

### Re: Prove Lower Integral <= 0 <= Upper Integral

Hi rstarling;

Welcome to the forum.

cant quite get the whole indeger and order of opporation thing can u help make it a fun thing but easy.

I am not understanding what you need. If you show an example of what is unclear, then you can get help.

In mathematics, you don't understand things. You just get used to them.
I have the result, but I do not yet know how to get it.
All physicists, and a good many quite respectable mathematicians are contemptuous about proof.
{"found_math": false, "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": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://www.mathisfunforum.com/viewtopic.php?pid=154605", "fetch_time": 1397653415000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2014-15/segments/1397609523429.20/warc/CC-MAIN-20140416005203-00352-ip-10-147-4-33.ec2.internal.warc.gz", "warc_record_offset": 566617264, "warc_record_length": 3877, "token_count": 554, "char_count": 1921, "score": 3.546875, "int_score": 4, "crawl": "CC-MAIN-2014-15", "snapshot_type": "longest", "language": "en", "language_score": 0.8865821957588196, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00004-of-00064.parquet"}