序理论

✍ dations ◷ 2025-08-28 21:57:17 #序理论
序理论是研究捕获数学排序的直觉概念的各种二元关系的数学分支。次序无所不在——至少在数学和相关领域比如计算机科学是这样。你典型遇到的第一个次序是小学数学教育中的自然数的次序。这个直觉概念很容易扩展到其他数的集合的排序,比如整数和实数。实际上大于或小于另一个数的概念一般是数系统的基本直觉(尽管你通常还感兴趣于两个数实际的差,它不能由这个次序给出)。排序的另一个非常熟悉的例子是词典中词典次序。上述类型的次序有特殊性质:每个元素都是可以“比较”于另一个元素,就是说,它或者大于、或者小于、或者等于另一个元素。但是,这不总是想要的要求。一个周知的例子是集合的子集排序。如果一个集合 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} ,我们可轻易的明白这是一个偏序关系。非常多进阶的性质主要在于非线性序中。

相关

  • 井,是一种用来从地表下取水的装置,中国传说是伯益发明了井。远古时代即有水井,《易经》记“改邑不改井”。孔颖达疏:“古者穿地取水,以瓶引汲,谓之为井。”在公元前721年,伊朗有坎
  • 蛋清蛋白(英语:Egg white、albumen、glair/glaire)是指蛋(尤其指鸡蛋)内的半透明液体,故又称为蛋清,与蛋黄相对。蛋白遇热后会凝固成白色固体,因而得名。 蛋白就如同哺乳类的羊水一样有
  • 雅库特地区雅库特共和国(俄语:Республика Саха (Якутия),罗马化:Respublika Sakha (Yakutiya))是俄罗斯联邦主体之一,属于远东联邦管区。1922年4月27日,苏联在俄罗斯苏维
  • 消化酶消化酶(英语:digestive enzymes)是将聚合的高分子降解为他们的构建单元的酶类,以促进他们被身体吸收。消化酶类可在动物(及人)的消化管内找到,在那里帮助食物的消化,他们也存在于细
  • 联邦外交部俄罗斯联邦外交部(俄语:Министерство иностранных дел Российской Федерации)是俄罗斯联邦政府组成部门之一,负责俄罗斯的外交事
  • 布兰克特姐妹勃朗特三姊妹(英语:Brontë family or The Brontës),是三位英国著名文学女作家,并且是亲生三姊妹,分别是:1847年,夏洛蒂的《简·爱》,艾米莉的《呼啸山庄》,安妮的《荒野庄园的房客》
  • 植入前遗传学诊断胚胎植入前遗传筛选(英语:preimplantation genetic screening,简称PGS)是一种优生学技术,配合试管婴儿使用,该技术能筛查胚胎的潜在疾病基因,将有问题的胚胎提早销毁,只留下无问题的
  • 杉田玄白杉田 玄白(日语:すぎた げんぱく,1733年10月20日-1817年6月1日)名翼(たすく)、字子凤、号鷧、晩年号九幸翁。,日本江戸时代的兰学医生,主办医学私塾天真楼,曾翻译《解体新书》。 杉田
  • 性别差距全球性别差距报告是一份展示男女间在经济地位、学习机会、政治参与及卫生福利四个范畴中的差距的报告。报告由世界经济论坛于2006年在瑞士首次发表,其后每年发表一次。2017年
  • 消耗量这是一个各国淡水消耗量列表,数据主要来源于世界概况。