まあ空間はユークリッド空間限定だけどね
垂直の定義に内積とかが必要になり、内積が定まると計量が定まってしまい、空間も定まってしまうから