Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $(f_n)_n$ be sequence of real-valued continuous functions on a compact, Hausdorff space $K$ with pairwise disjoint (closed) supports satisfying $$0<\inf_n \|f_n\|\leq \sup_n\|f_n\|<\infty.$$

Take a sequence $(a_n)\in c_0$, that is, with $\lim_{n\to \infty}a_n=0$. Does the formula

$$\sum_{n=1}^\infty a_n f_n$$

define an element of $C(K)$? The convergence of the series above is supposed to be uniform, that is in the norm of $C(K)$.

share|cite|improve this question
up vote 2 down vote accepted

Yes, and the condition $0<\inf_n\|f_n\|$ isn't needed. Let $f$ denote the limit. Then for each $N\in \mathbb N$, $$\left\|f-\sum\limits_{n=1}^N a_nf_n\right\|=\left\|\sum\limits_{n={N+1}}^\infty a_nf_n\right\|=\sup\limits_{n\geq N+1} |a_n|\|f_n\|,$$

and this converges to $0$ as $N\to\infty$ because $(f_n)_n$ is uniformly bounded and $(a_n)$ converges to $0$. (Note how disjointness of the supports is used to infer that these series are well-defined and that the last equality is true.)

Answer to the original version, before the condition of uniform boundedness was added (I had posted after the edit but before I saw the edit):

Not in general. The series need not even represent a continuous function, let alone converge uniformly. E.g. let $K=\{0\}\cup\{\frac{1}{n}:n\in\mathbb Z^{>0}\}$ as a subspace of $\mathbb R$ with the usual topology, let $f_n=n^2\chi_{\{1/n\}}$, and let $a_n=\frac{1}{n}$.

share|cite|improve this answer
Thanks, but how do we know $f$ exists? – Jan Veselý Jan 25 '12 at 17:28
Let $x\in K$. Let $A_x=\{n\in\mathbb N:f_n(x)\neq 0\}$. Note that $|A_x|\leq 1$. If $|A_x|=0$, then $f(x)=0$. If $A_x=\{n\}$, then $f(x)=a_nf_n(x)$. That is, each $x$ in $K$ is in at most one of the supports, so the series simply evaluates according to that one support, or is $0$ if $x$ is not in any of the supports. – Jonas Meyer Jan 25 '12 at 17:31
Thank you very much. – Jan Veselý Jan 25 '12 at 17:39

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.