数学术语之源——全纯函数(holomorphic)

ComputerInBook

已于 2023-12-07 14:12:34 修改

阅读量1.2k

点赞数 18

分类专栏：数学与应用数学文章标签：全纯函数亚纯函数复分析解析函数

于 2023-12-07 13:51:46 首次发布

本文链接：https://blog.csdn.net/ComputerInBook/article/details/134853685

版权

数学与应用数学专栏收录该内容

98 篇文章 13 订阅

订阅专栏

1. “holomorphic” 和 “meromorphic”的词源

术语“全纯函数(holomorphic function)”和“亚纯函数(meromorphic function)”由Charles A. A. Briot (1817-1882) 和Jean-Claude Bouquet (1819-1885)在<<椭圆函数理论>>(Théorie des fonctions elliptiques)(1859年)中引入的(注：两个都是法国数学家)。根据牛津词典(OED)和Steven Schwartzman的书<<数学词汇>>(The Words of Mathematics)和说法，“holo-”来自希腊语“holos”，词义为“whole, entire, complete(全部的，整个的，完全的)”，而“meta-”来自希腊语“meta”，词义为“in the midst of; in common with; by means of; between; in pursuit or quest of; after, next after, behind(在……的中间，共同之处在于，凭借……，介于……之间，追求或寻求，在……之后，紧接在……之后，位于……之后),部分(part)，部分的(partial)；” “morphic”来自希腊词“morphē”,词义为“form, shape(形式，形状，状态)”。

谷歌出版物搜索发现“holomorphic”的英文出现在“Solution of the Fifth Degree(5阶方程的解)”一文中(The Analyst，1878年11月)。这篇文章是Briot 和 Bouquet上述作品的英语译文。

谷歌出版物搜索发现“meromorphic”的英文在1885年出现在“Extrait d’une letter de M. Hermite (摘自《隐士》的一封信)”一文中。美国数学杂志(American Journal of Mathematics)称:“函数 $f(z)/z^{(n-1)}$ 在一个整球面(whole sphere)上呈‘亚纯性’则一定是一个比率分数……”。

因此，直译“meromorphic”即为“全形态的”，但中文译为“全纯”不知何意，在汉语中，“纯”这个字本身也有“全、完整”的意思，这个“纯”字的意义体现在哪里？直译“meromorphic”即为“部分形态的”。

2. “holomorphic” 和 “meromorphic”的数学意义

在实分析中，我们仅考察左右极限，然而，在复平面上，我们需要考虑可能的所有方向，或许这就是“全形”的词义所在。

因为数学术语的历史漫长而复杂。至少我们不再谈论单演函数(monogenic function)(Cauchy对域上处处可微的复函数的称法)和通用函数(general function)，这是同一概念的另外两个术语(就复杂分析而言)。

在现代分析学中，术语解析函数(analytic function，或称“分析函数”)有两种使用方式：(复函数)在其域的每个点上都有一个复导数，因此拥有所有阶的导数并在局部与其Taylor级数一致；(实函数)拥有所有阶的导数并且局部与其Taylor级数一致。由于第一种用法非常流行(由于幂级数在复分析中无处不在，它们存在于每个可微函数中)，因此在提到第二种用法时，人们通常会说实解析。

在Lagrange的 <<解析函数论>>(Théorie des Fonctions Analytiques)(1797年)一书中，他称解析函数只是表示分析中处理的函数类型。Judith V. Grabiner在她的<<Cauchy严格微积分的起源>>中解释了Lagrange的用法与现代用法之间的联系：“对于Lagrange来说，微积分的所有应用......都依赖于函数的那些性质，这些性质可以通过研究他们的Taylor级数发展来学习……Weierstrass后来在他的复变量函数理论中利用了这个思想——Weierstrassd保留了Lagrange的术语“解析函数”, 将其描述为具有收敛Taylor级数的复变量函数。

在复分析中我们经常会遇到Taylor级数和Laurent级数。对于后者，负幂的数量是有限的还是无限的非常重要。为了阐明这些区别，引入了全纯(holomorphic)和亚纯(meromorphic)这两个词。亚纯允许极点(poles)(注：在复平面上使函数趋于无穷大的点)(即Laurent级数中有限多个负幂)，而全纯则不允许。从某种角度(Riemann球面)来看，亚纯函数并不比全纯函数差；而在其他时候，极点的存在会改变情况。