식마대수라는건 불대수 A로서 모든 가산 B드A마다 supB가 존재하는것이라 정의하자
A가 불대수라 하자. B드A가 디스조인하다는건 모든 a,bㅌB에 대해 a∧b=0인거라 정의하자
A가 식마대수라 하자. A의 측도라는건 함수 V:A->[0,무한대]로서 V(0)=0이고 모든 디스조인 가산 B드A에 대해 sum_{bㅌB}V(b)=V(supB)인 거라 하자
가측함수는 거꾸로 정의해야함. 그니까 우리가 원래 A에서 B로 가는 가측함수로 여기던건 여기서는 B에서 A로 가는 함수라 정의해야 함
적분도 정의는 됨
이제 모노톤칸버정리 파토정리 돔칸버정리 갘은거 확인해야됨
댓글 0