Stone-Weierstrass, uniform convergence

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 2K views
holomorphic
Messages
91
Reaction score
0

Homework Statement


Show that there are continuous functions [tex]g:[-1,1]\to R[/tex] such that no sequence of polynomials [tex]Q_n[/tex] satisfies [tex]Q_n(x^2)\to g(x)[/tex] uniformly on [-1,1] as [tex]n\to\infty[/tex]

The Attempt at a Solution



Suppose there is a sequence [tex]Q_n[/tex] such that [tex]Q_n(x^2)\to g(x)[/tex] uniformly for [tex]g(x)=x[/tex].

Then [tex]\forall \epsilon > 0 \forall x \in [-1,1] \exists N:(n\geq N\Rightarrow |Q_n(x^2) - g(x)| \leq \epsilon)[/tex]

Take [tex]\epsilon = 1/2[/tex]. Then [tex]\exists N_1, N_2 : ( n \geq max\{N_1,N_2\} \Rightarrow |Q_n(1^2) - g(1)| \leq 1/2[/tex] and [tex]|Q_n((-1)^2) - g(-1)| \leq 1/2)[/tex].

Then for [tex]n \geq max\{N_1,N_2\}[/tex] we have
[tex]1 = 1/2 + 1/2 \geq |Q_n(1^2) - g(1)| + |Q_n((-1)^2) - g(-1)|[/tex]
[tex]=|Q_n(1) - g(1)| + |Q_n(1) - g(-1)|[/tex]
[tex]\geq |g(1)-g(-1)| = |1+1| = 2[/tex], which is false. Therefore there is no such [tex]Q_n[/tex].

Does this solution make sense?
 
Last edited:
Physics news on Phys.org
holomorphic said:
Then [tex]\forall \epsilon > 0 \forall x \in [-1,1] \exists N:(n\geq N\Rightarrow |Q_n(x^2) - g(x)| \leq \epsilon)[/tex]

Take [tex]\epsilon = 1/2[/tex]. Then [tex]\exists N_1, N_2 : ( n \geq max\{N_1,N_2\} \Rightarrow |Q_n(1^2) - g(1)| \leq 1/2[/tex] and [tex]|Q_n((-1)^2) - g(-1)| \leq 1/2)[/tex].

Then for [tex]n \geq max\{N_1,N_2\}[/tex] we have
[tex]1 = 1/2 + 1/2 \geq |Q_n(1^2) - g(1)| + |Q_n((-1)^2) - g(-1)|[/tex]
[tex]=|Q_n(1) - g(1)| + |Q_n(1) - g(-1)|[/tex]
[tex]\geq |g(1)-g(-1)| = |1+1| = 2[/tex], which is false. Therefore there is no such [tex]Q_n[/tex].

Oops. I used pointwise convergence instead of uniform. Doesn't change much but this should have read:
Then [tex]\forall \epsilon > 0 \exists N: \forall x \in [-1,1], (n\geq N\Rightarrow |Q_n(x^2) - g(x)| \leq \epsilon)[/tex]

Take [tex]\epsilon = 1/2[/tex]. Then [tex]\exists N : ( n \geq N \Rightarrow |Q_n(1^2) - g(1)| \leq 1/2[/tex] and [tex]|Q_n((-1)^2) - g(-1)| \leq 1/2)[/tex].

Then for [tex]n \geq N[/tex] we have
[tex]1 = 1/2 + 1/2 \geq |Q_n(1^2) - g(1)| + |Q_n((-1)^2) - g(-1)|[/tex]
[tex]=|Q_n(1) - g(1)| + |Q_n(1) - g(-1)|[/tex]
[tex]\geq |g(1)-g(-1)| = |1+1| = 2[/tex], which is false. Therefore there is no such [tex]Q_n[/tex].
 
It certainly makes sense. I haven't gone through all the details, but the main idea is surely correct.