라돈-니코딤 정리 및 곱측도

이 결과들은 측도들을 비교하고 결합합니다. 라돈-니코딤 정리(Radon-Nikodym theorem)는 한 측도를 다른 측도에 대한 밀도 함수(density function)의 적분으로 표현하는 반면, 곱측도(product measures)와 푸비니 정리(Fubini's theorem)는 여러 변수에 대한 적분을 반복적인 과정으로 만듭니다.

Definition

라돈-니코딤 정리는 시그마-유한 측도(sigma-finite measure)에 대해 절대 연속인 측도는 그 측도에 대한 밀도 함수의 적분과 같다고 명시합니다. 곱측도는 인자 공간(factor spaces)의 측도를 그 곱공간(product space)으로 확장하여 다변수 적분을 한 번에 한 변수씩 수행할 수 있도록 합니다.

Scope

이 주제는 한 분해(Hahn decomposition)와 조르단 분해(Jordan decomposition)를 포함하는 부호 측도(signed measures)와 복소 측도(complex measures), 절대 연속성(absolute continuity)과 상호 특이성(mutual singularity), 르베그 분해(Lebesgue decomposition), 라돈-니코딤 정리 및 그 도함수, 곱측도의 구성, 그리고 반복 적분(iterated integrals)의 순서를 교환하기 위한 푸비니 정리와 토넬리 정리(Tonelli's theorem)를 다룹니다.

Core questions

• 한 측도는 다른 측도에 대해 절대 연속 부분과 특이 부분으로 어떻게 분해되는가?
• 언제 한 측도가 다른 측도에 대한 밀도를 가지며, 그 밀도는 무엇인가?
• 곱공간(product space)의 측도는 인자(factor)들의 측도로부터 어떻게 구성되는가?
• 반복 적분(iterated integral)의 순서는 언제 교환될 수 있는가?

Key theories

라돈-니코딤 정리

한 측도가 시그마-유한 측도에 대해 절대 연속이면, 그것은 고유한 밀도 함수인 라돈-니코딤 도함수의 적분이며, 이는 확률 밀도와 조건부 기대값의 엄밀한 기초가 된다.

푸비니-토넬리 정리

시그마-유한성(sigma-finiteness) 하에서, 곱공간에 대한 적분은 반복 적분과 같으며, 비음 함수에 대한 토넬리 형식과 적분 가능한 함수에 대한 푸비니 형식이 있어 적분 순서 교환을 정당화한다.

Clinical relevance

라돈-니코딤 도함수(Radon-Nikodym derivative)는 확률 밀도 함수(probability density function)이자 통계학의 우도비(likelihood ratio)이며, 확률론에서 조건부 기대값(conditional expectation)의 엄밀한 기초가 됩니다. 반면 곱측도와 푸비니 정리는 물리학 및 응용 수학에서 결합 분포(joint distributions), 독립성(independence) 및 다차원 적분(multi-dimensional integrals)의 처리를 뒷받침합니다.

History

라돈은 1913년에 유클리드 공간(Euclidean space)에 대한 밀도 정리(density theorem)를 증명했고, 니코딤은 1930년에 이를 추상 측도(abstract measures)로 확장했습니다. 반복 적분에 대한 푸비니 정리는 1907년에 나왔으며, 토넬리의 비음 함수(non-negative function) 버전에 의해 1909년에 보완되어 곱 적분(product integration) 이론을 완성했습니다.

Key figures

• Johann Radon
• Otton Nikodym
• Guido Fubini

Seminal works

• folland1999
• cohn2013

Frequently asked questions

라돈-니코딤 도함수란 무엇인가?

이는 한 측도가 다른 측도에 대해 절대 연속일 때, 첫 번째 측도를 두 번째 측도에 대한 적분으로 표현하는 밀도 함수이다. 확률론에서는 정확히 확률 밀도 함수이다.

이중 적분의 순서는 언제 바꿀 수 있는가?

토넬리 정리는 시그마-유한 공간에서 비음 가측 함수(non-negative measurable functions)에 대해 이를 허용하며, 푸비니 정리는 함수가 곱공간에서 적분 가능할 때마다 이를 허용한다. 이 둘은 실제에서 접하는 경우들을 포괄한다.