Let $E$ be a reflexive $ \mathbb K$−Banach space and assume that $M$ is a convex, closed, bounded subset of $E.$ Prove that for any $x ∈ E$, there exists $x_0 ∈ M$ so that $|x−x_0| = \inf\{|x−y| :y ∈ M \}$.

I got the hint to use Fenchel-Rockafellar Theorem (also known as Fenchel's Duality Theorem) and then use the weak* topology $\sigma(E^*,E)$.

But I don't see the use of applying this theorem in this case. Why does one need this and how does one prove this statement using this particular theorem?


It is the classical result in convex analysis. You do not actually need Fenchel duality here if you combine the following three basic facts:

P.S. The set does not have to be bounded if you use the third mentioned variant of the Weierstrass theorem.

  • $\begingroup$ I find it simpler to look at $$\bigcap_{r > \operatorname{dist}(x,M)} (\overline{B_r(x)}\cap M).$$ $\endgroup$ – Daniel Fischer Nov 17 '16 at 22:49
  • $\begingroup$ @DanielFischer Yeah, it is exactly as the standard proof goes there. $\endgroup$ – A.Γ. Nov 17 '16 at 22:52
  • $\begingroup$ But I don't use the lower semicontinuity of the norm or the Weierstraß theorem, just (weak) compactness. $\endgroup$ – Daniel Fischer Nov 17 '16 at 22:54
  • $\begingroup$ @DanielFischer You suggest to prove the Weierstraß theorem instead of refering to it? Because the way it is proved is precisely looking at those sets and then take the cluster point as $x_0$. My point was to leave some details to OP to discover. $\endgroup$ – A.Γ. Nov 17 '16 at 23:01
  • $\begingroup$ Okay, thinking about it, it's the same proof as for the extreme value theorem. $\endgroup$ – Daniel Fischer Nov 17 '16 at 23:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.