如何证明每一个有穷的偏序都可以延拓成一个线序？ 第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）上均匀分布？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
如何用初等数学证明2的a次方（a大于零）大于1？
5是一个已知数，设5＝x或者x＝5，这两个表达的意思在数学和语文表达正确吗？
如何证明Q[³√5]是域？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
请问这个集合不是零测集有什么具体例子吗？
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
前一个讨论
如何解释探索性因素分析？
下一个讨论
李吟是谁？
相关的话题
如何运用积分的知识去解这一道数学分析的题目？发现了蒙日圆一个很好的性质，却不知道有没有简便方法证明？
怎么学习算法信息论?
如何证明R1可测函数覆盖的区域是可测的？
同时满足两个不同等差数列的数是否组成等差数列？如何证明？等比数列呢？
如何通俗地理解「韦达跳跃」，如何证明？
原命题与逆否命题真假性一定相同吗？
数学为什么需要证明一些看起来非常直观、明显的东西（比如定理）？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
如何证明调和算数几何平均值不等式？
如何证明R1可测函数覆盖的区域是可测的？
在数学证明中，假设一个微元epsilon的思路是怎么来的？
发现了蒙日圆一个很好的性质，却不知道有没有简便方法证明？
数学中有哪些巧合让人眼前一亮？
如果K'/K=1/sqrt{2},那么k等于多少？
如何证明 2 的平方根不是有理数？
这样的数学归纳法是否成立？
一个正常智商的人终其一生能够理解费马大定理的证明吗？
数学上有什么有名的结论是利用另一个数学分支上的知识得到的？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
求指教一道不等式证明题如何做？
这个不等式该怎么证明呢？
零测集的子集是否可测？
如何证明2的n次方≤（n+1）！，对于所有正整数n？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
质数集P与自然数集N等势吗?
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
等词是否可以用属于来定义？
有没有简单的方法[这里指高中（非竞赛）水平，初等计算复杂程度不计]证明这个不等式（详细见下图）？
如何证明每一个有穷的偏序都可以延拓成一个线序？