>>831
線の長さが0でない場合がある
の実例を挙げるだけなら、
距離空間まで一般化しなくても
ユークリッド空間で十分だろう。身近だし。