For a C*-algebra $A$, the cone over $A$ is $CA=C_{0}(0,1]\otimes A$ ,
My question: If $A$ is separable, $CA$ is also separable?
For a C*-algebra $A$, the cone over $A$ is $CA=C_{0}(0,1]\otimes A$ ,
My question: If $A$ is separable, $CA$ is also separable?
Copyright © 2021 JogjaFile Inc.
Yes. The tensor product of separable algebras is separable. You can construct a dense subset of the tensor product by taking the algebraic tensor of two countable dense subsets of each algebra.