ベクトル空間： Vect = Vect-Bdl[1] ： ベクトル空間と線形写像 MetVect = MetVect-Bdl[1] ： 計量ベクトル空間〈内積ベクトル空間〉と線形写像 IsometMetVect = IsoMetVect-Bdl[1] ： 計量ベクトル空間と等長線形写像 ベクトルバンドル： Vect-Bdl[-] ： ベ…