如何证明每一个有穷的偏序都可以延拓成一个线序？ 第1页
1
feng-kuang-shen-shi-92 网友的相关建议:
这题有人已经回答了，先说一下证明的思路，即用数学归纳法即可以证明。
有穷的偏序可以转化成一个线性表达，在具体学科中有运用。
1、扯蛋模型
扯蛋模型的例子如上。
分子结构是一个典型的拓扑，是偏序可以表达的。通常的分子模型是叫球棍模型，把球表示成原子，棍子表示成化学键。
如果把棍子换成一个弹簧，整个模型就变成了弹簧球模型。
考虑到该模型只能扯动球，而不能扯动线，因此被几个院士戏称为扯蛋模型。
2、smils格式就是线序
Smiles 是一种线性格式 如C12=CC=CC=C1C3=C(C=CC=C3)C=C2
这种线性格式可以表达一个复杂的拓扑，而拓扑可以用偏序来表示。
3、偏序与拓扑排序
偏序画出层次化的哈斯图后，从上往下一层层数下来就是一个拓扑排序，就是线序。
上面是计算地址，以及已有的运用类的论文范本。
1
相关话题
“哥德巴赫猜想”的主要研究方法有哪些？无理数是否可能是一个循环周期过大甚至是无限的一个有理数？
请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？
请问这个积分不等式怎么做呢，用递推试了下没做出来?
零测集的子集是否可测？
为什么逻辑学给入门者的感觉如此之乱？
下面这个积分不等式证明有什么好的方法？
能否构造一组无理数a,b，使得a^b是有理数?
如何证明圆上若干点构成的多边形最大面积在正多边形时取到？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
前一个讨论
如何解释探索性因素分析？
下一个讨论
李吟是谁？
相关的话题
这个定理请问有人会证明吗？如何证明一个数学命题的不可证性？
如何证明没有上帝？
如何看待我坚持1+1=3？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
证明的定义是什么？证明的意义是什么？
为什么不可数个互不相同的集合之并集可以是可数集?
如果突然有一天1+1=2变成1+1=0这个宇宙会怎么样（要求从最根本出发）？
请问这个积分不等式怎么做呢，用递推试了下没做出来?
如何让一个 5 岁小孩听懂什么是选择公理？
如何在已知欧拉函数值的情况下求满足该欧拉函数值全部正整数？
如何证明将任意3的倍数各数位数字立方求和，重复数次后得到固定数值153?
二重积分中值定理怎么证明？
如何证明这个关于良序集的命题？
从1到1亿有一亿个整数，是否有可能存在一个整数，从来没有人读过它?
证明的定义是什么？证明的意义是什么？
有哪些「这也能用数学证明」的事件？
证明数学定理的意义是什么？
如何证明 π＞3.14？
高中问题，不等式证明的大佬请进。这个不等式怎么证？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
如何通俗地理解「韦达跳跃」，如何证明？
有没有什么和“数学归纳法名字中虽然有归纳两字，却不是归纳推理，而是演绎推理”类似的数学例子呀？
数学物理定理是道家的道么?
没有基的线性空间，是否可以构造，如何构造？
这样的数学归纳法是否成立？
如何证明圆上若干点构成的多边形最大面积在正多边形时取到？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
Taylor公式证明是怎么想出来的？
无理数是否可能是一个循环周期过大甚至是无限的一个有理数？