Pacific Journal of Mathematics: The Mazur Property For Compact Sets
Pacific Journal of Mathematics: The Mazur Property For Compact Sets
Pacific Journal of Mathematics: The Mazur Property For Compact Sets
Mathematics
A BDERRAZZAK S ERSOURI
Introduction. Mazur [6] was the first who considered the following
separation property, denoted by (/):
Every bounded closed convex set is the intersection of balls con-
taining it.
Later, Phelps [7] proved that property (/) is weaker than the Frechet
differentiability of the norm, and gave a dual characterization for (/)
in the finite dimensional case.
Phelps' theorem was extended to the infinite dimensional case in
[3], where the property (/) was dually characterized.
Here we will give another extension of Phelps' theorem by charac-
terizing the following property, denoted by {CI):
Every compact convex set is an intersection of balls.
This property was recently introduced by Whitfield and Zizler [9].
We use this characterization to give a "transfer theorem" for prop-
erty (CI), which is analogous to the one given for property (/) [2].
We also prove a stability result for property (CI), which is of the
same nature as the one given by Zizler for Lux. renormings [10]. Our
proof can be modified to give a similar stability result for property
CO-
Some renorming results of Whitfield-Zizler [9], and Deville [2] are
particular cases of these stability results.
185
186 ABDERRAZZAK SERSOURI
Proof, (i) => (ii). Let fe S(X*), K a compact subset of B(X), and
ε > 0. We want to find g e Ext(B{X*)), and λ > 0, such that
K
Without loss of generality we can suppose that K is absolutely convex
and \\f\\κ > 1 - ε/2.
(Indeed, let x e B(X) such that f(x) > 1 - ε/2, and let L be
the closed convex symmetric hull of K u {x}. The above mentioned
reduction is then possible since || \\L > || ||*.) Let u e K be such
ι
that f(u) = 1 - ε/2, and put u' = (ε/4)w, and D = K n f~ (0). By (i),
there exists z eX, r > 0, such that uf £ B(z, r), and D c B(z, r).
Let w be the unique element of [S(z,r) n cv{u'f z)]. Put x =
(w - z)/r, and let g e Ext{B(X*)) such that ||x|| = g(x) = 1. Then it
is easy to see that:
0 < g{w) = Sup g < g{uf), so 11*11* > 0.
B(z,r)
Let λ > 0 be such that ||A*||* = 1. Then for every fceΰwe have:
< λg(u') = ελg(u)/4 < ε/4,
and by symmetry of Z>, we have \\λg\\D < ε/4.
THE MAZUR PROPERTY FOR COMPACT SETS 187
λg <ε/2 or <e/2.
K K 11/Ik K
(ii) => (i). (Our proof is simpler than the one given by Whitfield
and Zizler [9].) Let AT be a compact convex subset of X not containing
0. By (ii) and the Hahn-Banach theorem there exists g e Ext(B(X*))
such that info g > 0.
Let us first note the following easy fact:
On bounded subsets of X*, the w*-topology coincides with the topol-
ogy y of uniform convergence on compact sets of X.
From the extremality of g, we deduce that there exists an x e S(X),
δ>0, such that:
geS{B(X*);x,δ) and diBmHκ[S(B(X*) 9x,δ)]<e,
where ε is defined by 3ε = inf# g.
Let us consider now the increasing family of balls (for r > 1): Dr =
B(rεx, (r - l)β), and let us show that K c Dr for some r.
If not, let y e [Γ\r>0(K\Dr)], and let gr e S(X*) be such that
gr(rεx-y) = \\rex - y\\ > (r - l)β. Then gr(x) -• 1, and
r—»>oo
Recall first that X has property (/) if and only if the set of
undenting points of B(X*) is norm dense in S(X*) [3]. And observe
that the definition of w*-denting points (resp. extreme points) is ob-
tained from the one of w*-strongly exposed points (resp. w*-exposed
points) by allowing the w*-slices not to be parallel.
2. A "Transfer Theorem" for property (CI). In this section we will
prove a "transfer theorem" which is analogous to the corresponding
one for property (/) [2]. For other "transfer theorems" see [4], [5].
In this paper all the linear operators we consider are assumed to be
bounded.
- Z = T(X)
the heredity of property {CI), and Theorem 2, implies that X has an
equivalent (C/)-norm if Y does.
The same remark applies to Deville's "transfer theorem" for Prop-
erty (/): Let T:X -> Y be such that T* and Γ** are injective; then X
has an equivalent (/)-norm if Y does.
190 ABDERRAZZAK SERSOURI
a<μ
"Transfer theorems" for properties (/) and (CI) permit the proof
of the theorem to be reduced to the following special case:
K K
Since ( α α ) α G Γ exposes (||ΛΓ*||*)tt€r, we have: ||x*J|* = ||x* α ||; =
||x*||*, for every a G Γ. And by the extremality of x* for every a, we
have x* = x\ = x\.
Step 2. We will prove that the set of extreme points described in
Step 1 is ^-dense in X*.
Let ε > 0,K c B(X) be a compact subset of X,x* e X*, \x*\* = 1.
Suppose K is convex and symmetric.
Put #* = H^lltt'-^ = πa(K), where π α is the natural projection of
X onto Xa. Then A:α c
192 ABDERRAZZAK SERSOURI
Q X α - XαJ
αeΓ\Γ0
α€Γ\Γ0
Second case. Property (/). Recall first that a Banach space has
property (/) if and only if the set of w*-denting points of B(X*) is
norm dense in S(X*) [3].
s suc
Now if y* = (y^aer * h that:
aaxa{y*a) > l - η 2
a n d \y*\* = | | ( | | ^ | | ;
then
Σ^wi^1-^ and
So we have
and
κ-ιiyχi<ε'
aeΓ
For a G Γ o , we have:
aeΓ
ea
a+κ-\\ymaΏ}+ Σ
α6Γ\Γ0
T:X-+Y = = (πa(x))o<a<μ.
0<a<μ
0<a<μ
Then Γ* is injective.
Moreover, T*(Y*) is norm dense in X* when the decomposition is
shrinking [since π*(X*) = (Pα*+1 - Pα*)(X*)].
The theorem follows in case of property (CI) by our "transfer the-
orem", and in case of property (/) by Deville's "transfer theorem"
[2]. D
Using techniques of [8], it can be proved.
a
The idea of the proof is to show that if (Pa)o<a<μ is Schauder basis
of X, then the family (Pa ® Idy) 0 < α <^ is a Schauder decomposition of
F, and to apply Theorem 3.
REFERENCES
Received February 12, 1987 and in revised form June 22, 1987.
ASSOCIATE EDITORS
R. ARENS E. F. BECKENBACH B. H. NEUMANN F. WOLF K. YOSHIDA
(1906-1982)
SUPPORTING INSTITUTIONS
UNIVERSITY OF ARIZONA UNIVERSITY OF OREGON
UNIVERSITY OF BRITISH COLUMBIA UNIVERSITY OF SOUTHERN CALIFORNIA
CALIFORNIA INSTITUTE OF TECHNOLOGY STANFORD UNIVERSITY
UNIVERSITY OF CALIFORNIA UNIVERSITY OF HAWAII
MONTANA STATE UNIVERSITY UNIVERSITY OF TOKYO
UNIVERSITY OF NEVADA, RENO UNIVERSITY OF UTAH
NEW MEXICO STATE UNIVERSITY WASHINGTON STATE UNIVERSITY
OREGON STATE UNIVERSITY UNIVERSITY OF WASHINGTON
Pacific Journal of Mathematics
Vol. 133, No. 1 March, 1988