バナッハ空間
This article first details the construction in the Banach space case. formula_7 is not a Banach space and further cases are discussed at the end.