如何证明每一个有穷的偏序都可以延拓成一个线序？ 第1页
1
feng-kuang-shen-shi-92 网友的相关建议:
这题有人已经回答了，先说一下证明的思路，即用数学归纳法即可以证明。
有穷的偏序可以转化成一个线性表达，在具体学科中有运用。
1、扯蛋模型
扯蛋模型的例子如上。
分子结构是一个典型的拓扑，是偏序可以表达的。通常的分子模型是叫球棍模型，把球表示成原子，棍子表示成化学键。
如果把棍子换成一个弹簧，整个模型就变成了弹簧球模型。
考虑到该模型只能扯动球，而不能扯动线，因此被几个院士戏称为扯蛋模型。
2、smils格式就是线序
Smiles 是一种线性格式 如C12=CC=CC=C1C3=C(C=CC=C3)C=C2
这种线性格式可以表达一个复杂的拓扑，而拓扑可以用偏序来表示。
3、偏序与拓扑排序
偏序画出层次化的哈斯图后，从上往下一层层数下来就是一个拓扑排序，就是线序。
上面是计算地址，以及已有的运用类的论文范本。
1
相关话题
请问这道高数题怎么做？是琴生不等式吗？0.9999…（无限）…991和0.9循环和1是相等的么？
逻辑学中，前提为假而命题为真的推论如何解释？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
为什么数学定义一般采用如下形式：X has property P, if（条件），而不是 iff？
数列an（定义an为71^n）是否在an中能找到以任意长度（不小于1）个1为结尾的数（均是正整数）?
如何证明这个关于良序集的命题？
区间 [0, 1] 内的实数，为什么我证明可以数？
为什么在数轴上随便取一个点，一定取到的是无理数？
如何让一个 5 岁小孩听懂什么是选择公理？
前一个讨论
如何解释探索性因素分析？
下一个讨论
李吟是谁？
相关的话题
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？请问如何求下面这个连分数收敛到的值？
大佬们这个等式怎么证？
如何证明这个关于良序集的命题？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
无理数为什么能用图形表示出来？
为什么几何意义十分明显的数学定理要复杂地去证明？
数学为什么需要证明一些看起来非常直观、明显的东西（比如定理）？
问一个很严肃的问题，中国当代哲学水平到底怎样？
如何证明实数集的不可数子集含有它自己的不可数个聚点？
莱布尼茨的普遍语言是否可以实现？
发现了蒙日圆一个很好的性质，却不知道有没有简便方法证明？
如何在已知欧拉函数值的情况下求满足该欧拉函数值全部正整数？
如此证明（0，1）=【0，1】，是否正确？
怎么建立复数与实数的一一对应？
为什么不可数个互不相同的集合之并集可以是可数集?
求极限lim(1/(3^1+1)+1/(3^2+1)+...+1/(1+3^n))？
下列证明题（积分不等式）怎么证明?
所有集合的势都可比较大小吗？为什么？
如何以AB为高尺规作图作等边三角形？
为什么7×5=5×7？
证明被默认的结论对知识的发展有什么意义？
有没有什么和“数学归纳法名字中虽然有归纳两字，却不是归纳推理，而是演绎推理”类似的数学例子呀？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
麻生公开课教材问题如果a, b是两个相等的实数，那么a=0.是否正确？
如何推导下面这个等式？
如何证明此角度为90度?
集合论与微积分？
两个小数的积一定是小数吗？
什么是博弈论语义学？