如何证明每一个有穷的偏序都可以延拓成一个线序？ 第1页
1
feng-kuang-shen-shi-92 网友的相关建议:
这题有人已经回答了，先说一下证明的思路，即用数学归纳法即可以证明。
有穷的偏序可以转化成一个线性表达，在具体学科中有运用。
1、扯蛋模型
扯蛋模型的例子如上。
分子结构是一个典型的拓扑，是偏序可以表达的。通常的分子模型是叫球棍模型，把球表示成原子，棍子表示成化学键。
如果把棍子换成一个弹簧，整个模型就变成了弹簧球模型。
考虑到该模型只能扯动球，而不能扯动线，因此被几个院士戏称为扯蛋模型。
2、smils格式就是线序
Smiles 是一种线性格式 如C12=CC=CC=C1C3=C(C=CC=C3)C=C2
这种线性格式可以表达一个复杂的拓扑，而拓扑可以用偏序来表示。
3、偏序与拓扑排序
偏序画出层次化的哈斯图后，从上往下一层层数下来就是一个拓扑排序，就是线序。
上面是计算地址，以及已有的运用类的论文范本。
1
相关话题
如何证明每一个有穷的偏序都可以延拓成一个线序？请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？
想问问各位大手子这个定理怎么证明，题目在补充里?
假如数学没有了自然数的概念及其性质会怎样？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
如何看待 bilibili up主 Happylee 对 0.999...≠1 的证明？
如何理解数学证明中的容易验证？
环中任何一个非空子集都可以生成理想吗？
前一个讨论
如何解释探索性因素分析？
下一个讨论
李吟是谁？
相关的话题
数列连续两项之差在满足什么样的情况下可推出数列有界？如何理解数学证明中的容易验证？
我自认为自己证明了0可以作为除数，若是如此将会有哪些改变？
我自认为自己证明了0可以作为除数，若是如此将会有哪些改变？
数学是不是必然会存在不确定领域？
等词是否可以用属于来定义？
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
函数可导，则其导函数可积？
如何证明实数集的不可数子集含有它自己的不可数个聚点？
除了π，e，0.618，还有没有其他一些有特殊意义的数？
有没有可能一个数学证明是错的，然而所有人都没注意到呢？
能否构造一组无理数a,b，使得a^b是有理数?
若 A={x, x∉A}，那么 A 是 ∅ 吗？
数学家在知道哥德尔不完备定理后为何还继续研究数学？
反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？
如果K'/K=1/sqrt{2},那么k等于多少？
小学数学为什么不从集合论学起？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
多项式由系数唯一决定，在中学或大学数学课上证明过吗？
想问问各位大手子这个定理怎么证明，题目在补充里?
如何这道计算绝对值不等式的题目？
如何证明实数集的不可数子集含有它自己的不可数个聚点？
我想问怎么样用数学去证明道的存在?
为什么逻辑学的排中律不是任何条件下都可使用的?
无理数为什么能用图形表示出来？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
如何证明一个无理数的整数倍数的小数部分在（0，1）上均匀分布？
如何用数学的方法说明极限理论的表现力强于初等数学？
如何证明每一个有穷的偏序都可以延拓成一个线序？
在数学证明中，假设一个微元epsilon的思路是怎么来的？