如何证明每一个有穷的偏序都可以延拓成一个线序？ 第1页
1
feng-kuang-shen-shi-92 网友的相关建议:
这题有人已经回答了，先说一下证明的思路，即用数学归纳法即可以证明。
有穷的偏序可以转化成一个线性表达，在具体学科中有运用。
1、扯蛋模型
扯蛋模型的例子如上。
分子结构是一个典型的拓扑，是偏序可以表达的。通常的分子模型是叫球棍模型，把球表示成原子，棍子表示成化学键。
如果把棍子换成一个弹簧，整个模型就变成了弹簧球模型。
考虑到该模型只能扯动球，而不能扯动线，因此被几个院士戏称为扯蛋模型。
2、smils格式就是线序
Smiles 是一种线性格式 如C12=CC=CC=C1C3=C(C=CC=C3)C=C2
这种线性格式可以表达一个复杂的拓扑，而拓扑可以用偏序来表示。
3、偏序与拓扑排序
偏序画出层次化的哈斯图后，从上往下一层层数下来就是一个拓扑排序，就是线序。
上面是计算地址，以及已有的运用类的论文范本。
1
相关话题
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？如何证明一个数学命题的不可证性？
有理数集和无理数集哪个大，为什么？
微积分的哲学基础是什么？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
数学大牛是怎么看待悖论和无穷的？
求指教一道不等式证明题如何做？
数列1，2，9，44，265有名字吗？
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
求指教一道不等式证明题如何做？
前一个讨论
如何解释探索性因素分析？
下一个讨论
李吟是谁？
相关的话题
关于闭区间上连续函数的一个证明题？为什么在数轴上随便取一个点，一定取到的是无理数？
如何评价一些数学大佬在推导过程中的「我们不难发现…」、「显然有…」、「易得…」等语言?
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
区间 [0, 1] 内的实数，为什么我证明可以数？
没有基的线性空间，是否可以构造，如何构造？
为什么数学里非要写「当且仅当」，而不是「仅当」？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
数列an（定义an为71^n）是否在an中能找到以任意长度（不小于1）个1为结尾的数（均是正整数）?
如何证明一个数学命题的不可证性？
如何在已知欧拉函数值的情况下求满足该欧拉函数值全部正整数？
如何证明“若整函数 f(z) 的值均位于右半平面，则f(z)恒为常数”？
如何证明魏尔斯特拉斯函数处处不可导？
数列 0, 1, 0, -1, 0, 1, 0, -1... 的通项公式是多少呢？
下面这个集合可数吗？
有哪些自己发现并证明的并自以为得意的初等数学定理？
如何通俗地理解「韦达跳跃」，如何证明？
如何证明没有上帝？
数学真的是一门有意义的学科吗?
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
逻辑学中，前提为假而命题为真的推论如何解释？
没有基的线性空间，是否可以构造，如何构造？
这个定理请问有人会证明吗？
为什么集合这个数学术语在麻将中没有被说明？
如何看待π这个无理数？
集合相等的定义与空集的定义的矛盾如何理解？
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
你见过哪些堪称绝妙的数学证明？
叶戈罗夫定理的逆定理该怎么证明？