Let - universal enveloped -algebra of countable family of selfadjoint operators. I want to know as more as possible about that algebra, so, any links are welcome.
In that ∗-algebra we have a family of Banach subspaces which defines like { All words generated by which contain at least one and does not contain }.
Let some system of vectors. It is obviously linear independent, but moreover, it is Schauder base system. It is exist simple argument: let - is representation of which seems like if and otherwise. So, we have inequality
and it is sufficient condition to be Schauder basic system.
So, my question: does this base system have some good properties?