如何证明每一个有穷的偏序都可以延拓成一个线序？ 第1页
1
feng-kuang-shen-shi-92 网友的相关建议:
这题有人已经回答了，先说一下证明的思路，即用数学归纳法即可以证明。
有穷的偏序可以转化成一个线性表达，在具体学科中有运用。
1、扯蛋模型
扯蛋模型的例子如上。
分子结构是一个典型的拓扑，是偏序可以表达的。通常的分子模型是叫球棍模型，把球表示成原子，棍子表示成化学键。
如果把棍子换成一个弹簧，整个模型就变成了弹簧球模型。
考虑到该模型只能扯动球，而不能扯动线，因此被几个院士戏称为扯蛋模型。
2、smils格式就是线序
Smiles 是一种线性格式 如C12=CC=CC=C1C3=C(C=CC=C3)C=C2
这种线性格式可以表达一个复杂的拓扑，而拓扑可以用偏序来表示。
3、偏序与拓扑排序
偏序画出层次化的哈斯图后，从上往下一层层数下来就是一个拓扑排序，就是线序。
上面是计算地址，以及已有的运用类的论文范本。
1
相关话题
复数是否包含实数？实数域上的连续函数f，存在一个有理数a和一个无理数b使得a与b均为f的周期。如何证明f为常值函数？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
可不可以将所有无理数全都用 有理数·π 来表示？
关于闭区间上连续函数的一个证明题？
为什么7×5=5×7？
为什么7×5=5×7？
不等式如何证明?
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？
这个证明该怎么做？
前一个讨论
如何解释探索性因素分析？
下一个讨论
李吟是谁？
相关的话题
证明的定义是什么？证明的意义是什么？如何证明这个关于良序集的命题？
这个不等式的证明方法有哪些？
无理数为什么能用图形表示出来？
如何证明每一个有穷的偏序都可以延拓成一个线序？
发现了蒙日圆一个很好的性质，却不知道有没有简便方法证明？
与1相邻的实数存在吗？
如何证明这个关于良序集的命题？
质数集P与自然数集N等势吗?
如何证明一个数学命题的不可证性？
全序关系和偏序关系的区别是什么？
区间 [0, 1] 内的实数，为什么我证明可以数？
与1相邻的实数存在吗？
麻生公开课教材问题如果a, b是两个相等的实数，那么a=0.是否正确？
所有集合的势都可比较大小吗？为什么？
如果1+1＝0你认为是什么原因？
如何证明这个关于良序集的命题？
环中任何一个非空子集都可以生成理想吗？
收敛的有理系数幂级数个数可数么？
如何理解（证明）不存在与自己的真子集等势的自然数?
如果我能证明哥德巴赫猜想，也就是1+1，那么写成文章发在知乎应该成果不会被它人盗取吧？
这个积分如何证明？
数学是不是必然会存在不确定领域？
数列an（定义an为71^n）是否在an中能找到以任意长度（不小于1）个1为结尾的数（均是正整数）?
在数学中，为什么我们要视悖论为洪水猛兽？这难道不是在歧视悖论吗？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
如果突然有一天1+1=2变成1+1=0这个宇宙会怎么样（要求从最根本出发）？
怎么建立复数与实数的一一对应？
π的1997次方的小数点后1997位是多少？
为什么逻辑学的排中律不是任何条件下都可使用的?