1
$\begingroup$

I have to choose whether the following operator

$$f\in L^2(\mathbb{R})\mapsto\int_{\mathbb{R}}f(x) e^{-x^2} dx$$

is a compact operator. I have tried to use the Cauchy Schwarz inequality

$$\langle f, e^{-x^2}\rangle \leq \|f\|_{L^2} \cdot \underbrace{\|e^{-x^2}\|_{L^2}}_{\leq\pi} \leq\pi\cdot\|f\|_{L^2} $$

but how can I identify the compactness of an operator?

$\endgroup$
  • 2
    $\begingroup$ Any continuous linear map into a finite dimensional vector space is necessarily compact. $\endgroup$ – Omnomnomnom Nov 20 '18 at 15:36
3
$\begingroup$

$T:X\to Y$ is compact if it sends bounded sets to relatively compact sets. Your operator $T:L^2\to\mathbb R$ sends bounded sets to bounded sets (because of Cauchy-Schwarz), but bounded sets in $\mathbb R$ are relatively compact, so the operator is compact.

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.