3
$\begingroup$

I have been given a sequence of real valued continuous functions $(f_1,f_2,...,f_n)$, and a real valued sequences $(x_1,x_2,...,x_n)$, where $x_n$ converges to $x$. Also $f$ is a continuous real valued function.

Then if $f_n$ converges to $f$ uniformly on $\mathbb R$, I think I have shown that this implies that $f_n(x_n)$ converges to f(x).

But does this hold when $f_n$ converges to $f$ pointwise on $\mathbb R$? I am trying to come up with a counterexample, but I haven't had any luck so far.. Does anyone know of such an example, or does pointwise convergence imply the same as uniform convergence?

Thank you!

$\endgroup$
1
  • 1
    $\begingroup$ Got something from an answer below? $\endgroup$
    – Did
    Dec 21, 2013 at 10:45

2 Answers 2

4
$\begingroup$

Even on a compact interval instead of $\mathbb R$, this cannot be true...

Try $f_n$ defined on $[0,1]$ by $$f_n(x)=nx^n(1-x), $$ and $$x_n=1-1/n. $$ Then $x_n\to x$ with $x=$ $___$, $f_n\to f$ pointwise with $f=$ $___$, but $f_n(x_n)\to$ $___$ while $f(x)=$ $___$ hence the convergence cannot be uniform.

Note that the regularity of each $f_n$ is not an issue.


Another example: pick some nonzero continuous function $g$ such that $g(x)\to0$ when $|x|\to\infty$, say $g:x\mapsto\mathrm e^{-x^2}$, and define $f_n$ by $f_n(x)=g(n^2x-n)$ for every $x$.

Then $f_n\to f$ pointwise, where $f=$ $___$, but $f_n((n+x_0)/n^2)$ does not converge to $___$, for some well chosen $x_0$.

$\endgroup$
10
  • $\begingroup$ Nice little MathJax/LaTeX trick here, + $_$. $\endgroup$
    – Julien
    Nov 17, 2013 at 15:48
  • $\begingroup$ @julien It is free of charge... $\endgroup$
    – Did
    Nov 17, 2013 at 15:49
  • $\begingroup$ I might be wrong, but this means that f is 0 when x<1 and f is 1 when x=1, and then f is not continuous? $\endgroup$
    – groupgeek
    Nov 17, 2013 at 15:52
  • $\begingroup$ @groupgeek Read again: $f_n(1)=0$ for every $n$. $\endgroup$
    – Did
    Nov 17, 2013 at 15:54
  • $\begingroup$ But f has to be continuous too. Am I missing something? $\endgroup$
    – groupgeek
    Nov 17, 2013 at 15:56
0
$\begingroup$

If you have any function $g\colon [0,1]\to\mathbb R$, a sequence $(a_n)$ and you define functions $f_n\colon [0,1]\to\mathbb R$ with $f_n(x)=g(x)$ for $x\ge\frac2n$, $f_n(0)=g(0)$ and $f_n(\frac1n)=a_n$ then $f_n\to g$ pointwise, but $f_n(\frac1n)=a_n$.

If $g$ is continuous, you can make the $f_n$ continuous. If $g\in C^\infty$ you can arrange that $f_n\in C^\infty$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.