1 概念界定
1.1 “奇性”的多种含义
“奇性集”中的“奇性”通常不是指某种单一物理属性，而是指在分析框架里，用来判别“某类特殊行为/结构是否出现”的准则。常见做法是选取一个局部可计算或可检验的性质，并将满足该性质的点（或参数）集合化，从而形成“奇性集”。
1.1.1 奇偶对称性的奇性
在函数或场变量的语境中，“奇性”常与奇偶对称有关。给定中心点或对称轴，若函数相对于该中心表现为奇函数样式（例如满足 \(f(c+x)=-f(c-x)\)），则“与奇对称相关的结构”会被提炼成可研究的集合或子结构。此时，“奇性集”更像是围绕对称性筛选出来的“有效研究区域”，而不必等同于“奇点”。
1.1.2 奇点与非正则行为的奇性
在局部正则性理论中，“奇性”常被理解为“正则性失败”的标记。比如在给定函数 \(f\) 的定义域中，某些点附近无法保持连续、可微、解析或满足某种等价条件，这些点的集合便常被称作与“奇性/奇异性”相关的集。其核心思想是：奇性不是“凭空出现”，而是由性质判别准则严格导致的集合选择。
1.1.3 奇异指标与判别函数
除了直接谈“是否可微/是否解析”，也可以通过数值型“指标”来刻画奇性。典型方式是引入某类指示函数或指标（例如增长率、平滑度阶数、局部范数的行为等级），再以阈值进行分层筛选。这样得到的“奇性集”通常带有更强的可计算结构：它不仅告诉你“哪里奇”，还可以按“奇的程度”或“奇的类型”把集合分成不同层。
1.2 与“集合”构造的一般方式
“奇性集”最基础的工作方式，是将“性质判别”转化为“集合选择”。目录中列出的三类构造，分别对应从性质、局部判定、以及可测/阈值条件出发的常见路径。
1.2.1 由性质筛选得到的子集
给定某个局部性质 \(P(x)\)，定义 \[ S=\{x:\ P(x)\ \text{成立}\}. \] 其中 \(S\) 就是由性质筛选得到的奇性集。这里的“性质”可以是“在点 \(x\) 处不可微”“不可延拓到更高正则类”“满足某种奇异级别”等。
1.2.2 由局部判定得到的点集
有时判定是“局部的、以邻域为单位”的：例如要求存在某个邻域使得某性质成立，或相反要求任何邻域内都失败。于是奇性集往往自然具有拓扑直觉（例如与开/闭性质或边界行为有关），并且常用“在点处的局部行为是否被某个标准吸收”的语言表达。
1.2.3 由阈值/可测条件得到的集合
当“奇性指标”是实值函数或广义的测度性对象时，可以用阈值筛选得到集合，例如 \[ S_\alpha=\{x:\ I(x)\ge \alpha\} \] 或“指标在某种意义下发散/达不到上界”的点集。若指标具有可测性或满足容量/测度控制，则奇性集也常以“几乎处处”、可测集合、或容量大小的形式出现。
2 典型定义与表述
本节给出更贴近教材表述的几种典型“奇性集”定义思路，并说明它们的共同点：都把“局部正则性或结构性失败”系统地集合化。
2.1 基于函数奇偶性的奇性集
2.1.1 对称中心与定义域约束
设存在对称中心 \(c\)。当讨论奇偶对称时，通常需要保证对称点都落在定义域内，例如要求 \(x\) 与 \(2c-x\) 都属于定义域，否则对称关系在该点附近失去意义。于是“奇性相关的集合”往往伴随定义域的对称可用性条件：只有满足对称约束的点，才被纳入筛选。
2.1.2 奇偶分解与奇性判别
对适当函数可做奇偶分解：\(f=f_{\text{even}}+f_{\text{odd}}\)。当关心“奇性部分在哪里真正体现”时，常见做法是考察 \(f_{\text{odd}}\) 在局部的行为，或检验与奇性一致的条件是否在某区域成立。由此形成的“奇性集”可以理解为：在这些点附近，奇对称相关的结构不只是形式成立，而在局部判别意义下保持为主导或满足某标准。
2.2 基于奇点性质的奇性集
“奇点”是“局部正则性失败”的经典来源之一，因此奇性集在这一路径下常直接被定义为奇点集合或其变体。
2.2.1 可去奇点
若函数在某点附近表现为“局部不可正则，但可以通过延拓修复”，则该点常被称为可去奇点。对应的奇性集可以是：那些无法在原定义下保持正则性、但在允许延拓后“被修补”的点的集合。此时奇性更偏向“原定义域上的不完整性”，而非不可修复的结构缺陷。
2.2.2 极点与本性奇点
当局部行为无法通过延拓消除，并表现出某种“发散级别”的结构（如极点、或更强烈的本性奇点）时，这些点的集合通常作为更严格的奇性集来对待。它们与解析性或光滑性的“失败方式”紧密相关：并非所有“非正则点”都同等级别，有些可通过适当修改修复，有些则不可。
2.2.3 分支点与多值情形概念性概述
在多值函数或分支几何的语境中，“分支点”对应函数在绕行后可能切换分支的结构。概念上，若局部单值化需要引入分支切割或更复杂的覆盖结构，那么这些点可被纳入“奇性集”的广义范畴。此类奇性常以“局部不可单值/不可解析”的失败形式出现。
2.3 基于正则性/光滑度的奇性集
这一分支把奇性直接与正则性等级对应：连续性、可微性以及更高阶光滑度都可以被用来定义“奇性集”。
2.3.1 连续性断裂点
若函数在某点处连续性失败，则该点可被视为连续性意义上的奇性点。把所有这类点集合化即可得到连续性奇性集。它体现的是“局部极限与函数值不匹配”或“无法在该点附近控制变化”的现象。
2.3.2 不可微点集合
进一步地，若函数在某点附近存在导数但不满足微分意义下的逼近，或导数根本无法在常规意义下定义，则不可微点集合可以作为不可微奇性集。相较连续性断裂，不可微往往允许函数仍保持连续，但局部线性近似失效。
2.3.3 非光滑性等级的层级刻画
当目标不只是“是否光滑”，而是“光滑到哪一级”，可用阶数或范数型指标建立分层集合。例如可以按“在某点附近能否达到 \(C^k\)”或“是否满足某种 Hölder 指数界”来筛选，从而得到多层次奇性集。这样的层级刻画使得研究焦点从粗略的“哪里失败”转向精细的“失败程度”。
3 基本性质
奇性集往往带有可从拓扑、测度与函数空间角度理解的结构。尽管不同语境下的定义不同，但若奇性由正则性失败或指标阈值产生，它们通常能继承某些通用性质。
3.1 集合的拓扑与几何性质
3.1.1 开集/闭集关系的一般结论
当奇性由“失败某种正则性质”定义时，集合的补集常与“满足该正则性质”的集合有关。若“满足性质”的集合具有开性或闭性（取决于性质是否稳定于小扰动），那么奇性集可能呈现为闭集、开集或介于其间。直观上：越是要求严格逼近的性质，越可能导致边界复杂化。
3.1.2 边界与局部化
奇性集的边界往往承载最有信息量的局部变化：在边界附近，一方面奇性仍未完全消失，另一方面可能存在可恢复正则性的“局部近似”。因此常用局部化思想：在给定点的邻域内研究奇性是否可被“近似修复”“延拓吸收”或“被正则化稳定”。
3.1.3 封闭性、稠密性与无处稠密性（示意）
在示意层面，可以把奇性集可能出现的“大小”分成几类：有时奇性点是稀疏的（无处稠密），有时可能在区域内呈现稠密分布，甚至可能覆盖大量点。具体结果取决于奇性判别准则与函数或对象本身的结构。百科式理解应强调：奇性集并非总是“少数点”，它可以在不同构造下呈现多种拓扑尺度。
3.2 测度与容量相关性质
3.2.1 可测性条件
若奇性由可测的指标或可检验的条件生成，奇性集通常是可测集合或至少具有良好的外/内测度性质。此处“可测性”使得“几乎处处”的表述成为可能，也为进一步的容量估计提供前提。
3.2.2 测度为零与“几乎处处”的表述
在许多正则性理论里，会出现“奇性集的测度为零”或“在测度意义下几乎处处保持正则”的结论。该结论表述的是：虽然奇性在个别点存在，但对大多数点而言，所研究的正则性条件成立或至少不会以灾难形式失效。
3.2.3 Hausdorff 维与粗略直觉（不涉及争议性细节）
更精细的几何度量常用 Hausdorff 维刻画奇性集“可能的复杂程度”。直觉上，维数越小，奇性越“稀”；维数更大则意味着奇性在更高维度尺度上仍可能“活跃”。在本词条中只给出粗略图景，不展开可能涉及具体定理边界的细节。
3.3 与函数空间的对应关系
3.3.1 与 Sobolev 正则性的关联
在 Sobolev 体系中，奇性常表现为弱导数不存在、或者局部范数无法满足某个上界。于是奇性集可与“某函数是否属于某个 Sobolev 空间的局部版本”发生对应：当局部范数发散时，对应点进入奇性集。
3.3.2 与 Hölder 连续性的关联
Hölder 连续性的失败点可直接作为奇性集：若局部差商无法被某个指数约束，则这些点构成不满足 Hölder 条件的集合。与连续性断裂相比，Hölder 失败更定量，因而可以形成分层集合。
3.3.3 与解析性/光滑性链条的对照
正则性链条通常遵循：解析性或无限光滑强于可微性，再强于连续性。相应地，奇性集也可以按“正则性越强、奇性集越大还是越小”的逻辑关系进行对照：一般而言，越强的条件越容易失败，从而可能导致奇性集扩张，但具体取决于对象的结构与定义域限制。
4 与相关概念的关系
“奇性集”常与多种集合概念发生混用或近邻关系。本节重点给出区分：它们可能都由“某种局部性质”产生，但性质类型不同、解释侧重点不同。
4.1 奇点集、零点集与支撑集的区别
4.1.1 奇点集：局部不可解析/不可正则
奇点集关注的是“函数在该点附近的结构性失配”，例如不可解析、不可延拓或不可保持某种正则性。奇性集在许多语境下与奇点集同义或接近，但也可能更细化（例如按正则性层级划分）或更宽泛（例如基于指标阈值）。
4.1.2 零点集：数值取值为零的集合
零点集只关心函数值是否为零，与正则性是否失效在逻辑上没有直接必然联系。例如函数可以在某点为零但仍然光滑；反过来，函数也可能在某点发散或不可微而不一定为零。二者属于不同维度的性质筛选。
4.1.3 支撑集：在分布意义下的“非消失区域”
支撑集来自分布或广义函数框架：在某些开集上若分布与测试函数的配对恒为零，则该开集不在支撑上。支撑刻画的是“分布是否在某区域内表现为非零”，与“是否可微/是否可解析”是不同问题。奇性集强调局部行为的失败方式，而支撑强调分布的存在性区域。
4.2 与稀疏性、正则化与延拓
4.2.1 稀疏奇性与可恢复性
若奇性集在测度或容量意义下很小，可称其为稀疏奇性。此类稀疏性往往与某种“几乎处处可恢复”或“可通过弱形式控制”相关。但需要注意：稀疏性本身并不自动保证可以完全延拓到更高正则类，仍要看奇性产生的机制与可修复结构是否存在。
4.2.2 取极限/正则化对奇性集的影响
对一列函数进行极限或正则化（如卷积平滑、截断近似）时，奇性集可能出现两类现象：一是部分奇性被平滑掉，奇性集缩小；二是由于收敛模式变化，新的不良点可能在极限对象中出现，导致奇性集扩张。因此奇性集与极限并非总是“单调”，需要依赖收敛类型与正则化算子的性质。
4.2.3 可延拓性的判别思路
可延拓性通常对应“奇性能否被某种更光滑对象吸收”。判别思路可概括为：先分析奇性集的局部结构（例如增长率或指标阶数），再与已知的延拓准则对照，判断是否存在满足正则性的全局或局部延拓。若能成功延拓，则相应奇性在新对象中消失，原奇性集往往不再以同样方式出现。
4.3 与分解定理的联系
4.3.1 分段定义与局部拼接
分解定理常允许把对象拆成在不同区域具有不同“主导行为”的部分。对应地，奇性集可以被理解为：那些拼接或分段中无法让局部行为“相容为光滑整体”的区域。越是需要补丁或局部拼接的地方，越可能对应奇性出现。
4.3.2 奇异项分离与主导行为提取
许多分析方法会把奇异贡献与更正则的部分分离：例如将“产生奇性的项”单独处理，再研究剩余部分的良好性质。于是奇性集往往与这些“奇异项”的作用域一致或高度相关。这样做的价值在于：奇性变得可控、可计量，研究也更聚焦。
5 典型例子（分析学语境）
本节以“常见且具代表性”的分析对象作为载体，示意奇性集如何出现。注意：以下为概念性示例，重点放在“奇性判别如何转成集合”。
5.1 实变量函数：不可微点的集合
5.1.1 分段函数的跳跃与尖点
考虑由不同表达式在某个点拼接的分段函数。若在拼接处存在跳跃，则该点属于连续性奇性集；若函数连续但在该点左右斜率不匹配或局部线性近似失败，则该点属于不可微奇性集。此类例子常使奇性集呈现为有限点或可数点，体现“局部判定—集合化”的直接性。
5.1.2 分段线性/绝对值型示例
以绝对值型函数为代表：绝对值函数在原点具有尖角，表现为连续但不可微。将“不可微点”定义为奇性集，则奇性集可能退化为单点集合。这类例子常用于向读者建立直觉：奇性不等于不连续，它可以更细地表现为“光滑度缺失”。
5.2 复分析：极点与本性奇点的奇性集（概念）
5.2.1 孤立奇点的直观图像
在复平面中，对解析函数的讨论常从孤立奇点出发：奇点在局部被视为“周围都正常、但在该点无法保持解析”的位置。此时奇性集可以被理解为所有这些异常点组成的集合。若奇点是孤立的，则奇性集通常具有更清晰的几何结构。
5.2.2 奇性对洛朗级数/留数的提示（概述）
奇点会影响局部的洛朗级数展开形式：例如极点对应有限主部，本性奇点对应更复杂的发散结构。因而，在概念层面，奇性集可以通过“局部展开的类型变化”来刻画：展开改变的点就是奇性集的候选。
5.3 分布与广义函数：奇性集与局部结构
5.3.1 支撑与奇性分离（直觉层面）
在广义函数框架里，支撑告诉你“分布在哪些地方不为零”，而奇性集更关注“在哪些地方无法通过光滑化消除敏感结构”。因此可以出现支撑相对较大但奇性未必同样复杂，或反过来奇性集关注更强的局部失败而不等同于支撑。
5.3.2 局部奇性如何被“看见”（概述）
从直觉上，局部奇性可被测试函数与局部分析工具“探测”。在某些点附近，如果无论怎样选择局部测试尺度，分布的行为仍表现出与光滑对象不一致的特征，那么这些点便可归入奇性集的广义范畴。概念上这体现为：奇性不只是“在哪里有东西”，而是“局部结构为何种方式出错”。
6 计算与刻画方法
奇性集的确定通常依赖两类策略：直接用正则性条件判定，或用极限/正则化与指标建立可操作标准。实际计算往往与对象的表达形式密切相关。
6.1 用解析条件直接判定
6.1.1 用可微性判别
若函数表达明确，可以通过导数的极限定义、差商估计或左右导数行为来判定某点是否可微。把所有不可微点收集起来即可得到不可微奇性集。对分段表达式，尤其可通过局部极限比较完成判别。
6.1.2 用解析延拓判别
在解析或复分析语境中，判断可延拓性常依赖局部展开是否可能消除主部，或是否能构造更高正则的延拓对象。若在某点无法实现这种延拓，则该点进入相应奇性集。该思路的关键是把“正则性可延拓”转化为“局部结构能否被补齐”。
6.2 用序列极限与正则化判别
6.2.1 近似逼近下的奇性稳定性
若用一列更光滑的函数逼近目标对象，并研究奇性集在极限过程中的表现，就能判断奇性是否“稳定存在”还是“逼近中被带走”。在某些情形中，奇性集会在极限中以极限意义出现，或在上/下半连续意义下发生包含关系变化。
6.2.2 移除/截断后的奇性集变化
正则化或截断相当于局部修改：移除局部敏感区域可能改变奇性集合的边界位置。研究截断前后奇性集的差异，有助于定位奇性来源是来自整体结构还是来自局部补丁不足。
6.3 用不变量或指标函数刻画
6.3.1 局部增长率指标（示意）
可以定义描述“函数在点附近增长速度”的指标，并用它是否超过阈值来定义奇性集。例如考虑局部尺度 \(r\to 0\) 下某种归一化量是否发散，从而将“局部爆炸点”收集为奇性集。这类方法适合对表达式不易直接判定正则性的情况。
6.3.2 奇异阶数/正则性阶数（概述）
更精细的刻画是引入奇异阶数或正则性阶数：它们描述对象在某点附近能达到的光滑等级。奇性集可按“阶数不达标”的点来定义，从而得到分层结构。与仅谈“是否光滑”相比，这种方法更能反映奇性的层级差别。
7 常见误解与“奇怪但有趣”的梗式澄清
7.1 “奇性集”不是随便选的“奇怪点集合”
容易出现的误解是：看到“某些点看着不对劲”就把它们归为奇性集。严格的做法应由明确的判别规则产生：奇性必须由可检验的性质或指标确定，而不是主观直觉。用百科口吻概括：奇性集是“规则的集合化结果”。
7.2 不同教材语境下术语对齐
有些教材把“奇点集”直接称为奇性集，有的教材则把“不可微点集/不连续点集”也纳入同一宽泛范畴。对齐术语时应先看判别标准：奇性是基于解析性失败、还是基于正则性阶数、还是基于某个奇偶对称判断。标准不同，得到的集合也可能不同。
7.3 奇性 ≠ 随机：可由判别规则严格生成
另一个常见误区是把奇性当作“随机发生的意外”。实际上，在数学分析里，奇性集通常由确定性条件生成：只要对象与判别规则确定，奇性集的结构就可以被证明具有特定的几何、测度或拓扑特征。换成轻松一点的梗味说法：它不是“玄学集合”，它是“可计算/可证明的结果集”。
8 参见
8.1 正则性理论相关主题
可进一步阅读连续性、可微性、Sobolev 正则性、Hölder 正则性等主题，以理解奇性集为何能与函数空间性质对应。
8.2 分布理论与局部分析相关主题
可结合支撑集、局部结构与广义函数的光滑化方法，理解奇性在分布语境中如何被“探测”和分类。
8.3 复分析奇点分类相关主题
可阅读关于可去奇点、极点、本性奇点与分支点等分类，以把复分析语境下的奇性集建立起直观图像。
9 参考资料（条目化建议）
9.1 教材与讲义（按分析分支）
建议按分析分支选择教材：实分析（正则性与分段函数）、复分析（奇点与局部展开）、泛函分析/偏微分方程相关（Sobolev 与正则性理论）、以及分布理论（支撑与局部结构）。不同教材会给出不同的“奇性集”表述习惯。
9.2 经典论文与综述（概述型引用）
可查找围绕局部正则性、奇异性结构、以及与测度/容量估计相关的综述或经典论文，以了解奇性集在更广泛框架下的研究方法与结论类型。