距離空間の間の写像なら形式的に微分は定義できるな。

いや、だからって「距離空間は微分が出来る事が前提」とはならんが。