정의
가측집합
에서 정의된 함수
에 대해, 서로소이고
인 가측집합
과 실수
이 존재해
이면
를 단순함수(simple function)라고 한다. 단순함수를 지시함수를 이용해 다음과 같이 나타낼 수 있다.
예시
Example — 다음은 단순함수의 예시이다.
- 임의의 계단함수는 단순함수이다.
- 가측집합에서 정의된 임의의 지시함수는 단순함수이다.
성질
Theorem — 두 단순함수의 합과 곱은 단순함수이다.
단순함수의 적분
단순함수의 표준표현(canonical representation)은
와 같이 나타난다. 이때
은 영이 아닌 서로 다른 실수이고,
이다. 이때
의 적분을
으로 정의하자. 그러면
이
이고 서로소인 가측집합일 때,
이면
을 얻는다.
가측집합
에 대해
이고
이 유계인 함수일 때,
를 상르베그 적분(upper Lebesgue integral),
를 하르베그 적분(lower Lebesgue integral)이라고 한다.
의 상르베그 적분과 하르베그 적분이 같으면 르베그 적분가능(Lebesgue integrable)하다고 한다.