함수는 '하나씩 대응'하는 규칙입니다. 정의역·치역과 여러 가지 함수를 정리한 뒤, 두 함수를 이어 붙이는 합성함수와 대응을 거꾸로 뒤집는 역함수까지 순서대로 익힙니다.
↩ 이전 자료: 이차함수의 최대·최소와 이차방정식의 근'각 원소에 하나씩' 대응하는 규칙이 함수입니다.
두 집합 X, Y가 있을 때, X의 각 원소에 Y의 원소가 오직 하나씩 대응하는 관계를 X에서 Y로의 함수라 하고 f : X → Y 로 씁니다. X의 원소 x에 대응하는 Y의 원소를 f(x)라 쓰고, x에서의 함숫값이라고 합니다.
'하나씩'이 핵심입니다. X의 원소 중 대응하지 않는 것이 있어도, 한 원소가 Y의 두 원소에 동시에 대응해도 함수가 아닙니다. 반대로 Y에 대응받지 못한 원소가 남거나, Y의 한 원소에 X의 여러 원소가 몰려도 함수입니다.
| X = {1, 2, 3}의 대응 | 함수인가? | 이유 |
|---|---|---|
| 1→a, 2→b, 3→a | 함수 | X의 원소마다 하나씩 대응 |
| 1→a, 2→b (3은 대응 없음) | 아님 | X의 원소 3이 빠짐 |
| 1→a, 1→b, 2→c, 3→c | 아님 | 1이 두 원소에 대응 |
정의역은 출발 집합 X, 공역은 도착 집합 Y이고, 실제로 대응된 함숫값 전체의 집합 를 치역이라 합니다. 치역은 항상 공역의 부분집합이며, 공역과 같을 수도 있고 더 작을 수도 있습니다.
X = {1, 2, 3}, Y = {1, 2, 3, 4, 5, 6}, f(x) = 2x 이면 정의역 {1, 2, 3}, 공역 {1, 2, 3, 4, 5, 6}, 치역 {2, 4, 6}입니다. 정의역 없이 y = 2x 처럼 식만 주어지면, 함숫값이 정해지는 실수 전체를 정의역으로 봅니다.
두 함수 f, g의 정의역과 공역이 같고, 정의역의 모든 x에 대해 f(x) = g(x)이면 두 함수를 서로 같은 함수라 하고 f = g 로 씁니다. 식의 모양이 달라도 됩니다. 정의역이 {−1, 1}이면 과 g(x) = 1 은 f(−1) = g(−1) = 1, f(1) = g(1) = 1 이므로 서로 같은 함수입니다.
함수 y = f(x)의 그래프는 순서쌍 (x, f(x)) 전체를 좌표평면에 나타낸 것입니다. 어떤 곡선이 함수의 그래프인지는 x축에 수직인 직선을 그어 확인합니다. 정의역의 각 x에서 그 직선이 그래프와 오직 한 점에서만 만나야 함수입니다(수직선 검사).
의 그래프는 수직선 x = 4 와 (4, 2), (4, −2) 두 점에서 만나므로 x의 함수가 아닙니다. 반면 은 어떤 수직선과도 한 점에서만 만나므로 함수입니다.