3

Let $A = C^*(T_1,T_2,T_3,... | T_i=T_i^*, ||T_i|| \leqslant 1)$ - universal enveloped $C^*$-algebra of countable family of self-adjoint operators. $A$ have standard Schauder basis, which contains all words generated by $T_i$ (i.e. $T_1 T_3 T_2 T_5$ - is basis vector). Is it true, that it is boundedly complete Schauder basis or monotonically boundedly complete Schauder basis?

Boundedly complete Schauder basis $e_i \in X$ it is such basis, that for every sequence $\alpha_i \in \mathbb{C}$ such the partial sums $V_N = \sum_{i=1}^N \alpha_i e_i$ are bounded in $X$, the sequence $V_N$ are converge in $X$.

Monotonically boundedly complete Schauder basis is the same, but we consider only $\alpha_i$ which converge to zero.

UPD: I found some interesting theorem here (page 2), maybe it will help to answering on that question.

Mykola Pochekai
  • 1,674
  • I don't see why the set of non-commutative monomials is a Schauder basis. What would be the argument to justify that? – Martin Argerami May 29 '16 at 05:25
  • @MartinArgerami Let $D$ is C*-subalgebra generated by noncomutative monomials. Then null map $0 : A \to A/D$ and factormap $F: A \to A/D$ is 2 maps which makes triangle $D \to A \to A/D$ commutative. But $A$ is universal, so there exist only one such map, so, factormap equals 0 and $D=A$. – Mykola Pochekai May 29 '16 at 05:38
  • As far as I can tell, that doesn't show that the monomials form a Schauder basis for $D$. – Martin Argerami May 29 '16 at 05:41
  • It show that monomials is total system (it is some hole in my previous reasoning: we dont know that $D$ is ideal, but it is fixable). And it is linear independent, because they linear independent in left regular representation. Every monomial act on formal space $L_2 (Monomials)$. – Mykola Pochekai May 29 '16 at 05:55
  • Are you saying "linearly independent plus dense span = Schauder basis"? Because I don't think that's true. – Martin Argerami May 29 '16 at 05:58
  • You right, it is doesn't true. Ok, I will think about that. – Mykola Pochekai May 29 '16 at 06:02
  • @MartinArgerami Please, tell if you will found argument. – Mykola Pochekai May 29 '16 at 07:11

2 Answers2

3

Since the properties involved are about boundedness and convergence, they survive $*$-homomorphisms, which means that they pass to quotients. And any separable C$^*$-algebra is a quotient of $C^*(\mathbb F_\infty)$. In particular, $C[0,1]$ is, so $C^*( \mathbb F_\infty)$ does not have a boundedly complete Schauder basis by the article you linked to.

Martin Argerami
  • 205,756
  • Thanks, it seems like that. But what about monotonically boundedly completeness? If we take in terms of theorem in this article $N_k = k, m_0 = 1, P = 1/2, F_k = TrivialRepresentation$ it will be true? – Mykola Pochekai May 29 '16 at 05:46
  • Martin, I am not sure if I understand your claim. Certainly $\ell_1$ has a boundedly complete basis but every separable Banach space is a quotient of $\ell_1$, so this property does not pass to (linear) quotients. Since having a b.c. basis is a purely linear property, I see no reason why *-homomorphisms would have to preserve it. – Tomasz Kania Jun 03 '16 at 00:25
  • I think you are right. Let me think about it. – Martin Argerami Jun 03 '16 at 01:57
1

I claim that if $A$ is an infinite-dimensional C*-algebra then it does not have a boundedly complete basis.

Proof. Assume that $A$ has such a basis. A space with a basis is separable, so $A$ is separable. Moreover, $A$ being infinite-dimensional, contains an infinite-dimensional abelian sub-C*-algebra. That abelian subalgebra will contain a sequence of norm-one orthogonal elements and such elements span a Banach-space copy of $c_0$. This copy of $c_0$ will be complemented in $A$ by Sobczyk's theorem. However, a space with a boundedly complete basis is isomorphic to a dual space. $c_0$ is not complemented in any isomorphic copy of a dual space, because it would be complemented in its bidual (see the diagram on p. 22 here) but by the Phillips–Sobczyk theorem (or by the Grothendieck property of $\ell_\infty$), no copy of $c_0$ is complemented in $\ell_\infty$.

The above argument shows that there is no infinite-dimensional, separable C*-algebra isomorphic to a dual space as a Banach space. In particular, there is no separable, infinite dimensional von Neumann algebra.

Community
  • 1
Tomasz Kania
  • 16,361