如何证明每一个有穷的偏序都可以延拓成一个线序？ 第1页
1
feng-kuang-shen-shi-92 网友的相关建议:
这题有人已经回答了，先说一下证明的思路，即用数学归纳法即可以证明。
有穷的偏序可以转化成一个线性表达，在具体学科中有运用。
1、扯蛋模型
扯蛋模型的例子如上。
分子结构是一个典型的拓扑，是偏序可以表达的。通常的分子模型是叫球棍模型，把球表示成原子，棍子表示成化学键。
如果把棍子换成一个弹簧，整个模型就变成了弹簧球模型。
考虑到该模型只能扯动球，而不能扯动线，因此被几个院士戏称为扯蛋模型。
2、smils格式就是线序
Smiles 是一种线性格式 如C12=CC=CC=C1C3=C(C=CC=C3)C=C2
这种线性格式可以表达一个复杂的拓扑，而拓扑可以用偏序来表示。
3、偏序与拓扑排序
偏序画出层次化的哈斯图后，从上往下一层层数下来就是一个拓扑排序，就是线序。
上面是计算地址，以及已有的运用类的论文范本。
1
相关话题
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?如何推导下面这个等式？
为什么几何意义十分明显的数学定理要复杂地去证明？
小学数学为什么不从集合论学起？
第6题第(2)问怎么证明？
思考一个问题，任意给定一个非零有理数和一个无理数，能否通过加减（可以无限次）使极限收敛到整个实数集？
为什么度量空间中聚点等同于极限点？
如何证明 π＞3.14？
康托尔著名的对角线证明？
数学上有「从理论上根本无法证明」的东西么？
前一个讨论
如何解释探索性因素分析？
下一个讨论
李吟是谁？
相关的话题
如何证明（0，1）不是可数集？是否存在某些问题不能用有限步骤解决？
可不可以将所有无理数全都用 有理数·π 来表示？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
质数集P与自然数集N等势吗?
为什么数学定义一般采用如下形式：X has property P, if（条件），而不是 iff？
怎么学习算法信息论?
这样的数学归纳法是否成立？
一道初等数论作业题，请问怎么解决？
如何证明这个关于良序集的命题？
如何证明下面的数学分析问题？
上帝悖论是否有解？
是否存在某些问题不能用有限步骤解决？
在数学证明中，假设一个微元epsilon的思路是怎么来的？
选择公理有哪些反直觉的应用？
两条直线真的画不出一个圆吗？
如何证明 π＞3.14？
如何证明以下等式?
为什么数学里非要写「当且仅当」，而不是「仅当」？
怎么 证明 等式 11k + 8 = y^2 , k∈Z, y不存在整数解?
有哪些不易察觉的错误证明？
如何理解数学证明中的容易验证？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
a,b,c>0，且abc=1，怎样证明1/√(1＋8a)＋1/√(1＋8b)＋1/√(1＋8c)≧1？
这个不等式的证明方法有哪些？
请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？
我想问怎么样用数学去证明道的存在?
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
怎么证明勾股定理?
如果突然有一天1+1=2变成1+1=0这个宇宙会怎么样（要求从最根本出发）？