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

Sequence of continuous functions $(f_k)$ which converge to $f$ in $C(\Bbb R)$. Does it imply that $f_k$ will converge to $f$ in $\mathcal D'(\Bbb R)$ as well? Or we need something more to make this assertion?

[Here $\mathcal D'(\Bbb R)$ is a linear continuous functional on $\mathcal D(\Bbb R)$ ; collection of all linear maps: from $\mathcal D(\Bbb R)$ to $\Bbb R$)

and we say $f\in$ $\mathcal D'(\Bbb R)$, is continuous in the sense that for all $\phi_n\to \phi$ in $\mathcal D(\Bbb R)$ => $(f,\phi_n)\to(f,\phi)$ in $\mathcal D'(\Bbb R)$]

share|cite|improve this question
what do you mean exactly by convergence in $C(R)$ ? uniform convergence on compacts ? – Glougloubarbaki May 20 '13 at 21:38
What type of convergence are you taking in $C(\mathbb{R})$? – Tomás May 20 '13 at 21:38
But you have to especify what you mean by convergence in this space. Also, in some few lines after it, you use the space $\mathcal{D}(\Omega)$. Its does not make sense, the function $f=1$ for all $x$ is in $C(\mathbb{R})$ but does not belong to $\mathcal{D}(\mathbb{R})$ – Tomás May 20 '13 at 21:44
I - There is not motive a priori for $f\in C(\mathbb{R})$ implies that $f\in \mathcal{D}'(\mathbb{R})$. II - To say that $f_k\to f$ in $C(\mathbb{R})$ you have to especify what this mean (or in other words you have to define it). – Tomás May 20 '13 at 22:04
@SaraTancredi every continuous function is a distribution, but you still need to specify what you mean by $f_k \rightarrow f$ in $C(\mathbb{R})$ – Glougloubarbaki May 20 '13 at 22:32

It seems that the type of convergence considered is: $f_n\to f$ in $C(\mathbb{R})$ if for every fixed compact $K\subset \mathbb{R}$ we have that $f_n\to f$ uniformly in $K$. By using this definition we have that $f_n\to f$ as a distribution, i.e. if we define $T_n(\phi)=\int_\mathbb{R} f_n\phi$ and $T(\phi)=\int_\mathbb{R}f\phi$, $\phi\in \mathcal{D}(\mathbb{R})$ then $T_n\to T$ in $\mathcal{D}'(\mathbb{R})$

To prove the claim in the last paragraph, let $K=\overline{\operatorname{support}(\phi)}$, where by definition $K$ is a compact set. Hence, $f_n\to f$ uniformly in $K$, which implies that

$T_n(\phi)=\int_\mathbb{R}f_n\phi=\int_K f_n\phi\to \int_Kf\phi=\int_\mathbb{R} f\phi=T(\phi)$ for every $\phi\in \mathcal{D}(\mathbb{R})$

share|cite|improve this answer

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.