如何证明每一个有穷的偏序都可以延拓成一个线序？ 第1页
1
feng-kuang-shen-shi-92 网友的相关建议:
这题有人已经回答了，先说一下证明的思路，即用数学归纳法即可以证明。
有穷的偏序可以转化成一个线性表达，在具体学科中有运用。
1、扯蛋模型
扯蛋模型的例子如上。
分子结构是一个典型的拓扑，是偏序可以表达的。通常的分子模型是叫球棍模型，把球表示成原子，棍子表示成化学键。
如果把棍子换成一个弹簧，整个模型就变成了弹簧球模型。
考虑到该模型只能扯动球，而不能扯动线，因此被几个院士戏称为扯蛋模型。
2、smils格式就是线序
Smiles 是一种线性格式 如C12=CC=CC=C1C3=C(C=CC=C3)C=C2
这种线性格式可以表达一个复杂的拓扑，而拓扑可以用偏序来表示。
3、偏序与拓扑排序
偏序画出层次化的哈斯图后，从上往下一层层数下来就是一个拓扑排序，就是线序。
上面是计算地址，以及已有的运用类的论文范本。
1
相关话题
原命题与逆否命题真假性一定相同吗？这个猜实数的游戏有没有必胜策略?
数列 0, 1, 0, -1, 0, 1, 0, -1... 的通项公式是多少呢？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
证明素数对之间的数字总能被6整除？
如何理解（证明）不存在与自己的真子集等势的自然数?
有没有可能把 π 或 e 等无理数当成 1，这样就能使许多定理显而易见？
什么是博弈论语义学？
在数学证明中，假设一个微元epsilon的思路是怎么来的？
数列连续两项之差在满足什么样的情况下可推出数列有界？
前一个讨论
如何解释探索性因素分析？
下一个讨论
李吟是谁？
相关的话题
请问如何求下面这个连分数收敛到的值？当我们说一个定理可以推出另一个定理的时候, 我们在说什么?
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
怎样用一个普通人能看懂的方法证明 π 是无理数？
为什么不可数个互不相同的集合之并集可以是可数集?
如何证明（0，1）不是可数集？
发现了蒙日圆一个很好的性质，却不知道有没有简便方法证明？
数学上有「从理论上根本无法证明」的东西么？
如何让一个 5 岁小孩听懂什么是选择公理？
以「Q.E.D」收尾证明语段，是什么梗？
请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？
数学中反证法有没有可能正反都错？
复数是否包含实数？
如何评价一些数学大佬在推导过程中的「我们不难发现…」、「显然有…」、「易得…」等语言?
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
若 π 被证明是有理数会对世界有何影响？
有哪些不易察觉的错误证明？
若 π 被证明是有理数会对世界有何影响？
以数学史的观点来看，集合论是如何成为数学基础的？
质数集P与自然数集N等势吗?
数学归纳法是不是「流氓」方法？
如何用数学严谨证明 宾语前置=前置宾语?
第十题证明题不会写，哪个大佬帮我看一下?
怎么在不公布证明的情况下让世人相信我证明了「哥猜」?
有没有可能把 π 或 e 等无理数当成 1，这样就能使许多定理显而易见？
什么是实数？
是否任一无穷集合都能分成两个等势的不交集合之并？
若1+1=2，则雪是白色的，这是真命题吗？
如何证明π^π^π^π(π的四次迭代幂次)是个有理数?
下面这个组合恒等式如何证明？