这篇文章需要做更多的工作。
请帮助扩展它!
A类多组(一些作者使用袋或毫秒)是以下概念的概括设置在多集合中,成员(元素)被允许出现多次(即[有限]重数是任何正整数),而在集合中,成员只能出现一次。(两者都是无序集合。)一些作者允许无限重数。[1]
例如,multiset,可以用紧凑的形式写为地图 ,其中我们为每个不同的成员指定多重性.(另一种符号是.) 多集的一个常见应用是基本因子除数。例如是{2, 2, 2, 2, 2, 3, 3, 3, 5, 11, 11} |
,可以用紧凑的形式写为地图{2: 5, 3: 3, 5: 1, 11: 2} |
,其中我们为每个不同的成员指定多重性。(另一种符号是.)
支架组
这个根集合(或支撑装置)多集合的特征是其不同元素的集合。这个维多集的基数支持集的。[2]
多重性
一个元素多集合的具有多重性当且仅当
其中表示“至少包含时间,“where是一个非负整数。(不值一提总是正确的。)[2]
多重性函数
元素的多重性,表示,是一个基数; 大多数作者需要一个正整数,尽管有些作者更通用。[1]如果在多集合中至少包含一次,否则为零。这个多重性函数多集是特征函数一套的。这个高度多集是最大的多重性.基数
多集的基数是基数。这个基数 多集合的是其包含的元素数(具有多重性),因此是其成员多重性的总和,即。
其中是的多重性.子多集
A类子多重集是以下概念的概括子集.获取多集合的子多集合,针对每个成员我们可以在这个范围内选择多重性.多集的功率集
这个多集的幂集 定义为. 例如,集合(具有基数)的子多重集是(英寸词典编纂顺序){{ }, {一 ^1}, {一 ^2}, {一 ^2,b ^1}, {一 ^2,b ^1,c(c) ^1}, {一 ^2,c(c) ^1}, {一 ^1,b ^1}, {一 ^1,b ^1,c(c) ^1}, {一 ^1,c(c) ^1}, {b ^1}, {b ^1,c(c) ^1}, {c(c) ^1}}. |
多集幂集的基数是-
#℘ (M(M) ) = (ν (米) + 1), |
哪里是的多重性.多集分区
(...)
多集操作
多集合和
这个多集合和 两个多集和定义为每个成员的多集具有两个多集合中的多重数之和[3]
-
广义集合运算
以下多集操作概括了设置操作.
多组控制是布尔运算,表示为,当且仅当.多集合包含是布尔运算,表示为,当且仅当.[4]
严格的多集包容是布尔运算,表示为,当且仅当.[5]这个多集并集 两个多集和定义为每个成员的多集在任一多集中具有最大的多重性[6]
-
这个多组交叉口 两个多集和定义为每个成员的多集在任意多集合中具有最小的多重性。示例:.
这个多集差分 两个多集和定义为每个成员的多集具有多重性。示例:.
这个多组对称差分 M(M)ΔN个 := (M(M)\N个) ⋃ (N个\M(M)) = (M(M)⋃N个) \ (M(M)⋂N个) |
两个多集和定义为每个成员的多集具有多重性。示例:最大值(M(M)/gcd公司(M(M),N个),N个/gcd公司(M(M),N个)) =生命周期管理(M(M),N个) /gcd公司(M(M),N个) |
.
多集合的推广
有符号多集
A类有符号多集是多集概念的推广。在有符号多集中,成员(元素)可以有任意整数作为有符号多重性,而在多集中,成员可能只有非负整数作为重数。
一个例子是有理数(英寸简化形式),例如用于我们得到{2: 5, 3: 3, 5: 1, 7: −3, 11: 2, 29: −1} |
,其中,对于每个不同的成员,我们指定带符号的多重性。(另一种符号是{2^5, 3^3, 5^1, 7^(−3), 11^2, 29^(−1)} |
.)加权集合
加权集合可能是多重数为任意实数的多集的进一步推广。
与地图等效
正如引言中所述,多集可以看作是来自某个领域的地图(包含支持)到非负整数,此映射与多重性函数相同。上述概括签署或加权然后,多集只包含允许有符号整数()或实数()作为定义多集的映射的值。另请参见
笔记
外部链接