Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Consider the Fr├ęchet space $\Omega = C(\mathbb R^d)$ of real-valued continuous functions equipped with the seminorms $$\|f\|_D := \sup_{x,y \in D} \left\{ |f(x)|, \tfrac{|f(x)-f(y)|}{|x-y|} \right\}, \qquad \mathrm{for~compact~} D \subseteq \mathbb R^d.$$ That is, $\|f\|_D$ is the larger of the supremum norm and the Lipschitz constant of $f$ over $D$.

Let $D \subseteq \mathbb R^d$ be compact, and let $f \in \Omega$. Consider a sequence $D_n$ of compact sets and a sequence of functions $f_n$ so that:

  • $D_n \to D$ in the Hausdorff topology,
  • $f_n \to f$ in $\Omega$, and
  • There exists a value $h$ so that $\|f_n\|_{D_n} \le h$ for all $n$.

Is it the case that $\|f\|_D \le h$?

share|improve this question
This is what I would say if you posted the question to www.artofproblemsolving.com ... "Have you tried proving it? How did you start? What went wrong?" –  Gerald Edgar Dec 9 '10 at 15:28
In what sense does $f_n\to f$? Uniform convergence? –  Willie Wong Dec 9 '10 at 15:49
I agree with Gerald. You can work this out yourself. And, Willie, I don't think it matters what kind of convergence it is. –  Deane Yang Dec 9 '10 at 16:14
Oh... yeah, you are right. I wasn't paying enough attention. –  Willie Wong Dec 9 '10 at 16:33
Thanks, guys. As you can tell, my brain is fried at the end of this semester. Sometimes you need people saying, "This is easy, solve it yourself," to realize that this is easy and you can solve it yourself. –  Tom LaGatta Dec 10 '10 at 3:41
add comment

Your Answer


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

Browse other questions tagged or ask your own question.