代数関数

数学において、代数関数（だいすうかんすう、英: algebraic function）は（多項式関数係数）多項式方程式の根として定義できる関数である。大抵の場合、代数関数は（和、差、積、商、分数冪）のみでできる有限項の式に表すことができ、例えば などが典型的である。しかし、（エヴァリスト・ガロワとニールス・アーベルによって証明されたように）そのような有限表式に書けない代数関数もある。例えば、 によって定義される関数がそのような例である。 代数関数を定義する多項式方程式の係数多項式として、有理数体 Q 上の多項式を考え、「Q 上代数的な関数」について述べることがかなり多い。そのような代数的関数を有理点において評価した値は代数的数を与える。 代数的でない関数は超越関数と呼ばれる。例えば、指数関数 、正接関数 、対数関数 、ガンマ関数 などが該当する。超越関数の合成が代数関数になることがある。例えば、 である。