정의
함수의 합성(Composition of functions)은 두 함수 $f$와 $g$가 있을 때, 한 함수의 출력 값을 다른 함수의 입력 값으로 사용하는 연산을 말한다. 구체적으로, 정의역이 $X$이고 공역이 $Y$인 함수 $f: X \rightarrow Y$와, 정의역이 $Y$이고 공역이 $Z$인 함수 $g: Y \rightarrow Z$가 주어지면, 이들의 합성인 함수 $g \circ f$는 다음과 같이 정의된다.
$$ (g \circ f)(x) = g\bigl(f(x)\bigr), \quad \forall x \in X. $$
표기
합성 함수는 보통 $g \circ f$ (‘g 컴포즈 f’) 또는 단순히 $gf$와 같이 표기한다. 여기서 $\circ$는 ‘합성’ 연산자를 의미한다.
주요 성질
| 성질 | 설명 |
|---|---|
| 결합법칙 | $(h \circ g) \circ f = h \circ (g \circ f)$ (함수 세 개에 대해 언제나 성립) |
| 단사·전사·전단사 보존 | $f$와 $g$가 각각 단사(전사, 전단사)이면, $g \circ f$도 단사(전사, 전단사)이다. |
| 역함수와의 관계 | 두 함수가 모두 가역(invertible)이라면 $(g \circ f)^{-1} = f^{-1} \circ g^{-1}$ 가 성립한다. |
| 항등함수와의 합성 | 항등함수 $\operatorname{id}_X$와의 합성은 $\operatorname{id}_X \circ f = f$ 및 $f \circ \operatorname{id}_Y = f$ 를 만족한다. |
사용 맥락
- 수학적 분석 : 복합함수의 미분·적분에 있어 체인(rule) 법칙은 합성 함수의 미분 공식 $(g \circ f)'(x) = g'\bigl(f(x)\bigr),f'(x)$ 로 표현된다.
- 프로그래밍 : 함수형 프로그래밍 언어에서
compose연산자를 이용해 여러 함수를 순차적으로 결합한다. - 시스템 설계 : 입력 → 변환 → 출력 형태의 파이프라인을 모델링할 때, 각 단계의 변환을 함수로 보고 전체 동작을 합성 함수로 표현한다.
예시
- 실수 함수 $f(x) = x^2$와 $g(x) = \sin x$에 대해 합성 $g \circ f$는 $(g \circ f)(x) = \sin(x^2)$가 된다.
- 역함수와의 관계 예시: $f(x)=2x+3$ (전단사)와 그 역함수 $f^{-1}(x)=\frac{x-3}{2}$에 대해 $(f^{-1} \circ f)(x)=x$ 가 성립한다.
관련 개념
- 함수 곱(product of functions): $(f\cdot g)(x)=f(x)g(x)$와는 연산이 다르며, 합성은 입력‑출력 순서를 중요시한다.
- 함수 합(sum of functions): $(f+g)(x)=f(x)+g(x)$ 역시 별개의 연산이다.
요약
함수의 합성은 두 함수 사이의 입력·출력 관계를 연결하여 새로운 함수를 만드는 기본적인 수학 연산이며, 결합법칙, 역함수와의 관계 등 여러 중요한 성질을 가진다. 이러한 성질은 순수 수학뿐 아니라 공학, 컴퓨터 과학 등 다양한 분야에서 널리 활용된다.
