Let A be a von Neumann algebra with a finite trace , represented in , and let be sub-algebras, for in an interval . Let be the unique -preserving conditional expectation. We say that the path is smooth if for every $a\in Av \in H$ is continuously differentiable. This condition implies the existence of the derivative operator If this operator verifies the additional boundedness condition, for any closed bounded sub-interval , and a constant depending only on , then the algebras are *-isomorphic. More precisely, there exists a curve , of unital, *-preserving linear isomorphisms which intertwine the expectations, The curve is weakly continuously differentiable. Moreover, the intertwining property in particular implies that maps onto . We show that this restriction is a multiplicative isomorphism.

生成讲解博客的中文版本

生成AI智能校验的中文版本