1
$\begingroup$

I am reading something on Sobolev spaces.

We define $D(\Omega)$ to be the set of function in $C^{\infty}(\Omega)$ that has compact support in $\Omega$.

I know that compact support is completion of the set where a function is non-zero.

but, what does it mean by "have compact support in $\Omega$"? Does it mean it is a function such that its compact support is a subset of $\Omega$?

  • 0
    Yes, that's exactly what it means. These are functions which are only nonzero on (pre)compact subsets of $\Omega$.2012-10-16

2 Answers 2

1

I'll turn my comment into an answer. If $\Omega\subset\mathbb{R}^n$ is a domain, a function $f$ on $\mathbb{R}^n$ "has compact support in $\Omega$" provided $supp(f)$ is a compact subset of $\Omega$. Functions with compact support in $\Omega$ are those which are only nonzero on precompact subsets of $\Omega$.

1

You can define support of a function by $supp(f)=\overline{\{x\in\Omega: f(x)\neq 0\}}$

Now when you say that the function have compact support, you mean that the set $supp(f)$ is compact.

  • 0
    Maybe I did not make this clear enough, I wanted to know what it meant by have "compact support in $\Omega$". The "in $\Omega$" bit is the key. It has been answered already. Don't worry2012-10-16