原创力文档- 1、本文档共19页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
1．5 数环和数域
证明，如果一个数环,那么有无限多个元素。
证明：法一（正面证明）：
为数环
加法具有封闭性
且为两两不同的数
（否则，可以推出）
有无限多个元素
法二（反证法）：
假设有有限多个元素
不妨设为个
为数环
加法具有封闭性
为两两不同的数且为中元，矛盾
假设不正确，即：
有无限多个元素
证明：是数域。
证明：
令
F为复数集C的非空子集
又对有：
F为数环
又对有：
及
所以F的除法封闭
所以F为数域。
证明：是一个数环。不是一个数域。
证明：（1）为数环的证明：
为复数集的非空子集
又对任意的有：
为数环
（2）不是数域的证明：
但
对除法不具封闭性
不是数域
证明：两个数环的交还是一个数环；两个数域的交还是一个数域。两个数环的并是不是数环？
证明：（1）两个数环的交还是数环：
任取两个数环
，
令
为复数集C的非空子集
对任意的有：
为数环
同理：
为数环
（2）两个数域的交还是一个数域
任取两个数环
令
根据（1）知是一个数环
对任意的有
是数域
同理
，即：
为数域
（3）两个数环的并不一定是数环
取数环：，
令
，
但
即的加法不封闭
不是数环
设是一整数，令：
由例1，是一个数环。设，记：
证明：（i）是一个数环。
证明：
是复数集的非空子集
对任意的 有：
对加，乘，减运算具有封闭性
为数环。
（ii）
证明：充分性：
对任意的 （1）
（2）
由（1）、（2）知：
必要性：
（iii）是的最大公因数
分析：本题实际上是证明集合相等，只要证明相互包含即可。
证明：先证
对任意的有：
再证：
（1）
又对任意的 （2）
（3）
由（1）、（3）知：
（4）
由（2）、（4）知
综合两个方面的证明，
（iv）
证明：由（iii）知：
广东陶粒，广东陶粒厂 Up3ICj4stBs1
第一章 基本概念
数环和数域 17
文档评论（0）