The Sequential Compactness Theorem Modulo Unitary Conjugation in the Strong Operator Topology
摘要
We give a Bolzano-Weierstrass type theorem in the strong operator topology modulo unitary conjugation. That is, given a bounded sequence of tuples of operators, there exists a subsequence converging strongly after an independent change of basis on each tuple in the sequence.