# 数学分析·知识综述 识别卡 2.0

- **层级**: L4 · 系统性前沿层（课标骨架填充，待终裁）
- **状态**: pending（骨架填充 · 待设计者终裁）
- **领域**: 数学
- **教育层级**: E4（大学）· 分布：骨架 44 知识点 / 内容 44 条

## 核心主张

数学分析（课标骨架 44 知识点填充）：现象+规律，简单词汇，规律性出现即知识……

## 条件空间

- **观测位置**: 数学分析（大学层）外部观测位
- **观测工具**: 课标骨架 + 现象规律性判定
- **时间窗口**: (0.0, 9999999999.0)
- **存在约束**: 大学学段知识按课标骨架定位；通用现象/规律不受版权保护，开源非盈利知识库提取知识点而非复制教材表达

## 出招

- **触发**: 涉及数学分析议题
- **行动**: 以数学分析知识点（大学层）回应
- **克制**: 越级使用高于大学层级的未学概念

## 知识点内容（按骨架填充）

### M判别法

魏尔斯特拉斯M判别法：若|un(x)|小于等于Mn且ΣMn收敛，则Σun(x)一致收敛。用正项级数控制函数项级数的一致收敛。

### 一致收敛

函数项级数一致收敛：余项在定义域上一致趋于0。一致收敛的判别：魏尔斯特拉斯M判别法（优级数判别法）、狄利克雷、阿贝尔判别法。

### 一致收敛性质

一致收敛函数项级数的性质：和的连续性（连续函数一致收敛的极限连续）、逐项积分、逐项求导（导数级数一致收敛时可逐项求导）。这些性质是非一致收敛所没有的。

### 一致连续

一致连续：δ只依赖ε不依赖x0。闭区间上的连续函数必一致连续（康托定理）。一致连续函数保持柯西列。开区间连续不一定一致连续。

### 上下极限

上极限：数列的上确界极限；下极限：下确界极限。上下极限刻画数列聚点的最大最小值。收敛当且仅当上下极限相等。

### 偏导可微性

多元函数可微：增量等于偏导线性主部加高阶无穷小。偏导连续则可微，可微则偏导存在且连续方向导数存在。可微性是最强的局部性质。

### 傅里叶级数收敛定理

傅里叶级数收敛定理（狄利克雷条件）：逐段光滑的周期函数傅里叶级数逐点收敛，连续点收敛于函数值，间断点收敛于左右极限平均。

### 凸函数

凸函数：f(λx1加(1减λ)x2)小于等于λf(x1)加(1减λ)f(x2)。二阶导数非负等价于凸。詹森不等式：凸函数满足f(平均)小于等于平均f。凸函数在优化理论中核心。

### 函数极限深化

函数极限：ε-δ定义。海涅定理（归结原则）：函数极限存在当且仅当任意趋近序列的函数值收敛。函数极限与数列极限相互转化。

### 单调有界定理

单调有界定理：单调递增有上界的数列必有极限（收敛于上确界）。单调递减有下界同理。定理给出了数列收敛的充分条件。

### 反函数定理

反函数定理：Jacobi矩阵在点处可逆，则函数在该点邻域有可微反函数。反函数定理与隐函数定理等价，是微分同胚的理论基础。

### 可积函数类

可积函数类：连续函数、单调函数、有界且间断点有限的函数都可积。可积函数不一定连续。可积函数的有界性是必要条件。

### 可积条件

可积条件：有界函数可积当且仅当其不连续点集是零测集。单调函数可积、连续函数可积、只有有限个间断点的函数可积。

### 多元极值

多元极值：驻点（梯度为零）用Hessian矩阵判别——正定极小、负定极大、不定鞍点。约束极值用拉格朗日乘数法。最值在驻点和边界取得。

### 多元泰勒公式

多元泰勒公式：f在点展开为一次项加Hessian二次项加余项。多元泰勒公式用于极值判别和误差估计。

### 实数完备性

实数完备性：实数系是完备的。六大等价定理：确界原理、单调有界定理、闭区间套定理、聚点定理、有限覆盖定理、柯西收敛准则——它们相互等价，是分析学的基石。

### 导数存在性

导数存在：极限lim[f(x)减f(x0)]除以(x减x0)存在。可导必连续，连续不一定可导（如|x|在0不可导）。导数的几何意义是切线斜率。

### 帕塞瓦尔等式

帕塞瓦尔等式：Σan方加bn方等于(1/π)∫f方dx，等号成立当且仅当傅里叶级数均方收敛于f。帕塞瓦尔等式是函数能量与频谱能量的守恒。

### 幂级数收敛半径

幂级数收敛半径：用比值法或根值法求，R等于1除以lim|an|的n次方根。阿贝尔定理：收敛半径内的幂级数绝对收敛且内闭一致收敛。端点收敛单独判断。

### 幂级数解析性

幂级数解析性：收敛区间内幂级数的和函数可任意次求导、逐项积分，仍为幂级数。幂级数在收敛域内是解析函数。

### 广义积分

广义积分：无穷限积分和无界函数积分（瑕积分）。收敛定义：极限存在。绝对收敛与条件收敛。比较判别法、极限比较判别法。

### 康托定理

康托定理：闭区间上的连续函数一致连续。这是闭区间连续函数最重要的性质之一，应用于一致收敛和积分的理论。

### 微积分基本定理深化

微积分基本定理：变上限积分函数F(x)等于∫f(t)dt，F连续；f连续时F可导且F'等于f。可积不一定存在原函数。牛顿莱布尼茨公式。

### 数列极限深化

数列极限严格定义：ε-N语言。收敛数列唯一、有界、保号。子列的极限与原极限相同。夹逼准则。施托尔茨定理处理分式型极限。

### 曲率

曲率：曲线弯曲程度的度量，k等于|y''|除以(1加y'方)的3/2次方。曲率半径是曲率的倒数。曲率圆与曲线二阶接触。

### 曲线曲面积分

曲线积分：第一类（对弧长）与第二类（对坐标）。曲面积分：第一类（对面积）与第二类（对坐标）。两类积分的联系：方向余弦。

### 极限交换

极限交换：一致收敛保证极限与积分、极限与求导可交换。二重极限交换次序的条件。一致收敛是交换极限的充分条件。

### 柯西收敛准则

柯西收敛准则：数列收敛当且仅当它是柯西列（对任意ε大于0存在N，m、n大于N时|an减am|小于ε）。柯西准则不依赖极限值，是收敛的充要条件。

### 格林高斯斯托克斯公式

三大积分公式：格林公式（平面曲线与二重）、高斯公式（曲面与三重，散度）、斯托克斯公式（曲线与曲面，旋度）。公式联系区域内部与边界，是向量分析的顶峰。

### 泰勒定理

泰勒定理：n阶可导函数可用n次多项式逼近，余项有佩亚诺型、拉格朗日型、柯西型。泰勒定理是函数逼近和近似计算的基础。

### 确界原理

确界原理：非空有上界的实数集必有上确界。上确界是最小上界。确界原理是实数完备性的表达，由它可以推出其他等价定理。

### 积分判别法

积分判别法：正项级数Σf(n)与广义积分∫f(x)dx同敛散（f单调递减非负）。连接级数与积分的桥梁。应用于p级数。

### 级数收敛准则

数项级数收敛：部分和数列收敛。柯西收敛准则。收敛必要条件：通项趋于0。级数收敛与数列收敛等价。

### 绝对收敛条件收敛

绝对收敛：Σ|an|收敛。条件收敛：Σan收敛但Σ|an|发散。绝对收敛级数可重排，条件收敛级数重排可改变和（黎曼重排定理）。

### 贝塞尔不等式

贝塞尔不等式：Σan方加bn方小于等于(1/π)∫f方dx。傅里叶系数的平方和不超过函数平方积分的常数倍。贝塞尔不等式是完备性的度量。

### 路径无关条件

第二类曲线积分与路径无关的充要条件：Qx等于Py（平面单连通区域）。此时存在势函数。积分与路径无关等价于沿闭路积分为0。

### 达布和

达布和：分割后取小区间上确界（上和）和下确界（下和）。黎曼可积当且仅当上和与下和的差随分割加细趋于0。达布和是黎曼积分的基础。

### 达布定理

达布定理（导数的介值性）：导数具有介值性质——导函数在区间两端值之间取遍一切中间值，即使导函数不连续。这是导数的独特性质。

### 连续性

函数连续：lim f(x)等于f(x0)。ε-δ定义。连续函数四则运算连续，复合连续。初等函数在定义域连续。不连续点分类。

### 重排定理

黎曼重排定理：条件收敛级数可以重排使其收敛到任意给定的和甚至发散。绝对收敛级数任意重排和不变。这体现绝对收敛与条件收敛的本质区别。

### 重极限累次极限

重极限：点沿任意路径趋于时函数极限。累次极限：先后沿x、y方向求极限。重极限存在则累次极限存在且相等，反之不一定。

### 重积分换元

重积分变量替换：∫∫f(x,y)dxdy等于∫∫f(x(u,v),y(u,v))|J|dudv，J是Jacobi行列式。极坐标、柱坐标、球坐标是常用换元。换元要保证一一对应。

### 闭区间连续函数性质

闭区间连续函数性质：有界、取得最大值最小值、介值定理、零点定理、反函数连续。闭区间连续函数具有良好的整体性质。

### 隐函数定理

隐函数定理：F(x,y)满足F(x0,y0)等于0且Fy连续不为0，则在邻域内唯一确定隐函数y等于y(x)且连续可导。隐函数定理是多元分析的核心定理。

## 识别卡明细

- **observation_position**: 从数学分析（大学层）结构端透视
- **existence_preset**: 默认存在预设：大学学段知识按课标骨架存在
- **irreducible_start**: 不可约起点：数学分析的核心概念
- **observation_method**: 有效观测方式：课标骨架知识点 + 现象规律性格式
- **time_causality**: 时间与因果结构：按课标学段递进（大学）
- **condition_boundary**: 边界：数学分析知识点按课标骨架定位学段；具体数值/例题以教材为准
- **consistency**: 自洽性评估：知识点内容为现象+规律格式，待人工审校
- **protocol_mapping**: 可映射协议概念：数学分析与条件论知识图谱的接口
- **silent_preset**: 沉默预设：知识点内容为通用现象/规律，不声称终极解释

## 关系

- 课标骨架（similar）：数学分析与 knowledge_skeleton.json 的 大学 学段对应