Integrals and continuum vs discrete

  • Thread starter pellman
  • Start date
  • #1
677
4
One the things which always bugged me about the definition of the integral is that limit of a Reimann sums consists of a countably infinite number of terms, yet it is supposed to be giving the under area under a curve which varies in a continuous manner. Has anyone else thought seriously about this?

I suspect it is closely related to the fact some functions on a finite interval can be represented by a fourier series.

[tex]f(x) =\frac{a_0}{2}+\sum_{n=1}^\infty\left[a_n cos(nx)+ b_n sin(nx)\right][/tex]

Here we see that a function f consisting of a continuum of points [tex]f(x)[/tex] is represented entirely by a countably infinite set of numbers [tex]\{a_0,a_1,...,b_1,b_2,...\}[/tex].

I'm not able to pose a coherent question about this. There is something interesting here but I can't get my head around putting it into words.

I'm interested in thoughts anyone cares to share on continuum vs countable. Is there a relation between integrable and able to be represented by a Fourier series?
 

Answers and Replies

  • #3
677
4
Thanks, VeeEight.
 
  • #4
13
0
Here's my best guess about this. The rationals are a countable dense set in [tex] \mathbb{R} [/tex]. So give any function on [tex] \mathbb{R} [/tex] you can approximate it arbitrarily close working strictly from a countable subset of your domain. This along with the fact that we can use a net to take the limit as the partitions over rational intervals become arbitrarily fine means that we can approximate continuous functions at all of its domain (using only rational points) closely enough to get a well defined integral. Also, VeeEight, I feel like the Lebesgue integral might actually have the same issue that the Riemann integral has considering that it is defined similarly as the supremum of simple functions that are composed as countable infinite sums.
 
Last edited:
  • #5
LCKurtz
Science Advisor
Homework Helper
Insights Author
Gold Member
9,559
770
Does it help you to observe that such a continuous function is itself completely determined by its values on the rationals, which are countable?
 
  • #6
677
4
What sorts of functions are completely determined by their values on the rationals?
 
  • #7
614
0
See the last line under properties: http://en.wikipedia.org/wiki/Dense_set#Properties
This is due to the fact that continuous functions behave nicely with regards to limits, so you can extend a continuous function on the rationals to the entire real line using limits of sequences of rationals that converge to an irrational.
 
  • #8
677
4
Thanks. Very interesting.
 

Related Threads on Integrals and continuum vs discrete

  • Last Post
Replies
8
Views
1K
  • Last Post
Replies
2
Views
4K
  • Last Post
Replies
2
Views
3K
Replies
2
Views
807
  • Last Post
Replies
2
Views
731
  • Last Post
Replies
2
Views
8K
  • Last Post
Replies
3
Views
731
Replies
1
Views
1K
Replies
4
Views
2K
Replies
35
Views
2K
Top