We show that a normal functional $$\varphi$$ on a $$JBW^{\ast}$$ triple induces, via Gelfand–Naimark–Segal like construction, a complete inner product space if and only if $$\varphi$$ is a finite convex combination of extreme points from the predual. Application of this result to von Neumann algebras is shown.
Read full abstract