化为四维矢量的积分