魏尔斯特拉斯函数是无处不连续的,但任何一处都不可微

数学中,病态现象是指其性质被认为是非典型的或反直觉的现象;与其相对应的是表现良好的。

在分析学中编辑

一个经典的例子的病态结构是魏尔斯特拉斯函数,它处处连续但处处不可微。可微函数和魏尔斯特拉斯函数的总和也是连续的,但是无处可微; 所以这种函数至少与可微函数一样多。事实上,由贝尔纲定理之一可以显示,连续函数通常是无处可微的。

通俗地说,大多数函数都不可微,而且相对较少的函数可以被描述或研究。一般而言,大多数实用的函数也具有某种物理基础或实际应用,这意味着它们在理论数学或逻辑层面上不能是病态的;如果没有像狄拉克δ函数那样的某些限制性情况,它们往往表现得非常常态,直观。 引用庞加莱的话:

Logic sometimes makes monsters. For half a century we have seen a mass of bizarre functions which appear to be forced to resemble as little as possible honest functions which serve some purpose. More of continuity, or less of continuity, more derivatives, and so forth. Indeed, from the point of view of logic, these strange functions are the most general; on the other hand those which one meets without searching for them, and which follow simple laws appear as a particular case which does not amount to more than a small corner.

In former times when one invented a new function it was for a practical purpose; today one invents them purposely to show up defects in the reasoning of our fathers and one will deduce from them only that.

If logic were the sole guide of the teacher, it would be necessary to begin with the most general functions, that is to say with the most bizarre. It is the beginner that would have to be set grappling with this teratologic museum.

这突出表明,该术语病态是主观的,依赖于语境,并且正在逐渐消失。 它在任何特定情况下的含义都存在于数学家群体中,而不一定在数学本身中。 此外,引文显示数学经常如何通过反例进展到直觉或预期结果;例如所提到的“不可导”与目前对太阳等离子体中磁重联事件的研究密切相关。

在拓扑学中编辑

拓扑学中最臭名昭着的病态之一是亚历山大带角球英语Alexander horned sphere,这是一个反例,表明拓扑将球体S 2嵌入R3中可能无法完全分离空间。作为反例,它激发了驯服( tameness)的额外条件,这抑制了带角球所表现出的野性行为。

像许多其他病态一样,带角球在某种意义上是无限精细的递归生成结构,在极限情况下违反了普通的直觉。在这种情况下,在极限范围内连续的球体互锁环的不断下降的链的拓扑结构完全反映了普通球体的拓扑结构,而我们期望在嵌入之后它的外部表现相同。然而事实却并非如此:它没有单连通

对于基础理论,请参阅Jordan-Schönflies定理英语Schoenflies problem

表现良好编辑

数学家 (以及相关科学家)经常谈论一个数学对象——一个函数 ,一个集合 ,一种或那种空间—是否“表现良好” 。 该术语没有固定的正式定义,并且取决于背景,数学兴趣,时尚和品味。 为了确保一个对象“表现良好”,数学家引入了进一步的公理来缩小研究领域。 这有利于使分析更容易,但减少了所得结论的一般性。像非欧几何这样的概念曾被认为是不正常的,但现在已成为常见的研究对象。

在纯数学和应用数学(例如最优化数值积分数学物理学)中,表现良好也意味着不违反正在讨论的任何分析所需的成功应用的任何假设。

相反的情况通常标记为病态的。 在大多数例子(测度)中下,这种病态情况并不罕见,但除非故意构建,否则病态情况不会在实践中出现。

术语“表现良好”通常用于绝对意义上——要么表现得好,要么反之。 例如:

该术语也可以不怎么常用地在比较意义上应用:

病态实例编辑

病态的实例通常具有一些不合乎需要或不寻常的特性,使得难以在理论中包含或解释。这种病态行为常常引发新的研究,从而产生新的理论和更一般的结果。例如,一些重要的历史例子如下:

 

在它们被发现时,这些实例被认为是高度病态的;今天,每个实例都被同化为现代数学理论了。这些例子促使他们的观察者纠正他们的信仰或直觉;有时他们甚至可能需要重新评估基本定义和概念。在历史的过程中,它们导致了更正确,更精确,更强大的数学。 例如,狄氏函数是勒贝格可积的,并且使用测试函数的卷积通过平滑函数来近似任何局部可积函数。(近似值几乎处处和局部可积函数的空间中的拟合。)

根据定义,行为是否是病态的,取决于个人的直觉。病态依赖于背景,培训和经验——对于一个研究人员看来的病态很可能是另一个人看来的表现良好的行为。

病态的例子可以说明假设在一个定理中的重要性。例如,在统计学中 ,即使柯西分布的对称钟形看起来与许多分布相似,它也不满足中心极限定理;它没有要求具有存在且有限的平均值和标准偏差。

一些最著名的悖论巴拿赫-塔斯基悖论豪斯多夫悖论是基于不可测量集的存在。数学家,除非他们采取少数人的立场否认选择公理 ,他们一般都不愿意这些集合存在。

计算机科学编辑

计算机科学中病态算法的研究略有不同。这里,如果输入(或输入集合)引起来自算法的非典型行为,例如违反其平均情况复杂性或甚至其正确性,则称输入(或输入集合)是病态的 。 例如, 哈希表通常具有病态输入:在哈希值上碰撞的键组。 快速排序通常具有O(n log n)时间复杂度,但是当给定输入触发次优行为时恶化为O(n2 )。

这个术语经常作为一种拒绝输入的方式作贬义使用,例如被专门设计来打破一个在实践中听起来很正常的惯例(与拜占庭将军问题比较)。另一方面,对病态输入的认识很重要,因为它们可被利用来对计算机系统进行拒绝服务攻击。 此外,这个意义上的术语与其他意义一样是主观判断的问题。 如果有足够的运行时间,足够大和多样化的用户群或其他因素,实际上可能会发生可被视为病态的输入(如在亚利安5号第一次试飞中所见)。

特殊情况编辑

一个类似但不同的现象是特殊对象(和异常的同构),当一般模式存在“少量”例外时——一定量地,对于无限规则的有限的例外集合。 相比之下,在病态的情况下,通常大多数或几乎所有的现象都是病态的,如普遍存在的那样,例如几乎所有的实数都是无理数。

主观上,特殊情况(例如二十面体孤立简单群 )通常被认为是“美丽的”,一个理论的意外例子。而病态现象顾名思义通常被认为是“丑陋的”。 因此,理论通常扩展到包括特殊对象——例如,单李代数被包含在半单李代数理论中:公理被认为是好的,特殊对象是意外但有效的。 相比之下,病态的例子被用来指出公理中的一个缺点,需要更强的公理来排除它们 - 例如,要求在Schönflies问题中嵌入球体的驯化。人们可以研究更一般的理论,包括可以提供其自身简化的病态(实数具有与有理数非常不同的属性,同样连续映射具有与平滑映射非常不同的属性),但也将在一般情况下研究狭义的理论,从中得出原始的例子。

外部链接编辑

本條目含有来自PlanetMathpathological》的內容,版权遵守知识共享协议:署名-相同方式共享协议