극한과 적분의 교환 조건

사라지는 점값과 남는 면적

[0,1]에서 n≥2인 연속 삼각형 봉우리를 정의합니다.

꼭짓점은 x=1/n, 높이는 n이고 지지는 [0,2/n]입니다. 삼각형 면적은 밑변×높이/2=1입니다. 반면 고정 x>0은 충분히 큰 n에서 지지 바깥에 있고 x=0의 값도 항상 0이므로 모든 점에서 fₙ→0입니다.

유한 적분이 모두 존재하고 점별 극한도 존재해도 교환은 실패할 수 있습니다. 봉우리가 좁다는 이유로 수치 격자가 놓친 면적을 0이라고 해석하면 이 핵심 반례를 잘못 읽게 됩니다.

균등 수렴이면 가능한 교환

유한 길이 구간에서 적분 가능한 fₙ이 f로 균등 수렴하면

봉우리 모형은 supremum이 n이므로 이 조건을 충족하지 않습니다. 균등 수렴이 적분 교환의 충분조건이라는 사실과 필요한 유일 조건이라는 주장은 다릅니다. 더 약한 측도론적 조건도 있습니다.

지배수렴 정리의 가정

측도공간에서 가측 함수 fₙ이 거의 모든 곳에서 f로 수렴하고, 모든 n에 대해 |fₙ|≤g인 적분 가능한 공통 g가 존재하면 적분과 극한을 교환할 수 있습니다. 가측성·거의 모든 곳·절댓값·공통 지배·적분 가능성을 함께 읽어야 합니다.

실습의 비교 모형 x/n은 |x/n|≤1이고 [0,1]에서 1이 적분 가능하므로 적분이 1/(2n)→0입니다. 이 간단한 예제는 균등 수렴도 만족합니다. 지배수렴의 일반 증명은 측도·확률 단원에서 확장합니다.

봉우리에는 왜 공통 지배가 없나

공통 적분 가능 g가 봉우리를 모두 지배한다면 ∫₀²⁄ⁿg≥1이어야 합니다. 그러나 적분 가능한 함수의 적분은 길이가 0으로 가는 집합에서 0으로 갑니다. 이는 모순입니다. 단순히 상수 1이 지배하지 못한다는 사실보다 강한 논증입니다.

봉우리의 mass가 점별 극한에서 사라지는 현상은 함수의 약한 수렴이나 측도의 극한과도 연결됩니다. 여기서는 분포 극한을 도입하지 않고 보통 함수값과 적분의 교환 실패만 확인합니다.

AI 수식의 교환 기호를 점검하기

기대값 안의 극한, 무한 합의 항별 적분, 손실의 기대 안 미분은 조건을 확인해야 하는 단계입니다. 지배수렴이 극한과 적분을 정당화하더라도 미분 교환에는 차분 몫 또는 도함수의 적절한 지배 등 추가 검토가 필요합니다. “정규화된다”라는 말만으로 모든 교환이 허용되지는 않습니다.

확인 문제와 답

1. n=32의 봉우리 높이와 면적은? 32와 1입니다.
2. 봉우리의 점별 극한 적분은? 0입니다.
3. fₙ=x/n의 n=8 적분은? 1/16입니다.
4. 유한 격자가 봉우리를 놓치면 정리가 증명되나요? 아니요. 표본 격자의 실패입니다.

추가 읽기: MIT 공식 강좌 안내. 강좌 범위를 확인해 보충 자료로 연결하며, 아래의 작은 예제와 논증은 직접 구성했습니다.