此为 Mathematica 4 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.2)

3.2.7 多值函数

求数 然而,此方程一般有两个不同的解.  但是当用户计算 "函数" 应当是正数. 因此内须选择其中一个. 一个标准的选择 是对 x>0,  应当是正数. 这正是 Mathematica 函数 Sqrt[ ]所做的事情. 需要从两个解中选择一个意味着 Sqrt[ ]  的反函数. 取一个数, 对它平方,然后取平方根能给出一个与开始时不同的数.

 给出+2,而不是-2

对一个数平方再取平方根并不一定给出初始的数

当计算 . 但是,在此情况下,选择哪一个是不明显的.
事实上,没有任何选择 z 的方法使得对 z 的所有复数值它是连续的. 必须有一个 "分支线" -- 复平方上的一条线,函数 z 穿过它时是不连续的. Mathematica 采纳通常的惯例,取 的分支线为负实轴.

给出

Sqrt 的分支线为负实轴意味着 Sqrt[z]的值随着 z 在轴上方和轴下方是完全不同的

然而它们的平方是很接近的

沿负实轴的不连续性在平方根函数的虚部的三维图形中是相当明显的

In[6]:=

使用  n 次根时,原则上有n个可能的结果. 要得到单一 的值. 必须选择特定的主要的根. 绝对没有任何保证使取一个数的 n 次幂的 n 次根得到原来的数.

取一个复数的几次幂,结果是唯一的

有十个可能的 10 次根. Mathematica 选择其中之一. 此时,结果不是原来的数

有许多数学函数,如求根,本质上给出方程的解. 对数函数和反三角函数是这样的 例子. 在几乎所有的情况下,方程有许多可能的解. 但是唯一的 "主要" 值 必须被选择. 这个选择不可能在整个复平面上都是连续的,不连续线或 分支线必定出现. 这些分支线的位置常常是相当任意的. Mathematica 对它们进行最标准的数学选择.

复平面上一些不连续分支线

ArcSin 是多值函数,故无任何保证它总是给出 Sin 的 "逆"

ArcSin[z]在分支线两边的值可能是非常不同的

 的两个分支 线的三维图形