다항함수

다항함수는 다항식으로 나타낼 수 있는 함수이다. 최고차항의 차수에 따라 상수함수, 일차함수, 이차함수, 삼차함수, 사차함수... 등으로 분류될 수 있다. 상수도 다항식이기 때문에 다항함수는 다항식과 다항식의 몫으로 정의되는 유리함수에 속한다.

단항식으로 구성되어 있고 그 식의 계수가 1인 다항함수[1]는 멱함수(冪函數)라고도 하는데, 멱함수는 다항함수가 아닌 유리함수[2], 무리함수[3]도 포함하기 때문에 완전 대응되지는 않는다.

다항함수는 덧셈, 뺄셈, 실수배, 곱셈, 합성에 대해 닫혀있다. 그러나 나눗셈의 경우, 다항함수와 다항함수의 몫이 다항함수일 수도 있고, 다항함수가 아닌 유리함수일 수도 있다.

모든 일차함수와 삼차함수는 점대칭이고, 모든 상수함수와 이차함수는 좌우대칭이다. 일차함수의 경우 모든 점에 대해 점대칭이고, 삼차함수는 유일하게 가지는 변곡점을 기준으로 점대칭이다. 상수함수는 모든 점에 대해 좌우대칭이고, 이차함수는 최대·최소를 갖는 꼭짓점을 지나는 대칭축을 기준으로 좌우대칭이다. 그러나 사차 이상의 다항함수는 항상 대칭성을 갖는 것은 아니다.

특별히 단항식으로 정의된 다항함수인 멱함수의 경우에는 차수에 따라 대칭성이 결정된다. 멱함수의 정의에 대해서는 멱함수 문서 참고. 1, 3, 5... 등 홀수 차수의 멱함수는 원점대칭이고, 2, 4, 6... 등 짝수 차수의 멱함수는 y축 대칭이다. 다항함수의 이러한 특징 때문에 원점대칭인 함수는 홀함수, y축 대칭인 함수는 짝함수라고 부른다. 단, 홀함수와 짝함수는 다항함수만을 말하는 것은 아니다. 대표적인 예로 $\sin x$는 다항함수가 아니지만 원점대칭인 홀함수이며, $\cos x$도 다항함수가 아니지만 y축 대칭인 짝함수이다.

다항함수는 모든 점에서 연속인 연속함수이고, 모든 점에서 미분가능한 함수이다. 다항함수의 도함수도 다항함수이기 때문에, 무한히 미분해도 연속이며 미분가능하다. 즉, 매끄럽다.

그래서 미적분을 배울 때는 다항함수부터 배운다. 다항함수는 모든 점에서 미분가능하기 때문에 고려할 점이 적어[4] 미적분이 사칙연산마냥 단순계산에 불과하기 때문이다. 실제로 2015 개정 교육과정에서 고등학생이 미적분을 처음 배우는 교과는 수학Ⅱ(2015)인데, 이 과목에서 미분·적분은 다항함수와 다항함수로 구성된 구간별로 정의된 함수만을 다룬다.

상수 하나만 있어도 다항식이 될 수 있으므로, 상수함수도 다항함수이다.

일차함수의 일반화이다. 다중선형형식과 행렬과 벡터는 선형대수학의 기본정리에 의해 동일한 대상으로 볼 수 있다.

이차함수의 일반화이다.

삼차함수의 일반화이다.

$g(x) = ax^5 + bx^4 + cx^3 + dx^2 + ex + f \quad (a \neq 0)$

최고차항의 차수가 5인 함수이다. '오차함수'라고 불리는 함수는 다항식으로 정의되는 꼴(五次函數, quintic function)과 다항식으로 정의되지 아니한 꼴(誤差函數, error function) 두 개가 있는데 이 문단에서 설명하고 있는 것은 전자이다.

그래프의 개형은 삼차함수에서 굴곡이 한 겹 더 추가된 형태, 즉 올라갔다 내려갔다 올라갔다 내려갔다 올라가는 모양새로 이해하면 편하다. 그러나 이는 수많은 오차함수 그래프의 개형 중 일부의 경우일 뿐이며, 사차함수 문서에도 서술되어 있듯이 6종류의 삼차함수 그래프의 개형으로부터 사차함수 그래프의 개형이 20개나 도출되는데, 오차함수는 그런 사차함수를 또 다시 도함수로 하기 때문에 그야말로 극악[5]이다. 오차 이상이 되면 지나치게 복잡해지는 관계로 고등학교에서는 사차 이하의 다항함수만을 다룬다.

오차 이상의 다항함수부터는 역함수를 초등함수로 표현할 수 없고, 브링 근호를 사용해야 한다.

이외에도 육차함수(Sextic function), 칠차함수(Septic function) 등을 생각할 수 있다.

위의 삼차함수부터는 '고차 함수'라고 불린다.[6]

일부 특수함수는 특정 조건[7]에서 다항함수의 형태를 띠기도 한다.