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$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .