当一个非空数集 满足条件“如果 ,则 、、,且当 时,”时,我们就称 是一个数域。以下四个关于数域的命题:
是任何数域的元素;
若数域 有非零元素,则 ;
集合 是一个数域;
有理数集是一个数域。
其中真命题的代号是(写出所有真命题的代号)。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
闭合性允许使用同一个元素两次;先构造零和一,再逐条检查。
非空性保证可取 ,由减法闭合得到 ,所以第 条真。若还有非零元素 ,则 ;反复使用加法可得到 ,故第 条真。第 条中, 属于所给集合,但 不属于它,因此它不满足除法闭合。第 条为真:有理数的和、差、积以及分母非零时的商仍为有理数。所以真命题代号为 。
构造一时明确用了非零元素,避免除以零;否定第三条只需给出一个闭合性反例。
处理代数闭合条件时,优先用同一元素的差与商产生基本元素,并保留非零前提。
闭合条件可用同一元素两次,先产生零,再在非零前提下产生一;否定闭合只需一组合法运算的反例。
已记下,谢谢!