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

I posted my question at MS but unfortunately it is still without a response, so let me ask it here.

We can think about a bounded operator $T\colon c_0\to c_0$ as a double-infinite matrix $[T_{mn}]_{m,n\geq 1}$ which acts on a sequence $a=[a_1, a_2, a_3, \ldots ]\in c_0$ in the same way as usual (finite) matrices act on vectors ($n$-tuples of scalars), i.e.

$$ Ta= [T_{mn}][a_n] = \left[ \sum_{n=1}^\infty T_{mn}a_n\right] $$

Suppose $a=[a_1, a_2, a_3, \ldots ]\in \ell^\infty = (c_0)^{**}$. Does the following formula still hold:

$$ T^{**}a= [T_{mn}][a_n] = \left[ \sum_{n=1}^\infty T_{mn}a_n\right] $$

EDIT: Second question deleted, since I wanted to ask, in fact, about something else.

share|improve this question
    
The math.stackexchnage question is: math.stackexchange.com/q/93030/1438 I posted a more "simple minded" answer over there... –  Matthew Daws Dec 21 '11 at 14:58
add comment

1 Answer

up vote 12 down vote accepted

Yes. The reason is that the unit vector basis for $c_0$ is a shrinking basis, which means that the biorthogonal functionals to the basis are a Schauder basis for $c_0^* = \ell_1$. This implies that the unit vector basis for $c_0$ is a weak$^*$ Schauder basis for $c_0^{**} = \ell_\infty$, which means that the expansion of a vector in $\ell_\infty$ in terms of the unit vector basis must converge in the weak$^*$ topology. This is enough, since the adjoint of an operator on $\ell_1$ is weak$^*$ continuous on $\ell_\infty$.

I'll take this opportunity to say something more about a space with shrinking bases. R. C. James, who introduced the concept, realized that if $(e_n)$ is a shrinking basis for a space $X$, then $X^{**}$ can be represented as the space of sequences $(a_n)$ s.t. the partial sums of the series $\sum a_n e_n$ are uniformly bounded. Once he realized this, he very quickly constructed the space we now call J, which is isomorphic to its second dual but is non reflexive; in fact, $\dim J^{**}/J =1$.

You can read about the basics of basis theory in many books; Albiac-Kalton is a good choice.

share|improve this answer
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.