가측 함수 📂측도론

가측 함수

measurable function

정의1

$\mathcal{E}$를 집합 $X$의 $\sigma$-대수라고 하자. $\alpha$를 임의의 실수라고 하자. 그러면 아래의 조건을 만족시키는 확장된 실수값을 갖는 함수 $f : X \to \overline{\mathbb{R}}$를 $\mathcal{E}$-가측$\mathcal{E}$-measurable 혹은 간단하게 가측measurable이라고 한다.

$$ S_f(\alpha):=\left\{ x\in X\ |\ f(x) >\alpha \right\} \in \mathcal{E},\quad \forall \alpha \in \mathbb{R} $$

설명

$f(x)$가 임의의 $\alpha$보다 크도록하는 $x$를 다 모아놓은 집합이 $\sigma$-대수의 원소가 되면 $f$를 가측함수라 한다. 특히 $X=\mathbb{R}$이면 르벡 가측이라 한다. 어떤 함수가 가측인지 아닌지를 따질 때 위 정의에 부합하는지를 확인하게 되는데 이 때 유용한 정리가 있다.

정리

함수 $f : X \to \overline{\mathbb{R}}$에 대해서 아래의 네 조건들은 서로 동치이다.

  • (a) 모든 $\alpha \in \mathbb{R}$에 대해서, $A_{\alpha}=\left\{ x\in X : f(x) > \alpha \right\}$ $\in$ $\mathcal{E}$이다.
  • (b) 모든 $\alpha \in \mathbb{R}$에 대해서, $B_{\alpha}=\left\{ x\in X : f(x) \le \alpha \right\}$ $\in$ $\mathcal{E}$이다.
  • (c) 모든 $\alpha \in \mathbb{R}$에 대해서, $C_{\alpha}=\left\{ x\in X : f(x) \ge \alpha \right\}$ $\in$ $\mathcal{E}$이다.
  • (d) 모든 $\alpha \in \mathbb{R}$에 대해서, $D_{\alpha}=\left\{ x\in X : f(x) < \alpha \right\}$ $\in$ $\mathcal{E}$이다.

증명

우선 $A_{\alpha}$와 $B_{\alpha}$는 서로 여집합이므로 시그마-대수의 성질 (c) 에 의해서 (a)(b) 는 동치이다. 마찬가지로 (c)(d) 도 동치이다. 따라서 (a)(c) 가 동치인 것을 보이면 증명 완료이다.


$\sigma$-대수

집합 $X$가 주어졌다고 하자. 아래의 조건을 만족하는 $X$의 부분집합들의 컬렉션 $\mathcal{E} \subset \mathcal{P}(X)$를 $\sigma$-대수 라 한다.

  • (D1) $\varnothing, X \in \mathcal{E}$
  • (D2) $E \in \mathcal{E} \implies E^c \in \mathcal{E}$
  • (D3) $E_k \in \mathcal{E}\ (\forall k \in \mathbb{N}) \implies \bigcup_{k=1}^\infty E_k \in \mathcal{E}$
  • (D4) $E_k \in \mathcal{E}\ (\forall\ k \in \mathbb{N}) \implies \bigcap_{k=1}^\infty E_k \in \mathcal{E}$

(a) $\implies$ (c)

조건 (a) 가 성립한다고 가정하자. 그러면 모든 $n\in \mathbb{N}$에 대해서 $A_{\alpha-\frac{1}{n}}\in\mathcal{E}$가 성립한다. 그리고 $C_{\alpha}=\bigcap_{n=1}^\infty A_{\alpha-\frac{1}{n}}$이다. 따라서 $\sigma$-대수의 정의 (D3) 에 의해서 $C_{\alpha} \in \mathcal{E}$이다.

(c) $\implies$ (a)

조건 (c) 가 성립한다고 가정하자. 그러면 모든 $n\in \mathbb{N}$에 대해서 $C_{\alpha+\frac{1}{n}}\in\mathcal{E}$가 성립한다. 그리고 $A_{\alpha}=\bigcup_{n=1}^\infty C_{\alpha+\frac{1}{n}}$이다. 따라서 $\sigma$-대수의 정의 (D3) 에 의해서 $A_{\alpha} \in \mathcal{E}$이다.


  1. Robert G. Bartle, The Elements of Integration and Lebesgue Measure (1995), p8 ↩︎

댓글