如何证明每一个有穷的偏序都可以延拓成一个线序？ 第1页
1
feng-kuang-shen-shi-92 网友的相关建议:
这题有人已经回答了，先说一下证明的思路，即用数学归纳法即可以证明。
有穷的偏序可以转化成一个线性表达，在具体学科中有运用。
1、扯蛋模型
扯蛋模型的例子如上。
分子结构是一个典型的拓扑，是偏序可以表达的。通常的分子模型是叫球棍模型，把球表示成原子，棍子表示成化学键。
如果把棍子换成一个弹簧，整个模型就变成了弹簧球模型。
考虑到该模型只能扯动球，而不能扯动线，因此被几个院士戏称为扯蛋模型。
2、smils格式就是线序
Smiles 是一种线性格式 如C12=CC=CC=C1C3=C(C=CC=C3)C=C2
这种线性格式可以表达一个复杂的拓扑，而拓扑可以用偏序来表示。
3、偏序与拓扑排序
偏序画出层次化的哈斯图后，从上往下一层层数下来就是一个拓扑排序，就是线序。
上面是计算地址，以及已有的运用类的论文范本。
1
相关话题
如何回答孩子提出的6+6＝5+7，6×6≠5×7，且5×7比6×6少1，3×5比4×4也少1的问题?复数是否包含实数？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
有没有可能把 π 或 e 等无理数当成 1，这样就能使许多定理显而易见？
如何证明闭开区间无最大值(如反证法)？
无理数是否可能是一个循环周期过大甚至是无限的一个有理数？
给定一个圆如何确定圆心?
请问这个不等式（微积分怎么证明?
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
哥德尔不完备性定理宣示了逻辑的边界，是否意味着逻辑本身证明了逻辑是有缺陷的，人类如何突破逻辑的窒锢？
前一个讨论
如何解释探索性因素分析？
下一个讨论
李吟是谁？
相关的话题
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？除了π，e，0.618，还有没有其他一些有特殊意义的数？
为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？
绝对值不等式的发展史是什么呢？
如何证明Q[³√5]是域？
等比数列的任意连续三项的中间一项都是另外两项的等比中项吗？
为什么逻辑学给入门者的感觉如此之乱？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
当我们说一个定理可以推出另一个定理的时候, 我们在说什么?
如何证明下面这两个较复杂的不等式?
如何证明悬链线图像是双曲余弦？
数学中有哪些漂亮的无字证明？
小数点后可以有无数位，为什么两个物体仍可以相互接触？
数列an（定义an为71^n）是否在an中能找到以任意长度（不小于1）个1为结尾的数（均是正整数）?
如何证明π^π^π^π(π的四次迭代幂次)是个有理数?
如何以AB为高尺规作图作等边三角形？
如何证明最小正周期为无理数的数列f（n）极限不存在？
有没有可能一个数学证明是错的，然而所有人都没注意到呢？
这个证明该怎么做？
如何证明闭开区间无最大值(如反证法)？
两条直线真的画不出一个圆吗？
勒让德猜想被证明了吗？
我自认为自己证明了0可以作为除数，若是如此将会有哪些改变？
数学真的是一门有意义的学科吗?
无理数为什么能用图形表示出来？
怎么证明勾股定理?
莱布尼茨的普遍语言是否可以实现？
如果1+1＝0你认为是什么原因？
数学中有哪些巧合让人眼前一亮？