如何证明每一个有穷的偏序都可以延拓成一个线序？ 第1页
1
feng-kuang-shen-shi-92 网友的相关建议:
这题有人已经回答了，先说一下证明的思路，即用数学归纳法即可以证明。
有穷的偏序可以转化成一个线性表达，在具体学科中有运用。
1、扯蛋模型
扯蛋模型的例子如上。
分子结构是一个典型的拓扑，是偏序可以表达的。通常的分子模型是叫球棍模型，把球表示成原子，棍子表示成化学键。
如果把棍子换成一个弹簧，整个模型就变成了弹簧球模型。
考虑到该模型只能扯动球，而不能扯动线，因此被几个院士戏称为扯蛋模型。
2、smils格式就是线序
Smiles 是一种线性格式 如C12=CC=CC=C1C3=C(C=CC=C3)C=C2
这种线性格式可以表达一个复杂的拓扑，而拓扑可以用偏序来表示。
3、偏序与拓扑排序
偏序画出层次化的哈斯图后，从上往下一层层数下来就是一个拓扑排序，就是线序。
上面是计算地址，以及已有的运用类的论文范本。
1
相关话题
e^6≈π^4+π^5有什么数学背景吗？有哪些看起来高大上实际上非常容易证明的数学命题？
HoTT为什么不比集合论弱?
证明被默认的结论对知识的发展有什么意义？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
e^6≈π^4+π^5有什么数学背景吗？
函数可导，则其导函数可积？
勒让德猜想被证明了吗？
如何证明调和算数几何平均值不等式？
怎么学习算法信息论?
前一个讨论
如何解释探索性因素分析？
下一个讨论
李吟是谁？
相关的话题
上帝悖论是否有解？如何运用积分的知识去解这一道数学分析的题目？
如何证明数学定理全宇宙通用？
逻辑学中，前提为假而命题为真的推论如何解释？
这道证明题该怎么做？
求极限lim(1/(3^1+1)+1/(3^2+1)+...+1/(1+3^n))？
为什么数学里非要写「当且仅当」，而不是「仅当」？
证明角的三分之一，怎么证明？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
不可列个数的集合交集并集怎么定义？
如何证明在a，b为正实数，a+b=a＾3+b＾3时，a+b∈（1，2（√3）/3]？
所有集合的势都可比较大小吗？为什么？
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
麻生公开课教材问题如果a, b是两个相等的实数，那么a=0.是否正确？
如何证明圆上若干点构成的多边形最大面积在正多边形时取到？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
从1到1亿有一亿个整数，是否有可能存在一个整数，从来没有人读过它?
如何证明闭开区间无最大值(如反证法)？
如何运用积分的知识去解这一道数学分析的题目？
等词是否可以用属于来定义？
如何以AB为高尺规作图作等边三角形？
如何让一个 5 岁小孩听懂什么是选择公理？
为什么算数不等式叫算数不等式，几何不等式叫几何不等式?
如何以AB为高尺规作图作等边三角形？
证明的定义是什么？证明的意义是什么？
选择公理有哪些反直觉的应用？
为什么规定 0 的阶乘为 1？
如果突然有一天1+1=2变成1+1=0这个宇宙会怎么样（要求从最根本出发）？
证明被默认的结论对知识的发展有什么意义？
这样的数学归纳法是否成立？