# Homework Help: If f is continuous on [a,b], then f is bounded on [a,b].

1. Jan 21, 2008

### Esran

Dear friends,

I just joined the forums, and I'm looking forward to being a part of this online community. This semester, I signed up for Analysis II. I'm a math major, so I should be able to understand pretty much everything you say (hopefully). However, I'd really appreciate it if you try not to be too arcane in your explanations.

So, here's the theorem I'm stuck on.

Question: Prove...

Suppose f is continuous on [a,b] and S is the set such that x is in S if and only if x is in [a,b] and, (1) x = a or (2) f is bounded on the subinterval [a,x]. Then S is [a,b].

This is what I have so far.

Attempted solution:

Let S = {x in [a,b] | x = a or f is bounded on [a,x]}
Thus, by definition, S is a subinterval of [a,b].
Because of this fact, S is bounded.
Because S is bounded, S has a least upper bound, call it p.
It follows that p > a must be true.
Because b is an upper bound of S, p <= b.

Now, we employ an indirect argument.
Thus, assume p < b.
By definition, b is the LUB of set [a,b].

Other questions, and relevant background:

From here on out, I'm confused about where to go and what to do. Does anyone have any pointers or suggestions? What approach do I need to take to complete this proof? The only thing I can think of is that it might have to do with f being continuous on an interval implying that f is bounded on that interval. However, I'm not sure how to prove this implication either.

2. Jan 21, 2008

### Mystic998

It seems like you need to show there's an element of the set other than a. I mean, it's pretty obvious, but it's kind of needed, I think.

Of course, I would personally just say that a continuous function maps compact sets to compact sets, then apply Heine-Borel. But that's a copout.

3. Jan 21, 2008

### Esran

Hmmm...true, but remember. Ultimately, I'm trying to show that S is [a,b]. The continuous function bit is a part of the problem I think, though it might not be.

4. Jan 21, 2008

### Mystic998

Well, if it's discontinuous it could be that it's not bounded on any such interval [a,x] (take f(x) = a for x = a and f(x) = 1/(x - a), for x > a.

5. Jan 21, 2008

### Mathdope

It seems to me you can do this much more efficiently if you merely use the fact that f is continuous on [a,b]. I know you ask this later in your OP, but you haven't clearly used it anywhere in your outline. Remember that f continuous on [a,b] means f achieves a max/min on [a,b].

6. Jan 21, 2008

### Mystic998

Yeah, it seems like you're going to have to use some form of the compact sets being mapped to compact sets thing. If you want to show there's an x =/= a in the set, I think you're gonna have to invoke the intermediate value theorem, which is a result of continuous functions taking on a maximum and minimum value on a closed interval, which is proved with the stated theorem and Heine-Borel.
{"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": "https://www.physicsforums.com/threads/if-f-is-continuous-on-a-b-then-f-is-bounded-on-a-b.210232/", "fetch_time": 1540135021000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2018-43/segments/1539583514030.89/warc/CC-MAIN-20181021140037-20181021161537-00488.warc.gz", "warc_record_offset": 1049871374, "warc_record_length": 13653, "token_count": 790, "char_count": 2940, "score": 3.890625, "int_score": 4, "crawl": "CC-MAIN-2018-43", "snapshot_type": "latest", "language": "en", "language_score": 0.9682899713516235, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00023-of-00064.parquet"}