double-dual types over the banach space巴拿赫空间double-dual类型.pdfVIP

DOUBLE-DUAL TYPES OVER THE BANACH SPACE C(K ) MARKUS POMPER Received 27 February 2005 and in revised form 5 July 2005 Let K be a compact Hausdorff space and C(K ) the Banach space of all real-valued contin- uous functions on K , with the sup-norm. Types over C(K ) (in the sense of Krivine and Maurey) can be uniquely represented by pairs (, u) of bounded real-valued functions on K , where is lower semicontinuous, u is upper semicontinuous, ≤ u, and (x ) = u(x ) for all isolated points x of K . A condition that characterizes the pairs (, u) that represent double-dual types over C(K ) is given. 1. Statement of the main theorem The concept of type over a Banach space E was first introduced by Krivine and Maurey [7] in the context of separable Banach spaces. The reader is referred to Garling’s monograph [4] for more details. We consider general, not necessarily separable Banach spaces. Let E be a Banach space. For every x ∈ E, we define a function τ : E → R by letting τ (y ) = x x x + y for all y ∈ E. Definition 1.1. A function τ : E → R is a type over E if τ is in the closure (with respect to the topology of pointwise convergence) of the set {τx : x ∈ E }. The definition given here is equivalent to the definition given in [ 1]. That is, τ is a type over E if and only if there exists an ultrafilter over an infinite index set λ and a bounded family of elements (xα )α∈λ in E such that τ (y ) = limα∈ xα + y for all y ∈ E. The reader is referred to [5] for more details regarding the choice of the ultrafilter. Throughout, we let K be a compact Hausdorff topological space. The topology on K is denoted by Ω. We let ∞ (K ) denote the Banach lattice of bounded real-valued func- tions on K equipped with the sup-norm. For f ,g ∈ ∞ (K ), the lattice ordering is defined pointwise. An sc pair (semicontinuous pair) is a pair of fun