A C*-algebra A is said to be approximately finite dimensional (AF) if it is the inductive limit of a sequence of finite dimensional C*-algebras(see [2], [5]). It is said to be nuclear if, for each C*-algebra B, there is a unique C*-norm on the *-algebraic tensor product A ⊗B [11]. Since finite dimensional C*-algebras are nuclear, and inductive limits of nuclear C*-algebras are nuclear [16];,every AF C*-algebra is nuclear. The family of nuclear C*-algebras is a large and well-behaved class (see [12]). The AF C*-algebras for a particularly tractable sub-class which has been completely classified in terms of the invariant K0 [7], [5].
Optimal transport and unitary orbits in C⁎-algebras
