4
$\begingroup$

Let $C^{0,1}([a,b])$ be the space of all Lipschitz-continuous functions $x\colon [a,b] \to \mathbb{R}$ with the metric $ d_{0,1}(x,y) := \sup_{a \le t \le b} |x(t) - y(t)| + \sup_{a \le s,t \le b, s\ne t} \left| \frac{x(s) - x(t)}{s-t} - \frac{y(s) - y(t)}{s - t} \right|. $ So that $x \in C^{0,1}([a,b])$ if $x \in C([a,b])$ and there exists a constant $L$ such that $ |x(s) - x(t)| \le L|s-t| \qquad \forall s,t \in [a,b]. $ Show that

a) The sphere $K = \{ x \in C^{0,1}([a,b]) : d_{0,1}(x,0) \le 1 \}$ is a compact subset of $(C([a,b]), \Delta)$.

b) $C^{0,1}([a,b])$ is not separable.

I knew the definitions, but I have no idea how the attack these problems, do you have any hints?

  • 0
    In case you need some further hints than what is in Rudolf L.'s answer you should probably say what is missing. Note that $K$ is uniformly bounded ($\Delta(0,k) \leq 1$ for all $k \in K$) and equicontinuous ($L \leq 1$), so, using Arzela-Ascoli, you only have to check that $K$ is closed in $(C([a,b]),\Delta)$, but that's relatively easy. Also, Rudolf L. shows how to exhibit a discrete subset of size $\#\mathbb{R}$ in $C^{0,1}([a,b])$ so that it cannot be separable.2012-10-29

1 Answers 1

6

Presumably $\Delta(x,y) = \sup_{a \leq t \leq b} |x(t) - y(t)|$.

For a): as Giuseppe said: use the Arzelà-Ascoli theorem (for $f \in K$ you have $L \leq 1$).

For b): For $p \in [a,b]$ consider the function $f_p(t) = |p-t|$ and show that for $p \neq q$ $ d_{0,1}(f_p,f_q) = \underbrace{\sup_{t} \cdots}_{= d(p,q)} + \underbrace{\sup_{s,t} \cdots}_{\geq 2} \geq d(p,q) + 2 $ (plug $p$ and $q$ for $s$ and $t$ into the definition of $d_{0,1}$ to get those estimates).

  • 0
    Arzel\`a-Ascoli allows you to show that the set is _relatively_ compact. To prove compactness, you need to show additionally that the metric space is complete. How would you do that?2014-04-21