Rational function

In mathematics, a rational function is any function which can be defined by a rational fraction, i.e. an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be rational numbers; they may be taken in any field K. In this case, one speaks of a rational function and a rational fraction over K. The values of the variables may be taken in any field L containing K. Then the domain of the function is the set of the values of the variables for which the denominator is not zero and the codomain is L. The set of rational functions over a field K is a field, the field of fractions of the ring of the polynomial functions over K. A function f ( x ) {displaystyle f(x)} is called a rational function if and only if it can be written in the form where P {displaystyle P,} and Q {displaystyle Q,} are polynomial functions of x {displaystyle x,} and Q {displaystyle Q,} is not the zero function. The domain of f {displaystyle f,} is the set of all values of x {displaystyle x,} for which the denominator Q ( x ) {displaystyle Q(x),} is not zero. However, if P {displaystyle extstyle P} and Q {displaystyle extstyle Q} have a non-constant polynomial greatest common divisor R {displaystyle extstyle R} , then setting P = P 1 R {displaystyle extstyle P=P_{1}R} and Q = Q 1 R {displaystyle extstyle Q=Q_{1}R} produces a rational function which may have a larger domain than f ( x ) {displaystyle f(x)} , and is equal to f ( x ) {displaystyle f(x)} on the domain of f ( x ) . {displaystyle f(x).} It is a common usage to identify f ( x ) {displaystyle f(x)} and f 1 ( x ) {displaystyle f_{1}(x)} , that is to extend 'by continuity' the domain of f ( x ) {displaystyle f(x)} to that of f 1 ( x ) . {displaystyle f_{1}(x).} Indeed, one can define a rational fraction as an equivalence class of fractions of polynomials, where two fractions A ( x ) B ( x ) {displaystyle {frac {A(x)}{B(x)}}} and C ( x ) D ( x ) {displaystyle {frac {C(x)}{D(x)}}} are considered equivalent if A ( x ) D ( x ) = B ( x ) C ( x ) {displaystyle A(x)D(x)=B(x)C(x)} . In this case P ( x ) Q ( x ) {displaystyle {frac {P(x)}{Q(x)}}} is equivalent to P 1 ( x ) Q 1 ( x ) {displaystyle {frac {P_{1}(x)}{Q_{1}(x)}}} . A proper rational function is a rational function in which the degree of P ( x ) {displaystyle P(x)} is no greater than the degree of Q ( x ) {displaystyle Q(x)} and both are real polynomials.