함수는 "입력 하나에 출력 하나"를 대응시키는 규칙 — 세상의 인과관계를 담는 그릇이다. 함수를 이어 붙이고(합성)되돌리는(역함수) 법을 배우면, 복잡한 변환을 조립하고 암호를 풀 듯 거꾸로 추적할 수 있다.
⚙️
함수 = 기계 (input → output)
함수를 "입력을 넣으면 출력이 나오는 기계"로 상상하자. 여러 기계를 직렬로 연결하면 합성함수, 기계를 거꾸로 돌리면 역함수. 프로그래밍의 함수도 정확히 이 개념이다.
🔗 함수와 대응
✅ 함수의 정의
집합 $X$ 의 각 원소에 집합 $Y$ 의 원소가 오직 하나씩 대응할 때, 이 대응을 $X$ 에서 $Y$ 로의 함수 $f: X \to Y$ 라 한다. $X$ = 정의역, $Y$ = 공역, 함숫값 전체 = 치역(공역의 부분집합).
⚠️ 함수가 되려면
정의역의 모든 원소가 대응되어야 하고, 한 원소가 두 개 이상에 대응하면 함수가 아니다. (하나의 입력 → 하나의 출력)
✅ 일대일함수 · 일대일대응
서로 다른 입력이 서로 다른 출력을 가지면 일대일함수. 여기에 치역 = 공역까지 되면 일대일대응. 일대일대응일 때만 역함수가 존재한다 (되돌릴 수 있음).
🧭 그래프로 판별
어떤 그래프가 함수인지 보려면 세로선 판정(수직선이 그래프와 두 번 이상 만나면 함수 아님). 일대일함수는 가로선 판정(수평선이 두 번 이상 만나지 않음).
📏 정의역이 제한되면 — 치역은 끝점에서
정의역이 $1 \le x \le 4$ 처럼 제한된 일차함수의 치역은 양 끝점의 함숫값으로 정해진다. $f(x) = -2x + 5$ 라면 $f(1) = 3$, $f(4) = -3$ 이고, 기울기가 음수라 $x$ 가 커질수록 $y$ 는 작아지므로 치역은 $-3 \le y \le 3$ 이다. 기울기가 음수면 두 값의 순서가 뒤집힌다. 정의역 밖의 $x$(예: $y$ 절편을 주는 $x = 0$)에서 나오는 값은 치역에 들어가지 않는다.
🔢 함수의 개수 세기
정의역의 원소 하나하나가 공역의 원소 중 하나를 고르고, 서로 영향을 주지 않는다. 그래서 개수는 곱해진다. $X$ 의 원소가 $m$ 개, $Y$ 의 원소가 $n$ 개면 $X$ 에서 $Y$ 로의 함수는 $n^m$ 개다. 밑이 공역의 크기, 지수가 정의역의 크기다. 예 — $X = \{1,2,3\}$, $Y = \{4,5\}$ 이면 $2^3 = 8$ 개. ($3^2 = 9$ 가 아니다.)
⛓️ 합성함수 — 기계 연결
$f(x) = 2x + 1$ 과 $g(x) = x^2$ 를 직렬로 연결했다. 입력 $x$ 를 바꾸며 $(g \circ f)(x) = g(f(x))$ 가 어떻게 계산되는지 보자.
입력 x2
✅ 합성함수의 정의
$(g \circ f)(x) = g(f(x))$ — $f$ 를 먼저 적용하고 그 결과에 $g$ 를 적용. 순서 주의! 오른쪽 함수부터 작동한다.
⚠️ 교환법칙 성립 안 함
일반적으로 $g \circ f \ne f \circ g$. 예: $f(x)=2x+1, g(x)=x^2$ 이면 $(g \circ f)(x)=(2x+1)^2$ 이지만 $(f \circ g)(x)=2x^2+1$. 서로 다르다.
🔁 괄호 안이 식일 때 — f(2x−1) 꼴
$f(2x-1) = 6x+1$ 처럼 괄호 안이 $x$ 가 아니라 식이면, 그 식이 원하는 값이 되게 하는 $x$ 를 먼저 찾는다. $f(3)$ 을 구하려면 $2x - 1 = 3$ 에서 $x = 2$, 따라서 $f(3) = 6 \cdot 2 + 1 = 13$. ($x$ 에 그냥 $3$ 을 넣으면 안 된다.) 식 전체를 $f(x)$ 꼴로 바꾸려면 오른쪽을 괄호 안의 식으로 묶는다: $6x + 1 = 3(2x-1) + 4$ 이므로 $f(x) = 3x + 4$. 묶고 남는 상수를 보정하는 것이 핵심이다.
🔄 역함수 — 되돌리기
$f(x) = 2x - 1$ (파랑)과 그 역함수 $f^{-1}(x) = \dfrac{x+1}{2}$ (초록). 두 그래프는 직선 $y = x$ (주황 점선)에 대해 대칭이다.
점 (3, 5)는 f 위의 점 → 역함수에서는 (5, 3). x와 y가 바뀐다.
✅ 역함수 구하는 법
① $y = f(x)$ 에서 $x$ 와 $y$ 를 교환, ② $y$ 에 대해 정리. 예: $y = 2x - 1$ → $x = 2y - 1$ → $y = \dfrac{x+1}{2}$. 즉 $f^{-1}(x) = \dfrac{x+1}{2}$.
✅ 핵심 성질
역함수는 일대일대응일 때만 존재. $y = f(x)$ 와 $y = f^{-1}(x)$ 의 그래프는 직선 $y = x$ 에 대해 대칭. 또 $f^{-1}(f(x)) = x$, $f(f^{-1}(x)) = x$ (서로 상쇄).
⚠️ 표기 주의
$f^{-1}$ 은 "역함수"이지 $\dfrac{1}{f}$ 가 아니다. 지수 $-1$ 처럼 생겼지만 역수와 무관.
🔄 합성의 역함수는 순서가 뒤집힌다
$(f \circ g)^{-1} = g^{-1} \circ f^{-1}$ — 마지막에 한 것을 먼저 되돌린다. ($f^{-1} \circ g^{-1}$ 이 아니다.) 실전에서는 합성한 식을 하나로 만들어 방정식을 푸는 편이 빠르다. $f(x) = 2x-3$, $g(x) = x+1$ 이면 $(f \circ g)(x) = 2x - 1$ 이므로, $(f \circ g)^{-1}(5)$ 는 $2x - 1 = 5$ 를 풀어 $x = 3$. 합성 결과에서 안쪽 함수를 되찾을 때도 같다: $(f \circ g)(x) = 4x - 1$ 이고 $f(x) = 2x+1$ 이면 $2g(x) + 1 = 4x - 1$ 에서 $g(x) = 2x - 1$ 이다.
🌐 세상 속으로
📌 어른이 되어도 기억할 것
함수 = 입력 하나 → 출력 하나. 합성 $g \circ f$ 는 오른쪽(f)부터.
역함수는 x·y 교환, 그래프는 $y = x$ 대칭, 일대일대응일 때만 존재.
$f^{-1}$ 은 역함수이지 역수 $\frac{1}{f}$ 가 아니다.
💡 인사이트 — 암호와 되돌리기
암호화는 함수 $f$, 복호화는 그 역함수 $f^{-1}$. 역함수를 쉽게 못 구하게 만든 것이 공개키 암호. 또 합성함수는 딥러닝의 층(layer)을 겹겹이 쌓는 바로 그 구조다.
⚙️ 기업이라는 함수 — 시스템이자 부속품
경제학의 생산함수 $Q = f(L, K)$ 는 노동 $L$ 과 자본 $K$(입력)를 투입하면 산출량 $Q$(출력)가 나오는 함수로 기업을 표현한다. 그런데 그 기업 안을 들여다보면, 생산팀·마케팅팀·재무팀도 각각 입력과 출력을 가진 더 작은 함수이고, 이들이 서로 합성돼 있다(생산팀의 출력 = 제품이 마케팅팀의 입력이 되는 식). 함수는 이렇게 큰 시스템이자 동시에 더 큰 시스템의 부속품이라는 이중적 지위를 가진다 — 회사의 업무 흐름(프로세스)이 사실 함수 합성 다이어그램이다.