유리 함수

이 문서는 대수학에서의 유리 함수에 관한 것입니다. 대수다양체나 스킴 위의 유리 함수에 대해서는 유리 함수층 문서를 참고하십시오.

비슷한 이름의 유리형 함수, 유리 사상에 관해서는 해당 문서를 참고하십시오.

대수학과 해석학에서 유리 함수(有理函數, 영어: rational function)란 두 다항함수의 비로 나타낼 수 있는 함수다.

정의

체 ${\displaystyle K}$가 주어졌다고 하자. 그렇다면, ${\displaystyle n}$변수의 유리 함수체 ${\displaystyle K(x_{1},\dots ,x_{n})}$는 다항식환의 분수체이다.

${\displaystyle K(x_{1},\dots ,x_{n})=\operatorname {Frac} (K[x_{1},\dots ,x_{n}])}$

유리 함수체의 원소를 유리 함수라고 한다.

즉, 유리 함수체에 속하는 함수는 다항식들의 비, 즉

${\displaystyle {\frac {p(x_{1},\dots ,x_{n})}{q(x_{1},\dots ,x_{n})}}\qquad (p,q\in K[x_{1},\dots ,x_{n}],\;q\neq 0)}$

의 꼴이며, 약분을 해서 같아지는 다항식들의 비는 같은 유리 함수로 간주한다.

성질

체의 계수를 갖는 유리 함수들은 체를 이룬다. 즉, 교환법칙, 결합법칙, 분배법칙이 성립한다.

유리 함수체의 경우 체의 동형

${\displaystyle K(x_{1},\dots ,x_{n})\cong K(x_{1})(x_{2})\cdots (x_{n})}$

이 존재한다.

유리 함수체는 대수적으로 닫힌 체가 아니며, 그 대수적 폐포를 대수 함수의 체 ${\displaystyle {\overline {K(x_{1},\dots ,x_{n})}}}$라고 한다.

테일러 급수

유리 함수를 테일러 급수로 표현했을 때, 그 계수를 동류항 정리를 통해 일차 점화식으로 나타낼 수 있다.

예를 들어, 다음 유리 함수의 테일러 급수를 생각하자.

${\displaystyle {\frac {1}{x^{2}-x+2}}=\sum _{k=0}^{\infty }a_{k}x^{k}.}$

양변에 분모를 곱하여 분해할 수 있다.

${\displaystyle 1=(x^{2}-x+2)\sum _{k=0}^{\infty }a_{k}x^{k}}$

${\displaystyle 1=\sum _{k=0}^{\infty }a_{k}x^{k+2}-\sum _{k=0}^{\infty }a_{k}x^{k+1}+2\sum _{k=0}^{\infty }a_{k}x^{k}.}$

그리하여 동류항 정리를 통해 다음 등식을 얻는다.

${\displaystyle 1=\sum _{k=2}^{\infty }a_{k-2}x^{k}-\sum _{k=1}^{\infty }a_{k-1}x^{k}+2\sum _{k=0}^{\infty }a_{k}x^{k}.}$

결국 이 과정을 통해 최초 주어진 유리식을 테일러 전개했을 때, 계수의 일차 점화식을 얻을 수 있다. 이 점화식을 풀면 직접 일반항을 얻을 수 있다.

${\displaystyle a_{0}={\frac {1}{2}}}$

${\displaystyle a_{1}={\frac {1}{4}}}$

${\displaystyle a_{k}={\frac {1}{2}}(a_{k-1}-a_{k-2})\qquad (k\geq 2)}$

무리함수

3차 유리 함수 ${\displaystyle {\frac {(x^{3}-2x)}{(2(x^{2}-5))}}}$의 그래프

유리 함수

${\displaystyle x\mapsto {\frac {x^{3}-2x}{2(x^{2}-5)}}}$

는 ${\displaystyle x=\pm {\sqrt {5}}}$에서 값이 정의되지 않는다.

유리 함수

${\displaystyle x\mapsto {\frac {x^{3}-2x}{2(x^{2}+5)}}}$

는 모든 실수에서 정의되지만 모든 복소수에서 정의되는 것은 아니다.

유리 함수

${\displaystyle x\mapsto {\frac {x^{3}-2x}{2(x^{2}-5)}}}$

는 ${\displaystyle x}$가 무한히 커지면 ${\displaystyle x/2}$에 접근한다.

같이 보기

• 유리형 함수
• 유리 사상
• 유리 함수층

외부 링크

• “Rational function”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.