확률적분 정의하는거랑 함수해석에서 projection valued measure에 대한 적분 정의하는거랑 거의 굉장히 비슷하다는 느낌이 들던데 이런거 통합하는 일반이론같은게 있나 궁금하다