如何证明每一个有穷的偏序都可以延拓成一个线序？ 第1页
1
feng-kuang-shen-shi-92 网友的相关建议:
这题有人已经回答了，先说一下证明的思路，即用数学归纳法即可以证明。
有穷的偏序可以转化成一个线性表达，在具体学科中有运用。
1、扯蛋模型
扯蛋模型的例子如上。
分子结构是一个典型的拓扑，是偏序可以表达的。通常的分子模型是叫球棍模型，把球表示成原子，棍子表示成化学键。
如果把棍子换成一个弹簧，整个模型就变成了弹簧球模型。
考虑到该模型只能扯动球，而不能扯动线，因此被几个院士戏称为扯蛋模型。
2、smils格式就是线序
Smiles 是一种线性格式 如C12=CC=CC=C1C3=C(C=CC=C3)C=C2
这种线性格式可以表达一个复杂的拓扑，而拓扑可以用偏序来表示。
3、偏序与拓扑排序
偏序画出层次化的哈斯图后，从上往下一层层数下来就是一个拓扑排序，就是线序。
上面是计算地址，以及已有的运用类的论文范本。
1
相关话题
如何证明 π＞3.14？实数域上的连续函数f，存在一个有理数a和一个无理数b使得a与b均为f的周期。如何证明f为常值函数？
如何证明一个数学命题的不可证性？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
为什么算数不等式叫算数不等式，几何不等式叫几何不等式?
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
怎么证明勾股定理?
数学中有哪些看起来很不可思议的知识？
如何证明每一个有穷的偏序都可以延拓成一个线序？
假如数学没有了自然数的概念及其性质会怎样？
前一个讨论
如何解释探索性因素分析？
下一个讨论
李吟是谁？
相关的话题
如何看待π这个无理数？不等式如何证明?
如何证明（0，1）不是可数集？
我想证明自然数有穷可行吗？
为什么算数不等式叫算数不等式，几何不等式叫几何不等式?
叶戈罗夫定理的逆定理该怎么证明？
如何证明π^π^π^π(π的四次迭代幂次)是个有理数?
为什么需要对唯一性进行证明？
有哪些看起来高大上实际上非常容易证明的数学命题？
如此证明（0，1）=【0，1】，是否正确？
怎么学习算法信息论?
如何证明魏尔斯特拉斯函数处处不可导？
对于随机抽取的情况，概率最大值总是在数学期望附近取到，这是一个定理吗？
如何通俗地理解「韦达跳跃」，如何证明？
与1相邻的实数存在吗？
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
等词是否可以用属于来定义？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
怎么 证明 等式 11k + 8 = y^2 , k∈Z, y不存在整数解?
叶戈罗夫定理的逆定理该怎么证明？
数列 0, 1, 0, -1, 0, 1, 0, -1... 的通项公式是多少呢？
如何证明每一个有穷的偏序都可以延拓成一个线序？
如何证明π^π^π^π(π的四次迭代幂次)是个有理数?
不可列个数的集合交集并集怎么定义？
如何证明 π＞3.14？
在3位数中找到第一个满足下列要求的正整数n，其各位数字的立方和恰好等于他本身，该怎么做？
等词是否可以用属于来定义？
这道几何题怎么证明？
有没有什么和“数学归纳法名字中虽然有归纳两字，却不是归纳推理，而是演绎推理”类似的数学例子呀？
请问这个完全剩余系的性质如何证明？