In my high school Calculus class, we learned this definition of the definite integral: $$\int_a^b f(x)dx = \lim_{n\to \infty} \sum_{i=1}^n f(x_i) \frac{b-a}{n}$$
Now that I know more about sequences and series than I did back then, I realize that $x_i$ must be talking about a sequence that generates the real numbers between a and b. I ALSO know that the real numbers are "dense," meaning there's "no next real number." These facts seem to contradict one another. Can anyone resolve this for me? Can anyone give me a formal definition of the $x_i$ that this series refers to?
EDIT: I can see by the definition Spencer gave that the sequence starts at a and goes to b as i gets large. BUT if I write out the first couple of terms, they're all a. In fact, if I try to pick any term besides the nth term, it's a. What's going on? Can anyone prove the sequence is increasing?
The usual definition in a freshmen calculus course is $x_i=a+i \Delta x$ where $\Delta x = (b-a)/n$.
The $x_i$ are called abcissa and the purpose of the formula above is to produce $x$ coordinates which are evenly distributed throughout the interval. This isn't the only way to specify the $x_i$.