Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\alpha \in (0,1]$. A function $f: [0,1]\rightarrow \mathbb{R}$ is defined to be $\alpha$-Hölder continuous if

$$ N_{\alpha}(f)=\sup\{ \frac{|f(x)-f(y)|}{|x-y|^\alpha} : x,y\in[0,1] \ \ \ \ x\neq y \} < \infty $$

(a) Suppose $\{f_n\}$ is a sequence of functions from $[0,1]$ to $\mathbb{R}$ such that for all $n=1, 2, 3, \cdots $ we have $N_{\alpha}(f_n)\leq 1$ and $|f_n(x)|\leq 1$ for all $x\in [0,1]$. Show that $f_n$ has a uniformly convergent subsequence.

(b) Show that (a) is false if the condition "$N_{\alpha}(f_n)\leq 1$" is replaced by "$N_{\alpha}(f_n) < \infty$".

End of question.

My problem is part(b) confused me. See, for part (a) $f_n$ is uniformly bounded on compact set $[0,1]$ and equicontinuous, hence Arzela Ascoli theorem can be applied and the conclusion followed.

The way I showed equiconinuity is this,

Given $\epsilon >0$, take $\delta < \epsilon^{\frac{1}{\alpha}}$, hence if $|x-y|<\delta$, $|f_n(x)-f_n(y)|<\epsilon$ for all $n\in \mathbb{N}$ and $x\in[0,1]$.

Now suppose that in Part (b), we let $N_{\alpha}(f_n)=M<\infty$, isn't it that if we take $\delta< (\frac{\epsilon}{M})^{\frac{1}{\alpha}}$ then equicontinuity still holds and Arzela Ascoli theorem still apply? Why not? What is the example in (b)? I am really confused. Hope someone can help me with this. Thanks.

share|improve this question
2  
The way the question is formulated you cannot conclude $N_\alpha(f_n)\le M$. You can only assume $N_\alpha(f_n)\le M_n$, but $M_n$ may be unbounded. –  user20266 Aug 5 '12 at 12:13
    
wow, yes, I completely miss that. Thanks. –  KWO Aug 5 '12 at 12:15
    
Dear Thomas, do you have an example for (b), I am thinking about $x^{1/n}$ but having some difficulties showing $N_{\alpha}(f_n)$ is finite. –  KWO Aug 5 '12 at 12:17

1 Answer 1

up vote 1 down vote accepted

I think you misinterpreted in b., since it's a case contained, after scaling in the first one.

Consider a sequence of functions $f_n$ such that $f_n(k2^{-n})=0$ for each $k$ and $f_n((2k+1)2^{-n-1})=1$, with linear interpolation. Then $\lVert f_n\rVert_{\infty}=1$ and $N_{\alpha}(f_n)=2^{(n+1)\alpha}$. A subsequence cannot be uniformly equicontinuous. Indeed, let $\{n_k\}$ an increasing sequence of integers. We will see that the condition of equi-continuity fails for $\varepsilon=1/2$. For $f_{n_k}$ we can take at most $\delta=2^{-(n_k+1)}$, but it won't work for $f_{n_{k+1}}$.

$f_n$ for $n=2$.

share|improve this answer
    
sorry still try to visualize your function. –  KWO Aug 5 '12 at 12:24
    
Got it, thanks a lot. –  KWO Aug 5 '12 at 12:28
    
@KWO I've included a picture. –  Davide Giraudo Aug 5 '12 at 12:34
    
Thanks again, it is very nice of you. –  KWO Aug 5 '12 at 12:38

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.