2
$\begingroup$

Let $f$ be a continuous function on $A$ which is a compact subset of $\mathbb{R}^2$. Due to Weierstrass theorem, I know that there exists $(a,b) \in A$ such that $$f(a,b) = \max_{(x,y)\in A} f(x,y).$$ This implies that the set $$U = \arg \max_{(x,y)\in A} f(x,y)$$ is non-empty. My question is the following: is it always possible to "choose" an element of U when U is non-singleton ?

I thought considering some lexicographical order on U, but I don't see how to prove that a maximal element always exists.

  • 0
    $U$ will always be compact (as a closed subset of the compact set $A$), so lexicographical order will have a maximal element.2012-10-16
  • 1
    @martini : the topology on $\mathbb{R}^2$ induced by the lexicographical order is not the same as the standard topology. I don't think $U$ has to be compact with respect to the topology induced by the lexicographical order. So it must be proven that $U$ has a maximal element in that order (but I don't that will be difficult).2012-10-16
  • 1
    @Romain : If you mean the standard lexicographical ordering on $\mathbb{R}^2$, then $U$ is not necessarily compact in that order topology, but it is not difficult to show that $U$ has a maximal element in that ordering.2012-10-17

0 Answers 0