An algebraic characterization of complete inner product spaces (Q1089571): Difference between revisions

Let X be a complex Banach space and L(X) be the set of all bounded linear operators on X. There are conditions about L(X) which force X to be an inner product space. One of these sets of conditions was formulated by \textit{S. Kakutani} and \textit{G. W. Mackey} [Ann. Math. 45, 50-58 (1944; Zbl 0060.263) and Bull. Am. Math. Soc. 52, 727-733 (1946; Zbl 0060.263)]. The author gives a new set of conditions on L(X) as follows: Suppose that on L(X) there is a mapping * with values in L(X) such that the following conditions are satisfied: (1) \((T+S)^*=T^*+S^*\) (T,S\(\in L(X))\), (2) \((T^*)^*=T\) (T\(\in L(X))\), (3) \((TS)^*=S^*T^*(T,S\in L(X))\), (4) if P is a hermitian projection (i.e., \(P^ 2=P^*)\) then \(\| P\|^ 2=\| P^ 2\|\). Then on X there exists an inner product \(<,>\) with the property that \(\| x\|^ 2=<x,x>\). He also gives a proof of the Kakutani-Mackey theorem.