这篇文章需要更多的工作。
请帮助扩展它!
A类多组(一些作者使用袋或毫秒)是以下概念的概括设置。在多集合中,成员(元素)可以出现多次(即[有限]重数是任何正整数),而在集合中成员只能出现一次。(两者都是无序集合。)一些作者允许无限重数。[1]
例如,multiset ,可以用紧凑的形式写为地图 ,其中我们为每个不同的成员指定多重性.(另一种符号是 )多集的一个常见应用是基本因子除数。例如 是 ,可以用紧凑的形式写为地图 {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}}. |
多集幂集的基数是-
哪里是的多重性.多集分区
(...)
多集操作
多集合和
这个多集合和 两个多集 和 定义为每个成员的多集 具有两个多集合中的多重数之和[3]
-
广义集合运算
以下多集操作概括了set操作.
多组控制是布尔运算,表示为 ,当且仅当 .多集合包含是布尔运算,表示为 ,当且仅当 .[4]
严格的多集包容是布尔运算,表示为 ,当且仅当 .[5]这个多集并集 两个多集 和 定义为每个成员的多集 具有在任一多重集中所具有的最大多重性[6]
-
这个多组交叉口 两个多集 和 定义为每个成员所属的多集 在任意多集合中具有最小的多重性。例子: .
这个多集差分 两个多集 和 定义为每个成员的多集 具有多样性。例子: .
这个多组对称差分 米ΔN个 以下为:= (米\N个) ⋃ (N个\米) = (米⋃N个) \ (米⋂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)} |
.)加权集合
加权集合可能是多重数为任意实数的多集的进一步推广。
与地图等效
正如引言中所述,多集可以从某个域的映射中看到 (包含支持)到非负整数 ,该映射与多重性函数相同。上述概括签署或加权的然后,多集只包含允许有符号整数( )或实数( )作为定义多集的映射的值。另请参见
笔记
外部链接