如何证明每一个有穷的偏序都可以延拓成一个线序？ 第1页
1
feng-kuang-shen-shi-92 网友的相关建议:
这题有人已经回答了，先说一下证明的思路，即用数学归纳法即可以证明。
有穷的偏序可以转化成一个线性表达，在具体学科中有运用。
1、扯蛋模型
扯蛋模型的例子如上。
分子结构是一个典型的拓扑，是偏序可以表达的。通常的分子模型是叫球棍模型，把球表示成原子，棍子表示成化学键。
如果把棍子换成一个弹簧，整个模型就变成了弹簧球模型。
考虑到该模型只能扯动球，而不能扯动线，因此被几个院士戏称为扯蛋模型。
2、smils格式就是线序
Smiles 是一种线性格式 如C12=CC=CC=C1C3=C(C=CC=C3)C=C2
这种线性格式可以表达一个复杂的拓扑，而拓扑可以用偏序来表示。
3、偏序与拓扑排序
偏序画出层次化的哈斯图后，从上往下一层层数下来就是一个拓扑排序，就是线序。
上面是计算地址，以及已有的运用类的论文范本。
1
相关话题
这个积分如何证明？证明数学定理的意义是什么？
HoTT为什么不比集合论弱?
所有集合的势都可比较大小吗？为什么？
如何证明没有上帝？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
等词是否可以用属于来定义？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
各位大佬有什么好方法证明这个不等式?
关于闭区间上连续函数的一个证明题？
前一个讨论
如何解释探索性因素分析？
下一个讨论
李吟是谁？
相关的话题
数学家在知道哥德尔不完备定理后为何还继续研究数学？如何理解数学证明中的容易验证？
如何证明下面的集合论问题？
怎么 证明 等式 11k + 8 = y^2 , k∈Z, y不存在整数解?
求指教一道数列证明题如何做？
若1+1=2，则雪是白色的，这是真命题吗？
可不可以将所有无理数全都用 有理数·π 来表示？
复数是否包含实数？
√8-√2=√2，这是怎么得出来的？
会不会某个人已经证明了哥德巴赫猜想，却不愿意讲出来？
环中任何一个非空子集都可以生成理想吗？
数学中有哪些漂亮的无字证明？
与1相邻的实数存在吗？
问一个很严肃的问题，中国当代哲学水平到底怎样？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
在1+1=2被证明出来之前到底是谁规定了1+1必须等于2呢？
数学中有哪些漂亮的无字证明？
为什么数学里非要写「当且仅当」，而不是「仅当」？
两条直线真的画不出一个圆吗？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
5是一个已知数，设5＝x或者x＝5，这两个表达的意思在数学和语文表达正确吗？
以数学史的观点来看，集合论是如何成为数学基础的？
如何证明实数集的不可数子集含有它自己的不可数个聚点？
如何证明 ln^2(x+1)>ln(x)·ln(x+2)？
请问这两个数分不等式如何证明?
求教一道积分证明题如何做？
如何证明（0，1）不是可数集？
数学中反证法有没有可能正反都错？
贝尔不等式到底证明了什么？如果贝尔不等式实验过程本身就非随机，那么它证明的真随机就是真随机吗？
除了π，e，0.618，还有没有其他一些有特殊意义的数？