- #1

- 13

- 0

## Main Question or Discussion Point

Does there exist to be any real number r such that what the title above says will become true ?

Thank you

Thank you

- Thread starter YourLooks
- Start date

- #1

- 13

- 0

Does there exist to be any real number r such that what the title above says will become true ?

Thank you

Thank you

- #2

matt grime

Science Advisor

Homework Helper

- 9,395

- 3

- #3

Zurtex

Science Advisor

Homework Helper

- 1,120

- 1

[tex]r = \pm \sqrt{8} = \pm \sqrt{4*2} = \pm \sqrt{4} \sqrt{2} = \pm 2 \sqrt{2}[/tex]

Hope that helps....

- #4

- 13

- 0

Okay, My second question now is "prove there exist real number(s) r such that r^2=8"

and the third question is prove in Z there is no sup or inf, how can I start now, please help...

// The third question should be in K-12/college but posting it here is just like "by the way, abcdefghijklmn Oh..." :Bigsmile:

Thank you,

- #5

matt grime

Science Advisor

Homework Helper

- 9,395

- 3

Proving Z has no inf or sup should be very easy: how do you think you do it?

- #6

- 13

- 0

I know definition of real numbers but the fact is that I am studying about sequence, series, with inf and sup and these problems appear in the exercise pages which I am required to finish before next week's Tuesday. This means I have got to prove this theory in relation to sup and inf...matt grime said:

Proving Z has no inf or sup should be very easy: how do you think you do it?

I think in order to prove there is no sup or inf in Z, I only need to say, Z is immense because there are no limits for it, and that would count. Is that correct, Mr Grime ?

Thank you

- #7

matt grime

Science Advisor

Homework Helper

- 9,395

- 3

Immense isn't a technical word I know, suppose K is a sup of Z, find an integer greater than K.

as for showing existence of sqrt8, consider the set S={z in R | z^2<=8} it is closed, bounded and therefore has a sup. now prove the sup has square equal to 8, or if you're using the dedekind cut definition put Q not R in the parenthesis.

as for showing existence of sqrt8, consider the set S={z in R | z^2<=8} it is closed, bounded and therefore has a sup. now prove the sup has square equal to 8, or if you're using the dedekind cut definition put Q not R in the parenthesis.

Last edited:

- #8

Zurtex

Science Advisor

Homework Helper

- 1,120

- 1

Doing a short course on infinite sets at the moment so I might be able to help.

- #9

matt grime

Science Advisor

Homework Helper

- 9,395

- 3

if you've a set with an infinite number of points in it, then it may not possess a 'maximum element' because maximality implicitly states that the notional 'maximum' is an element in the set, and the ordering reversed for inf. For instance the set of reciprocals, 1/n for n integer has no minimum element, but the inf of it is 0.

Often we want sets that are bounded but do not possess maxmima or minima, and that's where sup and inf come in.

- #10

Zurtex

Science Advisor

Homework Helper

- 1,120

- 1

We define the set Z as:

[tex]\mathbb{Z} = \{ \ldots -2, -1, 0, 1, 2, 3, \ldots , n_x, \ldots \}[/tex]

Where it holds true for all elements that [tex]|n_a - n_b| \geq 1[/tex] and there are countably infinite number of elements. Surely that alone shows there will be either no sup or no inf?

[tex]\mathbb{Z} = \{ \ldots -2, -1, 0, 1, 2, 3, \ldots , n_x, \ldots \}[/tex]

Where it holds true for all elements that [tex]|n_a - n_b| \geq 1[/tex] and there are countably infinite number of elements. Surely that alone shows there will be either no sup or no inf?

Last edited:

- #11

- 1,056

- 0

matt grime said:sup means the least upper bound, inf means greatest lower bound.

I am glad defiinitions are straighten out. If it had been lub and glb, not sup and inf, I might have guessed as much.

- #12

mathwonk

Science Advisor

Homework Helper

- 10,947

- 1,099

by definition, the real numbers have the "order completeness" property, i.e. for every non empty set S of reals with an upper bound K, i.e. a real number K such that K >= x for every x in S, there is a smallest such number K. I.e. it is an axiom that if there is a K such that K >= x for every x in S, and S is not empty, then there is a real number L such that, L >=x for every x in S, and for any other number M such that M>=x for every x in S, then L <= M. This L is called the "sup" or "lub" or "least upper bound" of S, i.e. it is the "smallest real number not smaller than any number in S".

Then consider all positive rational numbers with square less than 8. Let L be the lub of this set. Then prove that L^2 cannot be less than 8 or else there would be a rational number r greater than L with r^2 < 8, and also that L^2 cannot be greater than 8 or else there would be some number M greater than all rationals with square less than 8 and yet with M<L.

Combining these two tedious verifications, one concludes that since L^2 is neither less than nor greater than 8, so by the "trichotomy" axiom, L^2 must then equal 8.

This kind of thing is a real pain in the patootie, generally inflicted only on young analysis students, so we tend to deal with all such questions once and for all, by the "intermediate value theorem". I.e. this theoprem says that if f is continuous on the injterval [a,b], and f(a) < K < f(b), then there is some real number c with a<c<b such that f(c) = K.

Then in your case, since f(x) = x^2 is continuous on the whole real line, and since f(2) = 2^2 = 4 < 8, while f(3) = 3^2 = 9 >8, it follows that for some real number c with 2<c<3, we must have f(c) = c^2 = 8.

Then consider all positive rational numbers with square less than 8. Let L be the lub of this set. Then prove that L^2 cannot be less than 8 or else there would be a rational number r greater than L with r^2 < 8, and also that L^2 cannot be greater than 8 or else there would be some number M greater than all rationals with square less than 8 and yet with M<L.

Combining these two tedious verifications, one concludes that since L^2 is neither less than nor greater than 8, so by the "trichotomy" axiom, L^2 must then equal 8.

This kind of thing is a real pain in the patootie, generally inflicted only on young analysis students, so we tend to deal with all such questions once and for all, by the "intermediate value theorem". I.e. this theoprem says that if f is continuous on the injterval [a,b], and f(a) < K < f(b), then there is some real number c with a<c<b such that f(c) = K.

Then in your case, since f(x) = x^2 is continuous on the whole real line, and since f(2) = 2^2 = 4 < 8, while f(3) = 3^2 = 9 >8, it follows that for some real number c with 2<c<3, we must have f(c) = c^2 = 8.

Last edited:

- Last Post

- Replies
- 3

- Views
- 1K

- Replies
- 6

- Views
- 714

- Last Post

- Replies
- 2

- Views
- 1K

- Last Post

- Replies
- 3

- Views
- 1K

- Last Post

- Replies
- 3

- Views
- 4K

- Replies
- 18

- Views
- 1K

- Replies
- 21

- Views
- 954

- Last Post

- Replies
- 4

- Views
- 4K

- Last Post

- Replies
- 4

- Views
- 3K

- Last Post

- Replies
- 9

- Views
- 4K