maximal ideal

摘要： 在讨论归纳定义原理的一般形式之前，首先证明它的一个特殊情况——引理 7.2的证明中用到过这种情况。它有助于对一般情况的讨论，使证明中的关键思想更为清晰。 对此，给定\(\mathbb{Z}_+\)的无限子集\(C\)，考虑函数\(h:\mathbb{Z}_+\rightarrow C\)的下述归纳公 阅读全文

摘要： 如同正整数的截是有限集的样本那样，所有正整数的集合\(\mathbb{Z}_+\)就是可数无限集的样板。本节将研究这种集合，还要构造一些既不是有限集也不是可数无限集的集合。这种研究将引导我们去讨论“归纳定义”过程的含义。 定义 一个集合\(A\)称为无限的（infinite），如果它不是有限集。一个 阅读全文