Funkcja wymierna

Funkcja wymierna – funkcja będąca ilorazem funkcji wielomianowych. Iloraz wielomianów realizujących dane funkcje wielomianowe nazywa się wyrażeniem wymiernym. Można powiedzieć, że funkcje wymierne mają się tak do funkcji wielomianowych jak liczby wymierne do liczb całkowitych.

Spis treści

1 Definicja
2 Własności
3 Przykłady
4 Zobacz też
5 Przypisy

Definicja[edytuj]

Jeśli

g(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\dots +a_{1}x+a_{0}

h(x)=b_{m}x^{m}+b_{m-1}x^{m-1}+\dots +b_{1}x+b_{0}

są funkcjami wielomianowymi o współczynnikach z dowolnego ciała $K$ $K$ , przy czym $h(x)\not \equiv 0$ $h(x)\not \equiv 0$ (tj. nie wszystkie $b_{i}\,$ $b_{i}\,$ są zerami), to funkcję

f(x)={\frac {g(x)}{h(x)}}

,

nazywa się funkcją wymierną^[1].

Dziedziną funkcji $f(x)$ $f(x)$ jest dziedzina funkcji $g(x)$ $g(x)$ z wyłączeniem miejsc zerowych funkcji $h(x)$ $h(x)$ .

Własności[edytuj]

Zbiór funkcji wymiernych z dodawaniem i mnożeniem jest ciałem. Działania na funkcjach wymiernych wykonuje się podobnie do działań na zwykłych ułamkach. Dokładniej, jeśli P jest pierścieniem całkowitym oraz P[x] jego pierścieniem wielomianów, to K jest ciałem ułamków pierścienia P[x].
Zbiór funkcji wymiernych jest K-algebrą.
Złożenie funkcji wymiernych jest funkcją wymierną.
Dowolna funkcja wymierna (nad ciałem liczb zespolonych) jest funkcją meromorficzną

Przykłady[edytuj]

Funkcja $f(x)={\tfrac {2(1+3x)}{3(1-x)^{2}}}$ $f(x)={\tfrac {2(1+3x)}{3(1-x)^{2}}}$ jest wymierna.
Wyrażenie $(1+x)^{y}$ $(1+x)^{y}$ nie jest wymierne, stąd funkcja je realizująca również nie jest wymierna.
Dowolny wielomian (funkcja wielomianowa) jest wyrażeniem wymiernym (funkcją wymierną).
Jeśli $g$ $g$ jest dowolnym wielomianem, a $h$ $h$ jest wielomianem stałym (jest zerowego stopnia), to wyrażenie wymierne $f={\tfrac {g}{h}}$ $f={\tfrac {g}{h}}$ również jest wielomianem. Zdanie to jest również prawdziwe dla funkcji wielomianowych i wymiernych reprezentujących wielomiany i wyrażenia wymierne.
Funkcja $f(x)={\tfrac {ax+b}{cx+d}}$ $f(x)={\tfrac {ax+b}{cx+d}}$ jest wymierna. Jeżeli $ad-bc\neq 0$ $ad-bc\neq 0$ to nazywa się ją funkcją homograficzną (dla $c=0$ $c=0$ jest to funkcja liniowa).