diff --git a/docs/appendix.md b/docs/appendix.md index f2b9e11..6831c33 100644 --- a/docs/appendix.md +++ b/docs/appendix.md @@ -463,7 +463,7 @@ KKT条件和 Slater 条件通常被归类为“正则条件”(regularity cond ## 偏序集 -序理论(order theory)是研究捕捉数学排序直觉的各种二元关系的数学分支。在序理论中,一个偏序集(partial order set,简称 poset)包含一个非空集合 $P$ 和一个满足特定条件的二元关系 $\leq$。这个二元关系称为偏序关系,它必须满足以下三个条件: +序理论(Order Theory)是数学的一个分支,它的核心思想是通过定义某种“序”来描述元素之间的相对关系。在序理论中,一个偏序集(partial order set,简称 poset)包含一个非空集合 $P$ 和一个满足特定条件的二元关系 $\leq$。这个二元关系称为偏序关系,它必须满足以下三个条件: 1. **自反性(Reflexivity)**:对于 $P$ 中的任意元素 $a$,都有 $a \leq a$。 2. **反对称性(Antisymmetry)**:对于 $P$ 中的任意元素 $a$ 和 $b$,如果 $a \leq b$ 且 $b \leq a$,那么 $a = b$。