# Thread:

1. ## Show a nonempty finite subset of R has a max and min

Show that a nonempty finite subset of the Real Numbers has both a maximum and minimum.

I know I can use induction to solve this but I seem to be having some problems getting started:

Let P(n) be assertion: a nonempty finite subset of R has a max and min

P(1) is the assertion: a set S={1} has a max and min, both of which are 1.

Suppose P(k) is true for: a set S={k} containing a max and min.

Show P(k+1) true for S={k+1}

This is where I seem to be getting stuck. I am just not sure what to do from here (or even if my set up is correct)

Any help would be greatly appreciated!

Thank you

2. ## Re: Show a nonempty finite subset of R has a max and min

Originally Posted by mybrohshi5
Show that a nonempty finite subset of the Real Numbers has both a maximum and minimum.
Let P(n) be assertion: a nonempty finite subset of R has a max and min
P(1) is the assertion: a set S={1} has a max and min, both of which are 1.
Suppose P(k) is true for: a set S={k} containing a max and min.
Show P(k+1) true for S={k+1}
I can see how this could be tricky depending of how picky an instructor can be.
But in a set $S$ of $n+1$ real numbers remove any one, say $x$.
Now $T=S\setminus\{x\}$ is set of $n$ elements.
So by the inductive step let $\alpha=\max(T)~\&~\omega=\min(T)$.
Now what? For example what if $x<\alpha~?$

3. ## Re: Show a nonempty finite subset of R has a max and min

Now there are a few cases to cover!

Here's what I have come up with now,

Let $\alpha = max(T)$ and $\beta = min(T)$

if $x < \alpha$ then $\alpha$ is a maximum for T

if $x > \alpha$ then $x$ is a maximum for T

if $x < \beta$ then $x$ is a minimum for T

if $x > \beta$ then $\beta$ is a minimum for T

4. ## Re: Show a nonempty finite subset of R has a max and min

Originally Posted by mybrohshi5
Now there are a few cases to cover!

Here's what I have come up with now,

Let $\alpha = max(T)$ and $\beta = min(T)$

if $x < \alpha$ then $\alpha$ is a maximum for T

if $x > \alpha$ then $x$ is a maximum for T

if $x < \beta$ then $x$ is a minimum for T

if $x > \beta$ then $\beta$ is a minimum for T
You are trying to show that $S$ has a max & min.
$T$ is the set in the inductive step and $S=T\cup \{x\}$ has one more element.

5. ## Re: Show a nonempty finite subset of R has a max and min

Okay I may be getting a little confused now.

so i have a set S which contains {n+1} elements. Now I let $x$ be an element of S and let T = S \ {x}.

So now T is of size "n" and we know that T contains a max and min, namely $\alpha = max(T)$ and $\beta = min(T)$

if $x < \alpha$ then $\alpha$ is a maximum for S

if $x > \alpha$ then $x$ is a maximum for S

similar reasoning for minimum

Thus we have shown that S will always contain a max and min (whether that be x, $\alpha$ or $\beta$)

Am I missing something?

6. ## Re: Show a nonempty finite subset of R has a max and min

Originally Posted by mybrohshi5
so i have a set S which contains {n+1} elements. Now I let $x$ be an element of S and let T = S \ {x}.
So now T is of size "n" and we know that T contains a max and min, namely $\alpha = max(T)$ and $\beta = min(T)$
if $x < \alpha$ then $\alpha$ is a maximum for S
if $x > \alpha$ then $x$ is a maximum for S
similar reasoning for minimum
Thus we have shown that S will always contain a max and min (whether that be x, $\alpha$ or $\beta$)
Am I missing something?
No, you have it now. You may want to add that $\alpha\in T\subseteq S$ and $\beta\in T\subseteq S$

7. ## Re: Show a nonempty finite subset of R has a max and min

Great! I will do that.

Thanks again Plato. Your knowledge is greatly appreciated. Have a great day!
{"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": 50, "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.9367488622665405, "perplexity_flag": "head"}