정의
역함수(inverse function)란, 함수 $f\colon A \rightarrow B$에 대하여 $f$의 값을 다시 원래 입력값으로 되돌리는 함수 $f^{-1}\colon B \rightarrow A$를 말한다. 즉, 모든 $x \in A$에 대해 $f^{-1}(f(x)) = x$이고, 모든 $y \in B$에 대해 $f(f^{-1}(y)) = y$를 만족한다.
개요
역함수는 원함수와 쌍을 이루어 서로의 입력과 출력을 교환한다. 역함수가 존재하려면 원함수가 전단사(bijective), 즉 일대일 대응이면서 전사이어야 한다. 전단사 함수는 정의역과 공역이 서로 일대일로 연결되므로, 각 출력값에 대해 유일한 입력값이 존재한다는 점에서 역함수의 정의를 만족한다. 일반적인 실수 함수에서 역함수는 그래프가 $y = x$ 대각선을 기준으로 대칭인 형태를 가진다.
어원/유래
‘역함수’는 한자어 ‘逆(역)’와 ‘函數(함수)’가 결합된 형태이다. ‘逆’는 ‘거꾸로’, ‘반대’라는 의미를, ‘函數’는 ‘함수’를 뜻한다. 따라서 ‘역함수’는 ‘함수를 뒤집은 것’이라는 직관적인 의미를 가진다. 이 용어는 서양 수학에서 ‘inverse function’이라는 표현을 번역하면서 정착되었으며, 20세기 초반부터 한국의 수학 교육 교재에 널리 사용되었다.
특징
- 존재 조건: 원함수가 전단사일 때에만 역함수가 존재한다. 전단사가 아닌 경우에는 부분역함수(partial inverse) 혹은 다가역 함수(multivalued inverse) 개념을 사용한다.
- 표기법: 역함수는 보통 $f^{-1}$로 표기한다. 단, 지수 $-1$이 역함수를 의미한다는 점에 유의하고, 거듭제곱을 나타내는 경우와 혼동되지 않도록 한다.
- 연산적 성질: 두 함수 $f$와 $g$가 각각 역함수를 가질 때, $(g \circ f)^{-1} = f^{-1} \circ g^{-1}$가 성립한다. 또한, $(f^{-1})^{-1} = f$이다.
- 그래프적 특성: 원함수의 그래프를 직선 $y = x$에 대해 대칭시킨 것이 역함수의 그래프가 된다. 이는 시각적으로 역함수 존재 여부를 판단하는 데 도움이 된다.
- 응용 분야: 방정식 풀이, 좌표 변환, 암호학(예: RSA에서의 모듈러 역원), 물리학의 역문제 등 다양한 분야에서 역함수가 활용된다.
관련 항목
- 전단사 함수 (bijection)
- 일대일 함수 (injective function)
- 전사 함수 (surjective function)
- 합성 함수 (composition of functions)
- 함수의 역원 (modular inverse)
- 미분가능 함수와 역함수 정리 (inverse function theorem)
- 로그 함수와 지수 함수 (logarithmic and exponential functions)
※ 위 내용은 수학 교과서 및 표준 수학 참고서에 근거한 일반적인 정의와 특성을 기술한 것이다.