diff --git a/sections/1B.typ b/sections/1B.typ index baf6653..fac87e7 100644 --- a/sections/1B.typ +++ b/sections/1B.typ @@ -45,7 +45,7 @@ 这里,左侧的 $0$ 是数 $0$,而右侧的 $0$ 是 $V$ 中的加法单位元。 #note(supplement: "提示")[ - 在定义中“条件可以替换”,指原来的条件替换成新的条件后,满足定义的对象原来那些。 + 在定义中“条件可以替换”,指原来的条件替换成新条件后,满足定义的对象还是原来的那些。 ] ][ 采用原有定义时,新条件成立的证明由原书定理1.30给出。我们现在采用替换后的新定义,并以此证明加法逆元条件,即“对于所有 $v in V$,都存在 $w in V$ 使得 $v+w=0$”。