距離空間と内積空間