From b7144546350dacff3ddca8b81507dbec7f8fc2fa Mon Sep 17 00:00:00 2001 From: szdytom Date: Fri, 11 Jul 2025 19:06:13 +0800 Subject: [PATCH] 1B Fix typo, thanks ZRY Signed-off-by: szdytom --- sections/1B.typ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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$”。