族谱网 头条 人物百科

向量空间

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:414
转发:0
评论:0
公理化定义给定域F,F上的向量空间V是一个集合,其上定义了两种二元运算:向量加法:+:V×V→V,把V中的两个元素u和v映射到V中另一个元素,记作u+v;标量乘法:&middo

公理化定义

给定域F,F上的向量空间V是一个集合,其上定义了两种二元运算:

向量加法: + : V × V → V,把V中的两个元素 u 和 v 映射到V中另一个元素,记作 u + v;

标量乘法: · : F × V → V,把F中的一个元素 a 和 V 中的一个元素u变为V中的另一个元素,记作 a·u。

V中的元素称为向量,相对地,F中的元素称为标量。而V装备的两个运算满足下面的公理(对F中的任意元素a、b以及V中的任意元素u、v、w都成立):

向量加法结合律:u + (v + w) = (u + v) + w,

向量加法交换律:u + v = v + u,

存在向量加法的单位元:V里存在一个叫做零向量的元素,记作0,使得对任意u ∈ V,都有u +0 = u,

向量加法的逆元素:对任意u ∈ V,都存在v ∈ V,使得u + v = 0。

标量乘法对向量加法满足分配律:a· (v + w) = a·v +a·w.

标量乘法对域加法满足分配律:(a + b) ·v = a·v +b·v.

标量乘法与标量的域乘法相容:a(b·v) = (ab) ·v.

标量乘法有单位元:域F的乘法单位元“1”满足:对任意v,1 ·v = v。

前四个公理说明装备了向量加法的V是交换群,余下的四个公理应用于标量乘法。需要注意的是向量之间的加法“+”和标量之间的加法“+”是不一样的,标量与向量之间的标量乘法·和两个标量之间的乘法(域F中自带的乘法)也是不一样的。

简而言之,向量空间是一个F−模。

基本性质

以下是一些可以从向量空间的公理直接推出的性质:

零向量0是唯一的;

对任意a ∈ F,a·0 = 0;

对任意u ∈ V,0 ·u = 0(0是F的加法单位元)。

如果a·u = 0,则要么a = 0,要么u = 0。

向量加法的逆向量v是唯一的,记作− v。u + (− v)也可以写成u − v,两者都是标准的。

对任意u ∈ V,−1 ·u = − u.

对任意a ∈ F以及u ∈ V, (−a) ·u= −(a·u) = a· (− u).

例子

对一般域F,V记为F-向量空间。若F是实数域ℝ,则V称为实数向量空间;若F是复数域ℂ,则V称为复数向量空间;若F是有限域,则V称为有限域向量空间。

最简单的F-向量空间是F自身。只要定义向量加法为域中元素的加法,标量乘法为域中元素的乘法就可以了。例如当F是实数域ℝ时,可以验证对任意实数a、b以及任意实数u、v、w,都有:

u + (v + w) = (u + v) + w,

v + w = w + v,

零元存在:实数0满足:对任何的实数v,v + 0 = v,

逆元素存在:对任何的实数v,它的相反数w = −v就满足v + w = 0。

标量乘法对向量加法满足分配律:a(v + w) = av+a w.

向量乘法对标量加法满足分配律:(a + b)v = av+bv.

标量乘法与标量的域乘法相容:a(bv) =(ab)v。

标量乘法有单位元:ℝ中的乘法单位元,也就是实数“1”满足:对任意实数v,1v = v。

更为常见的例子是给定了直角坐标系的平面:平面上的每一点P{\displaystyle P}都有一个坐标P(x,y){\displaystyle P(x,y)},并对应着一个向量(x,y){\displaystyle (x,y)}。所有普通意义上的平面向量组成了一个空间,记作ℝ²,因为每个向量都可以表示为两个实数构成的有序数组(x,y){\displaystyle (x,y)}。可以验证,对于普通意义上的向量加法和标量乘法,ℝ²满足向量空间的所有公理。实际上,向量空间是ℝ²的推广。

同样地,高维的欧几里得空间ℝ也是向量空间的例子。其中的向量表示为v=(a1,a2,⋯ ⋯ -->,an){\displaystyle v=(a_{1},a_{2},\cdots ,a_{n})},其中的a1,a2,⋯ ⋯ -->,an{\displaystyle a_{1},a_{2},\cdots ,a_{n}}都是实数。定义向量的加法和标量乘法是:

可以验证这也是一个向量空间。

再考虑所有系数为实数的多项式的集合R[X]{\displaystyle \mathbb {R} [X]}。对于通常意义上的多项式加法和标量乘法,R[X]{\displaystyle \mathbb {R} [X]}也构成一个向量空间。更广泛地,所有从实数域射到实数域的连续函数的集合C(R,R){\displaystyle {\mathcal {C}}(\mathbb {R} ,\mathbb {R} )}也是向量空间,因为两个连续函数的和或差以及连续函数的若干倍都还是连续函数。

方程组与向量空间

向量空间的另一种例子是齐次线性方程组(常数项都是0的线性方程组)的解的集合。例如下面的方程组:

如果(x1,y1,z1){\displaystyle (x_{1},y_{1},z_{1})}和(x2,y2,z2){\displaystyle (x_{2},y_{2},z_{2})}都是解,那么可以验证它们的“和”(x1+x2,y1+y2,z1+z2){\displaystyle (x_{1}+x_{2},y_{1}+y_{2},z_{1}+z_{2})}也是一组解,因为:

同样,将一组解乘以一个常数后,仍然会是一组解。可以验证这样定义的“向量加法”和“标量乘法”满足向量空间的公理,因此这个方程组的所有解组成了一个向量空间。

一般来说,当齐次线性方程组中未知数个数大于方程的个数时,方程组有无限多组解,并且这些解组成一个向量空间。

对于齐次线性微分方程,解的集合也构成向量空间。比如说下面的方程:

出于和上面类似的理由,方程的两个解f1{\displaystyle f_{1}}和f2{\displaystyle f_{2}}的和函数f1+f2{\displaystyle f_{1}+f_{2}}也满足方程。可以验证,这个方程的所有解构成一个向量空间。

子空间基底

如果一个向量空间V的一个非空子集合W对于V的加法及标量乘法都封闭(也就是说任意W中的元素相加或者和标量相乘之后仍然在W之中),那么将W称为V的线性子空间(简称子空间)。V的子空间中,最平凡的就是空间V自己,以及只包含0的子空间0{\displaystyle {0}}。

给出一个向量集合B,那么包含它的最小子空间就称为它的生成子空间,也称线性包络,记作span(B)。

给出一个向量集合B,若它的生成子空间就是向量空间V,则称B为V的一个生成集。如果一个向量空间V拥有一个元素个数有限的生成集,那么就称V是一个有限维空间。

可以生成一个向量空间V的线性无关子集,称为这个空间的基。若V={0},约定唯一的基是空集。对非零向量空间V,基是V“最小”的生成集。向量空间的基是对向量空间的一种刻画。确定了向量空间的一组基B之后,空间内的每个向量都有唯一的方法表达成基中元素的线性组合。如果能够把基中元素按下标排列:B={e1,e2,⋯ ⋯ -->,en,⋯ ⋯ -->}{\displaystyle \mathbf {B} =\left\{e_{1},e_{2},\cdots ,e_{n},\cdots \right\}},那么空间中的每一个向量v便可以通过坐标系统来呈现:

这种表示方式必然存在,而且是唯一的。也就是说,向量空间的基提供了一个坐标系。

可以证明,一个向量空间的所有基都拥有相同基数,称为该空间的维度。当V是一个有限维空间时,任何一组基中的元素个数都是定值,等于空间的维度。例如,各种实数向量空间:ℝ⁰, ℝ¹, ℝ², ℝ³,…, ℝ,…中, ℝ的维度就是n。在一个有限维的向量空间(维度是n)中,确定一组基B={e1,e2,⋯ ⋯ -->,en}{\displaystyle \mathbf {B} =\left\{e_{1},e_{2},\cdots ,e_{n}\right\}},那么所有的向量都可以用n个标量来表示。比如说,如果某个向量v表示为:

那么v可以用数组v=(λ λ -->1,λ λ -->2,⋯ ⋯ -->,λ λ -->n){\displaystyle v=(\lambda _{1},\lambda _{2},\cdots ,\lambda _{n})}来表示。这种表示方式称为向量的坐标表示。按照这种表示方法,基中元素表示为:

可以证明,存在从任意一个n维的F{\displaystyle \mathbf {F} }-向量空间到空间Fn{\displaystyle \mathbf {F} ^{n}}的双射。这种关系称为同构。

线性映射

给定两个系数域都是F的向量空间V和W,定义由V到W的线性变换(或称线性映射)为所有从V射到W并且它保持向量加法和标量乘法的运算的函数f:

所有线性变换的集合记为L(V,W){\displaystyle {\mathcal {L}}(V,W)},这也是一个系数域为F的向量空间。在确定了V和W上各自的一组基之后,L(V,W){\displaystyle {\mathcal {L}}(V,W)}中的线性变换可以通过矩阵来表示。

如果两个向量空间V和W之间的一个线性映射是一一映射,那么这个线性映射称为(线性)同构,表示两个空间构造相同的意思。如果在V和W之间存在同构,那么称这两个空间为同构的。如果向量空间V和W之间存在同构f:V→ → -->W{\displaystyle f:\,V\rightarrow W},那么其逆映射g:W→ → -->V{\displaystyle g:\,W\rightarrow V}也存在,并且对所有的x∈ ∈ -->V,y∈ ∈ -->W{\displaystyle x\in V,\,y\in W},都有:

概念化及额外结构

研究向量空间很自然涉及一些额外结构。额外结构如下:

一个实数或复数向量空间加上长度概念(就是范数)则成为赋范向量空间。

一个实数或复数向量空间加上长度和角度的概念则成为内积空间。

一个向量空间加上拓扑结构并满足连续性要求(加法及标量乘法是连续映射)则成为拓扑向量空间。

一个向量空间加上双线性算子(定义为向量乘法)则成为域代数。

参考文献

《中国大百科全书》

Howard Anton and Chris Rorres. Elementary Linear Algebra, Wiley, 9th edition, ISBN 0-471-66959-8.

Kenneth Hoffmann and Ray Kunze. Linear Algebra, Prentice Hall, ISBN 0-13-536797-2.

Seymour Lipschutz and Marc Lipson. Schaum"s Outline of Linear Algebra, McGraw-Hill, 3rd edition, ISBN 0-07-136200-2.

Gregory H. Moore. The axiomatization of linear algebra: 1875-1940, Historia Mathematica22 (1995), no. 3, 262-303.

Gilbert Strang. "Introduction to Linear Algebra, Third Edition", Wellesley-Cambridge Press, ISBN 0-9614088-9-8


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 辛向量空间
标准辛空间更多资料:辛矩阵标准辛空间R带有由一个非奇异斜对称矩阵给出的辛形式ω。典型地,ω写成矩阵形式表为分块矩阵这里In是n×n单位矩阵。用基向量表示一个经过修改的正交化过程指出任何有限维辛向量空间都有这样一组基,经常称为达布基或辛基底。有另外一种方式理解标准辛形式。因上面所使用的带有标准结构的模型空间R容易导致误会,我们用一个“匿名”空间替代之。设V是一个n-维实向量空间,V为其对偶空间。现在考虑直和W:=V⊕V,带有如下形式:选取V的任何一组基(v1,…,vn),考虑其对偶基我们能将基理解成在W中的向量。若记xi=(vi,0)和yi=(0,vi),将它们放在一块,组成了W一组完整的基,这里定义的形式ωω-->{\displaystyle\omega}可以证明具有本节最初的那些性质,换句话说,每一个辛结构都同构于一个形如V⊕V的形式。对子空间V的选择不是唯一的,对V选...
· 向量空间的维数
例子向量空间R的基底为,因此有dimR(R)=3.更一般的,dimR(R)=n,更一般的,dimF(F)=n对任何的域F.复数C既是实向量空间又是复向量空间;dimR(C)=2以及dimC(C)=1.所以向量空间的维数取决于构成向量空间的域.只有一个零向量构成的向量空间{0}的维数是0.一些事实如果W是V的线性子空间,那么dim(W)≤dim(V).为证明两个有限维向量空间相等,通常使用下面的准则:如果V是有限维向量空间,W是V的线性子空间,并且dim(W)=dim(V),那么W=V.R有标准基底{e1,...,en},其中ei是单位矩阵的第i列.域F上的任何两个向量空间是同构的.任何他们基底之间的双射能够唯一的扩展到整个向量空间上的线性双射.参阅基底拓扑维数,也被称为勒贝格覆盖维数分形维数,也被称为豪斯多夫维数科鲁尔维数参考资料Gannon,Terry,Moonshinebeyondth...
· 拓扑向量空间
定义File:Topologicalvectorspaceillust2.svg如果乘法运算在0处是连续的,则对于0的任何邻域U和任何标量λ存在另一个0的邻域V使得λV被包含在U中。这个必要条件也会变为充分条件,如果增加了额外假设;参见Trèves(1967,Chapter3)。带有上述两个性质的原点的邻域族唯一确定一个拓扑向量空间。在这个向量空间内的任何其他点的邻域系统是通过平移获得的。一个拓扑向量空间X是布于一个拓扑域K(通常取实数或复数域)上的向量空间,其上带有拓扑结构使得向量加法X×X→X与标量乘法K×X→X为连续映射。注:某些作者也要求X是豪斯多夫空间,更有要求其为局部凸空间者(例如Fréchet空间)。一个拓扑向量空间是豪斯多夫空间的充分条件是该空间为T1{\displaystyleT_{1}}空间。布于K上的拓扑向量空间范畴通常记为TVSK或TVectK,其对象为布于K上的拓...
· 向量
表示方法向量由方向和程度(或:长度)两个因素所组成,可以记为a→→-->{\displaystyle{\vec{a}}}。一些书本向量会用粗体字母表示,如v{\displaystyle\mathbf{v}},要区分是否粗体字有时不容易,例如D{\displaystyle\!\mathrm{D}}和D{\displaystyle\!\mathbf{D}}肉眼看易混淆。向量的直观图形表示则一般使用带箭头的线段。而遇到某些特殊情况需要表示与记载纸面垂直的向量,则会使用圆圈中打叉或打点的方式来表示(如右图)。圆圈中带点的记号(⊙)表示由纸下方指向纸上方的向量,而圆圈中带叉的记号(⊗)则表示由纸的上方指向纸下方的向量。由于这种记号不表示向量的大小,所以必须时需要在旁边或其它地方另外注明。在直角坐标系中,定义有若干个特殊的基本向量,其它的向量可以通过这些基本向量来表示。在常见的三维空间直角坐标系...
· 向量势
定理设为二次连续可微的螺线向量场。假设当||x||→∞时,v(x)下降得足够快。定义那么,A是v的一个向量势,也就是说:这个定理的一个推广是亥姆霍兹分解,它表明任何一个向量场都可以分解为一个螺线向量场和一个无旋向量场的和。非唯一性螺线向量场所具有的向量势不是唯一的。如果A是v的一个向量势,那么:也是一个向量势,其中m是任何一个连续可微的标量函数。这可以从梯度的旋度是零的事实推出。参见向量分析基本定理磁矢势螺线管参考文献FundamentalsofEngineeringElectromagneticsbyDavidK.Cheng,Addison-Wesley,1993.

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信