Skip to main content
1 of 2
Isaac
  • 3.5k
  • 16
  • 22

How should I understand the "$C^\infty$ functions" whose domain is the dual of $C^\infty(\mathbb{R}^n)$?

I am reading Colombeau's book "New Generalized Functions and Multiplication of Distributions" and he uses the notation $E(E'(\Omega))$ out of nowhere.

Here $\Omega$ is any open subset of some $\mathbb{R}^n$ and $E(\Omega)$ is the space of complex-valued $C^\infty$ functions on $\Omega$. $E'(\Omega)$ is the dual space of $E(\Omega)$.

So, my questions are:

  1. What topology is given on $E(\Omega)$ in general? Here $\Omega$ doesn't have to be bounded at all.. We need to deal with this issue in order to define $E'(\Omega)$.

  2. What topology is given on the dual space $E'(\Omega)$ then? This is necessary to define the notion of "$C^\infty$" for the functions whose domain is $E'(\Omega)$.

Could anyone clarify?

Isaac
  • 3.5k
  • 16
  • 22