Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am asking for a self contained proof of this assertion:

  • If $f,g,h:[a,b]\to \mathbb{R}$ with $h\le f,g$ and $f,g,h$ are gauge integrable then so is $\min(f,g)$.

The integral in question is the Henstock-Kurzweil, (otherwise called the gauge or generalised Riemann) integral and unlike the Riemann and Lebesgue integrals, $\min(f,g)$ is not always integrable when $f,g$ both are.

This is used in Bartle's "A Modern Theory of Integration" to establish Fatou's Lemma for the gauge integral. This was proven using the fact that:

  • If $f,g$ are gauge integrable and $\left|f\right|\le g$ then $\left|f\right|$ is also gauge integrable.

Proving this however requires the Theorem:

  • If $f$ is gauge integrable then $\left|f\right|$ is gauge integrable if and only if $F(x)=\int_a^xf$ is of bounded variation.

So basically is there a self contained proof of the 1st (or even the 2nd) assertion without using the 3rd theorem (or even the notion of bounded variation)? I ask this because it seems unnatural to characterise absolute integrability and use this to deduce the convergence results (Fatou's Lemma, Dominated Convergence Theorem, Mean Convergence Theorem)

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.