실수값을 갖는 가측 함수의 성질 📂측도론

실수값을 갖는 가측 함수의 성질

property of real valued measurable function

정리1

가측공간 $(X,\mathcal{E})$에서 정의된 두 함수 $f, g : X \to \mathbb{R}$가 가측 함수이면, 다음의 함수들도 모두 가측이다.

$$ cf,\quad f^2,\quad f+g,\quad fg,\quad |f| $$

증명

가측함수

모든 $\alpha \in \mathbb{R}$에 대해서 다음의 식을 만족하는 $f : X \to \overline{\mathbb{R}}$를 가측함수라고 한다.

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

$cf$

  • Case 1. $c=0$

    $$ \begin{cases} \alpha >0 & \left\{ x \in X\ |\ cf(x)=0 > \alpha \right\} =\emptyset \in \mathcal{E} \\ \alpha \le 0 & \left\{ x \in X\ |\ cf(x)=0 > \alpha \right\}=X \in \mathcal{E} \end{cases} $$

  • Case 2. $c>0$

    $$ \left\{ x \in X\ |\ cf(x) > \alpha \right\}= \left\{ x \in X\ |\ f(x) > \frac{\alpha}{c} \right\} \in \mathcal{E} $$

  • Case 3. $c <0$

    $$ \left\{ x \in X\ |\ cf(x) > \alpha \right\}= \left\{ x \in X\ |\ f(x) < \frac{\alpha}{c} \right\} \in \mathcal{E} $$

$f^2$

  • Case 1. $\alpha < 0$

    $$ \left\{ x \in X\ |\ f^2(x) > \alpha \right\}=X \in \mathcal{E} $$

  • Case 2. $\alpha \ge 0$

    $$ \left\{ x \in X\ |\ f^2(x) > \alpha \right\}=\left\{ x \in X\ |\ f(x) > \sqrt{\alpha} \right\} \cup \left\{ x \in X\ |\ f(x) < -\sqrt{\alpha} \right\} \in \mathcal{E} $$

    우변의 두 집합 모두 $\mathcal{E}$의 원소이다. 따라서 $\sigma$-대수의 성질에 의해 두 집합의 합집합도 $\sigma$-대수의 원소이다.

$f+g$

$r\in \mathbb{Q}$라 하자. 그리고 다음과 같은 집합을 정의하자.

$$ S_r :=\left\{ x \in X\ |\ f(x) > r \right\} \cap \left\{ x \in X\ |\ g(x) > \alpha -r \right\} $$

그러면 우변의 두 집합이 $\mathcal{E}$의 원소이므로 $\sigma$-대수의 정의에 따라 그 둘의 교집합인 $S_r$도 $\mathcal{E}$의 원소이다. 따라서 $S_r$의 가산합집합도 $\mathcal{E}$의 원소이다. 즉, 아래의 등식을 보이면 증명완료이다.

$$ \left\{ x \in X\ |\ (f+g)(x) > \alpha \right\} = \bigcup_{r\in\mathbb{Q}}S_r $$

식이 너무 기므로 간단히 $\left\{ x \in X\ |\ (f+g)(x) > \alpha \right\}=\left\{ f+g>\alpha \right\}$라고 하자.

  • Part 1. $\left\{ x \in X\ |\ (f+g)(x) > \alpha \right\} \supset \bigcup_{r\in\mathbb{Q}}S_r$

    모든 $r$에 대해서 $S_r$이 $\left\{ f+g>\alpha \right\}$의 부분집합이므로 위 식이 성립하는 것은 자명하다.

  • Part 2. $\left\{ x \in X\ |\ (f+g)(x) > \alpha \right\} \subset \bigcup_{r \in \mathbb{Q} } S_r$

    $x \in \left\{ f+g>\alpha \right\}$라고 가정하자. 그러면 다음의 식을 만족하는 충분히 작은 $\epsilon$을 찾을 수 있다.

    $$ \begin{equation} f(x) + g(x) > \alpha + \epsilon \label{eq1} \end{equation} $$

    그리고 $|f(x)-r| < \epsilon$이 되도록 하는 유리수 $r<f(x)$을 선택하자. 그러면 다음이 성립한다.

    $$ r < f(x) < r +\epsilon \implies f(x)-\epsilon < r $$

    이를 $\eqref{eq1}$에 대입하면 다음을 얻는다.

    $$ g(x) > \alpha -\big( f(x) -\epsilon \big) > \alpha-r $$

    따라서 이러한 $r$에 대해서 $x \in S_r$이므로 모든 $r$에 대한 합집합에 대해서도 $x \in \bigcup_{r\in \mathbb{Q}}S_r$이다.

Part 1Part 2 에 의하여 다음이 성립한다.

$$ \left\{ x \in X\ |\ (f+g)(x) > \alpha \right\} = \bigcup_{r\in\mathbb{Q}}S_r $$

$fg$

$fg=\dfrac{1}{4} \big[ (f+g)^2 - (f-g)^2 \big]$이므로 위의 세 결과에 의해 성립한다.

$|f|$

  • Case 1. $\alpha \ge 0$

    $\left\{ x\in X\ |\ |f(x)| > \alpha \right\}=\left\{x\in X\ |\ f(x)>\alpha \right\} \cup \left\{ f(x)<-\alpha \right\}$이고 우변의 두 집합이 $\mathcal{E}$의 원소이므로 이 둘의 교집합도 $\mathcal{E}$의 원소이다.

  • Case 2. $\alpha < 0$

    $\left\{x\in X\ |\ |f(x)| > \alpha \right\}=X \in \mathcal{E}$이므로 자명하다.


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

댓글