P. 1


|Views: 112|Likes:
Published by dmtri

More info:

Published by: dmtri on Apr 19, 2009
Copyright:Attribution Non-commercial


Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less





This little chapter treats a third important notion (next to ‘orthogonality’and ‘of countable
type’), namely that of a compactoid set. We do not have much time to explain it in the
lectures, so the only purpose of this chapter is to give you an idea about these notions, its
impact on the theory but without details and without proofs.
A subset X of a Banach space E (over K or overRorC) is called precompact if, for any ε > 0,

X can be covered by finitely many ε-balls. In other words, X is precompact if for every ε > 0
there is a finite set FE such that

XB(0,ε) +F

One proves by classical means that X is precompact if and only its closure X in E is compact.
(For this, it is necessary that E is complete).
In classical theory convex compact sets play an important role in Functional Analysis
(e.g. Alaoglu-Bourbaki Theorem, Krein-Milman Theorem, Choquet Theory). How are the
prospects in the non-archimedean case? Recall that a subsetC of aK-vector space is absolutely
if 0 C and for x,y C, λ,µ K, |λ| ≤ 1 |µ| ≤ 1 we have λx+µy C. So, if K is
not locally compact the only absolutely convex compact subset of a Banach space is{0}. This
difficulty is similar to the separability problem on page 32, and we will solve it in a similar
way; this time by ‘convexifying’ the definition of precompactness.

Definition A subset X of a Banach space E over K is called compactoid if
for each ε > 0 there is a finite set FE such that

XB(0,ε) + acoF,

where ‘aco’ stands for ‘absolutely convex hull’, the smallest absolutely convex set containnig
the given set. In our case if F ={a1,...,an}then aco F ={λ1a1+...+λnan : λiK,|λi|≤1
for each i}.

P. Universidad Cat´olica de Chile – Fac. Matem´aticas – MECESUP PUC-0103 – FONDECYT 7020710 42

One may hope now that absolutely convex complete compactoids will take over the role played
by absolutely convex compact sets in classical analysis. The following results show that this
is the case to a certain degree.

You're Reading a Free Preview

/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->