Up

線分の長さ (２点間距離)

---

「長さ」は「線分の長さ (２点間の距離)」として測られます。 ── 長さの測定では，「線分 (２点間)」という形（フィクション）がそこに見られています。 「長さ」の概念自体は (原初的過ぎて) 定義できるものではありません。 「長さ」を数学の対象として定義する場合は，一つの形式の導入という形──「距離空間」の導入に準じるような形──になります。