Suppose $H$ is a Hilbert space of functions $f:\Omega\to \mathbb{R}^n$ with $\Omega\subset \mathbb{R}^n$ open, bounded and with Lipschitz boundary (take for example $H=H_0^1(\Omega)^n$) and suppose $B$ is a Banach space that is continuously and densely embedded in $H$. Let $g\geq 0$ and continuous, is the set $$C(B,g):=\{f\in B: f(x)_{\mathbb{R}^n}\leq g(x) \text{ a.e. } x\in \Omega\}$$ dense in $$C(H,g):=\{f\in H: f(x)_{\mathbb{R}^n}\leq g(x) \text{ a.e. } x\in \Omega\}?$$
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Here is a counterexample. Take some strictly positive function $w\colon [0,1] \to R$ which is in $L^2$ and has a dense set of singularities, for example $$ w(x) = \sum_{q \ge 1}\sum_{p=1}^q {1\over q^4 xp/q^{1/4}} $$ Then I choose $B$ to be the space of all functions of the form $f = Fw$ with $F$ continuous and $\f\ = \sup f(x)/w(x)$. In this case, $C(B,g) = \{0\}$, which is not dense in $C(H,g)$ if you take for example $H = L^2([0,1])$. The fact that $B$ is dense in $H$ is an exercise for the reader ;) 

