# 复变函数·知识综述 识别卡 2.0

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

## 核心主张

复变函数（课标骨架 22 知识点填充）：现象+规律，简单词汇，规律性出现即知识……

## 条件空间

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

## 出招

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

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

### 共形映射性质

共形映射：保角的双射解析映射。解析且导数非零即保角。共形映射保持角度和局部形状。用于把复杂区域映为简单区域。

### 分式线性变换

分式线性变换：w等于(az加b)除以(cz加d)，把圆和直线映为圆或直线，保持交比和角度。分式线性变换是共形映射的基本类。

### 初等解析函数

初等解析函数：e的z次方（周期2πi）、sinz、cosz（由指数定义）、对数函数、幂函数。复指数、复三角与实情形不同：无界、周期。

### 复变函数极限连续

复变函数极限：z趋于z0时f(z)趋于A（ε-δ定义）。连续：极限等于函数值。复变函数极限比实变严格（二维逼近）。

### 复数运算

复数：z等于x加iy，模、辐角、共轭。三角形式：z等于r(cosθ加isinθ)。棣莫弗公式。复数运算的几何意义：乘法旋转伸缩。

### 孤立奇点分类

孤立奇点分类：可去奇点（洛朗主部为零，可补充定义）、极点（主部有限项）、本性奇点（主部无穷项）。极点阶数由主部最高负幂决定。

### 对数函数

复对数：Log z等于ln|z|加i(θ加2kπ)，多值函数。主值分支：θ取主值。多值性来源于辐角多值。支点：绕支点转一圈函数值改变。

### 柯西积分公式

柯西积分公式：f在区域解析，f(z0)等于(1/2πi)∮f(z)除以(z减z0)dz。柯西积分公式用边界值表示内部值，体现解析函数的整体性。

### 柯西积分定理

柯西积分定理：f在单连通区域解析，则沿区域内闭曲线积分∮f(z)dz等于0。定理是复积分理论的基石。推广：多连通区域的积分等于边界积分之和。

### 柯西黎曼方程

柯西黎曼方程：u对x偏导等于v对y偏导，u对y偏导等于负v对x偏导。函数可导的充要条件：CR方程加实部虚部可微。CR方程是解析性的判据。

### 根式函数

根式函数：z的1/n次方多值（n个分支）。根式函数是幂函数的反函数。分支切割：沿负实轴切割取主分支。

### 泰勒级数

解析函数的泰勒级数：f(z)在解析点展开，收敛半径是到最近奇点的距离。泰勒系数用导数或积分表示。幂级数在其收敛圆内解析。

### 洛朗级数

洛朗级数：在环域内展开，含负幂项。主部（负幂部分）和正则部分。洛朗级数在奇点附近展开，是留数理论的基础。

### 留数定理

留数定理：∮f(z)dz等于2πi乘以围道内所有奇点留数之和。留数：洛朗展开中(z减z0)负一次项系数。留数定理把围道积分化为留数计算。

### 留数计算实积分

用留数计算实积分：∫f(x)dx（上下限无穷，用上半平面围道）、∫三角积分（单位圆围道z等于e的iθ次方）、含三角函数的有理积分。留数是计算实积分的强大工具。

### 莫雷拉定理

莫雷拉定理：f在区域连续且沿任意闭曲线积分为0，则f解析。莫雷拉定理是柯西积分定理的逆定理，刻画解析性的积分特征。

### 解析函数

解析函数：在邻域内每点可导。可导则无穷次可导。解析函数的实部虚部都是调和函数。解析性是复分析的核心概念。

### 调和函数

调和函数：拉普拉斯方程的解（uxx加uyy等于0）。解析函数的实部虚部是调和函数。由调和函数可求共轭调和函数（用CR方程）。调和函数用于物理位势问题。

### 辐角与支点

辐角函数arg z多值。支点：函数的多值点，绕支点一周函数值不返回。对数函数的支点是0和无穷。多值函数的处理：割破平面取单值分支。

### 辐角原理

辐角原理：围道内零点数减极点数等于(1/2πi)∮f'/f dz等于辐角变化除以2π。鲁歇定理：|g|小于|f|时f加g与f零点数相同。用于判根分布。

### 高阶导数公式

高阶导数公式：f的n阶导数等于(n!/2πi)∮f(z)除以(z减z0)的n加1次方dz。解析函数各阶导数存在且可用积分表示。解析函数无穷次可导。

### 黎曼映射定理

黎曼映射定理：任意单连通真子区域可共形映射到单位圆。定理保证共形映射的存在性。映射不唯一（可要求点对应和角度）。

## 识别卡明细

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

## 关系

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