陰関数
代数函数は係数がそれ自身多項式であるような多項式方程式を満足する函数である。例えば一変数 x に関する代数函数は、陰伏方程式
a n ( x ) y n + a n − 1 ( x ) y n − 1 + ⋯ + a 0 ( x ) = 0 {\displaystyle a_{n}(x)y^{n}+a_{n-1}(x)y^{n-1}+\dotsb +a_{0}(x)=0}
を y について解くことで与えられる。ここで、各係数 ai(x) は x の多項式である。代数函数は解析学および代数幾何学において重要な役割を果たす。代数函数の簡単な例は、単位円の方程式 x + y −1 = 0 を y について解いた y = ±√1 − x である。
ただし、この陽に表された解を特定することをせずとも、この単位円の陰伏的な解に言及することは可能である。例えば y に関する二次、三次および四次方程式に対しては同様に陽に表された解を求めることができるが、例えば
y 5 + 2 y 4 − 7 y 3 + 3 y 2 − 6 y − x = 0 {\displaystyle y^{5}+2y^{4}-7y^{3}+3y^{2}-6y-x=0}
のような五次あるいはより高次の方程式においては、一般には解を陽にすることはできない。それにもかかわらず、陰伏多価函数 g を含む陰伏解 y = g(x) に関して考えることができる。