バナッハ空間
Often the original mapping formula_6 is from a Banach space into itself, and the Euclidean n-space is a finite-dimensional Banach space.