Sherman–Takeda theorem

In mathematics, the Sherman–Takeda theorem states that if A is a C*-algebra then its double dual is a W*-algebra, and any homomorphism of A to a W* algebra factors through its double dual. The theorem was announced by Sherman (1950) and proved by Takeda (1954). The double dual of A is called the universal enveloping W*-algebra of A.