そもそも微分って距離空間じゃなくて線形空間の話だが。