Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose that $X$ is a Banach space (or more generally, Frechet space) such that $X$ is the closure of the span of a compact (in the original topology) subset $K$. Do we know anything "nice" about $X$, from this information alone?

If $X$ is the span of $K$, without needing take a closure, then a Baire category argument shows that $X$ is locally compact, hence finite dimensional. Can something like this be made to happen in the dense case?

More disconcertingly, could all separable Banach spaces be of this form?

share|improve this question
3  
As pointed out by Yemon Choi, your condition is equivalent to separability. However, if you weaken it in the natural way by replacing the condition of compactness to weak compactness, you get an interesting class of spaces (called WCG spaces for obvious reasons) which have remarkable properties and have been studied intensively. The initial paper was a seminal one by Amir and Lindenstrauss in the Annals (available on line) and it is an easy task to locate more recent developments. –  jbc Feb 21 '13 at 9:03
add comment

1 Answer

up vote 10 down vote accepted

I think not. Suppose X has a countable subset S whose span is dense in X. Enumerate S as a sequence, then by rescaling you can assume the sequence converges to zero in norm. This gives a countable relatively compact set whose linear span is dense in X.

share|improve this answer
3  
And thus we do know something "nice" about $X$: it is separable! –  Nik Weaver Feb 21 '13 at 5:56
1  
@Nik: Isn't the Argyros-Haydon space, being an isomorphic predual of $\ell^1$, separable? ;) –  Yemon Choi Feb 21 '13 at 6:16
2  
Yemon's answer shows that every separable Frechet space is compactly generated. The converse is also true: The compact generator is contained in the closed absolutely convex hull of a sequence converging to $0$, and the countable set of all rational (finite) linear combinations of that sequence is dense. –  Jochen Wengenroth Feb 21 '13 at 10:18
    
Thanks for the quick explanation! –  Iian Smythe Feb 21 '13 at 15:22
1  
@Yemon: I believe that space is not bad, it is misunderstood. –  Nik Weaver Feb 21 '13 at 18:32
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.