P. 1
100304120442_2

# 100304120442_2

|Views: 112|Likes:

### Availability:

See more
See less

05/11/2014

pdf

text

original

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 ﬁnitely many ε-balls. In other words, X is precompact if for every ε > 0
there is a ﬁnite 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
convex
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
diﬃculty is similar to the separability problem on page 32, and we will solve it in a similar
way; this time by ‘convexifying’ the deﬁnition of precompactness.

Deﬁnition A subset X of a Banach space E over K is called compactoid if
for each ε > 0 there is a ﬁnite 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.

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