定义 1：
复数集的一个非空子集\(K\)如果：
- \(0, 1 \in K\)
- \(\forall a, b \in K\)，有\(a \pm b, ab \in K\)
- \(\forall a, b \in K\)且\(b \neq 0\)有\(\frac{a}{b} \in K\)
则\(K\)是一个数域。
例：有理数域\(\mathbb{Q}\)，实数域\(\mathbb{R}\)，复数域\(\mathbb{C}\)。
命题 1：
任一数域都包含有理数域，复数域是最大的数域
2023-10-06 21:58:46
定义 1：
复数集的一个非空子集\(K\)如果：
则\(K\)是一个数域。
例：有理数域\(\mathbb{Q}\)，实数域\(\mathbb{R}\)，复数域\(\mathbb{C}\)。
命题 1：
任一数域都包含有理数域，复数域是最大的数域