数学分析(4)：自然数集的序关系

最新推荐文章于 2024-01-27 00:43:01 发布

kan_abc

最新推荐文章于 2024-01-27 00:43:01 发布

阅读量764

点赞数

分类专栏：数学分析文章标签：学习

本文链接：https://blog.csdn.net/kan_abc/article/details/125783378

版权

数学分析专栏收录该内容

5 篇文章 0 订阅

订阅专栏

本文介绍了偏序关系和全序关系的概念及其性质。偏序关系包括反对称性、传递性和自反性，如集合的包含关系。全序关系则额外要求完全性，即对任意元素都有关系。通过自然数集的“≤”关系证明了全序集的性质，展示了数学中的顺序结构。

摘要由CSDN通过智能技术生成

自然数集的序关系

偏序关系

$对于集合中的关系 R ，有下面的性质$
$1 ）反对称性： (a R b) \land (b R a) \to a = b$
$2 ）传递性： (a R b) \land (b R c) \to a R c$
$3 ）自反性：对 \forall a ， a R a$
$那么称其为偏序关系$

集合间的包含关系是一种偏序关系

$考虑集合\{1、2、3\}的所有子集有如下关系$
在这里插入图片描述

$我们来证明其满足偏序关系$
$1 ，反对称性：$
$~~~~~~A\subset B,B\subset A，由集合的性质有A=B$
$2 ，传递性：$
$~~~~~~A\subset B,B\subset C，由集合性质有A\subset C$
$3 ，自反性：$
$~~~~~~A\subset A，成立$

$偏序关系建立了一种顺序关系，但它是不完全的 (P a r t i a l) ，因为从图中$
$可以发现，\{1\}、\{2\}和\{3\}之间没有关系$

全序关系

$对于集合中的关系 R ，有下面的性质$
$1 ）反对称性： (a R b) \land (b R a) \to a = b$
$2 ）传递性： (a R b) \land (b R c) \to a R c$
$3 ）完全性：对 \forall a, b ，要么 a R b ，要么 b R a$
$那么称其为全序关系$

$完全性包含了自反性：$
$对a，有(aRa)∨(aRa)\Rightarrow(aRa)$

定义小于等于

$N是自然数集，对于\forall a,b\in N，a\leq b\iff\exists n\in N，a+n=b$

自然数集N是一个对 $“\leq”$ 的全序集

$1 ）反对称性：$
$~~~~~~若a\leq b且b\leq a，那么\exists p,q\in N，使a+p=b,b+q=a$
$~~\Rightarrow a=b+q=(a+p)+q=a+(p+q)$
$~~\Rightarrow p+q=0\Rightarrow p=0,q=0^{[1]}\Rightarrow a=b$
$2 ）传递性：$
$~~~~~~若a\leq b且b\leq c，那么\exists p,q\in N，使a+p=b,b+q=c$
$~~\Rightarrow c=b+q=(a+p)+q=a+(p+q)\Rightarrow a≤c$
$3 ）完全性 :$
$对于 \forall n \in N ，有 f (n) = n + 1, 故可知 n \leq f (n)$
$由 p e a n o 公理和传递性可知，完全性成立$

$[1]:p+q=0\Rightarrow p=0,q=0$
$由于加法交换律，只证明 q 不为 0 即可$
$~~~~~~反证法，若q\not= 0,那么必有一个q',使q=f(q')$
$p + q = 0 \Rightarrow p + f (q^{'}) = 0 \Rightarrow f (p + q^{'}) = 0$
$说明 0 是 p + q^{'} 的后继数，矛盾，故 q = 0 ，同理 p = 0$