From c7725325086911136c27a0fb0e55a8be3697dce4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=96=B9=E8=80=8C=E9=9D=99?= Date: Tue, 20 Sep 2022 10:30:24 +0000 Subject: [PATCH] =?UTF-8?q?=E7=A1=AE=E4=BF=9D=E9=99=A4=E6=B3=95=E4=B8=AD?= =?UTF-8?q?=E7=9A=84=E8=A2=AB=E9=99=A4=E6=95=B0=E4=B8=8D=E6=98=AF0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 修正除法的定义，确保除法中的被除数不是0 Signed-off-by: 方而静 --- src/extras/5A 戴德金分割与实数理论.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/extras/5A 戴德金分割与实数理论.md b/src/extras/5A 戴德金分割与实数理论.md index 3ff2207..0cfb440 100644 --- a/src/extras/5A 戴德金分割与实数理论.md +++ b/src/extras/5A 戴德金分割与实数理论.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$。