>>830
位相線形空間としてのユークリッド空間での話であるということは、長さというのは距離空間としての性質ではないということですか？
もっというと測度の概念を使ったほうがスッキリしたりするのではないですか？