Noncommutative topology Selfadjoint operator algebras (C*-algebras) mathematics