如何证明每一个有穷的偏序都可以延拓成一个线序？ 第1页
1
feng-kuang-shen-shi-92 网友的相关建议:
这题有人已经回答了，先说一下证明的思路，即用数学归纳法即可以证明。
有穷的偏序可以转化成一个线性表达，在具体学科中有运用。
1、扯蛋模型
扯蛋模型的例子如上。
分子结构是一个典型的拓扑，是偏序可以表达的。通常的分子模型是叫球棍模型，把球表示成原子，棍子表示成化学键。
如果把棍子换成一个弹簧，整个模型就变成了弹簧球模型。
考虑到该模型只能扯动球，而不能扯动线，因此被几个院士戏称为扯蛋模型。
2、smils格式就是线序
Smiles 是一种线性格式 如C12=CC=CC=C1C3=C(C=CC=C3)C=C2
这种线性格式可以表达一个复杂的拓扑，而拓扑可以用偏序来表示。
3、偏序与拓扑排序
偏序画出层次化的哈斯图后，从上往下一层层数下来就是一个拓扑排序，就是线序。
上面是计算地址，以及已有的运用类的论文范本。
1
相关话题
如何理解数学证明中的容易验证？如何证明 sin(a+b)＝sina·cosb＋sinb·cosa？
绝对值不等式的发展史是什么呢？
如何证明Q[³√5]是域？
大佬们这个等式怎么证？
自然数0 的现实意义是什么？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
如何证明e为无理数?
怎么在不公布证明的情况下让世人相信我证明了「哥猜」?
[x]表示小于x的最大整数已知[√1]+[√2]+[√3]+……+[√n]≤2022，求n的最大值?
前一个讨论
如何解释探索性因素分析？
下一个讨论
李吟是谁？
相关的话题
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？为什么7×5=5×7？
为什么数学里非要写「当且仅当」，而不是「仅当」？
如何理解数学证明中的容易验证？
逻辑学中，前提为假而命题为真的推论如何解释？
为什么规定 0 的阶乘为 1？
如何证明这个关于良序集的命题？
如此证明（0，1）=【0，1】，是否正确？
第五题如何证明呢？
我想问怎么样用数学去证明道的存在?
数学中反证法有没有可能正反都错？
二维码是否会重复？能否用数学证明？
如何用数学证明活着就有希望？
勒让德猜想被证明了吗？
网络上哪有数理逻辑的课程?
复数是否包含实数？
有哪些自己发现并证明的并自以为得意的初等数学定理？
如何看待 bilibili up主 Happylee 对 0.999...≠1 的证明？
集合论与微积分？
如何让一个 5 岁小孩听懂什么是选择公理？
为什么度量空间中聚点等同于极限点？
是否存在某些问题不能用有限步骤解决？
能否构造一组无理数a,b，使得a^b是有理数?
函数可导，则其导函数可积？
如何用数学的方法说明极限理论的表现力强于初等数学？
如何通俗解释偏序关系和偏序理论？它们在不同学科中有哪些应用？
证明的定义是什么？证明的意义是什么？
请问这两个数分不等式如何证明?
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
0.9999…（无限）…991和0.9循环和1是相等的么？