|
|
|
Viewing Version
10
of
'algebraic function'
|
[ view 'algebraic function'
|
back to history
]
| Title of object: |
algebraic function |
| Canonical Name: |
AlgebraicFunction |
| Type: |
Definition |
| Created on: |
2005-05-31 01:19:25 |
| Modified on: |
2008-09-22 02:04:07 |
| Classification: |
msc:26A09, msc:08A40 |
| Defines: |
transcendental function, transcendental |
Preamble:
% this is the default PlanetMath preamble. as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.
% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}
% there are many more packages, add them here as you need them
% define commands here
\def\sse{\subseteq}
\def\bigtimes{\mathop{\mbox{\Huge $\times$}}}
\def\impl{\Rightarrow} |
Content:
\PMlinkescapeword{algebraic}%
\PMlinkescapeword{transcendental}%
%
A function of one variable is said to be \emph{algebraic} if it satisfies a polynomial equation whose coefficients are polynomials in the same variable.
Namely, the function $f(x)$ is algebraic if $y=f(x)$ is a solution of an equation of the form
\[
p_n(x) y^n + \cdots + p_1(x) y + p_0(x) = 0,
\]
where the $p_0(x), p_1(x), \ldots, p_n(x)$ are polynomials in $x$. A function that satisfies no such equation is said to be \emph{transcendental}.
The graph of an algebraic function is an algebraic curve, which is, loosely speaking, the zero set of a polynomial in two variables.
\subsection*{Examples}
Any rational function $f(x) = P(x)/Q(x)$ is algebraic, since $y=f(x)$ is a solution to $Q(x)y - P(x) = 0$.
The function $f(x)=\sqrt{x}$ is algebraic, since $y=f(x)$ is a
solution to $y^2 - x = 0$. The same is true for any power function
$x^{n/m}$, with $n$ and $m$ integers, it satisfies the equation $y^m-x^n=0$.
It is known that the functions $e^x$ and $\ln x$ are transcendental. Many special functions, such as Bessel functions, elliptic integrals, and others are known to be transcendental.
\textbf{Remark}. There is also a version of an algebraic function defined on algebraic systems. Given an algebraic system $A$, an \emph{$n$-ary algebraic function} on $A$ is an $n$-ary operator $f(x_1,\ldots,x_n)$ on $A$ such that there is an \PMlinkname{$(n+m)$-ary polynomial}{PolynomialsInAlgebraicSystems} $p(x_1,\ldots,x_n,x_{n+1},\ldots, x_{n+m})$ on $A$ for some non-negative integer $m$, and elements $a_1,\ldots, a_m\in A$ such that $$f(x_1,\ldots,x_n) = p(x_1,\ldots,x_n,a_1,\ldots, a_m).$$
For example, in a ring $R$, a function $f$ on $R$ given by $f(x)=a_nx^n+\cdots + a_1x+a_0$ where $a_i\in R$ is a unary algebraic function on $R$, as $f(x)=p(x,a_0,\ldots,a_n)$, where $p$ is an $(n+2)$-ary polynomial on $R$ given by $p(x,x_0,\ldots,x_n)=x_nx^n+\cdots + x_1x+x_0$.
\begin{thebibliography}{9}
\bibitem{gg} G. Gr\"{a}tzer: {\em Universal Algebra}, 2nd Edition, Springer, New York (1978).
\bibitem{bs} S. Burris, H.P. Sankappanavar: {\em A Course in Universal Algebra}, Springer, New York (1981).
\end{thebibliography} |
|
|
|
|
|
