MHB Prove No Uniformly Convergent Subsequence: Functional Sequence

Arnold1
Messages
16
Reaction score
0
SOLVED Prove that the functional sequence has no uniformly convergent subsequence -check

$$n \in \mathbb{R}, \ \ f_n \ : \ \mathbb{R} \rightarrow \mathbb{R}, \ \ f_n(x) =\cos nx$$

We want to prove that $${f_n}$$ has no uniformly convergent subsequence.

This is my attempt at proving that:

Suppose that $$f_{n_{j}} \rightarrow f$$ uniformly. This means that $$f$$ is continuous(because cosnx is) and $$f(0) = \lim _{j \rightarrow +\infty}\cos 0=1$$.

Therefore there exists a $$\delta > 0$$ s.t. $$f(x) > \frac{1}{2}$$ for $$|x|< \delta$$.

Hence for $$j$$ large enough, the uniform convergence of $$f_{n_{j}}$$ tells us that $$|f(x) - f_{n_{j}}(x)|<\frac{1}{2}$$

But for one such $$j$$ and $$x=\frac{\pi}{2n_{j}}$$ we have

$$\frac{1}{2} < f(x) \le |f(x) - f_{n_{j}}(x)| + |f_{n_{j}}| < \frac{1}{2} + f_{n_{j}} = \frac{1}{2} + 0 = \frac{1}{2}$$ and we have a contradiction.

My question is - is everything here correct? I'm just beginning to study functional sequences and I would really appreciate any help.

Thank you.
 
Last edited:
Physics news on Phys.org
Re: SOLVED Prove that the functional sequence has no uniformly convergent subsequence -check

Arnold said:
Hence for $$j$$ large enough, the uniform convergence of $$f_{n_{j}}$$ tells us that $$|f(x) - f_{n_{j}}(x)|<\frac{1}{2}$$
It's nice to specify, "for all $x$".

Arnold said:
But for one such $$j$$ and $$x=\frac{\pi}{2n_{j}}$$ we have

$$\frac{1}{2} < f(x) \le |f(x) - f_{n_{j}}(x)| + |f_{n_{j}}| < \frac{1}{2} + f_{n_{j}} = \frac{1}{2} + 0 = \frac{1}{2}$$ and we have a contradiction.
You need $j$ large enough not just so that $$|f(x) - f_{n_{j}}(x)|<\frac{1}{2}$$ for all $x$, but also so that $$\frac{\pi}{2n_{j}}<\delta$$.

Otherwise, the proof looks very nice.
 
Ok, I'll do that. Thanks.
 
For original Zeta function, ζ(s)=1+1/2^s+1/3^s+1/4^s+... =1+e^(-slog2)+e^(-slog3)+e^(-slog4)+... , Re(s)>1 Riemann extended the Zeta function to the region where s≠1 using analytical extension. New Zeta function is in the form of contour integration, which appears simple but is actually more inconvenient to analyze than the original Zeta function. The original Zeta function already contains all the information about the distribution of prime numbers. So we only handle with original Zeta...
Back
Top