§26 陽な代数関数

3. 次に考える重要な関数のクラスは陽な代数関数 (explicit algebraical function) のクラスである。このクラスは、有理関数を作るのに使った操作に加えて根号を取る操作を \(x\) に対して有限回行って得られる関数から構成される。例えば \[ \frac{\sqrt{1 + x} - \sqrt[3]{1 - x}} {\sqrt{1 + x} + \sqrt[3]{1 - x}},\quad \sqrt{x} + \sqrt{x +\sqrt{x}},\quad \left(\frac{x^{2} + x + \sqrt{3}}{x\sqrt[3]{2} - \pi}\right)^{\frac{2}{3}} \] および整数 \(m,\ n\) に対する \(x^{m/n}\) (\(= \sqrt[n]{x^{m}}\)) はどれも陽な代数関数である。

   \(y = \sqrt{x}\) といった関数の意味に曖昧さがあることを注意しておく。ここまでは \(\sqrt{2}\) で \(2\) の正の平方根を意味してきた。直感的にはこうして \(\sqrt{x}\) で正の数 \(x\) の正の平方根を表すとした方が自然であり、この場合 \(\sqrt{x}\) は \(x\) の一価関数となる。ただし \(\sqrt{x}\) を正負の根号も表す多価関数とみなした方が便利な場合もある。

   ここまで進んだ時点で、読者は \(\sqrt{x}\) という関数が二つの点で有理関数と大きく異なることに気が付くだろう。まず、孤立した単一の点を除けば全ての \(x\) で定義された有理関数と違い、\(\sqrt{x}\) は \(x\) のとある範囲全体 (具体的には負の値全体) で定義されない。次に、値が定義される \(x\) に対して \(\sqrt{x}\) は逆の符号を持つ二つの値がある。

   一方で \(\sqrt[3]{x}\) は一価関数であり、全ての \(x\) に対して定義される。