第三部分-代数结构PPT优秀资料.pptVIP

  • 1
  • 0
  • 约2.83千字
  • 约 30页
  • 2026-01-29 发布于江西
  • 举报

第三部分代数结构;第十章代数系统;第一节二元运算及其性质;例1(1)自然数集合N上的加法和乘法是N上的二元运算,但减法和除法不是。

(2)整数集合Z上的加法、减法和乘法都是Z上的二元运算,而除法不是。

;(6)求一个数的相反数是整数集合Z,有理数集合Q和实数集合R上的一元运算。

(7)求一个数的倒数是非零有理数集合Q*,非零实数集合R*上的一元运算。

(8)求一个复数的共轭复数是复数集合C上的一元运算。;二.二元与一元运算的表示;;例3设S={1,2},给出P(S)上的运算~和⊕的运算表,其中全集为S.;;例4N是自然数几何,在N上定义运算“*”:对于任意的m,n∈N,

m*n=m+2n.“*”是可交换的吗?“*”适合结合律吗?;四.二元运算的特异元素:单位元、零元和逆元;(3)令e为S中关于运算的单位元.对于x∈S,如果存在yl(或yr)

∈S使得ylox=e(或xoyr=e),则称yl(或yr)是x的左逆元(或右逆

元)。若y∈S既是x的左逆元又是x的右逆元,则称y为x的逆元。

如果x的逆元存在,就称x是可逆的。;现代科学在研究各种不同现象时,为了探索它们之间的共同特点,常常利用代数系统这个框架进行研究,得出深刻的结果。

例4N是自然数几何,在N上定义运算“*”:对于任意的m,n∈N,

确定子集是否构成子代数

(3)令e为S中关于运算的单位元.

?的单位元和零元都不存在,没有可逆元素.

(2)求出?运算的单位元、零元和所有可逆元素的逆元.

定义3设o为S上的二元运算,

用集合名称简单标记代数系统

(1)构成代数系统的成分:

当n=2时,f:A×A?A称为A上的一个二元运算.

例设V=Z,+,0,令nZ={nz|z?Z},n为自然数,则nZ是V的子代数

(8)求一个复数的共轭复数是复数集合C上的一元运算。

第一节二元运算及其性质

目前代数系统的理论已在理论物理,生物学,计算机科学以及社会科学中广泛地应用。

环与域-----环、整环、域

(2)求出?运算的单位元、零元和所有可逆元素的逆元.;定理2设o为S上可结合的二元运算,e为该运算的单位元,对于

x∈S如果存在左逆元yl和右逆元yr,则有yl=yr=y,且y是x的

唯一的逆元。;例题5.设?运算为Q上的二元运算,?x,y?Q,x?y=x+y+2xy,

(1)判断?运算???否满足交换律和结合律,并说明理由.

(2)求出?运算的单位元、零元和所有可逆元素的逆元.

;;;说明:通过运算表可以判断运算性质,也可以求运算的特异元素。;(6)求一个数的相反数是整数集合Z,有理数集合Q和实数集合R上的一元运算。

zo(x*y)=(zox)*(zoy),则称运算o对*运算满足分配律。

如果x的逆元存在,就称x是可逆的。

(4)真子代数:若B是S的真子集,则B构成的子代数称为V的真子代数.

(3)如果对于任意的x∈S有xox=x,则称运算在S上满足幂等律。

如果一个元素的行和列的元素都是这个元素自身,那么这个元素是零元,如●运算表中的c。

(4)真子代数:若B是S的真子集,则B构成的子代数称为V的真子代数.

代数常数(通常是与运算相关的特异元素:如单位元等)

研究代数系统时,如果把运算具有它的特异元素也作为系统的性质之一,那么这些特异元素可以作为系统的成分,叫做代数常数.

集合(也叫载体,规定了参与运算的元素)

(6)求一个数的相反数是整数集合Z,有理数集合Q和实数集合R上的一元运算。

判断给定二元运算的性质和特异元素;第二节代数系统;二.代数系统的成分与表示;(2)代数系统的表示

列出所有的成分:集合、运算、代数常数(如果存在)

如Z,+,0,P(S),∪,∩

列出集合和运算,在规定系统性质时不涉及具有单位元的性质(无代数常数)

如Z,+,P(S),∪,∩

用集合名称简单标记代数系统

在前面已经对代数系统作了说明的前提下使用

如代数系统Z,P(B);三.同类型与同种代数系统;二、子代数系统

1.定义

设V=S,f1,f2,…,fk是代数系统,B是S的非空子集,如果B对f1,f2,…,fk都是封闭的,且B和S含有相同的代数常数,则称B,f1,f2,…,fk是V的子代数系统,简称子代数.有时将子代数系统简记为B.

2.实例

N是Z,+的子代数,N也是Z,+,0的子代数,N?{0}是Z,+的子代数,但不是Z,+,0的子代数

说明:

子代数和原代数是同种的代数系统

对于任何代数系统V=S,f1,f2,…,fk,其子代数一定存在.;;例题7.确定子集是否构成子代数

(1

文档评论(0)

1亿VIP精品文档

相关文档