5
$\begingroup$

This is the most interesting real analysis question I have run into thus far (that I understand):

For all $n\in\mathbb{N}$, let $f_n(x)$ and $f(x)$ be one-to-one continuous functions such that $B=\bigcap_{n=1}^{\infty}f_n(A)$ is a nonempty interval. If $f_n(x)$ converges pointwise to $f(x)$ on $A$, then $f_n^{-1}(x)$ converges pointwise to $f^{-1}(x)$ on $B$.

Do you think this is a valid assertion, or are other conditions necessary for it to hold water?

Also, how could one go about proving it? Thanks in advance!

Edit 1: Because $f_n\to f$, is it safe to assume that $f:A\to B$? If so, then could I conclude that $f$ is bijective on $A$ and therefore $f^{-1}:B\to A$? I still feel that this is not rigorous enough, however.

  • 0
    Here $A$ is an arbitrary set of reals, or an interval ?2012-03-18

1 Answers 1

3

I can show that this is true when $A$ is a finite union of intervals. It suffices to treat the case when $A$ is a single interval.

Patrick da Silva is absolutely right : continuity is definitely a keypoint here. If $A$ is an interval, then a continuous function on $A$ must be monotonous. So $f$ (and each $f_n$ also) is decreasing or increasing. We may assume that $f$ is increasing. Then for large enough $n$, each $f_n$ will be increasing also (indeed, let $a in $A$, then $f(a), so $f_n(a) for all large enough $n$).

Now assume by contradiction that $(f_n^{-1}(y))$ does not converge to $f^{-1}(y)$ for some $y\in B$. This means that some subsequence stays away from $f^{-1}(y)$. Passing to a subsequence if necessary, we may assume that there is a $\varepsilon >0$ such that $f_n^{-1}(y) \in A \setminus [f^{-1}(y)-\varepsilon,f^{-1}(y)+\varepsilon]$ for all $n$. Passing to a subsequence again, we may further assume that $f_n^{-1}(y)$ is always on the same side of $f^{-1}(y)$, with e.g. $f_n^{-1}(y) \geq f^{-1}(y)+\varepsilon$. Now $f^{-1}(y)+\varepsilon \in A$ since $A$ is an interval. Since $f_n$ is increasing, we deduce $y=f_n(f_n^{-1}(y)) \geq f_n(f^{-1}(y)+\varepsilon)$. Now the right-hand side converges to $f(f^{-1}(y)+\varepsilon)$. Passing to the limit, one obtains $y \geq f(f^{-1}(y)+\varepsilon)$. And since $f^{-1}$ is increasing, we deduce $f^{-1}(y) \geq f^{-1}(y)+\varepsilon$, a contradiction.