有理関数
数学における有理関数(ゆうりかんすう、英: rational function)は、二つの多項式をそれぞれ分子と分母に持つ分数として書ける関数の総称である。抽象代数学においては変数と不定元とを区別するので、後者の場合を有理式と呼ぶ。
定義
一変数の場合([math]x[/math] とする)、有理関数は次の形の関数である:
- [math] f(x) = \frac{P(x)}{Q(x)}[/math]
ここで [math]P, Q[/math] は [math]x[/math] の任意の多項式である。ただし [math]Q[/math] はゼロ多項式(0となる多項式)であってはならない。上の [math]f[/math] の定義域は、分母の [math]Q(x)[/math] が0とならない全ての [math]x[/math] から成る。
有理方程式とは、二つの有理式を等しいとおいて得られる方程式である。これには通常の(数の比である)分数と同様に、分母を払う等の操作を行ってよい。ただしそうして得た解のうち、分母が0になるようなものは元の有理方程式の解として不適切として除かれる。
例
次の有理関数
- [math]f(x) = \frac{x^3-2x}{2(x^2-5)}[/math]
は、分母の零点である [math]x^2=5[/math] なる [math]x[/math] 、すなわち [math]x=\pm \sqrt{5}[/math] においては定義されない。なお、この有理関数は、 [math]x\to\infty[/math] で [math]x/2[/math] に漸近する。
また次の有理関数
- [math]f(x) = \frac{x^2 + 2}{x^2 + 1}[/math]
は全ての実数について定義されているが、全ての複素数については定義されていない。これもやはり [math]x=\pm i[/math] が分母の零点となっているからであり、その2点が定義域から除かれる。
自明な例としては、[math]f(x) = x^2 + 1[/math] 等の多項式関数も有理関数に含まれる。これは分子が2次の多項式 [math]x^2+1[/math] 、分母は0次の多項式 1 であるとみなせる。 さらに自明な例として、他に [math]f(x) = \pi[/math] 等の定数関数も有理関数に含まれる。これは分子が0次の多項式 [math]\pi[/math] 、分母も0次の多項式 1 であるとみなせる。 ここで注意すべきは、 [math]\pi[/math] が無理数であることと、上の [math]f[/math] が有理関数であることは両立する点である。「関数が有理関数である/ない」という概念と、「返り値が有理数である/ない」という概念を混同してはならない。
応用
(多項式や反比例等を除いて)有理関数に最初に触れる機会は、日本では高校の「数学III」が普通であろう。
より高度な数学においては抽象代数学の体論、特に体の拡大において重要となる。有理関数は非アルキメデス体の例でもある。
有理関数は数値解析において点の補間や関数の近似に用いられる。代表例としてアンリ・パデによるパデ近似がある。有理関数を用いた近似法は計算機代数システムを始めとする数値計算ソフトウェアに適している。有理関数は多項式と同様に計算が容易でありながら、多項式よりも幅広い表現が可能である。