Difficult integration question

  • Thread starter Thread starter regularngon
  • Start date Start date
  • Tags Tags
    Integration
Click For Summary
SUMMARY

The function f : [0,1] × [0,1] → R defined by f(x,y) = 0 if x is irrational or if x is rational and y is irrational, and f(x,y) = 1/q if x is rational and y = p/q with gcd(p,q) = 1, is integrable. The key to proving integrability lies in demonstrating that for every ε > 0, there exists a partition P such that the upper sum U(f,P) is less than ε, while the lower sum L(f,P) remains 0 due to the density of rationals. A valid partition can be constructed using the infinite series of 1/2^n.

PREREQUISITES
  • Understanding of Riemann integrability and its criteria
  • Familiarity with rational and irrational numbers
  • Knowledge of partitions in the context of integration
  • Basic concepts of gcd (greatest common divisor) in number theory
NEXT STEPS
  • Study Riemann integrability criteria in detail
  • Learn about constructing partitions for integrable functions
  • Explore the properties of the Dirichlet function and its similarities
  • Investigate the convergence of infinite series, particularly 1/2^n
USEFUL FOR

Mathematics students, particularly those studying real analysis or integration techniques, as well as educators looking for examples of integrable functions and partitioning methods.

regularngon
Messages
19
Reaction score
0

Homework Statement


Show that the function f : [0,1] × [0,1] → R given by

f(x,y) =

{ 0 if x is irrational, or x is rational and y is irrational
{ 1/q if x is rational, y = p/q with gcd(p,q) = 1

Is integrable and compute the integral.


Homework Equations





The Attempt at a Solution



I know I have to use the fact that Riemann integrability is equivalent to the fact that for every E > 0 there exists a partition P such that U(f,P) - L(f,P) < E.

Due to the density of the rationals in the reals, we are always going to have L(f,P) = 0. So I just have to find a partition P such that U(f,P) < E. So I'm quite sure that I'm going to have to use the infinite sum of 1/2^n. However, I'm quite stuck on figuring out a valid partition. The more I think, the harder finding this partition seems to be :(

Any suggestions? Thanks.
 
Physics news on Phys.org
No one has any suggestions? :cry:
 
The first condition of this question is similar to that of Drichilet function. Break the condition further from this.
 

Similar threads

Replies
10
Views
2K
Replies
5
Views
2K
Replies
4
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
2K
  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K