왜 직선의 모든 부분집합을 측정하지 않는가?

선택 공리를 사용하면 비탈리 집합과 같이 병진 불변성과 가산 가법성에 일관된 크기를 할당할 수 없는 집합을 만들 수 있으므로, 측정은 시그마-대수로 제한됩니다.

가산 가법성의 역할은 무엇인가?

가산 가법성, 즉 가산 서로소 합집합의 측도가 측도들의 합이라는 것은 측도가 극한과 잘 상호작용하게 하고 적분의 수렴 정리를 가능하게 합니다.

시그마-대수는 측정 가능한 집합을 고정하고, 측도는 각 집합에 일관된 크기를 할당합니다. 이 둘은 함께 모든 적분 이론이 구축되는 가측 공간을 형성합니다.

PaperMind(으)로 주제 찾기곧 제공Find papers & topics

Tools & resources

Learn & explore

동영상곧 제공

시그마-대수는 여집합과 가산 합집합에 대해 닫혀 있는 부분집합들의 모음이며, 측도는 시그마-대수 상의 가산 가법적이고 음이 아닌 집합 함수입니다. 이 쌍은 길이, 넓이, 부피 및 확률을 일반화하는 측도 공간을 형성합니다.

이 주제는 시그마-대수와 열린 집합에 의해 생성되는 보렐 시그마-대수, 가측 함수, 가산 가법성을 가진 측도의 공리, 외측도와 카라테오도리 구성, 르베그 측도의 구축, 완전성과 영집합, 그리고 단조 수열에 따른 측도의 연속성을 다룹니다.

카라테오도리 확장 정리: 외측도는 그 가측 집합의 시그마-대수 상에서 진정한 가산 가법적 측도로 제한되며, 이는 르베그 측도와 더 간단한 집합 함수로부터 추상 공간 상의 측도를 생성하는 구성입니다.
비가측 집합의 존재: 선택 공리를 가정하면, 실수 직선의 부분집합 중에는 병진 불변의 가산 가법적 측도가 크기를 할당할 수 없는 것들이 존재합니다. 이것이 모든 부분집합이 아닌 시그마-대수가 필요한 이유입니다.

측도 공간은 확률 이론의 형식적 기초이며, 여기서 시그마-대수는 관측 가능한 사건을 인코딩하고 측도는 확률 분포입니다. 동일한 프레임워크는 적분, 통계 및 금융에서 무작위성의 엄격한 처리, 그리고 해석학에서 함수 공간의 정의를 지원합니다.

보렐은 1898년경 구간으로부터 구축된 집합의 시그마-대수를 도입했고, 르베그는 1902년 직선 상의 측도를 정의했습니다. 카라테오도리의 외측도 방법은 추상 공간으로의 구성을 일반화했으며, 비탈리의 1905년 예시는 비가측 집합을 보여주었습니다.

왜 직선의 모든 부분집합을 측정하지 않는가?: 선택 공리를 사용하면 비탈리 집합과 같이 병진 불변성과 가산 가법성에 일관된 크기를 할당할 수 없는 집합을 만들 수 있으므로, 측정은 시그마-대수로 제한됩니다.
가산 가법성의 역할은 무엇인가?: 가산 가법성, 즉 가산 서로소 합집합의 측도가 측도들의 합이라는 것은 측도가 극한과 잘 상호작용하게 하고 적분의 수렴 정리를 가능하게 합니다.