有界な写像と計量線型空間は同時には使わない