Quasi-orthogonalization of functionals on \(l_2(A)\) (Q5953561)

Let \(A\) be a \(C^*\)-algebra, \(l_2(A)^\prime\) denote the \(A\)-dual Banach \(A\)-module of \(l_2(A)=A\otimes l_2(\mathbb C)\). We say that \(A\) has the property \({\mathcal K}\) if, for any functional \(\nu \in l_2(A)^\prime\), any \(\varepsilon> 0\) and any \(a \in A\) there exists a vector \(h_{\varepsilon} \in l_2(A)\) such that \(|\langle\nu, h_{\varepsilon}\rangle|\leq \varepsilon\) and \(\langle h_{\varepsilon}, h_{\varepsilon}\rangle \geq a^*a\). We also say that \(A\) has the property \({\mathcal E}\) if, for any functional \(\nu=(\nu_1, \dots , \nu_n, \dots)\in l_2(A)^\prime\) and any \(\varepsilon> 0\), there is a functional \(g=(g_1, \dots ,g_n, \dots) \in l_2(A)^\prime\) and a number \(k\in \mathbb Z\) such that \(\|\nu -g\|\leq \varepsilon, \nu_i=g_i, i=k+1, k+2, \dots \); and \(g|_{L_k}: L_k \rightarrow A\) is an epimorphism in which \(L_n=\{(a_1, \dots , a_n, 0, 0, \dots)\}\). Reformulating the definitions above for the commutative case \(A=C(X)\), the authors prove the equivalence of the properties \({\mathcal K}\) and \({\mathcal E}\). They also establish that \(l_2\)-inessentiality is equivalent to the properties \({\mathcal K}\) and \({\mathcal E}\) and that these properties are stable under tensoring with the matrix algebras \(M_n\). They also show that if the cardinality of a basis in \(l_2(A)\) is equal to \(\operatorname {card}C(X)\), then \(C(X)\) has the \({\mathcal K}\)-property.