free pascall中的幂等律是什么?

一元运算_百度百科
关闭特色百科用户权威合作手机百科
收藏 查看&一元运算本词条缺少概述、信息栏、名片图,补充相关内容使词条更完整,还能快速升级,赶紧来吧!
设S是集合, 函数 f : S → S称为S上的一个 一元运算 .
例 10.1 (1) 求数的相反数是整数集合Z 、有理数集合Q和实数集合R上的一元运算.
(2) 求数的倒数是非零有理数集和非零实数集上的一元运算.
(3) 求复数的共轭复数是复数集合C上的一元运算.
(4) 在幂集合P(S)上, 如果规定全集为S, 则求集合的绝对补运算是P(S)上的一元运算.
(5) 设集合S上所有双射函数组成的集合为, 则求双射函数的反函数是A上的一元运算.
(6) 在n(n≥2)阶实数集合(R) 上,求矩阵的转置矩阵是(R)上的一元运算 .
注: 验证 S上一种运算是否为一元运算主要应检验两点:
(1) S中任何元素都能进行这种运算, 且运算结果是唯一的.
(2) S中任何元素进行运算的结果都仍在S中, 即S对运算 是封闭的.设S是集合,函数 f : S Ⅹ S → S称为S上的 二元运算 。
注: 验证 S上一种运算是否为二元运算也主要检验两点:
(1) S中任二元素都可进行这种运算, 且运算结果是唯一的.
(2) S中任二元素运算的结果都仍在S中(运算具有封闭性).
例 10.2 (1) 自然数集合N上的加法和乘法都是N上的二元运算, 但减法和除法不是。
(2) 整数集合 Z 上的加法、减法和乘法都是 Z 上的二元运算, 但除法不是。
(3) 实数域 R 和有理数域 Q 上的加法、减法、乘法都是二元运算, 但除法不是; 非零实数域和非零有理数域上的乘法和除法都是二元运算, 但加法和减法不是。
(4) 在所有 n阶实矩阵(n≥2)形成的集合M n(R) 上, 矩阵的加法和乘法都是二元运算。
(5) S 为任意集合, 则∪, ∩, -, ⊕ 为 S 的幂集 P(S) 上的二元运算.
(6) S 为集合, S 上所有函数形成的集合为. 则函数的复合运算?是上的二元运算。
注: 通常用符号 *, , ·, …, 等来表示运算, 称为运算符。
例 10.3 设有实数域R上的二元运算: ? x , y ∈ R, x * y = x, 计算
有限集合 S上的一元和二元运算除了使用函数表达式给出外, 也可以用运算表给出; 运算表的一般格式为:
例 10.4 设S={1,2},给出P(S)上的补运算~和对称差运算 ⊕ 的运算表 ,其中全集为S。
解: 所求运算表如下 :
例10.5 设S={1,2,3,4},定义 S上的二元运算如下: xy=(xy)(mod 5), ( ? x, y ∈ S)
求运算的运算表。
解: 所求运算表如下:设为集合S上的二元运算。
(1) 若 ? ∈ S (或 ? ∈ S ), 使得对 ? x ∈ S 都有
x = x ( 或 x=x )
则称是 S中关于运算?的 左单位元 ( 称 为S中关于运算?的 右单位元 )。
如果 e ∈ S关于运算?既是左单位元又是右单位元, 则称为 单位元 或 幺元 。
(2) 若 ? θ l ∈ S (或 ? θ r ∈ S), 使得对∀ x ∈ S 都有
θ l x = θ l ( 或 x θ r = θ r )
则称 θ l 是 S中关于运算 的 左零元 (称 θ r 是 S中关于运算 的 右零元 )。若 θ ∈ S关于运算 既是左零元又是右零元, 则称它是S中关于运算 的 零元 。
(3) 设e ∈ S是运算 的单位元, x ∈ S。若 $ ∈ S (或 $ ∈ S), 使得
i x = e (或 x =e )
则称 是在运算 下元素x的 左逆元 (称 是在运算 下元素 x 的 右逆元 )。
若 y ∈ S既是x 的左逆元又是x 的右逆元, 则称 y是x 在运算 下的 逆元 。存在逆元的元素称为可逆的。
? 在数集 N, Z, Q, R上,0是加法的单位元,1是乘法的单位元;
? 在 n阶实矩阵集合M n(R)上,全0的n阶矩阵是矩阵加法的单位元, n 阶单位矩阵是矩阵乘法的单位元;
? 在幂集P(S)上, F 是∪运算的单位元 , 全集S是∩运算的单位元, F 也是对称差运算 ⊕ 的单位元;
? 在上,恒等矩阵 I A 是函数复合运算的单位元。
? 在数集N, Z, Q, R上,加法没有零元,0 是乘法的零元;
? 在 M n(R)上, 矩阵加法没有零元, 全 0 的 n 阶矩阵是矩阵乘法的零元;
? 在P(S)上, 全集 S 是∪运算的零元, F 是∩运算的零元,⊕ 没有零元;
? 在自然数集N上,只有0有加法逆元,就是它自己;
? 在数集Z,Q,R上, 每个数字x关于加法运算都有逆元, 即它的相反数–
? 在数集Q,R上, 每个非零数字x关于乘法运算都有逆元, 即它的倒数 ;
? 在集合M n(R)上,每个 n 阶实矩阵 M 关于矩阵加法都有逆元–M; 每个n 阶实可逆矩阵 M 关于矩阵乘法都有逆元 ;
? 在P(S)上,关于并运算∪,只有 F 有逆元,就是它自己;
关于交运算∩,只有全集S有逆元,就是它自己。(1) 设为S上的二元运算。如果在S中关于该运算既存在左单元 又存在右单元 , 则必存在单位元e , 且 = =e。
(2) S上关于运算的单位元是唯一的。
证: (1) 因 是右单位元,故=
又因是左单位元,故
= 。从而 = 。
令 e = = , 易见 e 是单位元。
(2) 设e 和e ' 都是 S中关于运算的单位元,则
e=e e ' = e'
可见,单位元是唯一的。(1) 设为S上的二元运算。如果在S中关于该运算既有左零元 θ l 又有右零元 θ r ,则必存在零元 θ ,且 θ l = θ r = θ .
(2) S上关于运算的零元是唯一的。
证明与上一定理类似,留作练习。设为S上的二元运算, e 和 θ 分别为该运算的单位元和零元。如果 S 至少有两个元素,则e≠ q .
证:用反证法。假设 e= θ ,则对 ?x ∈ S,有 x= xe= xθ = θ . 这与 S中
至少有两个元素矛盾。设为S上的可结合的二元运算,(“可结合”见下文定义),e 为该运算的单位元。 (1) 如果S中一个元素x在该运算下既有左逆元 又有右逆元 ,则它必有逆元 y , 且 = =y;(2) 若 x ∈ S在运算下有逆元,则逆元是唯一的。
证: (1) 由 x = e 和 x =e 得
令 y = = , 则易见 y 是 x 的逆元。
(2) 设 y 和 y ' 都是元素 x 在运算 下的逆元,则
y ' = y ' e= y '(x y)=(y ' x) y=e y=y 。
由此可见 x 的逆元是唯一的。
三.二元运算的运算律(1)设为集合S上的二元运算. 如果对 ? x, y ∈ S,都有
则称运算在S上具有 交换律 ,或称运算在 S上是交换的。
(2) 设为集合 S上的二元运算。如果对 ? x , y, z ∈ S, 都有
(x y) z = x (y z)
则称运算在S上具有 结合律 ,或称运算 在S上是结合的。
(3) 设为集合S上的二元运算。如果对 ? x ∈ S,都有
则称运算 在S上具有 幂等律 ,或称运算 在S上是幂等的。
(4) 设和·是集合S上两个二元运算。如果对 ? x , y, z ∈ S,都有
x ·(y z)=(x · y) (x · z) (或都有 (y z) · x=(y · x) (z · x))
则称运算·对运算具有 左分配律 (或 右分配律 )。若·对既有左分配律又具有右分配律,则称·对具有 分配律 。(1) 设和·是集合S上的两个可交换的二元运算。如果对 ? x , y ∈ S,都有
x·(x y)=x,
则称运算·对运算具有吸收律。如果·对具有吸收律,且对·也具有吸收律,则称运算·和在S上是 吸收的 。
(2) 设是集合S上的二元运算,如果对 ?x , y, z ∈ S,都有
xy=xz ∧ x ≠零元) => y=z
或都有 (yx=zx ∧x ≠零元) =>y=z)
则称运算 在S上具有 左消去律 (或具有 右消去律 )。若运算在S上既具有左消去律又具有右消去律,则称它在S上具有 消去律 。
常见的二元运算满足交换律,结合律,幂等律和消去律的情况:
? & 集合的并和交不满足消去律的例子 :
A={1,3,4,5}, B={1,2,4,5}, C={1,2,3}, D={1,3},
则 A∪C=B∪C={1,2,3,4,5}, 但A≠B;
A∩C=D∩C={1,3}, 但A≠D.
? & 函数的复合运算不满足消去律的例子:
★ 集合 N,Z,Q,R,C上数字的乘法对加法具有分配律;
★ n 阶实矩阵集合 M n(R) 上矩阵的乘法对加法具有分配律;
★ 幂集 P(S)上交和并运算∩与∪是互相可分配的。
幂集P(S)上的∪与∩运算满足吸收律,即 ? A, B ∈ P(S), 有A∪(A∩B)=A, A∩(A∪B)=A。
设是集合S上的二元运算. 若S中某元素 x 满足xx=x, 则称x为运算?的幂等元。显然, 若二元运算在S上具有幂等律, 则S中每个元素都是 运算的幂等元。
例 10.6 对下列二元运算, 指出其运算性质, 并求其单位元、零元和
所有可逆元的逆元。
解: (1) * 运算可交换、可结合, 是幂等的, 不存在零元。因为对 ,x * 1=1 * x=x , 故1是单位元。除1外, 其它元素无逆元, 1 的逆元是它 自己。
(2) ① ∵ 对 ?x , y ∈ Q, x * y = x+y – xy = y+x – yx = y* x , 故*满足交换律;
② ∵ 对 ? x , y, z ∈ Q, 有
(x * y ) * z = (x+y – xy) * z = x+y+z – xy – xz – yz+xyz ,
x * (y * z ) = x * (y+z – yz) = x+y+z – yz – xz – xy+xyz .
可见 * 满足结合律;
③ ∵ 对 2 ∈ Q, 有 2*2=2+2–2 ′ 2=0 1 2, 故*不满足幂等律;
④ ∵ 对 ?x , y, z ∈ Q 且 x 1 1 (1是零元),有
x*y = x*z => x+y – xy = x+z – xz =>y – z = x(y – z) =>y = z。
故满足左消去律, 由于可交换, 故也满足右消去律, 从而*满足消去律;
⑤ 因为对 ? x ∈ Q,都有 x*0 = x = 0*x,故 0是*的单位元;
⑥ 因为对 ? x ∈ Q,都有 x*1=1=1*x,故 1是*的零元;
⑦ 因为对 ? x ∈ Q,欲使 x*y=0 和 y*x=0成立,即
x+y – xy = 0,
解得 ,故每一非零元x都有逆元 。
例 10.7 设A={a, b, c}, A上的二元运算 * ,,· 如表所求。
(1) 说明它们是否满足交换律、结合律、消去律和幂等律。
(2) 求出它们的单位元、零元和所有可逆的逆元。
解: *运算 满足交换律、结合律和消去律 , 不满足幂等律。单位元是a;没有零元;, .
运算 满足交换律、结合律和幂等律 , 不满足消去律,单位元是a,零元是b. 仅仅a 有逆元: .
· 运算 满足交换律、结合律和幂等律 , 不满足交换律和消去律。没有单位元和零元,任何元素都无逆元。
新手上路我有疑问投诉建议参考资料 查看P~n上德萨格定理的另一个证明--《邯郸学院学报》2005年03期
P~n上德萨格定理的另一个证明
【摘要】:在n维射影空间Pn中,给出了用帕普斯定理来证明德萨格定理的另一个方法.
【作者单位】:
【关键词】:
【分类号】:O185.1;【正文快照】:
在文献[1]中,证明了n维射影空间P n上的德萨格(Desargues)定理.在文献[2]中,给出了二维射影空间上用帕普斯(Pappus)定理证明德萨格定理.本文对此进行推广:对于域F上的射影几何P(V),也可用帕普斯定理证明德萨格定理.1预备知识定义1给出一个集合F.如果在这个集合中可以引进两种
欢迎:、、)
支持CAJ、PDF文件格式,仅支持PDF格式
【共引文献】
中国期刊全文数据库
徐天长;[J];安庆师范学院学报(自然科学版);1992年01期
徐天长;[J];安庆师范学院学报(自然科学版);2001年03期
杜家安;[J];安阳师范学院学报;2000年02期
陈燕衎,张增喜;[J];保定师范专科学校学报;2002年02期
赵宗平,张洪,李书乡;[J];北京航空航天大学学报;1990年02期
徐园,张广军,魏振忠;[J];北京航空航天大学学报;2004年01期
田国纬,李涛;[J];保山师专学报;2002年05期
邢妍,李祥;[J];保山师专学报;2004年02期
徐光元;[J];兵团教育学院学报;2001年03期
喻德生;;[J];江西师范大学学报(自然科学版);2006年04期
中国博士学位论文全文数据库
王伟;[D];西安电子科技大学;1998年
吴刚;[D];合肥工业大学;2001年
姜大志;[D];南京航空航天大学;2002年
刘勇;[D];西安电子科技大学;2001年
唐丽;[D];西安电子科技大学;2003年
伍雪冬;[D];湖南大学;2005年
杨述平;[D];中北大学;2005年
全红艳;[D];哈尔滨工业大学;2006年
陈丽娟;[D];大连理工大学;2007年
中国硕士学位论文全文数据库
王雪力;[D];大连理工大学;2010年
丁永军;[D];国防科学技术大学;2011年
张娟;[D];北京化工大学;2011年
刘艳敏;[D];燕山大学;2006年
董芸;[D];北京化工大学;2007年
唐文;[D];同济大学;2007年
肖洋;[D];上海海事大学;2007年
魏冲;[D];中北大学;2009年
葛婷;[D];北京化工大学;2009年
张晋云;[D];山西师范大学;2012年
【相似文献】
中国期刊全文数据库
刘太琳;[J];山东科学;2000年01期
吕传方;[J];重庆师范学院学报(自然科学版);1992年03期
曹重光;[J];黑龙江大学自然科学学报;1991年03期
聂彩云;[J];吉首大学学报(自然科学版);1999年01期
马晓峰,田国华;[J];大连铁道学院学报;2002年02期
胡付高;[J];湘潭大学自然科学学报;2002年03期
陈国龙,冯崇岭;[J];工科数学;2000年02期
曹重光,张显;[J];北华大学学报(自然科学版);2000年01期
包革军,丁树森,凌怡;[J];数学年刊A辑(中文版);2000年05期
魏裕博;[J];陕西教育学院学报;2000年02期
中国重要会议论文全文数据库
张君峰;李忠;赵合计;;[A];山东省计算机学会2005年信息技术与信息化研讨会论文集(一)[C];2005年
白双成;吴英喆;;[A];第十届全国少数民族语言文字信息处理学术研讨会论文集[C];2005年
李永利;;[A];全国优秀青年气象科技工作者学术研讨会论文集[C];2006年
安苑;;[A];中国制度经济学年会论文集[C];2006年
曾贤模;;[A];贵州省外语学会2008年学术研讨会论文集[C];2008年
何宏林;徐本柱;刘晓平;;[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
中国博士学位论文全文数据库
王霜梅;[D];首都师范大学;2006年
南成玉;[D];延边大学;2007年
彭利贞;[D];复旦大学;2005年
卜长江;[D];哈尔滨工程大学;2011年
中国硕士学位论文全文数据库
李静;[D];兰州大学;2009年
潘佳佳;[D];复旦大学;2009年
高群;[D];山东大学;2007年
崔泳泳;[D];曲阜师范大学;2005年
李文娟;[D];福州大学;2006年
王丹红;[D];哈尔滨工程大学;2006年
周洪玲;[D];哈尔滨工程大学;2006年
张琳;[D];山东师范大学;2007年
陈雪梅;[D];黑龙江大学;2007年
井世丽;[D];哈尔滨工程大学;2007年
&快捷付款方式
&订购知网充值卡
400-819-9993
《中国学术期刊(光盘版)》电子杂志社有限公司
地址:北京清华大学 84-48信箱 知识超市公司
出版物经营许可证 新出发京批字第直0595号
同方知网数字出版技术股份有限公司
订购热线:400-819-82499
在线咨询:
传真:010-
京公网安备74号模糊方法在建筑工程投资估算和工程质量评价中的应用研究(管理科学与工程专业优..
扫扫二维码,随身浏览文档
手机或平板扫扫即可继续访问
模糊方法在建筑工程投资估算和工程质量评价中的应用研究(管理科学与工程专业优秀论文)
举报该文档为侵权文档。
举报该文档含有违规或不良信息。
反馈该文档无法正常浏览。
举报该文档为重复文档。
推荐理由:
将文档分享至:
分享完整地址
文档地址:
粘贴到BBS或博客
flash地址:
支持嵌入FLASH地址的网站使用
html代码:
&embed src='/DocinViewer-4.swf' width='100%' height='600' type=application/x-shockwave-flash ALLOWFULLSCREEN='true' ALLOWSCRIPTACCESS='always'&&/embed&
450px*300px480px*400px650px*490px
支持嵌入HTML代码的网站使用
您的内容已经提交成功
您所提交的内容需要审核后才能发布,请您等待!
3秒自动关闭窗口}

我要回帖

更多关于 free pascal ide 的文章

更多推荐

版权声明:文章内容来源于网络,版权归原作者所有,如有侵权请点击这里与我们联系,我们将及时删除。

点击添加站长微信