跳到主要内容

所有问题

标记为
36问题
筛选依据
排序依据
标记为
0 投票
0 答案
82 意见

证明了具有关系精化的集S的所有划分集是一个格。

这可能是QA_1的一个副本,但它的示例$\{a,d\},\{b,c\}\楔形\{a\},\{b,c,d\{}$似乎不符合书中的定义,因为$(a,d\\}不\ substeq\{a\})\楔形。。。
An5Drama的用户头像
  • 416
0 投票
1 回答
34 意见

用不动点演算证明关系性质之间的等价性

这个问题设$a$是某个可数集合$S$的二进制内相关,即$a\subsetqS\timesS$。我需要证明以下属性是等效的:$(^*)^{-1};a ^*\substeq a ^*。。。
梅尔·奥特隆的用户化身
0 投票
1 回答
82 意见

$P$是偏序集,$X,Y\subsetq P$。如果$\向下箭头X=\向下箭头Y$,那么$X=Y$是真的吗?

设$P$是偏序集,$X,Y\subsetq-P$。如果$\downarrow X=\downarrow Y$(生成的向下集),那么$X=Y$是真的吗?我必须证明当$\对于x\、\、\存在\、\,y\在y$s.t$中的所有x\时。。。
F.inc的用户头像
  • 1,133
1 投票
1 回答
1公里 意见

总阶与线性阶之差

我想问一个明确的疑问。我真的对线性顺序的两种定义感到困惑。在一个定义中,它被称为与总阶相同,但在另一个定义里,它是不可逆的。。。
Sarvesh Bandhu的用户头像
1 投票
0 答案
41 意见

格元素的这种等价关系是什么?

假设我有一个格子,我选择其中一个元素$a$。然后通过以下公式定义晶格所有元素的关系$$x\sim_a y\iff x\vee a=y\vee a$$换句话说,两个元素是。。。
Louis Deaett的用户头像
0 投票
2 答案
71 意见

这个有序集是格吗?

所以我有一个问题:设$S$是$\mathbb N$上所有自反、对称关系的集合,$A$是$\ mathbb N$上所有反对称关系的集。现在考虑设置$M=S\cup A$。。。
奇怪吸引器的用户头像
投票
1 回答
531 意见

确定晶格是否被补足

确定下面的晶格是否为互补晶格:我目前正在努力解决一个与上面的晶格非常相似的晶格相关的问题。上面的格子是有界的。。。
Damian Jacobs的用户头像
0 投票
1 回答
104 意见

有限集$S$a格的幂集$P(S)$上的关系“x是y的子集”吗?

有限集$S$a格的幂集$P(S)$上的关系“x是y的子集”吗?我的教授问了这个问题。我们在类中定义了一个格,一组元素,其中。。。
tonythestark的用户头像
0 投票
1 回答
174 意见

布尔代数的最小格只能包含一个元素?

如果我们有({1},>=)则1>=1因此是自反的,反对称为(1,1),传递的。所以它是一个POSET,1^1=1,1LUB1=1,所以1是它自身的补码,集合有LUB和GLB。。。
SHIVAM KUMAR的用户头像
0 投票
1 回答
507 意见

每个有限格也是完备的吗?

我必须证明每个有限格也是一个完整格,但我不知道从哪里开始。根据定义,格是一个偏序集,其中每对元素都有一个最小上界,并且。。。
Telker96的用户头像
1 投票
0 答案
143 意见

证明多重集和关系$\preccurlyeq$是一个格($\preaccurlyeq$的定义类似于$\leq$)

Multiset是一个集合,每个成员可以有多个,例如$\{1,3,3,9\}$是Multiset。让$\mathbb{K}$是所有多集的集合,它正好有$K$个成员。($k$是固定的。。。
泰坦萨鲁斯的用户头像
2 投票
0 答案
231 意见

偏序集到其自身的保序映射都有不动点

在亨格福德的《代数》一书中,第15页声称然而,考虑由$f(x)=x+1$定义的$(\mathbb{R},\leq)$和$f:\mathbb{R}\to\mathbb2{R}$。这是一个完整的部分。。。
我们的用户头像
  • 7,347
投票
2 答案
1公里 意见

格的每个子集都是格吗?

晶格的每个子集都是晶格吗?格由一个偏序集组成,其中每两个元素必须具有唯一的上确界和下确界。我对答案感到困惑。我。。。
马特的用户头像
  • 389
1 投票
1 回答
750 意见

从给定的Hasse图快速确定给定格是否为分配格

我在网上阅读时发现了以下事实:如果给定的Hasse图包含以下结构,那么它就不是分配格我不确定上述事实是否正确,并且。。。
RajS的用户头像
  • 1,317
1 投票
1 回答
1公里 意见

如何识别给定的Hasse图是否为晶格[闭合]

如何识别给定的Hasse图是否为晶格?
用户化身

15 30 50 每页