함수(function) 또는 사상(map)은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계를 말합니다. 첫 번째 집합의 원소에 있는 모든 원소가 두 번째 집합의 원소에 대응시키면 함수가 됩니다.
정의

함수
는 집합이며, 의 정의역이라고 합니다. 는 집합이며, 의 공역이라고 합니다. 는 곱집합 의 부분 집합이며, 의 그래프라고 합니다.
이 튜플이 다음 공리들을 만족시켜야지만 함수라고 합니다.
- 임의의
에 대하여, 인 가 유일하게 존재해야 합니다.
보통 정의역과 공역을 생략하는 경우에는 정의역을
다시 말해, 함수는 정의역의 어떤 원소가 공역의 원소를 대응하지 않거나, 두 개 이상을 대응할 수는 없습니다. 함수에서 이러한
다음과 같이 함수를 표시합니다.
여기서
함수는 정의역과 공역을 생략하여
유한집합에서 함수가 되지 않는 경우는 다음과 같은 경우입니다. 즉, 정의역의 원소 중에 대응관계를 갖지 않은 경우와 정의역의 원소중에 치역이 2개인 경우입니다.
![]() |
![]() |
서로 같은 함수
두 함수가 서로 같기 위해서는 다음의 2가지를 만족해야 합니다.
- 정의역과 공역이 서로 같아야 합니다.
- 모든 대응관계가 같아야 합니다.
즉,
따라서, 함수가 서로 같은지 여부를 확인하기 위해서, 확인하기 쉬운 정의역 및 공역이 서로 같은지 여부를 먼저 확인합니다. 예를 들어, 다음 두 함수는 정의역이 같지 않으므로 같은 함수가 아닙니다.
함수의 그래프
정의역의 원소가 유한집합일 때에는 함수의 그래프는 정의역의 원소와 함숫값의 순서쌍의 집합으로 나타내어집니다. 즉, 함수
반면에, 일차함수, 이차함수 등에서는 정의역과 공역이 실수 전체의 집합으로 주어집니다. 이때, 이 함수의 그래프의 원소인 순서쌍

그럼 정의역과 공역이 실수 전체의 집합인 경우에 함수
오른쪽 그림의 원이
사이에 대응하는 좌표가 없습니다. 축에 나란한 파란 직선이 원과 두 곳에서 만납니다.
또한, 같은 이유로

이와 같은 이유로 원의 방정식은 함수가 아니지만, 정의역을 제한하고, 그려진 자취의 일부를 줄임으로써
즉, 다음과 같이 원의 방정식을 함수꼴로 바꾸고, 정의역을 제한함으로써
이때, 제곱근 앞의 부호가 양수이므로, 자취의
함수의 주요 특징
함수의 특징을 식으로 표현할 수 있습니다.
대칭성
보통, 짝수함수(우함수), 홀수함수(기함수) 정도가 수업시간에 다루어지지만, 문제에서는 다른 형태도 출제되는 경우가 있습니다. 비록 이 수식 관계를 알고 있지 않을지라도, 몇 개의 점을 대입해서 그의 특징을 유추해 볼 수 있습니다.
: 함수 는 짝수함수(even function:우함수)이며, 그의 그래프가 축에 대해 대칭입니다. 다함함수에서 차수가 짝수인 것들은 이것에 속하기 때문에 짝수함수로 불리는 것으로 보입니다. : 함수 는 홀수함수(odd function:기함수)이며, 그의 그래프가 원점에 대해 대칭입니다. 다함함수에서 차수가 홀수인 것들은 이것에 속하기 때문에 홀수함수로 불리우는 것으로 보입니다. , : 그의 그래프가 에 대해 대칭입니다. , : 그의 그래프가 에 대해 대칭입니다. , : 그의 그래프가 에 대해 대칭입니다.
짝수함수와 홀수함수의 연산
고등학교 교과과정에서
이런 그래프의 개형을 그릴 때, 짝수함수, 또는 홀수함수인지를 아는 것은 매우 중요한 성질 중에 한 가지임에 틀림이 없습니다.
- (짝수함수) ± (짝수함수) → (짝수함수)
- (홀수함수) ± (홀수함수) → (홀수함수)
- (짝수함수) × (짝수함수) → (짝수함수)
- (홀수함수) × (홀수함수) → (짝수함수)
- (짝수함수) × (홀수함수) → (홀수함수)
나눗셈도 곱셈과 마찬가지이고, 분모와 분자가 바뀌더라도 결과는 같습니다. 예를 들어,
- (짝수함수) ÷ (짝수함수) → (짝수함수)
다음과 같은 경우는 어느 쪽의 함수도 아닙니다.
- (짝수함수) ± (홀수함수) → (짝수함수) 또는 (홀수함수)가 아닙니다.
짝수함수와 홀수함수 사이의 합성 관계는
- (짝수함수)∘(짝수함수) → (짝수함수)
- (짝수함수)∘(홀수함수) → (짝수함수)
- (홀수함수)∘(짝수함수) → (짝수함수)
- (홀수함수)∘(홀수함수) → (홀수함수)
- (임의의 함수)∘(짝수함수) → (짝수함수)
이런 연산은 암기할 필요가 없는데, 대표적인 함수, 즉,
예를 들어,
볼록, 오목
함수의 그래프가 곡선으로 이루어져 있을 때, 구간
: (아래로) 볼록한 그래프(위로 오목한 그래프) : 아래로 오목한 그래프(위로 볼록한 그래프)
등호의 존재 유무에 따라 엄격한(또는 강한) 볼록, 약한 볼록으로 나뉩니다. 등호가 있을 때, (약한) 볼록으로 불리고, 없으면, 엄격한 볼록이라고 불립니다. 부등식이 없고, 등호로 이루어지면, 직선을 나타냅니다.
주기성
함수
를 만족하면, 주기
만약 함수
만약