정의
계단 함수(step function)는 정의역의 구간마다 일정한 값을 갖고, 구간이 바뀔 때마다 값이 급격히 변하는 수학적 함수이다. 일반적으로 실수 집합 $\mathbb{R}$ 위에서 정의되며, 각 구간은 닫힌 구간이나 반닫힌 구간 등으로 구성될 수 있다. 가장 대표적인 형태는 단위 계단 함수(Heaviside step function)로,
$$ H(x)=\begin{cases} 0, & x<0,\ 1, & x\ge 0, \end{cases} $$
와 같이 정의된다.
개요
계단 함수는 실해석, 신호 처리, 제어 이론 등에서 신호의 급격한 전이 또는 스위칭 동작을 모델링하는 데 이용된다. 또한 적분·미분의 기초 개념을 설명하거나, 푸리에 급수·라플라스 변환에서 기본적인 예시 함수로 자주 사용된다. 계단 함수는 연속함수가 아닌 불연속함수이지만, 르베그 적분 등 보다 일반적인 적분 이론에서는 적절히 취급된다.
어원/유래
‘계단 함수’는 영어 “step function”를 직역한 용어이다. “step”은 계단 모양으로 일정 구간마다 값이 일정하게 유지되고 급격히 변하는 모습을 비유적으로 나타낸다. 한국어 번역은 20세기 중후반 수학 교과서·전문 서적에서 일반화되었다. 정확한 최초 번역 시점에 대한 문헌은 확인되지 않는다.
특징
- 구간별 상수값 : 정의역을 유한 혹은 무한한 구간으로 분할하고, 각 구간에서 함수값이 일정한다.
- 불연속점 : 구간 경계에서 함수값이 변하므로, 적어도 하나 이상의 불연속점을 가진다.
- 표현 방식 : 보통 구간 경계와 각 구간의 값을 나열하거나, 지표함수(indicator function)를 이용해
$$ f(x)=\sum_{k=1}^{n} c_k \mathbf{1}{[a{k},,b_{k})}(x) $$
형태로 표현한다. - 적분·미분 : 구간 내에서는 미분이 0이며, 불연속점에서의 미분은 디랙 델타 함수(Dirac delta)와 같은 분포로 취급될 수 있다.
- 다양한 변형 : 단위 계단 함수 외에도 여러 높이와 위치를 갖는 복합 계단 함수가 존재한다.
관련 항목
- 함수
- 단위 계단 함수 (Heaviside step function)
- 디랙 델타 함수 (Dirac delta function)
- 라플라스 변환
- 푸리에 급수
- 불연속 함수
- 지표 함수 (indicator function)
이 문서는 계단 함수에 대한 일반적인 수학적 정의와 활용을 기반으로 작성되었으며, 최신 연구 동향이나 특수한 변형에 대한 상세 내용은 별도의 전문 서적을 참고한다.