Re: Supremums and Infimums

Re: Supremums and Infimums

Quote:

Originally Posted by

**Prove It** For e) I would argue that there is no infimum, because if

then

and therefore

.

Why does this mean that there is no infimum?

Re: Supremums and Infimums

Hey lovesmath.

Just a question regarding the infininum: does this refer strictly to the greatest lower bound?

The reason I ask is that if you have an open set and one endpoint, then if that end point is the lower point it means that the infinum won't actually exist you will never actually have a greatest lower bound.

You can think of it with say (0,infinity) where you can't have zero (since it's not included) but if you pick any value (say 0.0001) then you can always show there is a lower value (say 0.0000001) but you repeat this forever and you never actually get a fixed value.

Re: Supremums and Infimums

Quote:

Originally Posted by

**chiro** Just a question regarding the infininum: does this refer strictly to the greatest lower bound?

The reason I ask is that if you have an open set and one endpoint, then if that end point is the lower point it means that the infinum won't actually exist you will never actually have a greatest lower bound.

You can think of it with say (0,infinity) where you can't have zero (since it's not included) but if you pick any value (say 0.0001) then you can always show there is a lower value (say 0.0000001) but you repeat this forever and you never actually get a fixed value.

Is not an "infininum" or an "infinum" but "infimum." A lower bound, including the greatest lower bound, does not have to belong to the set it bounds. If a set has a lower bound, then it has the greatest lower bound — this follows from one of the axioms of real numbers.

Re: Supremums and Infimums

An infimum requires an inequality of x >= a where a is your so called infimum.

If you are dealing with the real numbers and you have an open end-point, then the infimum doesn't exist.

Re: Supremums and Infimums

Quote:

Originally Posted by

**chiro** If you are dealing with the real numbers and you have an open end-point, then the infimum doesn't exist.

Could you write your claim more precisely, using symbols and formulas instead of words?

Re: Supremums and Infimums

Re: Supremums and Infimums

Quote:

Originally Posted by

**chiro**

The only two claims I see in the top half of p. 30 are:

(1) A finite set always has a maximum element;

(2) [0, 1] has maximum element 1, but [0, 1) has no maximum element.

These claims are about a maximum element, not a supremum (or infimum). They are not the same.

The rest of the top half of p. 30 consists of definitions, not claims.

Re: Supremums and Infimums

The infimum is a definition.

On Page 30 it gave a definition for the infimum. Do you agree with it or not?

Re: Supremums and Infimums

You are saying strange things. In post #7 I asked you to state the following claim more precisely.

Quote:

Originally Posted by

**chiro** If you are dealing with the real numbers and you have an open end-point, then the infimum doesn't exist.

You also said the following earlier.

Quote:

Originally Posted by

**chiro** The reason I ask is that if you have an open set and one endpoint, then if that end point is the lower point it means that the infinum won't actually exist you will never actually have a greatest lower bound.

You can think of it with say (0,infinity) where you can't have zero (since it's not included) but if you pick any value (say 0.0001) then you can always show there is a lower value (say 0.0000001) but you repeat this forever and you never actually get a fixed value.

It seems that you are saying in these two quotes that does not exists, which is incorrect. Therefore I asked you to clarify what your claim is, which you have not done. Instead, you referred me to a definition of infimum, which is indeed standard.

Re: Supremums and Infimums

So in this example where you have a set corresponding to all x, where x > 0, where x is any real number that even though there is no actual greatest lower bound, the infimum of this set is 0. Is this what you are saying?

Re: Supremums and Infimums

Quote:

Originally Posted by

**chiro** So in this example where you have a set corresponding to all x, where x > 0, where x is any real number that even though there is no actual greatest lower bound, the infimum of this set is 0. Is this what you are saying?

The greatest lower bound and the infimum are the same thing, so one cannot exist without the other. For the set {x | 0 < x} both exist and are 0. The minimum of this set, on the other hand, does not exist because the infimum does not belong to the set.

Re: Supremums and Infimums

Well this is a little silly IMO if the infimum doesn't actually belong to the set (i.e. it's not an element of the set) in general.

It's not you: I've looked at what they consider this so called infimum to be but the idea of having a greatest lower bound where that element doesn't exist seems a misnomer.

I'd see it as more of an actual limit as opposed to an actual fixed bound and it's a little silly, but that's just me.

Re: Supremums and Infimums

Quote:

Originally Posted by

**chiro** It's not you: I've looked at what they consider this so called infimum to be but the idea of having a greatest lower bound where that element doesn't exist seems a misnomer.

This is precisely the difference between the infimum and the minimum: minimum is the infimum that belongs to the set.

The name "greatest lower bound" does not suggest that it should be an element of the set. After all, a lower bound is just a number that bounds a set from below. For example, -5 is a lower bound of (0, ∞). The greatest lower bound is just the greatest of those bounds, i.e., the maximum of the set of lower bounds. It is not obvious that it exists because not every set, even bounded from above, has a maximum. Indeed, in rational numbers the greatest lower bound of the set does not exist. It is the completeness property of real numbers that guarantees that this maximum of lower bounds exists.

As an answer to the original question, the supremum of is 1 and the infimum is -1.