OAI/Analysis/KadisonKastler/BicentralizerScalarHulls.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Scalar weak orbit hulls from triviality of the bicentralizer

This constructs the implication in Haagerup, Acta Math. 158 (1987), Proposition 1.3(2)(a) to (b). No orbit-averaging hypothesis is used.

  1. theorem OAI.KadisonKastler.scalar_stateOrbitHulls_of_stateBicentralizer line 24
  2. theorem OAI.KadisonKastler.scalar_stateOrbitHulls_of_bicentralizer line 36