Integrability of Modified Dirichlet Function & Upper Step Function

  • Context: Graduate 
  • Thread starter Thread starter asdf60
  • Start date Start date
  • Tags Tags
    Function
Click For Summary
SUMMARY

The modified Dirichlet function, defined as 1/q for rational x (where x = p/q) and 0 for irrational x, is integrable. The upper step function is also Riemann integrable. The key to understanding the integrability lies in recognizing that for any m, there are only a finite number of x values where f(x) is greater than or equal to 1/m. Consequently, the step functions can be defined at these points, allowing the integral to converge to 0 as the width of the step functions approaches zero.

PREREQUISITES
  • Understanding of Riemann integrability
  • Familiarity with the modified Dirichlet function
  • Knowledge of step functions and their properties
  • Basic concepts of limits and infinitesimals
NEXT STEPS
  • Study the properties of Riemann integrable functions
  • Explore the concept of step functions in detail
  • Investigate the implications of the modified Dirichlet function in real analysis
  • Learn about convergence of integrals and the role of limits
USEFUL FOR

Mathematicians, students of real analysis, and anyone interested in the properties of integrable functions and step functions.

asdf60
Messages
81
Reaction score
0
the modified dirichlet function (1/q if x is rational = p/q, 0 if x is irrational) is integrable. How is it integrable? What is the upper step function?
 
Physics news on Phys.org
That one's even Riemann integrable, if memory serves.

Start with this question: for how many values of x is f(x) nonzero? (Infinitely many, I know that. :-p Be more specific!)
 
Yes, it is reimann integrable. Well after a bit of thinking, i figured it out. The trick is that for any m, there are finite number of Xs such that f(x) < 1/m. So define the step functions at those points as 1, and the rest as 1/m. But you can make the step functions width arbitrarily small at the points f(x) > 1/m, so they don't contribute to the step function integral. Then obviously, the infemum goes to 0.
 

Similar threads

Undergrad Equivalence of alternative definitions of conservative vector fields and line integrals in different metric spaces
  • · Replies 3 ·
Replies
3
Views
3K
Undergrad Ambiguity of the term "indefinite integral"
  • · Replies 11 ·
Replies
11
Views
3K
Graduate Memory issues in numerical integration of oscillatory function
  • · Replies 3 ·
Replies
3
Views
2K
Undergrad ##L^2## square integrable function Hilbert space
  • · Replies 11 ·
Replies
11
Views
4K
Graduate Multiplying divergent integrals using Hardy fields approach
  • · Replies 3 ·
Replies
3
Views
3K
High School Straightforward integration…
  • · Replies 27 ·
Replies
27
Views
4K
Graduate Need help with an integral -- How to integrate velocity squared?
  • · Replies 3 ·
Replies
3
Views
3K
Undergrad Another Integration Formula
  • · Replies 6 ·
Replies
6
Views
3K
Undergrad Checking the integrability of a function using upper and lowers sums
  • · Replies 5 ·
Replies
5
Views
2K
MHB Prove Integrability of f(x)| 0 to 1 Inequality
  • · Replies 9 ·
Replies
9
Views
3K