Andy is certainly right that a definition of integral that uses equal-with intervals and, say, always left endpoints (EWLE) is easier to conceive of than the more general "any partition whose mesh approaches 0, and any points within the intervals" (APAP) definition. Pedagogically, there's no question that I'd introduce integrals, and confine all or almost all examples to the EWLE (or EWRE) type. But when first learning calculus I recall being a bit confused by which endpoint -- or was it the midpoint -- to evaluate the function at. When later (I think when using the ubiquitous text by G.B. Thomas) I learned the APAP definition, it was a relief not to have to be concerned about such details as the exact partition and where to evaluate the function. I would *state* but certainly not *prove* such a theorem in an intro course (other than to honors math majors, who might use a book like Apostol's). Jim did, by the way, say this is an honors course. (Is it honors for anyone, or mainly honors math majors?) ------------------------------------ Pedagogy aside, certainly one could cook up a function having the value 1 on all points of the form k/n for integers k,n such that 0 <= k/n <= 1, and the value 2 at other points. But this doesn't answer the interesting math question brought up by Jim: << Stewart says that a function f on the interval [a,b] is integrable with definite integral I if for all epsilon > 0 there exists a delta > 0 such that EVERY Riemann sum for f(x) on [a,b] whose mesh (the maximum of the widths of the sub-intervals) is less than delta has value within epsilon of I.
[what I called APAP] << The student asked, would it be equivalent to require the sub-intervals to be of equal width (still allowing the sample-points to be arbitrary within the sub-intervals)?
Let's call this method EWAP. So is EWAP integrable equivalent to APAP integrable, and yielding the same values? Obviously APAP implies EWAP since equal width is a special case of arbitrary partitions. Conversely, there is a chance that a strange singularity can be created near 0, say, of a function f:[0,1} -> R, such that f is EWAP integrable, but not APAP integrable. Good question. --Dan _____________________________________________________________________ "It don't mean a thing if it ain't got that certain je ne sais quoi." --Peter Schickele