# Stuck on Hilbert space

1. May 21, 2007

### noospace

1. The problem statement, all variables and given/known data

Let $e_i = (0,0,\ldots, 1, 0 , \ldots)$ be the basis vectors of the Hilbert space $\ell_2^\infty$.

Let U and V be the closed vector subspaces generated by $\{ e_{2k-1}|k \geq 1 \}$ and $\{ e_{2k-1} + (1/k)e_{2k} | k \geq 1 \}]$.

Show $U \oplus V$ dense in $\ell_2^\infty$

I am looking for hints that anyone can offer.

3. The attempt at a solution

My main problem seems to be finding the most direct method of proof.

First I tried proving that $\overline{U\oplus V} = \ell_2^\infty$ using the set theoretic procedure of show each side of the equation is a subset or equal to the opposite side. I tried to use the fact that every element of the LHS has a sequence in U + V converging towards it. This got me nowhere.

I next tried showing that if x is any point in the hilbert space, there should be a point in the direct sum within a distance epsilon > 0 of it. I managed to construct an expression for x in terms of the basis vectors, but this expression is precisely x so is useless.

Currently I'm thinking about projecting x onto the subspaces and then using the sum of the projections somehow. It seems like this won't work however, since there no dependence on epsilon.

Any help would be greatly appreciated.

Thanks,.

2. May 21, 2007

### AKG

If (xn) is in l2, then given $\epsilon$ > 0, there exists N such that

$$\sum _{n > 2N}|x_n|^2 < \epsilon$$

So at this point it suffices to show that for any N, (x1, x2, ..., x2N-1, x2N, 0, 0, ...) is in $U \oplus V$.