首页 >
序理论
✍ dations ◷ 2025-04-25 18:44:48 #序理论
序理论是研究捕获数学排序的直觉概念的各种二元关系的数学分支。次序无所不在——至少在数学和相关领域比如计算机科学是这样。你典型遇到的第一个次序是小学数学教育中的自然数的次序。这个直觉概念很容易扩展到其他数的集合的排序,比如整数和实数。实际上大于或小于另一个数的概念一般是数系统的基本直觉(尽管你通常还感兴趣于两个数实际的差,它不能由这个次序给出)。排序的另一个非常熟悉的例子是词典中词典次序。上述类型的次序有特殊性质:每个元素都是可以“比较”于另一个元素,就是说,它或者大于、或者小于、或者等于另一个元素。但是,这不总是想要的要求。一个周知的例子是集合的子集排序。如果一个集合
A
{displaystyle A}
包含集合
B
{displaystyle B}
的所有元素,则
B
{displaystyle B}
被称为小于等于
A
{displaystyle A}
。然而有些集合不能在这种方式来比较,因为其中每个都包含着其他集合中不存在的某些元素。所以,子集包含是偏次序,对立了前面给出的全次序。序理论在一般性架构下捕获了上述例子引发的直觉次序。这是通过指定关系
≤
{displaystyle leq }
必须是数学上次序的一些性质来完成的。这种更加抽象的方式更有意义,因为你可以从一般性架构推导出各种定理,而不用关心任何特定次序的细节。这种洞察可以容易的转换到很多具体应用中。由次序的各种实践使用所驱动,已经定义了多个特殊种类的有序集合,其中某些已经发展出自己的数学领域。此外,序理论不限制于各种种类的排序关系,还考虑在它们之间的适当的函数。函数的序理论的性质的一个简单例子来自在数学分析中常见的单调函数。此部分我们建立一些概念作为导引:集合论、算术和二元关系。序是特别的二元关系。假定
P
{displaystyle P}
是一集合,且
≤
{displaystyle leq }
是在
P
{displaystyle P}
的关系,则
≤
{displaystyle leq }
是个偏序当他是自反的,反对称的,且递移的,则,对于所有
a
,
b
{displaystyle a,b}
和
c
{displaystyle c}
于
P
{displaystyle P}
,皆能满足:一个偏序性质的集合称为偏序集合、poset或是有序集合(当其所强调的意指明确)。借由查看这些性质,我们能知道在自然数、整数、有理数、以致于实数皆有明确的序关系。当然,它们还有额外的性质成为全序,即在
P
{displaystyle P}
中对于每一个a和b皆能满足:这些序又称为线性序或链。当许多典型序为线性,集合内的有序子集合会发生不满足此性质的例子。另一个例子为给定一个整除性关系"
|
{displaystyle |}
"。对于两个数
n
{displaystyle n}
和
m
{displaystyle m}
,当
m
{displaystyle m}
除以
n
{displaystyle n}
未留余数时,我们书写为
n
|
m
{displaystyle n|m}
,我们可轻易的明白这是一个偏序关系。非常多进阶的性质主要在于非线性序中。
相关
- 多多纳多多纳(多立克希腊语Δωδώνα, 爱奥尼亚希腊语:Δωδώνη, Dòdònè)是位于希腊西北部伊庇鲁斯的一个神谕处。虽然多多纳最早的铭文历史只能追溯至约公元前550-560年,但
- 匈人匈人是一个古代生活在欧亚大陆的游牧民族群体。在公元前至2世纪期间他们被怀疑与在亚洲的北方活动的匈奴人有关,他们在4世纪西迁到了东欧被首次发现,并入侵东、西罗马帝国。欧
- 生物有机化学生物有机化学是有机化学和生物化学的交叉领域,是将有机化学研究的理论和方法向生命科学渗透的学科,负责在分子水平上研究生物过程的化学本质,主要分析生物分子(如蛋白质、核酸)的
- 航天技术航天技术,又称太空技术(英语:space technology),是一项探索、开发和利用太空以及地球以外天体的综合性工程技术。是一个国家现代技术综合发展水平的重要标志。可以分为民用和军用
- 花旗参花旗参(学名:Panax quinquefolius)是人参的一种。原产于美国北部到加拿大南部一带,以威斯康辛州为主。美国旧称为花旗国,花旗参由此得名。此外,它又称为洋参、西洋参、野山泡参 、
- 弗拉基米尔一世·斯维亚托斯拉维奇圣弗拉基米尔·斯维亚托斯拉维奇(英语:Vladimir Sviatoslavich,俄语:Св.Влади́мир Святосла́вич, 弗拉基米尔一世受洗后取教名瓦西里;958年—1015年7月15
- 量子隐形传态量子遥传(quantum teleportation),又称量子隐形传输、量子隐形传送、量子隐形传态,是一种利用量子纠缠来传送量子态至任意距离的技术。 名词翻译可能最早见于 2000 年科学月刊上
- 北欧五国北半球(深灰) —北欧五国是位于北欧的丹麦、芬兰、冰岛、挪威和瑞典及其附属领土如属于丹麦的法罗群岛、格陵兰,属于芬兰的奥兰群岛和属于挪威的斯瓦尔巴群岛的统称。而由于
- 查尔斯·利伯查尔斯·M·利伯(英语:Charles M. Lieber,1959年4月9日-)是美国化学家,美国国家科学院院士、哈佛大学教授、国际纳米技术领军人物之一。他出生于一个犹太家庭。2012年获得沃尔夫化
- 皮茨尔瓦尼亚县皮茨尔瓦尼亚县(Pittsylvania County, Virginia)是美国维吉尼亚州南部的一个县,南邻北卡罗莱纳州。面积2,533平方公里,是该州面积最大的县。根据美国2000年人口普查,共有人口61,7