Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I need to prove that

$$L = \left\{ (x_i)\in \ell_\infty : \lim_{n\to\infty} \frac{1}{n} \sum_{i=1}^n x_i = 0\right\}$$

is a subspace in $l_\infty$ (done that), is closed in $l_\infty$ (done that), and not separable in $l_\infty$.

How would I go about proving that it is not separable?

share|improve this question
    
Prove that $L$ has an uncountable discrete subset –  Yvoz Mar 5 '13 at 17:25
add comment

1 Answer 1

up vote 3 down vote accepted

Fix a set $T\subseteq N$ that is infinite but so thin that your $L$ contains the characteristic function of $T$, i.e., the sequence that has $1$ in position $i$ for all $i\in T$ and $0$ in all other positions. For example, $T$ could be the set of all powers of $2$. Consider the characteristic functions $\chi_A$ of arbitrary subsets $A$ of $T$. There are continuum many such subsets $A$ and therefore continuum many such $\chi_A$'s. All these $\chi_A$'s are in $L$ because of our choice of $T$. The $\ell_\infty$ distance between any two distinct $\chi_A$'s is $1$, so no point is within $1/2$ of more than one of them. Therefore, any dense set (or any set that even gets within $1/2$ of each of our $\chi_A$'s) must have the cardinality of the continuum. (Matt N. had a similar answer, but as far as I can see he overestimated the number of $y_i$'s in his answer.)

share|improve this answer
    
Thank you for your comment to my (now deleted) answer! –  Matt N. Mar 5 '13 at 17:36
    
What is $N$? ${}$ –  Matt N. Mar 5 '13 at 17:37
1  
$N=\mathbb N=\omega=$ the set of natural numbers. –  Andreas Blass Mar 8 '13 at 22:11
    
I just realized I'm not quite sure how to go from having continuum number of points with distance 1 between each two different, to proving conclusively that there is no dense countable set, even though it seems intuitive. Could you try to explain that again? –  ctlaltdefeat Mar 9 '13 at 16:30
    
Never mind, got it. –  ctlaltdefeat Mar 9 '13 at 16: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.