The direct integral was introduced in 1949 by John von Neumann.