>> 欢迎您,客人登录 按这里注册 忘记密码 在线 搜索 论坛风格  帮助  插件   


>>> 数学分析,奇异积分,几何,代数,微分方程,群与环,数论
Elinkage数学论坛基础数学 [返回] → 浏览:[讨论]数系构造的逻辑历程 标记论坛所有内容为已读 

 目前论坛总在线 8 人,本主题共有 1 人浏览。其中注册用户 0 人,访客 1 人。  [关闭详细列表]
发表一个新主题 回复贴子 开启一个新投票 ◆此帖被阅读 4433 次◆  浏览上一篇主题  刷新本主题  树形显示贴子 浏览下一篇主题
 * 贴子主题: [讨论]数系构造的逻辑历程 不分页显示此帖  保存该页为文件  本贴有问题,发送短消息报告给版主  加入个人收藏&关注本贴  显示可打印的版本  把本贴打包邮递  把本贴加入收藏夹  发送本页面给朋友   
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 133823 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2000
精华: 0
资料:  
在线: 944 时 31 分 14 秒
注册: 2010/12/07 06:27am
造访: 2019/03/17 08:50am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [楼 主]
  所谓逻辑地构造数系,是指从一组存在公理和生成公理演绎地论证具有一些运算及性质的集合的存在性。1&9
©Elinkage数学论坛 -- Elinkage极酷超级论坛  .t~_
于是我们首先要有集合的概念,以及集合的基本性质,集合的运算的定义和法则。)o*
©Elinkage数学论坛 -- Elinkage极酷超级论坛  G$E'0!
例如 A×B = {(a,b) | a∈A, b∈B}, A∪B = {x | x ∈ A 或 x ∈ B}EkEr5
    A∩B = {x | x ∈ A 且 x ∈ B }, A∩(B∩C) = (A∩B)∩C,H-dq
    A∩(B∪C)=(A∩B)∪(A∩C) 等等<
©Elinkage数学论坛 -- Elinkage极酷超级论坛  5z
其次我们需要有映射,关系的概念,在公理化数学中,映射和关系是满足某些性质的特殊的集合。{!S?<
©Elinkage数学论坛 -- Elinkage极酷超级论坛  re}j
对于一个非空集合A,从A×A到A的映射叫做A中的二元运算, 从A到A的映射叫作A中的一元运算。一般地, A1×…×An 到 C 的映射叫作一个n元广义运算...k
©Elinkage数学论坛 -- Elinkage极酷超级论坛  o
例如 N 中的加法就是 N×N 到 N 的一个二元运算 (m,n) ├→ m+nx7Gc
    而 n ├→ n'=(n+1) 是 N 上的一个一元运算(后继运算)Tz2
©Elinkage数学论坛 -- Elinkage极酷超级论坛  9b<!
我们需要相等的概念。集合A中的相等 = 是A中的一个关系,满足,&
x = x (自反性), x = y  → y = x (对称性), (x=y)∧(y=z)  → x = z (传递性)\lH!z
©Elinkage数学论坛 -- Elinkage极酷超级论坛  xr
我们需要顺序(大小)的概念。 集合A中的序 < 是A中的一个关系,满足@U18E
x < y, x = y, y < x 有且仅有其一成立(三岐性)IdPV[^
(x ≤ y)∧(y ≤ z)  → x ≤ z (传递性)6t">
注记:这里我们记 (x < y 或 x = y) 即 非(y < x) 为 x≤y, <8^8l>
为了方便,随时可用记号 y > x 代替 x < y, 用 y ≥ x 代替 x ≤ y。M
©Elinkage数学论坛 -- Elinkage极酷超级论坛  ,+$\
=======================================================================e}g9AE
由集合论中的无穷公理以及一些辅助的生成公理可以得出满足 peano 公理的集合的存在性。_h)
©Elinkage数学论坛 -- Elinkage极酷超级论坛  6c
【自然数公理】存在一个集合N 以及 N 上的一个一元运算 ' (后继), 满足L%
(1) 0 ∈ N'v?x=
(2) 存在N上的一个一元运算 ' (后继运算)。 即 n ∈ N → n' ∈ NSC,lJ
(3) 后继运算是单设: (a' = c)∧(b' = c) → a = b  即N的元至多是N中一个元的后继。Ic%A
(4) 0 不是N中任何元的后继。 即0是‘起始元’jV
(5)((S是N的子集)∧(0∈ N)∧(n∈S → n'∈S)) → S = N 即 N 是 0 以及 0 的有限代后继的全体。 +HA`
    (N的元若非起始元必为某元之后继)%
©Elinkage数学论坛 -- Elinkage极酷超级论坛  lj8qm\
称N的元素为自然数。上面的(5)是数学归纳法的形式化。EH.-
©Elinkage数学论坛 -- Elinkage极酷超级论坛  -P
记 0' 为 1 即0的后继记为 1 (叫作1)K2I8c
©Elinkage数学论坛 -- Elinkage极酷超级论坛  .SU
在N定义一个二元运算 + (加法) 如下:$jHR}.
0 + n = n + 0 = n^
n + 1 = n'b>(%3=
n + m' = (n+m)'uquQD.
©Elinkage数学论坛 -- Elinkage极酷超级论坛  zV!}
可以证明(用归纳法), 如此定义的加法是完全的,无岐议的,且满足rBQ!A/
a + b = b + a  (交换律)AtF0<u
a + (b+c) = (a + b) + c (结合律)cyNQm
0 是加法运算下的单位 (幺元)  【注意这是运算意义而不是度量意义下的单位】iF
©Elinkage数学论坛 -- Elinkage极酷超级论坛  I
一个集合在某运算下满足结合率,则称其(相对于该运算)为半群;如果这个运算又有幺元,则称其(相对于该运算)为幺半群。-4
©Elinkage数学论坛 -- Elinkage极酷超级论坛  O
所以可以简单地说 N 是一个加法幺半群。这就是为什么现代的自然数公理以 0 为起始元。CZ
©Elinkage数学论坛 -- Elinkage极酷超级论坛  W_B
在N定义一个序关系 < (小于) 如下:nH}
x < y 当且仅当有某 m∈ N 使得  x + m' = y mS(f
可以证明(归纳法), < 满足是三岐性和传递性g
并且有  x < y   →   x+z < y + z  (加法的保序性)dHUb
©Elinkage数学论坛 -- Elinkage极酷超级论坛  n6
在 N 定义一个二元运算·(乘法)如下:~_Vq
n·1 = na
n·m'=n·m + n"CW)v
©Elinkage数学论坛 -- Elinkage极酷超级论坛  Wb$D
可以证明(用归纳法), 如此定义的加法是完全的,无岐议的,且满足D[w
a·b = b·a  (交换律)Tj3
a·(b·c) = (a·b)·c (结合律)+~h`c
1 是乘法运算下的单位 (幺元) Tfp7
n·0 = 0    (用归纳法 n = n·1 = n·0 + n  →   n·0 = 0)aQ
©Elinkage数学论坛 -- Elinkage极酷超级论坛  'jp
简记 a·b 为 ab, 关于乘法和序还有(保序性) x > 0,  y < z → xy < xz  Ve&wJ0
©Elinkage数学论坛 -- Elinkage极酷超级论坛  l~_YH
所以可以简单地说 N 是一个保序的乘法幺半群。[
©Elinkage数学论坛 -- Elinkage极酷超级论坛  u.#WY8
N 的加法,乘法又满足(4$
a(b+c) = ab + ac,  (a+b)c = ac + bc  (由于乘法的交换性,我们只需要一侧的分配律)=
©Elinkage数学论坛 -- Elinkage极酷超级论坛  I
定义半环是由乘法对加法的分配律结合在一起的加法半群兼乘法半群。ma6-
©Elinkage数学论坛 -- Elinkage极酷超级论坛  jN
于是我们说 N 是一个保序的幺半环。ln
©Elinkage数学论坛 -- Elinkage极酷超级论坛  jox!l
自然数系就是这么回事了。由此已经可以建立哥猜等论题。R8Q
©Elinkage数学论坛 -- Elinkage极酷超级论坛  f/
=======================================================;'y98i
©Elinkage数学论坛 -- Elinkage极酷超级论坛  V
我们需要逆运算的概念:/M19Xs
A 上的一元运算无非就是A到自身的一个映射,其逆运算,如果存在的话,就是其逆映射。@,nIV
二元运算 f 的逆运算 g,h 就是使得  f(g(a,b),b)=a, f(a,h(b,a))=b 的运算。 【当 f 满足交换律时 g = h】R@u=
举例来说, x^2 的逆运算就是开平方。 减法 a - b 就是方程 x + b = a 的解等等;
©Elinkage数学论坛 -- Elinkage极酷超级论坛  p|'
我们需要运算的封闭性概念:J<
如果我们在N上定义按上述方式定义减法, 那么  2 是方程 x + 1 = 3 的解, 于是 3 - 1 = 2 很对。u
但是 x + 3 = 1 在N中没有解。所以我们就说作为N的加法的逆运算减法在N中不封闭。0
©Elinkage数学论坛 -- Elinkage极酷超级论坛  _
每次对数系的扩充的都是对数系的某种‘运算’的不封闭的解决。Hib
©Elinkage数学论坛 -- Elinkage极酷超级论坛  ]
上面对减法的封闭性要求就产生了负数的概念。直观地说我们定义一个集合8LMkT
N_ = { (-,n') | n ∈ N }, 由于生成公理,N_ 的存在没有问题。我们称N_ 的元为负整数,n'为正整数,Z = N ∪ N_ 的元为整数,并且简记 (-,n') 为 -(n') 并且定义^8K
1) Z保持N的元的加法u QT%<
2) (n+m)'+(-(n')) = m3e*0^a
3) n +(-(n+m)')= -(m')wR?CHk
4) (-(m'))+(-(n'))=-(m'+n')C:r
©Elinkage数学论坛 -- Elinkage极酷超级论坛  VuE.Y
可以证明(归纳法)Z上的这种加法使得加法的逆运算可以通行。即Z的每个元都有加法逆元。;|
n的逆元记作-n, 于是 -0 = 0, -(-n) = n 等等。{9Ja|O
©Elinkage数学论坛 -- Elinkage极酷超级论坛  0GV1</
于是Z对加法成为加法群 (每个元有加法逆元的加法幺半群)\yj
©Elinkage数学论坛 -- Elinkage极酷超级论坛  h{%Z0~
定义 (-n)m = n(-m) =  - (nm), 则N的乘法扩充到了Z,且Z是这种乘法的交换幺半群}
©Elinkage数学论坛 -- Elinkage极酷超级论坛  M5c
可以证明Z中乘法对加法的分配律成立,于是称Z为整数环。do0kLs
©Elinkage数学论坛 -- Elinkage极酷超级论坛   nCtq
Z 的序关系有N的序关系自然扩充而来: x + n' = y  等价于 x < y. 其中 n 是自然数。o
©Elinkage数学论坛 -- Elinkage极酷超级论坛  v LjM
容易证明加法对序关系的保持,乘正整数对序关系的保持。.=$n;
©Elinkage数学论坛 -- Elinkage极酷超级论坛  E|Ac
这样我们就完成了整数系的逻辑构造。d
©Elinkage数学论坛 -- Elinkage极酷超级论坛  7Ks4
考虑 Z\{0} 作为一个乘法幺半群的乘法逆,类似地我们就可以得到非0有理数的逻辑构造。Q* = Q\(0},使得Q\(0成为一个乘法群。 在Q = Q* ∪ {0} 上定义加法,使之成为加法群,于是就进一步知道 Q 成为一个数域。数域就是由乘法对加法的分配律连接起来的加法群兼去0乘法群。p*2DW
©Elinkage数学论坛 -- Elinkage极酷超级论坛  <fuX[
简单说来数域就是对四则运算封闭的数系。:
©Elinkage数学论坛 -- Elinkage极酷超级论坛  "m(C\
由Z的序关系自然地得到 Q 的序关系。 这种序关系与作为子集的Z本身序关系协调。u7G(
©Elinkage数学论坛 -- Elinkage极酷超级论坛  d{7H2
Q 具有我们熟悉的运算对序关系的保持。QeV
©Elinkage数学论坛 -- Elinkage极酷超级论坛  ]u(
Q 保持了 N, Z 的阿基米德性: 任给有理数 a, b, a > 0, 存在正整数 n 使得 na > bxM:jA
©Elinkage数学论坛 -- Elinkage极酷超级论坛  W#9
这个性质导致 Q 的稠密性。L
©Elinkage数学论坛 -- Elinkage极酷超级论坛  b8L,zP
©Elinkage数学论坛 -- Elinkage极酷超级论坛  <
从有理数域Q到R以至于C的严格而漂亮的构造,可以参考Rudin的数学分析原理。?ef8$


发贴时间2010/10/05 07:18am IP: 已设置保密[本文共5514字节]  

 该主题只有一页

快速回复主题: [讨论]数系构造的逻辑历程
您目前的身份是: 客人 ,要使用其他用户身份,请输入用户名和密码。未注册客人请输入网名,密码留空。
输入用户名和密码: 用户名: 没有注册? 密码: 忘记密码?
上传附件或图片 (最大容量 10000KB)
目前附件:(如不需要某个附件,只需删除内容中的相应 [UploadFile ...] 标签即可) [删除]
选项

使用 LeoBBS 标签?
显示您的签名?
有回复时使用邮件通知您?

使用字体转换?

    快速引用第 楼层的回复
 顶端 加到"个人收藏夹" 主题管理总固顶 取消总固顶 区固顶 取消区固顶 固顶 取消固顶 提升 沉底
加重 取消加重 精华 取消精华 锁定 解锁 删除 删除回复 移动


© 中文版权所有: 雷傲科技
程序版权所有: 雷傲超级论坛  版本: LeoBBS X Build051231
 

本论坛言论纯属发表者个人意见,与 Elinkage数学论坛 立场无关