- #1

- 13

- 0

I am trying to make sense of this proof in my textbook and find myself confused by a few things. I will try to present my question in the order that they come to me as I read the passage:

0) When defining the set A, "f is bounded above on [a,x]", x serves as a placeholder for whatever element x in [a,b] which, when evaluated by f, has the largest value? It is possible that this largest value can even be attained at x=b?

1) "A is bounded above (by b)"; I interpret this as meaning that b is just the greatest element of the domain; I'm guessing that this is relevant only because we need a nonempty set that has a greatest element, to be able to conclude that it has a least upper bound?

2) When the author indicates that the term "bounded above" refers to both the set A and to the function f, is this the case for all instances of the term, or is there one in particular that is relevant?

3) About f being bounded above (on the y-axis), the set {f(y): a <= y <= x} is represented this way to highlight that f(x) is the bound - whatever x may be?

4) When we suppose that b > alpha, this means that the purported LUB alpha is located in the continuous interval [a,b], we we can apply Theorem 1 (this is not included in what I posted, but it basically says, as you can infer, that if f is continuous, then there is a delta-interval where f is bounded above), by virtue of its continuity at this point.

5) At this point, I become less certain. We basically conclude from the above fact that there must be a number x1 on which f is bounded, so f is bounded on [a,x1]. This somehow contradicts that alpha is an upper bound for A. I understand why we can say there is a delta-interval about x1 where f is bounded, but why extend [a,x] to [a,x1]?

I'm not completely lost, it's just that I have difficulty expressing why this is so, and I think it's because the author's definition of the set A is confusing me. I will try to put it into words: If we choose our LUB (alpha) to be the greatest x-element, then if it is less than b (it must be continuous, since it is within a continuous interval) and therefore there is a delta-interval about it where it is bounded. So you can choose (by continuity) an element x1 within a positive delta distance from alpha, where the function is bounded. So you can extend the interval where the function is bounded; but this is a contradiction since we chose alpha as being the greatest element x element so you cant extend the interval further.

My confusion, I think, stems from the use of [a,x] in the definition; I believe the "x" is the largest value of the function itself, so when I follow the definition, I don't know why we can extend our interval to [a,x1] because of the fact that we chose an x1 greater than alpha; it is not alpha that is the greatest value of the function. I'll stop trying to rationalize here, since even as I write this I can see that I'm wrong.

6) I'm assuming the possibility that alpha > b can be disregarded, since we're only considering all x in [a,b]?

I'm sorry if this is lengthy to read. I would appreciate any kind of response that addresses any of my problems. It may suffice it anyone could explain the theorem concisely, perhaps in reference to the figure in my image, as I think I lack a geometric understanding of this. Thanks in advance.