Algebra:Chapter0 - 例子：Multisets，指标集

例子：Multisets，指标集

‘multisets’在1.1节中简要地提及了一下，它是一个简单的记号，可以通过函数方法来正规化。一个multiset可以通过一个给定的从集合$A$到正整数${\mathbb{N}}^{\ast }$的函数来定义。如果$m:A\to {\mathbb{N}}^{\ast }$是这样的一个函数，对应的multiset包含了元素$a\in A$，每一个出现$m(a)$次。就是$multiset$ { a , a , a , b , b , b , b , b , c } \{a,a,a,b,b,b,b,b,c\} {a,a,a,b,b,b,b,b,c}其实是一个函数 m : { a , b , c } → N ∗ m:\{a,b,c\}\rightarrow \mathbb{N}^{*} m:{a,b,c}→N∗，其中$m(a)=3$，$m(b)=5$，$m(c)=1$。就像正常的集合一样，元素的顺序并不是multiset应该包含的一部分。简单的集合论记号，比如包含，并等也能直接扩展到multiset。

另一个例子就是‘indices’的使用。我们令$a_1,\dots ,a_n$为整数，我们考虑函数 a : { 1 , … , n } → Z a:\{1,\dots,n\}\rightarrow \mathbb{Z} a:{1,…,n}→Z，$a_i$就是值$a(i)$的简写形式，其中$i=1,\dots ,n$。可以考虑指标集（$indexedset$) { a i } i ∈ I \{a_{i}\}_{i\in I} {ai​}i∈I​，它的元素恰巧是$a_i$，而$i$则是$I$中的某些索引；但这个指标集更像是一个函数$I\to A$，其中$A$是某个集合，它的元素是$a_i$。例如，它允许我们将$a_0$和$a_1$当作 { a i } i ∈ N \{a_{i}\}_{i\in N} {ai​}i∈N​中的不同元素，即使在目标集合$A$中，$a_0=a_1$。

单词

• by coincidence:
• indices:
• formalized:
• multisets: