Function required to be integral - (measure theory?)

  • Thread starter jbusc
  • Start date
  • #1
212
0

Main Question or Discussion Point

Hi,

Some time ago one of my professors told us about a remarkable theorem, which stated something along the lines of: if a function i takes two arguments, one being another function f, and the other being some region R on which the function f is defined, and this function i satisfies some particular properties (such as linearity in f, if disjoint regions st R1 U R2 = R then i(f, R1) + i(f, R2) = i(f, R), etc) which are similar to the integral, then the function i _must_ be the integral of f.

I later asked him again, and he said it was a basic result in measure theory (which he did not pursue further since it was not a measure theory class). However I have been unable to find this theorem again, partly because I never was quite sure of the exact properties the theorem requires, and also because I never pursued more measure theory. I would really appreciate it if someone could recognize this theorem and either point me to a source, clarify the conditions, or even just tell me what it's called.

Thanks!
 

Answers and Replies

  • #2
HallsofIvy
Science Advisor
Homework Helper
41,805
932
Yes, if a functional has the properties that it is linear in f, "additive", "translation invarient", and such that if f(x)= 1 for x in R then the functional returns the area of R, it must be the integral.

Check out
http://en.wikipedia.org/wiki/Measure_theory

or goggle on '"Lebesgue measure" uniqueness'
 

Related Threads for: Function required to be integral - (measure theory?)

Replies
4
Views
2K
Replies
10
Views
2K
  • Last Post
Replies
1
Views
1K
Replies
3
Views
620
  • Last Post
Replies
8
Views
2K
  • Last Post
Replies
6
Views
1K
  • Last Post
Replies
2
Views
1K
Replies
3
Views
2K
Top