르베그 분해

틀:위키데이터 속성 추적 측도론에서 르베그 분해(틀:Llang)는 임의의 시그마 유한 측도를 절대 연속 성분(絶對連續成分, 틀:Llang)과 특이 연속 성분(特異連續成分, 틀:Llang)과 순수 점 성분(純粹點成分, 틀:Llang)의 합으로 나타내는 표준적인 표현이다. 이 세 성분 가운데 절대 연속 성분과 순수 점 성분의 경우 간단한 구조 정리가 존재하지만, 특이 연속 성분의 구조는 매우 복잡하다. 일부 경우, 특이 연속 성분이 0임을 증명할 수 있다.

복소수 힐베르트 공간 위의 자기 수반 작용소는 그 스펙트럼 위의 측도를 정의하며, 그 르베그 분해는 이에 대응되는 복소수 힐베르트 공간의 직합 분해를 정의한다.

정의

특이 측도

가측 공간 $(X,ℱ)$ 위의 두 측도 $\mu$, $\nu$에 대하여, 만약 다음 조건들을 만족시키는 $A,B\in ℱ$가 존재한다면, 이 두 측도가 서로 특이 측도(틀:Llang)라고 한다.

• $A\cup B=X$
• $\mu (A\cap S)=0\mathrm{\forall }S\in ℱ$
• $\nu (B\cap S)=0\mathrm{\forall }S\in ℱ$

르베그 분해

시그마 유한 측도 공간 $(X,ℱ,\mu )$에 대하여, $\mu$의 르베그 분해는 다음과 같은 꼴의 분해이다.

$\mu ={\mu }_{\text{ac}}+{\mu }_{\text{s}}$

여기서

• ${\mu }_{\text{ac}}\ll \mu$. 즉, ${\mu }_{\text{ac}}$는 $\mu$-절대 연속 측도이다.
• ${\mu }_{\text{s}}\perp \mu$

또한, 특이 성분 ${\mu }_{\text{s}}$는 다음과 같이 추가로 분해된다.

${\mu }_{\text{s}}={\mu }_{\text{pp}}+{\mu }_{\text{sc}}$

여기서

• ${\mu }_{\text{pp}}$는 순수하게 원자로만 구성된 측도이다. 즉, 어떤 가산 집합 $𝒞\subseteq ℱ$ 및 함수 $f:𝒞\to (0,\mathrm{\infty }]$에 대하여, 다음이 성립한다.

  ${\mu }_{\text{pp}}(S)=\sum _{C\in 𝒞\cap 𝒫(S)}f(C)\mathrm{\forall }S\in ℱ$

  $\mathrm{\forall }S\in ℱ:({\mu }_{\text{pp}}(S\cap C)>0⟹S\cap C=C)$

• ${\mu }_{\text{sc}}$는 원자를 갖지 않는다. 즉, 임의의 $S\in ℱ$에 대하여, 만약 ${\mu }_{\text{sc}}(C)>0$이라면, ${\mu }_{\text{pp}}(C\cap S)>0$이자 $C\cap S\ne C$인 $S\in ℱ$가 존재한다.

절대 연속 성분 ${\mu }_{\text{ac}}$는 라돈-니코딤 정리에 의하여 쉽게 이해될 수 있다. 즉, 특이 연속 성분을 제외하면 르베그 분해의 나머지 두 성분은 쉽게 이해된다.

작용소의 경우

복소수 힐베르트 공간 $\mathscr{H}$ 위의 조밀 부분 집합 $D\subseteq \mathscr{H}$ 위에 정의된 자기 수반 작용소 $T:D\to \mathscr{H}$는 그 스펙트럼 $\sigma (D)$ 위의 측도를 정의한다. 이 경우, $\sigma (D)$ 위의 측도 $\mu$를 위와 같이 분해할 수 있다.

$\mu ={\mu }_{\text{ac}}+{\mu }_{\text{sc}}+{\mu }_{\text{pp}}$

이에 따라, 측도의 분해에 대응하는 힐베르트 공간의 직합 분해를 정의할 수 있다.

$\mathscr{H}={\mathscr{H}}_{\text{ac}}\oplus {\mathscr{H}}_{\text{sc}}\oplus {\mathscr{H}}_{\text{pp}}$

예

칸토어 3진 함수의 그래프

칸토어 3진 함수(Cantor三進函數, 틀:Llang)를 다음과 같이 정의하자.

$f:[0,1]\to [0,1]$

$f:\sum _{i=1}^{\mathrm{\infty }}{a}_i{3}^{-i}\mapsto \{\begin{array}{cc}\left(\sum _{i=1}^{a_i-1}{a}_i{2}^{-i-1}\right)+a_{i_0}{2}^{-i_0}& \mathrm{\exists }{i}_0=\min \{i\in {\mathbb{Z}}^{+}:a_i=1\}\\ \sum _{i=1}^{\mathrm{\infty }}{a}_i{2}^{-i-1}& \nexists i\in {\mathbb{Z}}^{+}:a_i=1\end{array},a_1,a_2,\dots \in \{0,1,2\}$

즉, 이 함수는 수의 3진법 표현에 일종의 알고리즘을 가해 2진법으로 표현된 수를 정의한다.

그렇다면, $f$를 누적 분포 함수로 갖는, $[0,1]$ 위의 르베그 측도는 르베그 분해 아래 순수하게 특이 연속 성분만으로 구성된다.

역사

앙리 르베그가 도입하였다.틀:Rp

외부 링크

• 틀:Eom
• 틀:Eom
• 틀:매스월드
• 틀:웹 인용