# 线性代数·知识综述 识别卡 2.0

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

## 核心主张

线性代数（课标骨架 23 知识点填充）：现象+规律，简单词汇，规律性出现即知识……

## 条件空间

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

## 出招

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

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

### n维向量

n维向量：n个数组成的有序数组。向量运算：加法、数乘。向量空间：对加法数乘封闭。n维向量空间的基含n个线性无关向量。

### 二次型

二次型：n个变量的二次齐次多项式，f(x)等于x转置Ax（A对称）。二次型与对称矩阵一一对应。合同变换：P转置AP保持二次型。

### 克拉默法则

克拉默法则：系数行列式不为0时，n元线性方程组有唯一解，第j个未知数等于把系数行列式第j列换成常数列后的行列式除以系数行列式。克拉默法则给出解的公式表达。

### 分块矩阵

分块矩阵：把矩阵分成子块，按块进行运算。分块对角矩阵：对角线是子块。分块矩阵乘法、求逆。分块技巧简化大矩阵运算。

### 初等变换

初等变换：交换两行、某行乘非零数、某行加另一行的倍数。初等变换不改变矩阵的秩。行阶梯形、行最简形。用初等行变换求逆、解方程组。

### 向量组秩

向量组秩：向量组的极大无关组所含向量的个数。向量组线性无关则秩等于向量个数。矩阵的秩等于行向量组和列向量组的秩。

### 实对称矩阵

实对称矩阵性质：特征值全为实数；不同特征值对应特征向量正交；存在正交矩阵Q使Q转置AQ为对角阵（正交对角化）。实对称矩阵必可对角化。

### 展开定理

行列式按行（列）展开：某行元素乘对应代数余子式之和等于行列式值；异行元素乘本行代数余子式之和等于0。代数余子式带符号（负1的i加j次方）。展开定理是行列式计算的一般方法。

### 极大无关组

极大无关组：线性无关且可表示向量组中任一向量。极大无关组不唯一，但所含向量个数相同（等于秩）。用初等变换求极大无关组。

### 标准形

二次型的标准形：只含平方项。用配方法或正交变换化标准形。规范形：标准形系数化为正负1和0。惯性定理：正负惯性指数由二次型唯一确定。

### 正定二次型

正定二次型：对任意非零x，f(x)大于0。判定：顺序主子式全大于0（赫尔维茨定理）、特征值全正、与单位阵合同。正定矩阵是实对称矩阵。

### 特征值特征向量

特征值特征向量：A乘x等于λx（x非零），λ是特征值，x是对应特征向量。特征方程|λI减A|等于0。特征值之和等于迹，之积等于行列式。

### 相似对角化

矩阵可对角化：存在可逆矩阵P使P逆AP为对角阵，充要条件：n个线性无关特征向量（每个特征值的代数重数等于几何重数）。对角化后求幂方便：A的n次方等于P D的n次方 P逆。

### 矩阵的秩

矩阵的秩：矩阵的非零子式的最高阶数，或行阶梯形中非零行的行数。秩的性质：r(A)小于等于min(m,n)，秩不随初等变换改变。秩是矩阵的重要不变量。

### 矩阵运算

矩阵：数表，m行n列。矩阵加法（同型矩阵对应元素相加）、数乘、矩阵乘法（前行乘后列，左矩阵列数等于右矩阵行数）。矩阵乘法不满足交换律。转置：行列互换。

### 线性相关无关

线性相关：存在不全为零的系数使向量线性组合等于零向量。线性无关：只有全零系数才成立。单个非零向量线性无关。向量组线性相关的充要条件：某向量可由其余向量线性表示。

### 行列式定义

n阶行列式是n方个数按规则排成的算式，等于所有取自不同行不同列的n个元素的乘积的代数和，符号由排列的逆序数决定。二阶三阶行列式有对角线法则。

### 行列式性质

行列式性质：转置行列式值不变；交换两行变号；某行有公因子可提出；两行成比例则值为0；某行是两组数之和可拆开；初等变换不影响值（行倍加）。性质用于化简计算。

### 解的结构

线性方程组解的结构：非齐次通解等于特解加对应齐次通解。齐次通解是基础解系的线性组合。解的结构定理是线性方程组的核心理论。

### 逆矩阵

逆矩阵：A乘A逆等于A逆乘A等于单位阵。A可逆的充要条件：行列式不为0。求逆方法：伴随矩阵法、初等变换法（A|E化E|A逆）。逆矩阵性质：(AB)逆等于B逆A逆。

### 通解

通解：含任意常数的全部解。齐次方程通解由基础解系张成。求通解步骤：化行最简形、确定自由变量、写基础解系、组合成通解。

### 非齐次方程组

非齐次线性方程组：Ax等于b。有解判定：系数矩阵秩等于增广矩阵秩。唯一解：秩等于n。无穷多解：秩小于n。无解：系数秩小于增广秩。解的结构：特解加齐次通解。

### 齐次方程组

齐次线性方程组：Ax等于0。零解总存在。有非零解的充要条件：系数矩阵秩小于未知数个数。基础解系：含n减r个线性无关解向量。通解是基础解系的线性组合。

## 识别卡明细

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

## 关系

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