ラーデマッヘルの定理
あるユークリッド空間から任意の距離空間へのリプシッツ関数に対して成立するような、ラーデマッヘルの定理のある一般化版が存在する。その場合、通常の微分の代わりに、距離微分が用いられる。