2

1

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$?

flag
2 
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 2010 at 15:28
In what sense does $f_n\to f$? Uniform convergence? – Willie Wong Dec 9 2010 at 15:49
4 
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 2010 at 16:14
Oh... yeah, you are right. I wasn't paying enough attention. – Willie Wong Dec 9 2010 at 16:33
1 
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 2010 at 3:41

Your Answer

Get an OpenID
or

Browse other questions tagged or ask your own question.