1
$\开始组$

多集是一个集合,每个成员可以有多个$\{1,3,3,9\}$是一个多集。$\mathbb{K}$是所有多集的集合千美元$成员。(千美元$是一个固定常数)(此问题中的多集仅包含数字)。我们定义关系$\当前$在两个多集之间A,B美元$作为$A\preccurlyeq b美元$当且仅当存在元素的顺序类似于A和B$(a_1,a_2,a_3,…,a_k)$,$(b_1,b_2,b_3,…,b_n)$这样的话所有i\leq k;a_i\leq b_i$例如$\{1,3,3,9\}\preccurlyeq\{1,2,4,9\{$.证明这一点$(\mathbb{K},\preccurlyeq)$是一个格子。

我对这个问题的处理方法是:对于每两个多集,我们必须引入glb和lub。首先,对于每两个多集千美元$,我按递减顺序对成员进行排序。那么GLB就是具有$(最小值(a_1,b_1),最小值(a_k,b_k)$然后,对于LUB,我会不断对成员进行分类,而他是$(最大值(a'_1,b'_1),。。。最大值(a_k,b_k)$。我认为我的回答有道理,但我无法正式证明这一点。

$\端组$
2
  • 1
    $\开始组$ 改变订单有什么好处吗?在我看来,您可以使用元素的最小值和最大值按递增或递减顺序定义glb和lub。。。 $\端组$ 评论 2019年6月17日20:22
  • $\开始组$ 是的,带产品订单的N$^k$是一个格子。 $\端组$ 评论 2019年6月17日21:35

0

重置为默认值

你必须登录来回答这个问题。

浏览标记的其他问题.