如何证明每一个有穷的偏序都可以延拓成一个线序？ 第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))？
为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？
为什么逻辑学给入门者的感觉如此之乱？
请问这两个数分不等式如何证明?
实数域上的连续函数f，存在一个有理数a和一个无理数b使得a与b均为f的周期。如何证明f为常值函数？
如何证明Q[³√5]是域？
在正整数 n 充分大的时候，|sin(n)|＞1/n 是否成立？是否有证明或者反例？
数学上有「从理论上根本无法证明」的东西么？
思考一个问题，任意给定一个非零有理数和一个无理数，能否通过加减（可以无限次）使极限收敛到整个实数集？
前一个讨论
如何解释探索性因素分析？
下一个讨论
李吟是谁？
相关的话题
若 A={x, x∉A}，那么 A 是 ∅ 吗？如何证明最小正周期为无理数的数列f（n）极限不存在？
HoTT为什么不比集合论弱?
会不会某个人已经证明了哥德巴赫猜想，却不愿意讲出来？
怎么在不公布证明的情况下让世人相信我证明了「哥猜」?
是否任一无穷集合都能分成两个等势的不交集合之并？
“哥德巴赫猜想”的主要研究方法有哪些？
关于闭区间上连续函数的一个证明题？
这样的数学归纳法是否成立？
如何证明这个关于良序集的命题？
如何证明（0，1）不是可数集？
nπ-［nπ］是否存在收敛于0的子列？
√8-√2=√2，这是怎么得出来的？
请问这两个数分不等式如何证明?
除了π，e，0.618，还有没有其他一些有特殊意义的数？
√8-√2=√2，这是怎么得出来的？
以「Q.E.D」收尾证明语段，是什么梗？
为什么需要对唯一性进行证明？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
同时满足两个不同等差数列的数是否组成等差数列？如何证明？等比数列呢？
证明被默认的结论对知识的发展有什么意义？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
我想问怎么样用数学去证明道的存在?
康托尔著名的对角线证明？
思考一个问题，任意给定一个非零有理数和一个无理数，能否通过加减（可以无限次）使极限收敛到整个实数集？
为什么几何意义十分明显的数学定理要复杂地去证明？
如何证明以下等式?
什么是实数？
请问这个集合不是零测集有什么具体例子吗？