[include(틀:다른 뜻1, other1=프로그래밍 함수, rd1=고차 함수, anchor1=일차 함수 (First-order function))] [include(틀:초등함수의 목록)] [목차] == 개요 == {{{+1 linear function · [[一]][[次]][[函]][[數]]}}} 일차함수는 [[다항함수]]의 일종으로, 다음과 같이 정의된다. {{{#!wiki style="text-align: center" [br][math(f(x) = ax + b \qquad)]([math(a \neq 0)]이고, [math(a)], [math(b)]는 상수)}}} 이것의 그래프는 [[직교좌표계]]에서 아래와 같이 그려진다. [[파일:나무_일차함수_그래프_수정.png|width=180&align=center]] 일반적으로 다변수로 확장하면, 다음과 같이 된다. 이를 '''선형형식'''(linear form)이라고 한다. 이를 일반화한 개념이 [[다중선형형식]]이다. {{{#!wiki style="text-align: center" [br][math(\displaystyle f(x_1,\, x_2,\, \cdots,\, x_n) = \sum_{k=1}^{n}a_{k}x_{k} +b)]}}} === 상세 === 함수 [math(f(x)=ax+b)]는 다음을 만족시킨다. * 기울기는 [math(a)]이다. * [[좌표평면]]상의 그래프는 직선이다. * [math(a>0)]이면, [math(x)]값이 증가하면 [math(y)]값이 증가한다. * [math(a<0)]이면, [math(x)]값이 증가하면 [math(y)]값이 감소한다. * [math(x)]절편은 [math(-\dfrac{b}{a})]이다. * [math(y)]절편은 [math(b)]이다. * [[도함수]]는 [math(f'(x)=a)]로 상수함수이다. * [[역도함수]]는 [math(\displaystyle \int f(x)\,{\rm d} x=\dfrac{ax^2}{2}+bx+C)]로 [[이차함수]]이다.(단, [math(C)]는 적분 상수.) * [[극값]]을 갖지 않는다.[* 그야말로 모든 경우에 극값을 갖지 않는 다항함수의 차수는 1차밖에 없다.] == [[해석기하학]]적 의미 == === [[직교좌표계]]에서 === [include(틀:상세 내용, 문서명=직선)] 그래프가 직선을 그리기 때문에 '선형함수'라고도 부른다. === [[극좌표계]]에서[anchor(아르키메데스 나선)] === [[극좌표계]]상에서 {{{#!wiki style="text-align: center" [br][math(r(\theta) = a\theta + b \qquad)]([math(a \neq 0)]이고, [math(a)], [math(b)]는 상수)}}} 의 그래프는 나선이 되는데 이를 [[https://en.wikipedia.org/wiki/Archimedean_spiral|아르키메데스 나선]]이라고 한다. 아래는 가장 간단한 경우인 [math(b=0)]인 경우에 대하여 그래프의 개형을 그려본 것이다. [[파일:나무_아르키메데스_나선.png|width=280&align=center]] == [[해석학(수학)|해석학]]적 의미 == 위 정의식에서 [math(a=1)], [math(b=0)]일 경우[* 이렇게 단항식으로 정의된 [[다항함수]]는 따로 [[멱함수]](冪函數)라고 칭한다.]를 생각해보자. {{{#!wiki style="text-align: center" [br][math(f(x) = x)]}}} 이는 [[항등함수]]의 일종이며, 다음과 같은 성질을 가진다: * 원점에 대칭인 [[대칭함수|홀함수]]이다. 즉 [math(x =-(-x))]가 성립한다. * [[역함수]]의 기준선이다. 즉 역함수 관계의 두 함수는 [math(f(x) = x)]에 대칭이다. * 역함수는 '''자기 자신'''이다. * [[비례·반비례|정비례 관계]]이다. 즉 [math(x)]가 증가하면 함숫값도 증가하는 증가함수이다. * [[도함수]]는 상수함수로, [math(f'(x) =1)]이다. * [[적분|역도함수]]는 [[이차함수]]로, [math(\displaystyle \int x\,\mathrm{d}x = \dfrac{x^2}{2} +C)]이다.(단, [math(C)]는 적분 상수.) === [[등차수열]] === [[등차수열]]의 [[일반항]]은 일차식으로 나타나기 때문에, 공차를 일차항의 계수로 하는 일차함수로 볼 수 있다. [[등차수열#s-4]] 참고. === 일차함수에 관한 추론 === [[다항함수/추론 및 공식#s-2.2.2]] 참고. === 길이 및 거리([[유클리드 노름]]) === [[다항함수/추론 및 공식#s-3.1]] 참고. === 미분가능성 === 수학에서 미분(영어: derivative, 微分) 또는 도함수(導函數)는 어떤 함수의 정의역 속 각 점에서 함숫값의 변화량과 독립 변숫값의 변화량 비의 극한 혹은 극한들로 치역이 구성되는 새로운 함수다.[1] 어떤 함수의 미분 계수 또는 순간 변화율을 구하는 것을 의미하며 미분 계수는 독립 변수 x의 증분에 관한 함숫값 ƒ(x)의 증분의 비가 한없이 일정한 값에 가까워질 때 그 일정한 값, 즉 함수에서 변수 x값의 변화량에 관한 함숫값 ƒ(x)의 변화량 비가 한없이 일정한 값에 가까워질 때 그 일정한 값 dy/dx로 나타낸다. 동사로서 미분(영어: differentiation)은 이러한 극한이나 도함수를 구하는 일, 즉 미분법을 뜻하기도 한다. 도함수에서 미분의 역연산을 통해 원시함수(antiderivative)를 구하는 것 역시 미분법(differential calculus)의 주요 주제다. 미분은 비선형 함수를 선형함수로 근사적으로 나타내려는 시도다. 비선형 함수를 미분하여 한 점 주변에서 1차 함수로 생각한다. 이를 반복하면 함수의 다항함수 근사를 얻으며 무한 번 하면 테일러 급수를 얻는다. 이는 14세기 인도 수학자의 저작에도 등장한다. 기하학적으로는, 비선형적인 함수로 표현되는 곡선의 한 점에서 그 곡선과 비슷한 직선인 접선을 구하는 것으로도 볼 수 있다. 일반적으로 미분기하학에서는 선형 공간인 접공간을 생각하여 미분다양체를 선형적으로 바라보며, 미분형식, 미분다양체에서 적분등은 모두 접공간이 필수적으로 고려되어야 한다. == [[선형대수학]]적 의미 == [include(틀:선형대수학)] '''선형'''대수학의 알파이자 오메가로, 이것을 하나의 수([[벡터]])로 가정하고 이를 집합([[벡터 공간]])으로 삼아 이론을 전개한다. == [[정수론]]적 의미 == [[디리클레 정리]]가 일차함수 위의 [[소수(수론)|소수]]를 다룬다. == [[고전역학]]적 의미 == [[등속직선운동]]이 일차함수의 형태를 띤다. [[분류:해석학(수학)]][[분류:초등함수]][[분류:선형대수학]][[분류:나무위키 수학 프로젝트]]