A quantitative version of Krein's theorems for Fréchet spaces

Abstract

For a Banach space E and its bidual space E'', the function k(H) defined on bounded subsets H of E measures how far H is from being &#963;(E,E')-relatively compact in E. This concept, introduced independently by Granero, and Cascales et al., has been used to study a quantitative version of Krein¿s theorem for Banach spaces E and spaces Cp(K) over compact K. In the present paper, a quantitative version of Krein¿s theorem on convex envelopes coH of weakly compact sets H is proved for Fréchet spaces, i.e. metrizable and complete locally convex spaces. For a Fréchet space E, the above function k(H) has been defined in thisi paper by menas of d(h,E) is the natural distance of h to E in the bidual E''. The main result of the paper is the following theorem: For a bounded set H in a Fréchet space E, the following inequality holds k(coH) < (2^(n+1) &#8722; 2)k(H) + 1/2^n for all n &#8712; N. Consequently, this yields also the following formula k(coH) &#8804; (k(H))^(1/2))(3-2(k(H)^(1/2))). Hence coH is weakly relatively compact provided H is weakly relatively compact in E. This extends a quantitative version of Krein¿s theorem for Banach spaces (obtained by Fabian, Hajek, Montesinos, Zizler, Cascales, Marciszewski, and Raja) to the class of Fréchet spaces. We also define and discuss two other measures of weak non-compactness lk(H) and k'(H) for a Fréchet space and provide two quantitative versions of Krein¿s theorem for both functions.