有序域, 此條目没有列出任何参考或来源, 2021年4月16日, 維基百科所有的內容都應該可供查證, 请协助補充可靠来源以改善这篇条目, 无法查证的內容可能會因為異議提出而被移除, 在数学的一个分支代数中, 是一个全序关系通过加法和乘法运算不被改变的域, 最常见的例子是实数, 目录, 定义, 特性, 结构, 例子定义, 编辑一个满足下面两个条件的, 拥有偏序关系, displaystyle, 的域, displaystyle, cdot, 被定义为, 对于任何k, displaystyle, 中的元素a, disp. 此條目没有列出任何参考或来源 2021年4月16日 維基百科所有的內容都應該可供查證 请协助補充可靠来源以改善这篇条目 无法查证的內容可能會因為異議提出而被移除 在数学的一个分支代数中 有序域是一个全序关系通过加法和乘法运算不被改变的域 有序域最常见的例子是实数 目录 1 定义 2 特性 3 结构 4 例子定义 编辑一个满足下面两个条件的 拥有偏序关系 displaystyle leq 的域 K displaystyle K cdot 被定义为有序域 对于任何K displaystyle K 中的元素a b c displaystyle a b c 以下两个条件获得满足 若a b displaystyle a leq b 则a c b c displaystyle a c leq b c 若0 a displaystyle 0 leq a 且0 b displaystyle 0 leq b 则0 a b displaystyle 0 leq a cdot b 大于0的元素被称为是正的 小于0的元素被称为是负的 特性 编辑由以上定义可以直接推导出以下特性 a b c d displaystyle a b c d 是K displaystyle K 的元素 一个正的元素的负数是负的 一个负的元素的负数是正的 即任何K displaystyle K 中的a displaystyle a 假如a 0 displaystyle a neq 0 则 a lt 0 lt a displaystyle a lt 0 lt a 或a lt 0 lt a displaystyle a lt 0 lt a 不等式可以相加 a b displaystyle a leq b 和c d displaystyle c leq d 则a c b d displaystyle a c leq b d 不等式可以与正元素相乘 a b displaystyle a leq b 和0 c displaystyle 0 leq c 则a c b c displaystyle ac leq bc 平方数不是负的 0 a 2 displaystyle 0 leq a 2 尤其0 lt 1 displaystyle 0 lt 1 通过数学归纳法可以推导出任何一的有限的和是正的 0 lt 1 1 1 displaystyle 0 lt 1 1 cdots 1 结构 编辑所有有序域都具有特征数0 这个结论直接出于上述的最后一个特性0 lt 1 1 1 displaystyle 0 lt 1 1 cdots 1 每个有序域的子域也是有序域 任何含特征数0的域其最小子域与有理数同構 且这个子域的排序与Q displaystyle mathbb Q 一致 假如一个有序域中的任何元素都介于两个有理数之间的话 则该域具有阿基米德性质 比如实数是具有阿基米德性质的 而超实数则不具有 有序域K displaystyle K 的排序可用來定義K displaystyle K 的拓扑空间 这个拓扑空间可由 x K x lt a displaystyle x in K mid x lt a 和 x K x gt a displaystyle x in K mid x gt a 作為準基來生成 稱之為序拓撲 加法和乘法运算相对于这个拓扑空间是连续的 例子 编辑有理数Q displaystyle mathbb Q 组成最小的有序域 实数R displaystyle mathbb R 和其中的任何部分域 超实数 取自 https zh wikipedia org w index php title 有序域 amp oldid 65235054, 维基百科,wiki,书籍,书籍,图书馆,