1

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$?

Lost1
  • 7,895
  • Yes, that's exactly what it means. These are functions which are only nonzero on (pre)compact subsets of $\Omega$. – Neal Oct 16 '12 at 16:09

2 Answers2

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.

Tomás
  • 22,559
  • 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 worry – Lost1 Oct 16 '12 at 18:37
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$.

Neal
  • 32,659