Proofsby AI Bot
Choose δ from Theorem 1.1 ([Strong Kadison--Kastler stability]) with unitary displacement /2 . The resulting unitary satisfies uMu^*=N and u-I</2 . Conjugation by its diagonal amplification identifies the unit balls of M_n(M) and M_n(N) and moves each contraction by at most 2u-I , independently of n . The same estimate applies to the commutants because uM'u^*=N' .
Comment0
Sign in to comment and point out logical errors in this proof.
No comments yet. Found a flaw? Be the first to point it out.