线代[4]|浅谈数域
原创首发,文章转载请注明出处(CSDN:古希腊的汉密士),谢谢!
文章目录
- 前言
- 数域的由来
- 数域的定义
- 经典例题
- 参考资料
- 文章更新时间记录
前言
在学习高等代数的时候,我们经常可以在各种定义里看到看到“数域”两个字,但在后面的学习中这个概念似乎总是被轻描淡写的略过,似乎不是那么重要。实际上,可以这样说,不管是求解线性方程组还是矩阵的消元运算,计算中所考虑到的数集及其变化都处于数域内部。简而言之,整个过程是处于完全“封闭状态”的。下面,我们从数域的由来、数域的定义以及相应的例题进行一一的剖析。
数域的由来
在数学不断的发展中,人们渐渐意识到单单有实数的存在是远远满足的不了计算的需求。因为若仅仅在实数的范围内,我们连最简单的一元二次方程 x 2 + 1 = 0 x^2+1=0 x2+1=0都得不到解决,所以实数系被扩充到了复数系。在数系扩充的过程中,基本的指导思想没有发生变化。全体复数也组成了一个集合,集合内也有加法和乘法两种运算,同样也遵守九条运算法则:( α , β , γ ∈ K n , k , l ∈ K \alpha,\beta,\gamma\in K^n,k,l\in K α,β,γ∈Kn,k,l∈K)
- 加法交换律 α + β = β + α \alpha+\beta=\beta+\alpha α+β=β+α;
- 加法结合律 ( α + β ) + γ = α + ( β + γ ) (\alpha+\beta)+\gamma=\alpha+(\beta+\gamma) (α+β)+γ=α+(β+γ);
- 把元素 ( 0 , … , 0 ) (0,\dots,0) (0,…,0)记作 0 0 0,使对一切实数 α \alpha α, 0 + α = α + 0 = α 0+\alpha=\alpha+0=\alpha 0+α=α+0=α,称 0 0 0是 K n K^n Kn的零元;
- 对任意实数 α = ( a 1 , … , a n ) ∈ K n \alpha=(a_1,\dots,a_n)\in K^n α=(a1,…,an)∈Kn,令 − α = ( − a 1 , − a 2 , ⋯ , − a n ) ∈ K n ,有 α + ( − α ) = ( − α ) + α = 0 ,称 − α 是 α 的负元 -\alpha=(-a_1,-a_2,\cdots,-a_n)\in K^n,有\alpha+(-\alpha)=(-\alpha)+\alpha=0,称-\alpha是\alpha的负元 −α=(−a1,−a2,⋯,−an)∈Kn,有α+(−α)=(−α)+α=0,称−α是α的负元;
- 1 α = α 1\alpha=\alpha 1α=α;
- ( k l ) α = k ( l α ) (kl)\alpha=k(l\alpha) (kl)α=k(lα);
- ( k + l ) α = k α + l α (k+l)\alpha=k\alpha+l\alpha (k+l)α=kα+lα;
- k ( α + β ) = k α + k β k(\alpha+\beta)=k\alpha+k\beta k(α+β)=kα+kβ;
- 对任意非零实数 α \alpha α,存在实数 β \beta β,使 α β = 1 \alpha\beta=1 αβ=1(逆元)
将实数换成复数,上述的九条法则同样生效。向量空间的定义在加法和数乘的基础上,少一条逆元。
线性方程组的增广矩阵经过初等行变换成简化行阶梯形矩阵时,需要做加、减、乘、除四种运算。为了不影响线性方程组的求解,所考虑的数集应当对加、减、乘、除四种运算封闭,即该数集内任意两个数的和、差、商、积(除数不为零)仍然这个数集内部。受到这个启发,需要引出数域的概念。
数域的定义
定义 设复数集的一个子集K,假定其中至少包含一个非零复数(因为只有复数零的集合没有研究价值),如果满足:
- 0 , 1 ∈ k ; 0,1\in k; 0,1∈k;
- 对任意 a , b ∈ k , a ± b ∈ k , a b ∈ k 且当 b ≠ 0 时, a b ∈ k 对任意a,b\in k,a \pm b \in k ,ab \in k且当b \ne 0时,\frac{a}{b} \in k 对任意a,b∈k,a±b∈k,ab∈k且当b=0时,ba∈k;
那么,称K是一个数域。
全体复数组成一个数域,称为复数域,记作C。全体实数组成一个数域,称为实数域,记作R。全体分数(有理数)也组成一个数域,称为有理数域,记作Q。对于任一数域,取其中非零数a,则 0 = a − a ∈ K , 1 = a a ∈ K , − 1 = 0 − 1 ∈ K 0=a-a\in K ,1=\frac{a}{a}\in K ,-1=0-1\in K 0=a−a∈K,1=aa∈K,−1=0−1∈K,由此推出任意正整数 n = 1 + 1 + ⋯ + 1 ∈ K n=1+1+\cdots+1\in K n=1+1+⋯+1∈K, − n = ( − 1 ) + ( − 1 ) + ⋯ + ( − 1 ) ∈ K -n=(-1)+(-1)+\cdots+(-1)\in K −n=(−1)+(−1)+⋯+(−1)∈K。因此,对任意分数 m n \frac{m}{n} nm,由 m , n ∈ K , n ≠ 0 m,n\in K,n \ne 0 m,n∈K,n=0推出 m n ∈ K \frac{m}{n} \in K nm∈K,所以任何分数都在数域K内。由此可得到一条结论:任意数域都包含有理数域,即有理数域是最小的数域。(原理:全体整数所构成的集合Z,实际上是以0, ± 1 \pm1 ±1为基础按加法来构成。)
经典例题
e . g . 1 e.g.1 e.g.1 令 Q ( 2 ) = { a + b 2 ∣ a , b ∈ Q } Q(\sqrt2)=\lbrace a+b\sqrt2 | a,b\in Q\rbrace Q(2 )={a+b2 ∣a,b∈Q},证明 Q ( 2 ) Q(\sqrt2) Q(2 )是一个数域。
证明 0 + 0 2 ∈ Q ( 2 ) , 1 = 1 + 0 2 ∈ Q ( 2 ) 0+0\sqrt2\in Q(\sqrt2),1=1+0\sqrt2\in Q(\sqrt2) 0+02 ∈Q(2 ),1=1+02 ∈Q(2 ).设 α = a + b 2 , β = c + d 2 ∈ Q 2 \alpha=a+b\sqrt2,\beta=c+d\sqrt2\in Q\sqrt2 α=a+b2 ,β=c+d2 ∈Q2 ,则 α + β = ( a ± c ) + ( b ± d ) 2 ∈ Q ( 2 ) ; \alpha+\beta=(a\pm c)+(b\pm d)\sqrt2 \in Q(\sqrt2); α+β=(a±c)+(b±d)2 ∈Q(2 ); α β = ( a c + 2 b d ) + ( a d + b c ) 2 ∈ Q ( 2 ) . \alpha\beta=(ac+2bd)+(ad+bc)\sqrt2 \in Q(\sqrt2). αβ=(ac+2bd)+(ad+bc)2 ∈Q(2 ).
设 β ≠ 0 \beta\ne0 β=0,则c,d不全为零,从而 c − d 2 ≠ 0 c-d\sqrt2\ne0 c−d2 =0 。因此有 α β = a + b 2 c + d 2 = ( a + b 2 ) ( c − d 2 ) ( c + d 2 ) ( c − d 2 ) = a c − 2 b d c 2 − 2 d 2 + b c − a d c 2 − 2 d 2 2 ∈ Q ( 2 ) \frac{\alpha}{\beta}=\frac{a+b\sqrt2}{c+d\sqrt2}=\frac{(a+b\sqrt2)(c-d\sqrt2)}{(c+d\sqrt2)(c-d\sqrt2)}=\frac{ac-2bd}{c^2-2d^2}+\frac{bc-ad}{c^2-2d^2}\sqrt2\in Q(\sqrt2) βα=c+d2 a+b2 =(c+d2 )(c−d2 )(a+b2 )(c−d2 )=c2−2d2ac−2bd+c2−2d2bc−ad2 ∈Q(2 ).
综上所述, Q ( 2 ) Q(\sqrt2) Q(2 )是一个数域。
e . g . 2 e.g.2 e.g.2. 考察数域 Q ( 2 , 5 ) = { a + b 2 + c 5 + d 1 0 ∣ a , b , c , d ∈ Q } Q(\sqrt2,\sqrt5)=\lbrace a+b\sqrt2+c\sqrt5+d\sqrt10 | a,b,c,d\in Q \rbrace Q(2 ,5 )={a+b2 +c5 +d1 0∣a,b,c,d∈Q} 作为Q上线性空间的维数和一组基.
解: 已知 Q ( 2 , 5 ) Q(\sqrt2,\sqrt5) Q(2 ,5 ) 是一个数域,且Q是一个线性空间,我们仅需证明向量组 1 , 2 , 5 , 1 0 1,\sqrt2,\sqrt5,\sqrt10 1,2 ,5 ,1 0线性无关,因已知任一元素均能被上述向量组线性表示,所以其就是一组基,线性空间维数为4. 设 a + b 2 + c 5 + d 1 0 = 0 a+b\sqrt2+c\sqrt5+d\sqrt10=0 a+b2 +c5 +d1 0=0从线性无关的思想出发,必须证明 a = b = c = d = 0 , a=b=c=d=0, a=b=c=d=0, 注意,现在 Q ( 2 , 5 ) Q(\sqrt2,\sqrt5) Q(2 ,5 ) 是Q上线性空间,作向量组 1 , 2 , 5 , 1 0 1,\sqrt2,\sqrt5,\sqrt10 1,2 ,5 ,1 0 的线性组合时,其系数 a , b , c , d a,b,c,d a,b,c,d 只能是有理数. 将是上面的等式改写成
( a + b 2 ) + ( c + d 2 ) 5 = 0 , (a+b\sqrt2)+(c+d\sqrt2)\sqrt5=0, (a+b2 )+(c+d2 )5 =0, 若 c + d 2 ≠ 0 , c+d\sqrt2\neq 0, c+d2 =0, 则
5 = − a + b 2 c + d 2 ∈ Q ( 2 ) , \sqrt5=-\frac{a+b\sqrt2}{c+d\sqrt2}\in Q(\sqrt2), 5 =−c+d2 a+b2 ∈Q(2 ),前面已经证明 5 ≠ Q ( 2 ) , \sqrt5\neq Q(\sqrt2), 5 =Q(2 ), 因此必定 c + d 2 = 0. c+d\sqrt2=0. c+d2 =0. 现在若 d ≠ 0 , d\neq 0, d=0, 则 2 = − c d ∈ Q , \sqrt2=-\frac{c}{d}\in Q, 2 =−dc∈Q, 与 2 \sqrt2 2 为无理数矛盾,由此知 d = 0 , d=0, d=0, 而这又立即推出 c = 0. c=0. c=0. 代回原等式得 a + b 2 = 0 , a+b\sqrt2=0, a+b2 =0, 按照同样的推理得出 a = b = 0. a=b=0. a=b=0. 于是向量组 1 , 2 , 5 , 1 0 1,\sqrt2,\sqrt5,\sqrt10 1,2 ,5 ,1 0线性无关,是 Q ( 2 , 5 ) Q(\sqrt2,\sqrt5) Q(2 ,5 ) 的一组基, d i m ( 2 , 5 ) = 4 dim(\sqrt2,\sqrt5)=4 dim(2 ,5 )=4
注意:这道例题与一般证明一个向量组线性无关的办法和向量空间完全不同。
参考资料
- 高等代数学习指导 丘维声著
- 高等代数学习指导书 蓝以中著
文章更新时间记录
- 增加“第二道用数域里的元素数做向量证明基”。「2020.5.12 22:55」
- 修改标题。「2022.11.5.9:55」
- 公开阅读权限。「2023.2.17 16:10」
P.S.1 写作时长2小时!!对于数域请大家务必重视,因为这是一切应用的基础。笔者在写完一篇博客之后,通常日常有灵感都会在旧博客里持续进行添加保持文章体系的完善. 若是阅读的朋友有所得,请点赞并多多推广让更多人阅读指正笔者的成果,在此不胜感激!
线代[4]|浅谈数域相关推荐
- 步进电机五根线怎么接_热电阻三根线怎么接 浅谈热电阻识别方法
本文主要是关于热电阻的相关介绍,并着重对热电阻三根线的接法及其识别方法进行了详尽的阐述. 热电阻 热电阻(thermal resistor)是中低温区最常用的一种温度检测器.热电阻测温是基于金属导体的 ...
- 线上分享 | 浅谈用户生命周期运营
作为互联网从业者,你可能在很多地方都看到过"用户生命周期"这个词.如果用户必定流失,那就要尽一切可能延长用户的生命周期,并且产生商业价值. 本次分享会带你划分用户结构,用RFM模型 ...
- 线上分享 | 浅谈中台对产品经理的价值
本期嘉宾 高晖 瓜子二手车产品专家,曾就职饿了么.京东等 10余年IT经验,有丰富的业务中台经验 参与过B2B,B2C,O2O等多个方向 <业务中台产品搭建指南>作者 分享大纲 1. 中台 ...
- Java 线上问题排查神器 Arthas 快速上手与原理浅谈
[Arthas 官方社区正在举行征文活动,参加即有奖品拿哦~点击投稿] 作者 | 杨桢栋,笔名叫蛮三刀把刀,是一名一线互联网码农,留美访学一年,主要关注后端开发,数据安全,爬虫,物联网,边缘计算等方向 ...
- 同花顺如何切换k线_K线之形态学:浅谈纸白银产品该如何去做好交易?
K线之形态学:浅谈纸白银产品该如何去做好交易? 由于疫情期间,明显感觉到今年做投资理财的朋友多了,特别是银行的纸产品,我是分析外盘伦敦银伦敦金为主,自己也是只操作外盘产品.国内的不管是纸白银或者TD白 ...
- 浅谈智能摄像机背后的p2p连线技术
浅谈智能摄像机背后的p2p连线技术 物联网主要由各类传感器(音视频/图像/温湿度/烟雾/压力/速度)+无线入网模块(WIFI/BLE/Zigbee/NB-IOT)组成, 经过约十年的发展,国内物联网已 ...
- Java线上问题排查神器Arthas快速上手与原理浅谈
前言 当你兴冲冲地开始运行自己的Java项目时,你是否遇到过如下问题: 程序在稳定运行了,可是实现的功能点了没反应. 为了修复Bug而上线的新版本,上线后发现Bug依然在,却想不通哪里有问题? 想到可 ...
- 浅谈线上教学--致2019年的那个寒冬
浅谈线上教学–致2019年的那个寒冬 突如其来的新型冠状病毒感染的肺炎疫情,仿佛给生活按下了暂停键,居家隔离成为这个超长寒假的常态,在家学.在线学成了摆在莘莘学子面前的头等大事.教育部对此高度重视 ...
- 样条线怎么挤出平面_浅谈“沿样条线挤出”在多边形建模中的应用
龙源期刊网 http://www.qikan.com.cn 浅谈 " 沿样条线挤出 " 在多边形建模中的应用 作者:谢巍 来源:<硅谷> 2011 年第 04 期 摘要 ...
最新文章
- 数据探查与可视化平台
- Linux 知识点滴
- 持续集成工具集之二 Jenkins安装
- 彻底搞定char/wchar_t/unicode
- DOM操作简易年历案例
- php网站系统说明,飞飞php影视cms系统v3.0模版最全标签说明
- win10服务器怎么连接显示器不亮,Win10检测不到第二个显示器怎么解决?Win10外接显示器黑屏解决方法...
- Android 通知用法
- 商务周刊封面:别了,摩托罗拉
- 我们来试着解答一下下面的题目(8)(DP/多重部分和)
- word没有标题3和标题4的解决方式
- Tensorboard无法显示图片
- 创建BUG时增加字段
- javaweb mysql购物车_java web开发之实现购物车功能
- 更新Win11后感觉有点卡顿怎么回事
- 网络安全第三讲 身份认证与访问控制
- 初中数学老师计算机培训反思,初中数学老师培训心得体会优秀范文五篇
- 新东方雅思词汇---8.3、apt
- Python之JSON库的使用(二)
- 高性能HTTP加速器Varnish-3.0.3搭建、配置及优化步骤