루진의 정리

틀:위키데이터 속성 추적 해석학에서 루진의 정리(Лузин의定理, 틀:Llang)는 가측 함수가 거의 어디서나 연속 함수라는 정리이다.

정의

라돈 측도 $\mu$를 갖춘 하우스도르프 공간 $X$에서 (보렐 시그마 대수를 갖춘) 제2 가산 공간 $Y$로 가는 가측 함수

$f:X\to Y$

에 대하여, 만약 $\mu (X)<\mathrm{\infty }$라면, 루진의 정리에 따르면 임의의 양의 실수 $ϵ>0$에 대하여 다음 두 조건들을 만족시키는 닫힌 집합 $X_{ϵ}\subset X$가 존재한다.

• $\mu (X\setminus X_{ϵ})<ϵ$
• $f{|}_{X_{ϵ}}:X_{ϵ}\to Y$는 연속 함수이다.

만약 $X$가 추가로 국소 콤팩트 공간이라면, 임의의 양의 실수 $ϵ>0$에 대하여 다음 두 조건들을 만족시키는 콤팩트 집합 $X_{ϵ}$ 및 연속 함수 $f_{ϵ}:X\to Y$가 존재한다.

• $\mu (X\setminus X_{ϵ})<ϵ$
• $f{|}_{X_{ϵ}}=f_{ϵ}{|}_{X_{ϵ}}$이다.

실수 구간의 경우, 다음과 같은 형태의 루진 정리가 성립한다. 임의의 함수 $f:[a,b]\to ℝ$에 대하여, 다음 두 조건이 서로 동치이다.

• $f$는 가측 함수이다. 여기서 정의역은 르베그 측도, 공역은 보렐 시그마 대수를 갖춘다.
• 임의의 양의 실수 $ϵ>0$에 대하여, $\mu (\{x\in [a,b]:f(x)\ne f_{ϵ}(x)\})<ϵ$인 연속 함수 $f_{ϵ}:[a,b]\to ℝ$가 존재한다.

역사

니콜라이 루진이 증명하였다.

참고 문헌

• 김성기, 계승혁, 《실해석》, 서울대학교출판부, 2002.

외부 링크

• 틀:매스월드
• 틀:Eom

같이 보기

• 예고로프 정리