These spaces were introduced by Dieudonné (1944).
これらの空間は Dieudonné (1944) によって導入された。