>>564
通常はバナッハ空間と局所的に同相な位相空間で座標変換が微分可能なものとして定義する。