Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

How would one show that the set consisting of the monomials $1,x,x^2,...$ is a closed subset of the metric space $C[a,b]$ under the metric $d(a,b) = ||a-b|| =sup_{[0,1]}|a-b|$ ?

I considered its complement and had a hard time getting started; since given any element which is a sum of these terms (possibly with different coefficients, I don't see where to start in showing that an $\epsilon$-Ball of that element would be contained in the complement. Proving every convergent sequence in my set of monomials has a limit in there is an option, but I really need some guidance on how to set up that kind of proof since I don't feel clever enough yet to pull of a proof with sequences.

share|improve this question
Suppose you have a sequence $(x^{n_k})$ converging to some $f \in C([0,1])$. Then you have $x^{n_k} \to f(x)$ for each $x\in [0,1]$. What can you say if $(n_k)$ is unbounded? And if it is bounded? –  martini Apr 25 '12 at 7:44

1 Answer 1

up vote 2 down vote accepted

Let $P=\{p_n\mid n\geqslant0\}$ where $p_n:[0,1]\to\mathbb R$, $x\mapsto x^n$. Assume that there exists a sequence $(f_n)_n\subseteq P$ and a function $f$ in $C[0,1]$ such that $f_n\to f$ uniformly. Thus $f_n=p_{\varphi(n)}$ for some function $\varphi:\mathbb N\to\mathbb N$. Either (i) there exists some $k$ such that $f_n=p_k$ for infinitely many $n$, or (ii) $\varphi(n)\to\infty$.

In case (i), a subsequence of $(f_n)_n$ is identically equal to $p_k$ hence it converges to $p_k$, and the whole sequence converges to $f$, hence $f=p_k$.

In case (ii), $\varphi(n)\to\infty$ hence $p_{\varphi(n)}(x)\to0$ if $x\ne1$ and $p_{\varphi(n)}(1)=1$ for every $n$, that is, $f_n\to g$ pointwise, where $g(x)=0$ for every $x\ne1$ and $g(1)=1$. Since $f_n\to f$ uniformly, $f_n\to f$ pointwise hence $f=g$. But $g$ is not in $C[0,1]$, this is absurd.

Finally, every sequence in $P$ which converges to a limit point in $C[0,1]$ has its limit in $P$, hence $P$ is closed in $C[0,1]$.

share|improve this answer
Sorry I mixed the notation. Thanks for the clarification and response. –  cap Apr 25 '12 at 21:02

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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