如何证明每一个有穷的偏序都可以延拓成一个线序？ 第1页
1
feng-kuang-shen-shi-92 网友的相关建议:
这题有人已经回答了，先说一下证明的思路，即用数学归纳法即可以证明。
有穷的偏序可以转化成一个线性表达，在具体学科中有运用。
1、扯蛋模型
扯蛋模型的例子如上。
分子结构是一个典型的拓扑，是偏序可以表达的。通常的分子模型是叫球棍模型，把球表示成原子，棍子表示成化学键。
如果把棍子换成一个弹簧，整个模型就变成了弹簧球模型。
考虑到该模型只能扯动球，而不能扯动线，因此被几个院士戏称为扯蛋模型。
2、smils格式就是线序
Smiles 是一种线性格式 如C12=CC=CC=C1C3=C(C=CC=C3)C=C2
这种线性格式可以表达一个复杂的拓扑，而拓扑可以用偏序来表示。
3、偏序与拓扑排序
偏序画出层次化的哈斯图后，从上往下一层层数下来就是一个拓扑排序，就是线序。
上面是计算地址，以及已有的运用类的论文范本。
1
相关话题
网络上哪有数理逻辑的课程?有没有简单的方法[这里指高中（非竞赛）水平，初等计算复杂程度不计]证明这个不等式（详细见下图）？
复数是否包含实数？
如何通俗地理解「韦达跳跃」，如何证明？
如何看待π这个无理数？
求极限lim(1/(3^1+1)+1/(3^2+1)+...+1/(1+3^n))？
怎么用正切函数连分数展开式证明圆周率是无理数?
怎么学习算法信息论?
有哪些「这也能用数学证明」的事件？
如何运用积分的知识去解这一道数学分析的题目？
前一个讨论
如何解释探索性因素分析？
下一个讨论
李吟是谁？
相关的话题
哥德尔不完备性定理宣示了逻辑的边界，是否意味着逻辑本身证明了逻辑是有缺陷的，人类如何突破逻辑的窒锢？如何证明n+1~2n最大奇因子之和等于n²？
如何证明π^π^π^π(π的四次迭代幂次)是个有理数?
如何证明n+1~2n最大奇因子之和等于n²？
圆周率里包含你的银行卡密码吗？
数学归纳法是不是「流氓」方法？
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
数列 0, 1, 0, -1, 0, 1, 0, -1... 的通项公式是多少呢？
在正整数 n 充分大的时候，|sin(n)|＞1/n 是否成立？是否有证明或者反例？
这个证明怎么证？
数学大牛是怎么看待悖论和无穷的？
如何证明一个数学命题的不可证性？
所有正方形的数量与所有长方形的数量相等吗？
实数域上的连续函数f，存在一个有理数a和一个无理数b使得a与b均为f的周期。如何证明f为常值函数？
如此证明（0，1）=【0，1】，是否正确？
一个正常智商的人终其一生能够理解费马大定理的证明吗？
数学是不是必然会存在不确定领域？
没有基的线性空间，是否可以构造，如何构造？
能否构造一组无理数a,b，使得a^b是有理数?
微积分的哲学基础是什么？
求极限lim(1/(3^1+1)+1/(3^2+1)+...+1/(1+3^n))？
数学家在知道哥德尔不完备定理后为何还继续研究数学？
为什么许多问题几何性质很明确，但却还要证明呢？
这样的数学归纳法是否成立？
如何回答孩子提出的6+6＝5+7，6×6≠5×7，且5×7比6×6少1，3×5比4×4也少1的问题?
σ-代数为什么叫代数？它有代数结构吗？
如何证明一个数学命题的不可证性？
贝尔不等式到底证明了什么？如果贝尔不等式实验过程本身就非随机，那么它证明的真随机就是真随机吗？
如何证明悬链线图像是双曲余弦？