|
|
| 1行目: |
1行目: |
| − | {{出典の明記|date=2015年10月}}
| + | '''有理関数'''（ゆうりかんすう、{{lang-en-short|rational function}}） |
| − | [[数学]]における'''有理関数'''（ゆうりかんすう、{{lang-en-short|rational function}}）は、二つの[[多項式]]をそれぞれ分子と分母に持つ[[分数]]として書ける[[関数 (数学)|関数]]の総称である。[[抽象代数学]]においては[[変数 (数学)|変数]]と[[不定元]]とを区別するので、後者の場合を'''有理式'''と呼ぶ。<!-- [[有理式]]からのリダイレクト補助 -->
| |
| | | | |
| − | == 定義 ==
| + | 変数の有理式で表わされる関数をいう。すなわち関数値を計算する規則が <i>x</i> の多項式の商 (分数式) |
| − | [[Image:RationalDegree2byXedi.gif|thumb|right|250px|2次の有理関数の例：<br/><math>y = \frac{x^2-3x-2}{x^2-4}</math>]]
| |
| | | | |
| − | 一変数の場合（<math>x</math> とする）、有理関数は次の形の関数である：
| + | [[ファイル:有理関数.gif|フレームなし|中央]] |
| | | | |
| − | : <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になるようなものは元の有理方程式の解として不適切として除かれる。
| |
| − | | |
| − | == 例 ==
| |
| − | [[Image:RationalDegree3byXedi.gif|thumb|right|250px|3次の有理関数の例：<br/><math>y = \frac{x^3-2x}{2(x^2-5)}</math>]]
| |
| − | | |
| − | 次の有理関数
| |
| − | | |
| − | : <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」が普通であろう。
| |
| − | {{Main|数学 (教科)#普通教科「数学」における学習内容}}
| |
| − | より高度な数学においては[[抽象代数学]]の[[体論]]、特に[[体の拡大]]において重要となる。有理関数は'''非アルキメデス体'''の例でもある。
| |
| − | {{Main|[[:en:Archimedean property]]}}
| |
| − | | |
| − | 有理関数は[[数値解析]]において点の[[補間]]や関数の[[近似]]に用いられる。代表例として[[アンリ・パデ]]による[[パデ近似]]がある。有理関数を用いた近似法は[[計算機代数]]システムを始めとする数値計算ソフトウェアに適している。有理関数は多項式と同様に計算が容易でありながら、多項式よりも幅広い表現が可能である。
| |
| − | | |
| − | == 関連項目 ==
| |
| − | * [[解析学]]（特に[[複素解析]]）における[[有理型関数|有理''型''関数]]とは異なる概念であり、混同しないよう注意すること。日本語では似通った語が用いられているが、例えば英語では二つは全く異なる語で表される（"rational" 対 "meromorphic"）。
| |
| − | ** ただし、概念としては異なるが関連はある。有理関数であれば有理型関数であるし、'''C''' ∪ {∞}全体で有理型である関数は有理関数に限る。
| |
| − | * [[部分分数分解]]
| |
| − | | |
| − | {{math-stub}}
| |
| | | | |
| | {{DEFAULTSORT:ゆうりかんすう}} | | {{DEFAULTSORT:ゆうりかんすう}} |
