距離微分
数学の解析学の分野における距離微分（きょりびぶん、）とは、あるユークリッド空間上で定義され任意の距離空間に値を取るようなリプシッツ連続関数に対する、微分の概念の一般化である。この微分の定義のもとで、距離空間に値を取るリプシッツ関数へと、ラーデマッヘルの定理を一般化することが出来る。