Let be a function such that the integral

exists for all in an interval . Consider the following statements:

a. is continuous at .

b. is discontinuous at .

c. is increasing on .

d. exists.

e. is continuous at .

. is continuous at .

. is discontinuous at .

. is convex on .

. exists.

. is continuous at .

Make a table to indicate by T whether the statement in row implies the statement in column . Leave the cell in the table blank if there is no implication.

The requested table is as follows:

We know the first column has all T’s since the function is continuous for any function by the first fundamental theorem we know the derivative exists at every point in the open interval . Since differentiability implies continuity (by example 7 on page 163 of Apostol), we then know that is continuous at any point .

We know the second column can have no T’s anywhere since, by the same argument as above, the function is continuous at every point . Thus, it cannot be discontinuous at any point .

The statement a,b,d, and e cannot imply that is convex on since they are statements regarding continuity and existence of derivatives. None of these properties have anything to do with convexity. Then, statement (c) does imply statement since we know that a function is convex if its derivative is increasing. Since is the derivative of and it is increasing, we have that is convex.

c doesnt imply gamma, since you can have a convex function that is decreasing in some interval.

Hi RoRi, shouldn’t d==>theta? With f'(c) exists, f(x) is continuous at c. Since A'(x)=f(x) ==> A'(x) is continuous at x=c.

Thanks for the wonder effort by putting up the full solutions!

Sorry, I mean d==>epsilon (f'(c) exists ==> A’ is continuous at c)