-1
$\begingroup$

Let $\mu$ be a $\sigma$-finite measure on $R^n$ ($n\geq 1$) and $(E,d)$ be a complete metric space. For any measurable function $f: R^n\to E$ with $$ \int_{R^n}d(f(x),f(x_0))\mu(dx)<\infty,\quad \forall x_0\in R^n, $$ is there a sequence of continuous function $f_n$ such that

$$ \lim_{n\to\infty}\int_{R^n}d(f_n(x),f(x))\mu(dx)=0 \quad?? $$ Is there any reference for this?

$\endgroup$
4
  • $\begingroup$ So X is also a topological space? Please restate precisely your assumptions $\endgroup$ Commented Aug 30, 2019 at 15:19
  • $\begingroup$ Sorry. I just change $X$ to $R^n$ for simple. $\endgroup$ Commented Aug 30, 2019 at 16:09
  • 1
    $\begingroup$ Note that you may embed $E$ isometrically into a Banach space $B$. If you are ok with $f_n$ to be $B$-valued, and if $f(X)$ is separable, then the answer is yes. $\endgroup$ Commented Aug 30, 2019 at 18:22
  • $\begingroup$ Thanks. Can you provide a reference? Thank you. $\endgroup$ Commented Aug 30, 2019 at 19:14

1 Answer 1

3
$\begingroup$

No, let $\mu$ be Lebesgue measure on $[0,1] \subset \mathbb{R}$ (and zero outside $[0,1]$), let $E = \{0,1\}$, and let $f(t) = \begin{cases}0&t < 1/2\cr 1& t\geq 1/2\end{cases}$. The only continuous functions are two constant functions, so the kind of approximation you want is impossible.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .