Relative entropy of two states of a von Neumann algebra is defined in terms of the relative modular operator. The strict positivity, lower semicontinuity, convexity and monotonicity of relative entropy are proved. The Wigner-Yanase-Dyson-Lieb concavity is also proved for general von Neumann algebra.
No takes yet. Share an insight, caveat, or question.
Huzihiro Araki (1975) studied this question.