确保除法中的被除数不是0

修正除法的定义，确保除法中的被除数不是0 Signed-off-by: 方而静 <szdytom@163.com>
2022-09-20 10:30:24 +00:00 · 2022-09-20 10:30:24 +00:00 · c772532508
commit c772532508
parent 42116841a0
1 changed files with 1 additions and 2 deletions
--- a/戴德金分割与实数理论.md
+++ b/戴德金分割与实数理论.md
@ -286,6 +286,5 @@ $$A=\left\{x\in \mathbb Q\vert x<10\right\}$$

 由此，我们就可以定义除法。

- **定义 5A.5.7（除法）**：设 $\alpha,\beta\in\mathbb R$，定义 $\alpha$ 除 $\beta$ 的商为 $\alpha^{-1}\beta$，记作 $\beta/\alpha$。
-
+- **定义 5A.5.7（除法）**：设 $\alpha,\beta\in\mathbb R$，其中 $\alpha\neq0$，定义 $\alpha$ 除 $\beta$ 的商为 $\alpha^{-1}\beta$，记作 $\beta/\alpha$。