族谱网 头条 人物百科

集合代数

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:364
转发:0
评论:0
导言集合代数是研究集合运算和集合关系的基本性质的学科。研究这些性质可以深入探究集合的本质,也有助于实际应用。像普通算术的表达和计算一样,集合的表达和计算可能相当复杂。通过系统研究将有助于熟练使用和理解这些表达方式并进行计算。在算术研究方面,是通过初等代数来研究算术的运算和关系的。例如:加法和乘法运算遵循人们看时候带吃熟知的交换律、结合律和分配律;而"小于等于"关系满足自反性、反对称性和传递性。这些规律提供了简化计算的工具,并描述了算术的本质、运算和关系。集合代数相当于集合论中的算术代数。它是关于集合论运算如交集、并集、补集,和集合论关系如等于、包含等的代数:本文主要介绍这些内容。对集合的基本介绍请参见集合,更详尽的内容请参见朴素集合论。集合上的基本结构集合上通常自然定义的结构包括:这些二元关系和二元运算构成了集合上的基本结构,包括序结构和代数结构。代数结构代数结构是关于运算的结构。以下是集...

导言

集合代数是研究集合运算和集合关系的基本性质的学科。研究这些性质可以深入探究集合的本质,也有助于实际应用。

像普通算术的表达和计算一样,集合的表达和计算可能相当复杂。通过系统研究将有助于熟练使用和理解这些表达方式并进行计算。

在算术研究方面,是通过初等代数来研究算术的运算和关系的。

例如:加法和乘法运算遵循人们看时候带吃熟知的交换律、结合律和分配律;而"小于等于"关系满足自反性、反对称性和传递性。 这些规律提供了简化计算的工具,并描述了算术的本质、运算和关系。

集合代数相当于集合论中的算术代数。它是关于集合论运算如交集、并集、补集,和集合论关系如等于、包含等的代数:本文主要介绍这些内容。对集合的基本介绍请参见集合,更详尽的内容请参见朴素集合论。

集合上的基本结构

集合上通常自然定义的结构包括:

这些二元关系和二元运算构成了集合上的基本结构,包括序结构和代数结构。

代数结构

代数结构是关于运算的结构。以下是集合间运算的基本性质:

序结构

包含和真包含关系定义了集合间的一个偏序关系。在该偏序关系的意义下两者等价,通常不失一般性地将该偏序关系指为⊆。该偏序关系还有如下的结构:

集合上结构的最小定义

显然,上面的所有结果并不是独立的,大部分结果都可以从一个很小的结构推导出来。

比如很容易知道:

对称差可以用并和差来定义。

补可以用差来定义。

真包含关系可以用包含关系来定义。

包含关系可以用并,交,差之一来定义,这是因为A⊆B等价于以下任一命题:

因此我们完全可以用并,交,差三个运算以及它们的相关性质推导出上面所有二元运算和二元关系的性质。

当然这个“最小结构”的选择并不唯一,可以根据需要选择适当的方式。

下一个命题包含三种特殊集合:空集、全集、集合的补集,给出关于它们的两组规律。

命题 2:对全集 U 的任意子集A,下列恒等式成立:

同一性(结合交换律)说明,就像 0 和 1 分别是加法和乘法的单位元,Ø 和 U 也分别是并集和交集的单位元。

跟加法和乘法不同,并集和交集没有逆元。然而,补集律给出了类似逆运算的一元运算,集合的补集的基本性质。

上述五组性质:交换律、结合律、分配律、同一性和补集律,可以说包含了集合代数的所有内容,可以认为集合代数中所有正确的命题都是从它们得到的。

对偶性原理

上述命题有一个有趣的形式,就是每一组恒等式都是成对出现的。将 ∪ 和 ∩,或者 Ø 和 U 相互交换,一个恒等式就变成了相应的另一个。

这是集合代数的一个非常重要的性质,称作集合的对偶性原理。它对集合的所有真命题都有效。真命题通过相互交换 ∪ 和 ∩,Ø 和 U,改变包含符号的方向得到的对偶命题也是真的。若一个命题和其对偶命题相同,则称其为自对偶的。

更多关于并集和交集的定律

下列命题给出六条关于并集和交集的重要定律。

命题 3:对任意全集 U 的子集 A 和 B,下列恒等式成立:

如前所述,命题 3 里的每条定律都可以从命题 1 和命题 2 的五组基本定律推导出来。作为说明,下面给出并集的幂等律的证明。

证明:

下列证明说明,上述证明的对偶是对并集的幂等律的对偶,即交集的幂等律的证明。

证明:

更多关于补集的定律

下列命题给出五条关于补集的重要定律。

命题 4:设 A 和 B 为全集 U 的子集,则:

注意,重补集律是自对偶的。

下一个命题也是自对偶的,说明集合的补集是唯一满足补集律的集合。也就是说,互补的特征通过补集律体现。

命题 5:设 A 和 B 为全集 U 的子集,则:

包含的代数

下列命题说明包含是种偏序关系。

命题 6:若 A,B,C 为集合,则下述成立:

下列命题说明对任意集合 S,S 的幂集按照包含来排列是个有界格;因此,结合上述的分配律和补集律,它是一个布尔代数。

命题 7:若 A,B,C 是集合 S 的子集,则下述成立:

下列命题说明,"A ⊆ B " 与各种采用并集、交集、补集的表示方法等价。

命题 8:对任意两个集合 A 和 B,下述等价:

上述命题说明,集合的包含关系可以采用并集运算或交集运算来表示,即包含关系在公理体系中是多余的。

相对补集的代数

下列命题给出一些关于相对补集或集合论差的恒等式。

命题 9:对任意全集 U 和 U 的子集 A,B,C,下列恒等式成立:

常用代数结构

半环

若集类S满足:

对交运算封闭:∀E,F∈S,则E∩F∈S;

∀E,F∈S,若E⊆F,则存在C0,C1,……,Cn∈S,使得E⊆C0⊆C1⊆……⊆Cn⊆F,且∀0≤i≤n,Ci-Ci-1∈S;(即E可以通过和S中一些集合的无交并得到F)。

则S构成一个半环。

若集类S满足:

空集属于S;

对交运算封闭:∀E,F∈S,则E∩F∈S;

对并运算封闭:∀E,F∈S,则E∪F∈S;

则S构成一个格。

环,代数

非空集类S,若:

S对集合的并和差运算封闭,即:∀E,F∈S ⇒ E∪F∈S,E-F∈S;

S对集合的交和对称差运算封闭,即:∀E,F∈S ⇒ E∩F∈S,E△F∈S;

S对集合的交,差以及无交并运算封闭。

当且仅当S满足以上几个条件中任何一个时,S构成一个环,此时S被称为一个集环。

若集环S还满足:

∃X∈S,使得∀E∈S,有E⊆X。(即S中的所有集合的全集X也在S中)

则S是X上的代数,称为X上的集代数。

从代数角度来看,集环(集代数)S以∩为乘法,△为加法;以空集为零元,并且由于乘法满足幂等律,∀E∈S,E∩E=E·E=E,因此S还是布尔环(布尔代数)。

设S为一非空集类,可以知道,必存在唯一的集环R,使得S⊆R,且∀集环R"使得S⊆R"有R⊆R",则R称为包含S的最小集环或由S生成的集环。

σ环,σ代数

设S是集环(集代数),若S对可列并运算封闭,则称S为一个σ环(σ代数)。

参考

集合

朴素集合论

公理集合论


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 集合
列表在列表中,数据项的顺序是确定的,也可以存在多个相同的数据项。列表支持的操作包括查找项目并找到其位置(若存在),将项目从列表中删除,在特定位置插入项目等。通常的队列,或称FIFO即是一个列表,该列表只能在一端添加项目,而在另一端删除项目。而栈,或LIFO则只能在同一端添加或删除项目。不管是队列还是栈,集合中项目的顺序都应当是一定的,因此这两种情况只是列表的特例。其它列表支持的操作包括排序,再一次说明了其中顺序的重要性。列表的具体形式包括数组,链表等。集与列表不同,在集中,数据项是无序的,也不允许存在相同数据项。集支持添加、删除和查找项目。一些语言内建对集的支持,而在其它语言中,可以利用散列表实现集。多重集多重集的行为类似于集,其中数据项是无序的。但在多重集中,可以存在相同的数据项。多重集支持的操作包括添加、删除项,查询相同项在多重集中出现的次数。多重集可以通过排序转换成列表。关联数组关联
· 集合
导言定义简单来说,所谓的一个集合,就是将数个对象归类而分成为一个或数个形态各异的大小整体。一般来讲,集合是具有某种特性的事物的整体,或是一些确认对象的汇集。构成集合的事物或对象称作元素或是成员。集合的元素可以是任何事物,可以是人,可以是物,也可以是字母或数字等。在数学交流当中为了方便,集合会有一些别名。比如:族、系通常指它的元素也是一些集合。符号元素通常用a,b,c,d,x{\displaystylea,\b,\c,\d,\x}等小写字母来表示;而集合通常用A,B,C,D,X{\displaystyle\mathbf{A,\B,\C,\D,\X}}等字母来表示。当元素a{\displaystylea}属于集合A{\displaystyle\mathbf{A}}时,记作a∈∈-->A{\displaystylea\in\mathbf{A}}。当元素a{\displaystylea}不属于集合...
· 代数
定义设A{\displaystyleA}为一交换环,A{\displaystyleA}上的代数(或称A{\displaystyleA}-代数)是下述结构:集合E{\displaystyleE}是个A{\displaystyleA}-模。指定E{\displaystyleE}上的一个二元运算,通常以乘法符号表示:此二元运算是双线性的,换言之:最常考虑的情形是A{\displaystyleA}是一个域,这时称域代数,一些作者也将代数定义成域上的代数。若E{\displaystyleE}上的乘法满换性xy=yx{\displaystylexy=yx},则称之为可交换代数;若E{\displaystyleE}上的乘法满足结合律x(yz)=(xy)z{\displaystylex(yz)=(xy)z},则称之为结合代数,详阅主条目结合代数。交换代数学中考虑的代数均属可交换的结合代数。代数同态设E,F...
· 代数
历史希腊数学家欧几里得在其著作几何原本中详述几何性的代数。代数的起源可以追溯到古巴比伦的时代,当时的人们发展出了较之前更进步的算术系统,使其能以代数的方法来做计算。经由此系统的被使用,他们能够列出含有未知数的方程并求解,这些问题在今日一般是使用线性方程、二次方程和不定线性方程等方法来解答的。相对地,这一时期大多数的埃及人及公元前1世纪大多数的印度、希腊和中国等数学家则一般是以几何方法来解答此类问题的,如在莱因德数学纸草书、绳法经、几何原本及九章算术等书中所描述的一般。希腊在几何上的工作,以几何原本为其经典,提供了一个将解特定问题解答的公式广义化成描述及解答方程之更一般的系统之架构。代数(algebra)导源于阿拉伯语单字“al-jabr”,其出自al-Kitābal-muḫtaṣarfīḥisābal-ğabrwa-l-muqābala这本书的书名上,意指移项和合并同类项之计算的摘要,其为...
· 有界集合
定义如果存在一个实数k,使得对于所有S中的s有k≥s,实数集合S被称为“上有界”的,这个数k被称为S的上界。可用类似的定义术语“下有界”和下界。如果集合S有上界和下界二者,则它是有界的。所以,如果一个实数集合包含在有限区间内,则它是有界的。度量空间度量空间(M,d)的子集S是有界的,如果它包含在有限半径的球内,就是说如果对于所有S中的s,存在M中的x并且r>0,使得d(x,s)<r。M是有界度量空间(或d是有界度量),如果M作为自身的子集是有界的。完全有界性蕴涵有界性。对于R的子集下列二者是等价的。度量空间是紧致的,当且仅当它是完备的并且是完全有界的。欧几里得空间R的子集是紧致的,当且仅当它是闭集并且是有界的。拓扑向量空间内的有界性在拓扑向量空间中,存在一个有界集合的不同定义,通常叫做冯·诺伊曼有界性。如果拓扑向量空间的拓扑是由均匀度量所诱导,如度量是由赋范向量空间的范数所诱导的情况,则这...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信