Fall 2009 - Problem 1

construction, Lp spaces

Find a non-empty closed set in the Hilbert space L2([0,1])L^2\p{\br{0, 1}} that does not contain an element of smallest norm.

Solution.

Let fn=nχ[0,1n2+1n3]f_n = n\chi_{\br{0, \frac{1}{n^2} + \frac{1}{n^3}}} and consider A={fnn1}L2([0,1])A = \set{f_n \mid n \geq 1} \subseteq L^2\p{\br{0, 1}}.

First, notice that

[0,1]fn2=n2(1n2+1n3)=1+1n,\int_{\br{0,1}} \abs{f_n}^2 = n^2 \p{\frac{1}{n^2} + \frac{1}{n^3}} = 1 + \frac{1}{n},

so AA does not have an element with minimal normal. Furthermore, AA is closed. Indeed, suppose there is a sequence {fnj}A\set{f_{n_j}} \subseteq A which converges to fL2([0,1])f \in L^2\p{\br{0, 1}}. Passing to a subsequence if necessary, we may assume that fnj(x)f_{n_j}\p{x} converges to f(x)f\p{x} almost everywhere.

If J{njj1}J \coloneqq \set{n_j \mid j \geq 1} is bounded, then fAf \in A, since each fnf_n is isolated. Otherwise, if JJ is unbounded, there exists a subsequence {njk}\set{n_{j_k}} which increases to \infty. Since {fnj}\set{f_{n_j}} converges pointwise almost everywhere to ff, so must every subsequence, so

f(x)=limjfnj(x)=limkfnjk(x)=limnfn(x)=0f\p{x} = \lim_{j\to\infty} f_{n_j}\p{x} = \lim_{k\to\infty} f_{n_{j_k}}\p{x} = \lim_{n\to\infty} f_n\p{x} = 0

almost everywhere. But this would mean that

1limnfnL2=fL2=0,1 \leq \lim_{n\to\infty} \norm{f_n}_{L^2} = \norm{f}_{L^2} = 0,

which is impossible. Hence, JJ must have been bounded to begin with, i.e., every convergent sequence in AA converges in AA, so AA is closed.