
离散数学中,一个集合的逆元怎么求
求逆元,要看具体的运算规则是啥,只要满足x*y=0(注意*是群中定义的运算,不是普通的数字乘法,另外其中0是单位元)x与y互为逆元
离散数学中集合A∈ 集合B是什么意思
您好。
对于2^A这一符号(A合),一些人和资料会误以为它表示A的幂集。
实际这一符号表示A叠2上的叠集。
这一概念易与A的幂集混淆。
下面我将给您详细介绍一下这个符号。
在介绍2^A这一符号之前,首先要说明的是,这本来是集合论使用的一个符号。
“离散数学”这一名称之所以被创立,应该是一些人认为数学的一些领域,比如集合论、布尔代数,是对离散系统的研究,另一些领域是对连续系统的研究。
于是这些人把研究离散系统的数学领域统称为离散数学。
但是,连续系统本质上也是离散系统,只是同时具备一些拓扑性质而已。
所以,数学系统不该有离散和连续之分。
所以,以我愚见,创造“离散数学”一词,并把它作为一些领域的统称,此举意义不大,不合理。
所以我建议您将您问的这个符号理解为集合论使用的一个符号。
当然,以上对于离散数学的看法,也可以见仁见智,欢迎大家各抒己见。
我倒觉得,把“离散数学”作为出于教学目的而发明的词语,把离散数学理解为“学生不常接触的一些领域的初步理论的统称”更合适一些。
我估计一般离散数学的教科书都不会详解2^A这一符号的由来,只有集合论的专著才会说。
我猜测这是因为这一符号的由来涉及到更深奥的理论,教科书觉得把这样的内容归入离散数学不合适。
这一现象印证了我之前提到的较为合适的理解方式。
为了明白2^A是什么意思,我们首先要明白这个符号里的2是什么。
在现代集合论中,2被定义为{0,1}这样一个集合(其中0被定义为空集,1被定义为{0},而2={0,1}={0,{0}})。
根据现代集合论对自然数的定义,2是一个自然数。
而对于集合A, B, 我们把{f | f:A->B}, 即由定义域为A,且值域是B的子集 的函数组成的集合,称为A叠在B上的叠集,记作B^A。
这里简单地说一下,函数就是单值关系,关系是有序对的集合。
例如,A=(2,3,5), B={0,4}, 则B^A是一个有8个元素的集合,这八个元素自己也是集合,分别为:{<2,0>,<3,0>,<5,0>}{<2,0>,<3,0>,<5,4>}{<2,0>,<3,4>,<5,0>}{<2,0>,<3,4>,<5,4>}{<2,4>,<3,0>,<5,0>}{<2,4>,<3,0>,<5,4>}{<2,4>,<3,4>,<5,0>}{<2,4>,<3,4>,<5,4>}对于您说的2^A, 我们已经知道2={0,1}. 那么,比如说对于A={a,b,c}, 则2^A是一个有8个元素的集合,这八个元素分别为{,,
有时,2^A和A的幂集会引起混淆。
一些离散数学甚至集合论的教科书也可能会说2^A表示的是A的幂集。
这是不对的。
虽然2^A和A的幂集很像,但两者仍是不同的。
A的幂集表示的是把A的所有子集作为元素构成的集合,用P(A)表示。
比如,对于A={a,b,c},那P(A)就是一个有8个元素的集合,这8个元素分别是:第1个元素:空集第2个元素:{c}第3个元素:{b}第4个元素:{b,c}第5个元素:{a}第6个元素:{a,c}第7个元素:{a,b}第8个元素:{a,b,c}类似地,假如A是一个有4个元素的集合,P(A)就是一个有16个元素的集合。
现在考考您,您看出2^A的元素和P(A)的元素之间有什么联系了吗
希望能帮到您。
是否可以解决您的问题
军训中集合离散
I是Integer,整数。
离散数学集合的商集怎么求
你首先要理解商的概念, 12\\\/3 = 4 , 表示12 能够被3 分成4分。
4就是商。
同样的抽象,一个集合也可以根据关系分成几个小的集合,这时候关系充当了除数的作用。
小的集合充当了商。
离散题目,A,B,C三个集合,证明A∩(B-C)=(A∩B)-(A∩C)
h没有传递是因为,如果存在(1,2)序偶,(2,1)序偶,则必须存在(1,1)序偶。
h无法满足。
即若有(x,y)(y,z)必有(x,z),则传递。
j传递很简单,j中并没有(x,y)(y,z)这样的,xyz均不同的,但有(2,2)(2,1)这种的,他的传递结果为(2,1),j中是有的,所以j满足传递条件。
举个例子{(1,2)}这个关系就具有传递性,因为他没有(x,y)(y,z)这样的序偶,不满足传递的前提条件,所以结论就是正确的了,我们所说的前件为假,结论为真。
大学 离散数学 集合
集合或类(以集合为例)上的等价关系R指一个具有自反, 对称, 传递性的二元关系, 在一个定义了等价关系的集合中可以按该等价关系分成等价类(即两个元素只要有xRy, 则它们属于同一等价类), 即集合的一些子集组成的集, 容易证明这些子集两两不交且其并等于原集合. 一个应用: 在全体集合的真类V上定义一等价关系R, 若两个集合x, y间存在一一映射, 则xRy. 按该等价关系分成等价类, 再用类上的选择公理从每个等价类中取出一个代表元素. 即基于AC的集合的势的定义.



