Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Weakly l.s.c. function attains its min on weakly compact set?

  1. Mar 2, 2008 #1

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    1. The problem statement, all variables and given/known data
    I'm reading the proof of a theorem and the author claims w/o justification that a weakly lower semi-continuous function (w.l.s.c.) f:C-->R attains its min on the convex weakly compact subset C of a normed space E.

    At first I though I saw why: Let a be the inf of f on C and x_n be a sequence in C such that f(x_n) --> a. Since C is weakly compact, we can find a weakly convergent subsequence x_n_k-->x, and because f is w.l.s.c., we will have f(x)<=a, thus f(x)=a.

    But what reason do we have to believe that C is weakly sequentially compact, so that the bold part above is justified??

    (By "weakly" I mean "under the weak topology [tex]\sigma(C,C^*)[/tex]".)
     
    Last edited: Mar 2, 2008
  2. jcsd
  3. Mar 2, 2008 #2

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    That a weakly compact set C is weakly sequentially compact is true, and follows from the Eberlein-Smulian theorem. But the Eberlein-Smulian is highly nontrivial, so there's probably an easier way to see why what you said is true.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook