완비 측도 공간은 측도론에서 다루는 개념 중 하나로, 특정 조건을 만족하는 [[측도 공간]]을 의미한다. 직관적으로, 이 조건은 [[측도]]가 0인 집합(영집합)의 모든 부분집합 또한 가측 집합이 되도록 요구한다. 이는 측도론적 해석학에서 기술적인 복잡성을 줄이고, 여러 중요한 정리들이 성립하는 데 있어 중요한 역할을 한다.
정의
측도 공간 $(\mathrm{X}, \Sigma, \mu)$는 다음과 같은 조건을 만족할 때 완비 측도 공간이라고 한다:
- 만약 $E \in \Sigma$이고 $\mu(E)=0$인 어떤 집합 $E$가 존재할 때 (즉, $E$가 영집합일 때),
- $E$의 어떤 부분집합 $F$에 대해서도 $F \in \Sigma$ (즉, $F$도 가측 집합이다) 이고 $\mu(F)=0$이 성립한다.
이 정의에 따르면, 완비 측도 공간에서는 영집합의 부분집합은 항상 가측이며, 그 측도 또한 0으로 정의된다.
중요성
완비 측도 공간의 개념은 다음과 같은 이유로 중요하다:
- 기술적 단순성: 많은 측도론적 정리(예: [[푸비니 정리]]의 일부 버전)를 증명할 때, 영집합의 부분집합에 대한 가측성을 보장함으로써 불필요한 복잡성을 피할 수 있다.
- 르베그 적분: [[르베그 측도]] 공간은 완비 측도 공간이며, 르베그 적분론의 많은 부분에서 이 완비성이 유용하게 활용된다. 예를 들어, 거의 모든 곳에서 정의된 함수에 대한 논의나 르베그 수렴 정리 등에서 완비성의 이점을 볼 수 있다.
- 자연스러운 구성: 많은 "자연스러운" 측도(예: 유클리드 공간의 르베그 측도)는 완비 측도이거나, 완비화 과정을 통해 완비 측도로 확장될 수 있다.
완비화 (Completion)
임의의 측도 공간 $(\mathrm{X}, \Sigma, \mu)$는 항상 완비 측도 공간으로 확장될 수 있으며, 이 과정을 완비화라고 한다. 완비화 과정을 통해 얻어진 새로운 측도 공간은 원래의 측도 공간을 "포함하는" 가장 작은 완비 측도 공간이라고 할 수 있다.
완비화는 다음과 같이 진행된다:
-
새로운 시그마-대수 $\Sigma^*$ 구성: $\Sigma^* = { A \cup N \mid A \in \Sigma, N \subseteq Z \text{ for some } Z \in \Sigma \text{ with } \mu(Z)=0 }$ 이것은 원래의 가측 집합과 영집합의 부분집합을 합친 형태의 집합들을 모두 포함하는 가장 작은 시그마-대수이다.
-
새로운 측도 $\mu^*$ 정의: 각 $A \cup N \in \Sigma^$에 대해 $\mu^(A \cup N) = \mu(A)$ 로 정의한다. 이 정의는 잘 정의되어 있으며 (즉, $A \cup N$을 표현하는 방식에 따라 $\mu(A)$ 값이 달라지지 않는다), $\mu^$는 $\Sigma^$ 상의 측도가 된다.
이렇게 구성된 $(\mathrm{X}, \Sigma^, \mu^)$는 완비 측도 공간이 되며, 이를 원래 측도 공간의 완비 측도 공간이라고 부른다.
예시
- 르베그 측도 공간: 유클리드 공간 $\mathbb{R}^n$에 대한 르베그 측도 공간은 완비 측도 공간이다. 르베그 측도가 0인 집합의 모든 부분집합은 르베그 가측이며, 그 측도 또한 0이다.
- 비완비 측도 공간의 예: 보렐 측도 공간은 일반적으로 완비 측도 공간이 아니다. 예를 들어, $\mathbb{R}$의 [[보렐 시그마-대수]] $\mathcal{B}$와 르베그 측도 $\lambda$로 구성된 $(\mathbb{R}, \mathcal{B}, \lambda)$는 완비가 아니다. 르베그 측도가 0인 보렐 집합 $Z$가 있을 때, $Z$의 부분집합이 보렐 집합이 아닐 수 있기 때문이다. 이 경우, 이 공간을 완비화하면 르베그 측도 공간이 된다.
같이 보기
- [[측도 공간]]
- [[측도]]
- [[시그마-대수]]
- [[가측 집합]]
- [[르베그 측도]]