르벡-라돈-니코딤 보조 정리

르벡-라돈-니코딤 보조 정리

정리1

가측 공간 $(X, \mathcal{E})$위의 유한 측도 $\mu$, $\nu$가 주어졌다고 하자. 그러면 $\mu \perp \nu$이거나, 아래의 조건을 만족하는 $\epsilon>0$, $E \in \mathcal{E}$가 존재한다.

$$ \mu(E) >0 \quad \text{and} \quad \nu(E) \ge \epsilon \mu (E) $$

설명

이 정리에 따로 붙은 이름은 없으나 르벡-라돈-니코딤 정리를 증명할 때 유용한 보조정리로 사용한다. 이름은 없지만 두 유한 측도 사이의 관계가 단 둘 중 하나라는 꽤나 강력한 내용을 담고 있다.

증명

우선 자연수 $n$에 대해서 주어진 두 양측도의 차 $\nu-\dfrac{1}{n}\mu$는 부호 측도가 된다. $X=P_n \cup N_n$을 $\nu-\dfrac{1}{n}\mu$에 대한 한 분해라고 하자. 그리고 집합 $P$, $N$을 아래와 같이 정의하자.

$$ P:= \bigcup _{n=1} ^\infty P_n \quad \text{and} \quad N:=P^c=\bigcap _{n=1} ^\infty N_n $$

그러면 $N$은 $\nu-\dfrac{1}{n}\mu$에 대한 음집합이므로 다음이 성립한다.

$$ \nu(N)-\frac{1}{n}\mu(N) \le 0 \quad \implies \quad \nu (N) \le \frac{1}{n}\mu (N) $$

이때 가정에 의해 $\mu (N) < \infty$이고, 위 식은 모든 $n$에 대해 성립하므로 다음을 얻는다.

$$ \nu (N) =0 $$


  1. Gerald B. Folland, Real Analysis: Modern Techniques and Their Applications (2nd Edition, 1999), p89 ↩︎

댓글