logo

실함수의 절대연속 📂측도론

실함수의 절대연속

정의1

함수 f:RR(or C)f : \mathbb{R} \to \mathbb{R}( \text{or } \mathbb{C})가 주어졌다고 하자. ff가 임의의 유한개의 서로소인 구간(ai,bi)[a,b](a_{i}, b_{i}) \sub [a,b]가 주어지더라도 다음의 조건을 만족할 때 [a,b][a, b] 위에서 절대 연속absolutely continuous이라 한다.

ϵ>0δ>0 such that i=1N(biai)<δ    i=1Nf(bj)f(aj)<ϵ \forall \epsilon \gt 0 \quad \exist \delta \gt 0 \text{ such that } \sum\limits_{i=1}^{N} (b_{i} - a_{i}) \lt \delta \implies \sum\limits_{i=1}^{N} \left| f(b_{j}) - f(a_{j}) \right| \lt \epsilon

설명

정의에 의해서 절대연속이면 균등연속이다.

성질

ff가 미분가능하고 도함수 ff^{\prime}유계이면, ff는 절대연속이다.

같이보기


  1. Gerald B. Folland, Real Analysis: Modern Techniques and Their Applications (2nd Edition, 1999), p105 ↩︎