# Upper bound proof

• Start date
• #1
Homework Helper
2,075
140

## Homework Statement

Prove or disapprove, for non-empty, bounded sets S and T in ℝ :

sup(SUT) = max{sup(S), sup(T)}

## Homework Equations

The least upper bound axiom of course.

## The Attempt at a Solution

Since we know S and T are non-empty and bounded in the reals, each of them contains a supremum by the least upper bound axiom. Let : L1 = sup(S) ^ L2 = sup(T) be these least upper bounds for S and T respectively.

Since SUT is also a bounded non-empty set, it also contains a supremum by the axiom. Let L = sup(SUT) denote SUT's least upper bound.

We want to show that L = max{L1, L2}

Not quite sure how to proceed from here.

• #2
6,054
391
Prove that it can't be less and can't be greater.

• #3
Homework Helper
2,075
140
Prove that it can't be less and can't be greater.

Uhm, well since S is a subset of SUT and T is a subset of SUT, we know that SUT which is comprised of all of the points of S and T must also contain the least upper bounds of both sets. That is L1, L2 are in SUT.

Is this the right direction?

• #4
6,054
391
This is not true. The least upper bound need not be contained in its set. For example, (0, 1) does not contain its least upper bound, nor does (2, 3), nor will (0, 1) U (2, 3).

• #5
Homework Helper
2,075
140
This is not true. The least upper bound need not be contained in its set. For example, (0, 1) does not contain its least upper bound, nor does (2, 3), nor will (0, 1) U (2, 3).

Ah yes I see, so from what you told me before, I must somehow show :

L1, L2 < L < L1, L2 ?

• #6
Homework Helper
2,075
140
So for L to be the sup(SUT), it must be an upper bound, that is x ≤ L for all x in SUT.

It also has to be the least upper bound, that is for any upper bound of SUT, say M, L ≤ M.

Are these points relevant? If so I believe I know how to do this.

• #7
jbunniii
Homework Helper
Gold Member
3,474
257
So for L to be the sup(SUT), it must be an upper bound, that is x ≤ L for all x in SUT.

It also has to be the least upper bound, that is for any upper bound of SUT, say M, L ≤ M.

Are these points relevant? If so I believe I know how to do this.

Well, that's the definition of the least upper bound, so it's certainly relevant.

Using your notation, you need to show that both of the following are impossible:

$$L < \max(L_1, L_2)$$
$$L > \max(L_1, L_2)$$

So start by assuming one of these and finding a contradiction.

• #8
6,054
391
Well, these are the definition of the least upper bound. Yes, these could be use to prove that sup SUT is not less and is not greater than max {sup S, sup T}.

• #9
jbunniii
Homework Helper
Gold Member
3,474
257
Hint: consider what the two inequalities mean.

$L < \max(L_1, L_2)$ means that either $L < L_1$ or $L < L_2$ (or both).

$L > \max(L_1, L_2)$ means that $L > L_1$ and $L > L_2$

• #10
Homework Helper
2,075
140
So I'll write out my whole proof below here :

Since we know S and T are non-empty and bounded in the reals, each of them contains a supremum by the least upper bound axiom. Let sup(S) ^ sup(T) be these least upper bounds for S and T respectively.

Since SUT is also a bounded non-empty set, it also contains a supremum by the axiom. Let sup(SUT) denote SUT's least upper bound.

We want to show that sup(SUT) = max{sup(S), sup(T)}. So to do this we want to show sup(SUT) ≤ max{sup(S), sup(T)} and sup(SUT) ≥ max{sup(S), sup(T)}.

To show sup(SUT) ≤ max{sup(S), sup(T)} consider the following :

Suppose x is in S, then we know x ≤ sup(S) ≤ max{sup(S), sup(T)}.
Suppose y is in T, then we know y ≤ sup(T) ≤ max{sup(S), sup(T)}.

Putting these together we know that sup(SUT) ≤ max{sup(S), sup(T)}.

To show sup(SUT) ≥ max{sup(S), sup(T)} let M be an upper bound for SUT. Then consider that since M is an upper bound for the union of S and T, this tells us that either M is an upper bound for S or M is an upper bound for T.

If M is an upper bound for S, then M ≥ sup(S). If M is an upper bound for T, then M ≥ sup(T). So it follows now that sup(SUT) ≥ max{sup(S), sup(T)}.

Now since sup(SUT) ≤ max{sup(S), sup(T)} and sup(SUT) ≥ max{sup(S), sup(T)}, we only have one option left, it must be that sup(SUT) = max{sup(S), sup(T)} as desired.

• #11
6,054
391
To show sup(SUT) ≥ max{sup(S), sup(T)} let M be an upper bound for SUT. Then consider that since M is an upper bound for the union of S and T, this tells us that either M is an upper bound for S or M is an upper bound for T.

I think it would be more straightforward to say that for any x (or y) from S(or T), x (y) is no greater than M; and because sup S and sup T are the least upper bounds, they are also necessarily no greater than M. Essentially, just like the first part.

• #12
Homework Helper
2,075
140
I think it would be more straightforward to say that for any x (or y) from S(or T), x (y) is no greater than M; and because sup S and sup T are the least upper bounds, they are also necessarily no greater than M. Essentially, just like the first part.

Yes I see what you're saying.

Thanks for the help guys :)

• Last Post
Replies
3
Views
2K
• Last Post
Replies
1
Views
2K
• Last Post
Replies
4
Views
6K
• Last Post
Replies
3
Views
2K
• Last Post
Replies
4
Views
5K
• Last Post
Replies
14
Views
5K
• Last Post
Replies
4
Views
1K
• Last Post
Replies
11
Views
6K
• Last Post
Replies
4
Views
1K
• Last Post
Replies
1
Views
4K
{"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": 1, "mathjax_display_tex": 1, "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, "math_score": 0.9742264151573181, "perplexity": 1127.7391445586302}, "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": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2022-05/segments/1642320301730.31/warc/CC-MAIN-20220120065949-20220120095949-00405.warc.gz"}