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

Suppose $\phi({\bf x},{\bf z})$ is a continuous function of two arguments,

$\phi: {\mathbb R}^N \times Z \rightarrow {\mathbb R}$,

where $Z \subset {\mathbb R}^m$ is a (non-empty) compact convex set. Further assume that $\phi({\bf x},{\bf z})$ is convex in ${\bf x}$ for every ${\bf z} \in Z$.

Is the function $f({\bf x}) = \max_{{\bf z} \in Z} \phi({\bf x},{\bf z})$ continuous? For sure it is convex, but what about continuity?

I think one can appeal to the so-called Danskin's theorem to answer this, but I am not sure.

share|improve this question
1  
For purposes of continuity of $f$, convexity is irrelevant, and Danskin's theorem is irrelevant. As $\bf x$ varies, the compact subsets $\phi({\bf x},Z)$ vary continuously in the Hausdorff metric on compact subsets of $\bf R$, and so their maxima vary continuously. But, this is really a question for math.stackexchange.com, not MO. –  Lee Mosher Apr 27 '12 at 16:55
    
I believe you are right, thanks. Do you know if the continuity is maintained when in addition one imposes that ${\bf x} \in {\bf X}$ where $\bf X$ is (non-empty) compact and convex? –  Stewart Apr 27 '12 at 16:58
    
Yes. All that is relevant to make this argument work is that $\phi : X \cross Z \to \R$ is continuous, $X$ is a topological space, and $Z$ is a compact topological space. Consult any introductory book on topology. –  Lee Mosher Apr 27 '12 at 17:09
    
Thanks! I understand I might have underrated the importance of this website with my ignorance - my apologies. –  Stewart Apr 27 '12 at 17:21

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.