2
$\begingroup$

Let $M$ be a non-compact manifold and denote by $C_b(M)$ the space of bounded continuous functions on $M$. Is it true that the space of Hölder functions is dense in $C_b(M)$ (in the $C^0$ norm: $||f||=\sup_{x\in M}|f(x)|$)?

$\endgroup$
2
  • 1
    $\begingroup$ Presumably you don't want just an arbitrary manifold, but a Riemannian manifold in order to have a canonical metric w.r.t. which "Hölder continuous" is sensibly defined. $\endgroup$ Commented Apr 10, 2018 at 18:23
  • 2
    $\begingroup$ What is Hölder continuity in the absence of a distance on $M$? Also: Hölder of every order, or of some arbitrary but fixed order? $\endgroup$ Commented Apr 10, 2018 at 18:23

2 Answers 2

4
$\begingroup$

With $M = \mathbb{R}$, not even the uniformly continuous functions are dense in $C_b(\mathbb{R})$. As an example, take any bounded continuous functions with faster and faster oscillation, such as $x\mapsto \sin(x^2)$.

It's not hard to show that on any metric space---or more generally on any uniform space---the uniformly continuous functions are a $C^0$-closed subset of $C_b(M)$. So you can at most expect to be able to approximate these. I don't have access to the paper right now, but there is a version of the Stone-Weierstraß theorem due to Isbell that may give a useful sufficient criterion for when this actually happens.

$\endgroup$
1
  • 1
    $\begingroup$ About the Lipschitz approximation of uniformly continuous functions: there is a nice article on wikipedia: en.wikipedia.org/wiki/… $\endgroup$ Commented Apr 10, 2018 at 19:11
2
$\begingroup$

It is not: for instance on the non-compact manifold $M:=\mathbb{R}_+$ the bounded continuous function $x\mapsto \sin(1/x)$ has obviously uniform distance greater or equal to $1$ from any uniformly continuous function, since the latter has a limit for $x\to0$.

$\endgroup$

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.