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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider a continuous function $\phi: \mathbb{R}^n \times \mathbb{R}^m \rightarrow \mathbb{R}_{\geq 0}$ and a locally bounded function $\psi:\mathbb{R}^n \rightarrow \mathbb{R}^m$.

So we study functions of the kind $\phi(x,\psi(y))$ for $x,y \in \mathbb{R}^n$.

Prove the following proposition.

Fixed $\bar x \in \mathbb{R}^n$, for any $\epsilon>0$ there exists $\delta > 0$ such that

$$ \max_{(x,y) \in X \times X} \{ \phi(x,\psi(y)) - \phi(y,\psi(y)) \} < \epsilon $$

where $X = {\bar x} + \delta \mathbb{B}$ is the closed ball around $\bar x$.

share|cite|improve this question
Hint: Use uniform continuity of $\phi$ on compact sets. – Francesco Sica May 14 '12 at 3:31
I know. I'm just wondering if the discontinuity of $\psi(\cdot)$ can cause problems. – Adam May 14 '12 at 5:17
So maybe we can write $$\max_{(x,y) \in X^2} \{ \phi(x,\psi(y))-\phi(y,\psi(y)) \} \leq \max_{(x,y) \in X^2, \ z \in \overline{\psi(\{X\})}} \{ \phi(x,z)-\phi(y,z) \}. $$ Then we notice that $(x,y,z) \mapsto \phi(x,z)-\phi(y,z)$ is continuous and the result follows. – Adam May 14 '12 at 5:33

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.