10
$\begingroup$

If $f \colon [a,b] \rightarrow [c,d]$ is a bijection, $f\in \mathcal{R}$ and $f^{-1}$ exists, then prove or disprove that $f^{-1} \in \mathcal{R} [c,d]$.

Remark: I tried to use integration by parts to find $\int_{c}^{d} f^{-1}$ and to prove that was the right limit of Riemann sum, but failed. But I think this idea might be useful.

  • 2
    @user5980: I take it you don't know the characterization of Riemann integrable functions in terms of Lebesgue measure?2011-01-28
  • 0
    Sorry, I just know some basics about Lebesgue measure. I suppose $f^{-1}$ is Lebesgue integrable.2011-01-28
  • 2
    Isn't assuming $f$ is a bijection and also that $f^{-1}$ exists redundant?2011-01-28
  • 0
    @user5980:The Riemann integrable functions on [a,b] are precisely the functions which are continuous a.e. (under the Lebesgue measure) on on [a,b]. So essentially the question is: If $f:[a,b]\rightarrow[c,d]$ is continuous a.e. and $f^{-1}$ exists, then is $f^{-1}:[c,d]\rightarrow [a,b]$ continuous a.e.?2011-01-28
  • 0
    @bobobinks: Right; though if the OP only knows the basics, then presumably (s)he is not expected to solve this problem via that route.2011-01-28

1 Answers 1

12

Let $C\subset[0,1]$ be the middle thirds Cantor set, and let $D\subset[0,1]$ be a fat Cantor set. Define $f:[0,1]\to[0,1]$ such that $f\vert_C$ is an order preserving homeomorphism of $C$ onto $D$ (by mapping to corresponding endpoints of the removed intervals), and $f\vert_{[0,1]\setminus C}$ is an order reversing homeomorphism of $[0,1]\setminus C$ onto $[0,1]\setminus D$ (by mapping linearly to corresponding removed intervals and then composing with $x\mapsto 1-x$). Then $f$ is discontinuous at each point of $C$ and continuous at each point of $[0,1]\setminus C$. Since $C$ has measure zero, $f$ is Riemann integrable. On the other hand, $f^{-1}$ is discontinuous at each point of $D$, so it is not Riemann integrable.

If you don't want to appeal to the Lebesgue criterion of Riemann integrability, you could work explicitly with Riemann sums of $f$ and $f^{-1}$. In the case of $f$, you can choose partitions such that the contribution of intervals containing points of $C$ is arbitrarily small. In the case of $f^{-1}$, the values of $f^{-1}$ on $D\cap[\frac{1}{2},1]$ are at least $\frac{2}{3}$ and the values of $f^{-1}$ on $[\frac{1}{2},1]\setminus D$ are at most $\frac{1}{2}$. Every interval contains points from $[0,1]\setminus D$, so the difference between upper and lower sums will always be at least $(\frac{2}{3}-\frac{1}{2})(\frac{1}{2}m(D))\gt 0$.

  • 4
    Nice, Jonas.2011-01-28
  • 0
    @Jonas, does this contradict the fact that C is uncountable, and any function in $\mathbb{R}$ can't have uncountably many jump discontinuities?2015-10-29
  • 1
    @MadcowD: There are no jump discontinuities here.2015-10-29
  • 0
    @JonasMeyer is there any reason why?2015-10-29
  • 0
    @MadcowD: Consider the same question for the characteristic function of the Cantor set. The reason is that nowhere does it satisfy the definition of jump discontinuity. It helps to note the C has no isolated points, and its complement is dense.2015-10-30