精华内容
下载资源
问答
  • 线性代数的几何意义

    2013-03-06 23:53:58
    线性代数几何的关系:一方面几何是线性代数的描述,而另一方面线性代数是几何的推导 f(x) = T*x :这是一个典型的1D的线性函数,T是该函数的算子。它的几何意义是:以X为轴的1维点x的集合到以Y为轴的1维点y的集合...

     

    线性代数与几何的关系:一方面几何是线性代数的描述,而另一方面线性代数是几何的推导

    f(x) = T*x :这是一个典型的1D的线性函数,T是该函数的算子。它的几何意义是:以X为轴的1维点x的集合到以Y为轴的1维点y的集合的映射。而T就是其映射条件,T也是一个1D的矩阵。这样看来其实我们写程序的每一个函数都相当于一次映射,只不过返回的结果和输入的参数的维度不一定一样。

    从1D推向3D:f(x,y,z) = T*(x,y,z) 此时的T是一个3D的转换矩阵,而我们模型的点,从世界坐标映射到视图坐标,转换矩阵Tv即相当于这两个空间的一次转换。

     

    向量的几何意义:

    1.向量的点积:

    a⋅b = |a|*|b|*cos(o) = a1*b1 + a2*b2 +..+an*bn; 对位向乘。几何意义:向量内积的几何解释就是一个向量在另一个向量上的投影的积

    2.向量的叉积:

    a X b = |a||b|sin(o)*N= (a2*b3 - a3*b2, a3*b1-a1*b3, a1*b2-a2*b1) :N为垂直于aXb平面的向量。它最大的意义就是求面的单位法向量

    3.向量的单位向量表示:

    ab = a*b + aXb :ab为向量的直积,就是两个向量的矩阵乘法,a的每个数跟b的每个数乘。

    4.向量的逆运算:已知向量a和a*b的结果K,aXb的结果c,可以求出b来。这里需要列方程式:

    a*b = K ,aXb = c ,----->   b = (K*a - aXc)/a*a     :特殊时候还是可以通过这种方式做逆运算的

    5.向量与矩阵的关系:一个n维向量是一个 1n矩阵。

     

    矩阵:

    1.矩阵的加法:

    A+B :对位相加   A+n :n和A的每一位对应相加  n*A  n和A的每一位进行相乘。

    2.矩阵与向量的乘法:

    从几何意义上来讲,相当于矩阵对向量进行空间映射。从数学意义上来讲,可以把向量当做一个1n矩阵如果向量在左,可以把向量当做一个n1矩阵,如果向量在右。



     向量与矩阵乘法的特殊用途:

    (1,0,0)*A :把矩阵A的第“1”所在的行取出来,这里是第一行。

    A*(1,0,0) :把矩阵的第“1”所在的列取出来,这里是第一列。





     此外jA 单位向量左乘矩阵还有一种用途,就是求转换矩阵。例如,已知法线空间的三个单位向量在世界空间的坐标。想求法线空间转换到世界空间的矩阵真心容易,上述就是法线空间的单位向量根据转换矩阵,转换到世界空间。所以求转换矩阵的时候,只需要把世界空间的3个坐标按顺序放置就行了。

    3.特殊矩阵与向量乘:

    (1)旋转矩阵:



     从上面可知,其实想求出转换矩阵,只需要知道单位坐标系矩阵,对应的转换结果就行了。而旋转很容易理解从上图:(注意旋转是逆时针的)



     

    4.矩阵之间相乘:尽管矩阵可以看做是一组向量,但是这里把相乘的矩阵都当做转换因子来看待。那么,矩阵向乘的几何意义就是转换的累积,在做骨骼动画的时候,会用到这一点来反应每一个关键的位置和方向的变化。由于矩阵*矩阵是对原始向量的累积变换,那么,矩阵的幂就相当于多次使用同一个矩阵进行累积转换。

     

     为 距阵, 为 距阵,则矩阵  可以左乘矩阵  (注意:距阵 的列数等与矩阵  的行数),所得的积为一个  距阵 ,即

    这里有一个左乘的概念,而且乘后的结果不一定跟两个因素的类型相同,41x14 = 44,同样14x41 = 11,所以在乘的时候需要自己先对乘后结果的维度有谱。

      单元矩阵乘任何矩阵等于任何矩阵。

    左乘:前面的矩阵的每一列跟后面的矩阵的每一行相乘。

    5.转置矩阵:如果两个A和B矩阵互为转置,就是前面A的行对应后面B的列。矩阵的转置很常用,但是其作用也就是改变乘积的顺序,并无特殊的几何意义。

    6.逆矩阵:我们知道,矩阵是用来把向量从一个系变换到另一个系的算子,而逆矩阵就是把向量从另一个系又转换回来的矩阵。矩阵乘逆矩阵 = 单位矩阵。

    逆矩阵的性质:

     

     

    如果M是非奇异矩阵,则该矩阵的逆的逆等于原矩阵:(M-1)-1=M.

    单位矩阵的逆势它本身:I-1=I

    矩阵转置的逆等于它逆的转置:(MT)-1=(M-1)T

    矩阵乘积的逆等于矩阵的逆的相反顺序的乘积:(AB)-1= B-1 A-1

     

    正交矩阵:若方阵M是正交的,则当且仅当M与它转置MT的乘积等于单位矩阵。MMT=I.

    如果一个矩阵式正交的,那么它的转置等于它的逆:MT= M-1

    若一个矩阵是正交的,它必须满足:

    矩阵的每一行都是单位向量。

    矩阵的所有行都相互垂直。

     

     

     3D相关的一些数学概念和公式

    展开全文
  • 我们根据在Dynkin图(与相关Borcherds超代数的图一致)中编码生成器和关系,进一步发展了最近提出张量层次代数的定义。 我们将其应用于将灰色节点添加到秩r + 1 Kac-Moody代数g $$ \ mathfrak {g} $$ +...
  • 【线性代数的几何意义】向量基本几何意义 二、向量基本几何意义 自由向量: 大小方向(物理:矢量) 向量数学表示: 把空间中所有向量尾部都拉到坐标原点,这样N维点空间可以与N维向量空间建立一一...

    【线性代数的几何意义】向量的基本几何意义

    二、向量的基本几何意义

    自由向量:

    大小和方向(物理:矢量)

    向量的数学表示:

    把空间中所有的向量的尾部都拉到坐标原点,这样N维点空间可以与N维向量空间建立一一对应关系:N维点空间中点(0,0,0…0)取作原点,那么每一个点都可以让一个向量和它对应,这个向量就是从坐标原点出发到这个点为止的向量。

    向量加法的几何意义:

    平行四边形法则、三角形法则

    向量加法的物理意义:

    船过河问题:船头的位移(马达动力)、流水影响的位移(水速)、真正的位移

    向量内积:

    向量a和b的长度之积再乘以它们之间的夹角的余弦;

    向量a和b的坐标分量分别对应乘积的和。

    向量内积的几何和物理意义:

    向量内积的几何解释就是一个向量在另一个向量上的投影的积,也就是同方向的积

    特别的,如果一个向量如a是某个坐标轴的单位坐标向量,那么,两个向量的内积就是向量b在此坐标轴上的坐标值。这个结论非常重要,这是傅立叶分析的理论基础。

    其他几何意义:从内积数值上我们可以看出两个向量的在方向上的接近程度。当内积值为正值时,两个向量大致指向相同的方向(方向夹角小于90度);当内积值为负值时,两个向量大致指向相反的方向(方向角大于90度);当内积值为0时,两个向量互相垂直

    向量内积的生活解释:单价向量乘以数量向量,得到总价格

    向量内积的物理解释:一个斜坡上用力F斜上拉一个物体,位移为S(没有重力的情况下),那么这个力F所作的功

    向量的外积(叉积):

    向量外积的几何和物理意义:

    向量外积的几何意义:

    a × b为一个新生成的向量,这个向量垂直于a 和 b展成的平面(图中的虚线平行四边形,由线段oa和ob 所确定的平面);同样向量b × a也垂直这个平面,但方向与a × b所指的方向相反,即a × b = b × a;(右手法则)

    向量外积的物理意义:

    物理上称为轴向量

    1、知道陀螺的原理吗?高速旋转的陀螺会定向。陀螺所定义的方向就是矢径向量r和线速度v叉乘结果角速度ω方向。

    2、螺钉,螺钉只要左右向旋转即可在螺孔中前进或者后退。用螺丝刀把这棵螺钉按照F+的方向右旋,那么旋转时的扭力向量F和矢径向量r这两个叉乘的结果即是力矩M的方向,这棵螺钉就会沿着力矩M在螺母孔内前进,反方向就会改变叉积的方向进而退出螺孔(右螺旋螺钉)。也就是力矩或叉乘向量的方向就是螺钉的螺旋前进的方向,这个方向垂直于螺丝刀口和扭力的方向,也就是垂直于被叉积的两个向量的方向。

    3、我们经常骑的自行车,车子静止的时候我们在车上会摔下来,一旦骑行起来,车子就会平稳而不会左右倾倒,这也是叉积的功劳(与陀螺的原理相同)。

    向量混合运算的几何意义:

    向量加法的结合律的几何解释

    向量数乘的分配律的几何解释

    向量点积的分配律的几何解释

    向量叉积的分配律的几何解释

    (如下图:面向量,有向面积满足平行四边形法则、三角形法则)

    向量的混合积的几何解释

    以向量a,b,c为棱的平行六面体的底(平行四边形0ADB)的面积S在数值上等于|a×b|,它的高h等于向量c在向量 a×b上的投影,即h =|c| cos a ,所以平行六面体的体积等于

    V=Sh=|a×b| |c| cos a

    向量的投影和几何解释

    多个向量在任意轴上的投影和

    多个或有限个向量的和在任意轴上投影等于各个向量在同一轴上投影的和。

    多个向量在任意平面上的投影和

    多个或有限个向量的和在任意平面上投影等于各个向量在同一平面上投影的和。

    变向量的几何意义:

    对于用数组表示的向量a,如果数组中的元素部分或者全部是变量,那么这个变

    向量在n维坐标系下表示的几何图形是什么呢?

    二维变向量的几何图形

    变向量的几何图形表示为一个平面

    变向量(x1,a2)表示的是直线x2=a2

    变向量表示的是直线x2=ax1+b

    变向量(x1,ax1)就表示为一条过原点的直线

    三维变量的几何图形:

    这个平面是一个向量空间,一个被常向量所张成的向量平面空间,记为。因此,我们可以有这样的一个等价式:

    得到的新图形仍然是个平面,只是沿着向量(0,0,c) 的方向平移了长度为c的距离。

    一个变向量是和一个解析方程或方程组相对应的,因此变向量和方程一样能表示一个几

    何图形。实际上,变向量也叫向量函数。

    分类: 数学Mathematics

    展开全文
  • 代数解固然不错,并且在许多运算中和几何解很接近。但是几何解,他强大之处在于使用了...把A5中A,B,C运算A9-A13的几何运算进行比较。可以确定以下关系:    推导过程如下:    由上可得新A14:  ...

      代数解固然不错,并且在许多运算中和几何解很接近。但是几何解,他的强大之处在于使用了比较校验。比如测试了光源是否在球外并远离球体。因为随机放置的光线经常会远离球体。

      问题是为什么这两个结局方案会有如此不同。解释很简单:代数算法很没效率。把A5中的A,B,C运算和A9-A13的几何运算进行比较。可以确定以下关系:

        

      推导过程如下:

      

      由上可得新的A14:

        

      这是A6,代数解仍然比几何解复杂。因为*4和/2这种例子。回看A5:

        

      B=-2*NB  NB=B/(-2)

      把NB带入A5:

        

      NB=tca (A10的推论)

      为了消除(+-)的问题。t0,t1必须为球面计算。并在较小的正值被接受的时候。我们需要更为深入的观察。代数解的一个缺陷就是缺乏缩短处理时间的办法。在A15中,我们可以告诉光源只有C>0它才在球外。这就消除了需要计算t1,t0的状况。因为A14的标准可得知是否要从NB中添加或减去判别函数。

      同样如果NB>0,射线必然远离球心。代数解最初没有很多有用的特性,通过对情况的集合分析,找到了一种更好的算法。回顾代数解。这种情况下固有的效率变得很明显。

      本节要点是,研究问题的本质可以产生算法提速。代数解很简单,但他的目的是解决求线与球交点的一般问题。几何问题着眼于光线的特殊性(即光线指定了一条线的一部分)和问题的要求(即只需要最近的交点)。

     

     

     

     

     

        

     

    转载于:https://www.cnblogs.com/TooYoungTsukasa/p/9215966.html

    展开全文
  • 研究形部分,属于几何范筹;沟通形与数且涉及极限运算部分,属于分析学范围。这三大类数学构成了整个数学本体与核心。在这一核心周围,由于数学通过数与形这两个概念,与其它科学互相渗透,而出现了...
    a7e4cb942f31c4c907ed40d1c3a5972e.png

    数学发展到现在,已经成为科学世界中拥有100多个主要分支学科的庞大的“共和国”。大体说来,数学中研究数的部分属于代数学的范畴;研究形的部分,属于几何学的范筹;沟通形与数且涉及极限运算的部分,属于分析学的范围。这三大类数学构成了整个数学的本体与核心。在这一核心的周围,由于数学通过数与形这两个概念,与其它科学互相渗透,而出现了许多边缘学科和交叉学科。本章简要介绍数学三大核心领域中十几门主要分支学科的有关历史发展情况。

    代数学范畴

    e0256a22aac4c2845a0e699e9b96c3c8.png

    1.算数

    算术有两种含义,一种是从中国传下来的,相当于一般所说的“数学”,如《九章算术》等。另一种是从欧洲数学翻译过来的,源自希腊语,有“计算技术”之意。现在一般所说的“算术”,往往指自然数的四则运算;如果是在高等数学中,则有“数论”的含义。作为现代小学课程内容的算术,主要讲的是自然数、正分数以及它们的四则运算,并通过由计数和度量而引起的一些最简单的应用题加以巩固。

    算术是数学中最古老的一个分支,它的一些结论是在长达数千年的时间里,缓慢而逐渐地建立起来的。它们反映了在许多世纪中积累起来,并不断凝固在人们意识中的经验。

    自然数是在对于对象的有限集合进行计算的过程中,产生的抽象概念。日常生活中要求人们不仅要计算单个的对象,还要计算各种量,例如长度、重量和时间。为了满足这些简单的量度需要,就要用到分数。

    现代初等算术运算方法的发展,起源于印度,时间可能在10世纪或11世纪。它后来被阿拉伯人采用,之后传到西欧。15世纪,它被改造成现在的形式。在印度算术的后面,明显地存在着我国古代的影响。

    19世纪中叶,格拉斯曼第一次成功地挑选出一个基本公理体系,来定义加法与乘法运算;而算术的其它命题,可以作为逻辑的结果,从这一体系中被推导出来。后来,皮亚诺进一步完善了格拉斯曼的体系。

    算术的基本概念和逻辑推论法则,以人类的实践活动为基础,深刻地反映了世界的客观规律性。尽管它是高度抽象的,但由于它概括的原始材料是如此广泛,因此我们几乎离不开它。同时,它又构成了数学其它分支的最坚实的基础。

    2.初等代数

    作为中学数学课程主要内容的初等代数,其中心内容是方程理论。代数一词的拉丁文原意是“归位”。代数方程理论在初等代数中是由一元一次方程向两个方面扩展的:其一是增加未知数的个数,考察由有几个未知数的若干个方程所构成的二元或三元方程组(主要是一次方程组);其二是增高未知量的次数,考察一元二次方程或准二次方程。初等代数的主要内容在16世纪便已基本上发展完备了。

    古巴比伦(公元前19世纪~前17世纪)解决了一次和二次方程问题,欧几里得的《原本》(公元前4世纪)中就有用几何形式解二次方程的方法。我国的《九章算术》(公元1世纪)中有三次方程和一次联立方程组的解法,并运用了负数。3世纪的丢番图用有理数求一次、二次不定方程的解。13世纪我国出现的天元术(李冶《测圆海镜》)是有关一元高次方程的数值解法。16世纪意大利数学家发现了三次和四次方程的解法。

    代数学符号发展的历史,可分为三个阶段。第一个阶段为三世纪之前,对问题的解不用缩写和符号,而是写成一篇论文,称为文字叙述代数。第二个阶段为三世纪至16世纪,对某些较常出现的量和运算采用了缩写的方法,称为简化代数。三世纪的丢番图的杰出贡献之一,就是把希腊代数学简化,开创了简化代数。然而此后文字叙述代数,在除了印度以外的世界其它地方,还十分普通地存在了好几百年,尤其在西欧一直到15世纪。第三个阶段为16世纪以后,对问题的解多半表现为由符号组成的数学速记,这些符号与所表现的内容没有什么明显的联系,称为符号代数。16世纪韦达的名著《分析方法入门》,对符号代数的发展有不少贡献。16世纪末,维叶特开创符号代数,经笛卡尔改进后成为现代的形式。

    “+”、“-”号第一次在数学书中出现,是1489年魏德曼的著作。不过正式为大家所公认,作为加、减法运算的符号,那是从1514年由荷伊克开始的。1540年,雷科德开始使用现在使用“=”。到1591年,韦达在著作中大量使用后,才逐渐为人们所接受。1600年哈里奥特创用大于号“>”和小于号“<”。1631年,奥屈特给出“×”、“÷”作为乘除运算符。1637年,笛卡尔第一次使用了根号,并引进用字母表中头前的字母表示已知数、后面的字母表示未知数的习惯做法。至于“≮”、“≯”、“≠”这三个符号的出现,那是近代的事了。

    数的概念的拓广,在历史上并不全是由解代数方程所引起的,但习惯上仍把它放在初等代数里,以求与这门课程的安排相一致。公元前4世纪,古希腊人发现无理数。公元前2世纪(西汉时期),我国开始应用负数。1545年,意大利的卡尔达诺开始使用虚数。1614年,英国的耐普尔发明对数。17世纪末,一般的实数指数概念才逐步形成。

    3.高等代数

    在高等代数中,一次方程组(即线性方程组)发展成为线性代数理论;而—、二次方程发展成为多项式理论。前者是向量空间、线性变换、型论、不变量论和张量代数等内容的一门近世代数分支学科,而后者是研究只含有一个未知量的任意次方程的一门近世代数分支学科。作为大学课程的高等代数,只研究它们的基础。

    1683年关孝和(日本人)最早引入行列式概念。关于行列式理论最系统的论述,则是雅可比1841年的《论行列式的形成与性质》一书。在逻辑上,矩阵的概念先于行列式的概念;而在历史上,次序正相反。凯雷在1855年引入了矩阵的概念,在1858年发表了关于这个课题的第一篇重要文章《矩阵论的研究报告》。

    19世纪,行列式和矩阵受到人们极大的关注,出现了千余篇关于这两个课题的文章。但是,它们在数学上并不是大的改革,而是速记的一种表达式。不过已经证明它们是高度有用的工具。

    多项式代数的研究始于对3、4次方程求根公式的探索。1515年,菲洛解决了被简化为缺2次项的3次方程的求解问题。1540年,费尔拉里成功地发现了一般4次方程的代数解法。人们继续寻求5次、6次或更高次方程的求根公式,但这些努力在200多年中付诸东流。

    1746年,达朗贝尔首先给出了“代数学基本定理”的证明(有不完善之处)。这个定理断言:每一个实系数或复系数的n次代数方程,至少有一个实根或复根。因此,一般地说,n次代数方程应当有n个根。1799年,22岁的高斯在写博士论文中,给出了这个定理的第一个严格的证明。1824年,22岁的阿贝尔证明了:高于4次的一般方程的全部系数组成的根式,不可能是它的根。1828年,年仅17岁的伽罗华创立了“伽罗华理论”,包含了方程能用根号解出的充分必要条件。

    4.数论

    以正整数作为研究对象的数论,可以看作是算术的一部分,但它不是以运算的观点,而是以数的结构的观点,即一个数可用性质较简单的其它数来表达的观点来研究数的。因此可以说,数论是研究由整数按一定形式构成的数系的科学。

    早在公元前3世纪,欧几里得的《原本》讨论了整数的一些性质。他证明素数的个数是无穷的,他还给出了求两个数的公约数的辗转相除法。这与我国《九章算术》中的“更相减损法”是相同的。埃拉托色尼则给出了寻找不大于给定的自然数N的全部素数的“筛法”:在写出从1到N的全部整数的纸草上,依次挖去2、3、5、7……的倍数(各自的2倍,3倍,……)以及1,在这筛子般的纸草上留下的便全是素数了。

    当两个整数之差能被正整数m除尽时,便称这两个数对于“模”m同余。我国《孙子算经》(公元4世纪)中计算一次同余式组的“求一术”,有“中国剩余定理”之称。13世纪,秦九韶已建立了比较完整的同余式理论——“大衍求一术”,这是数论研究的内容之一。

    丢番图的《算术》中给出了求x?+y?=z?所有整数解的方法。费尔马指出x^n+y^n=z^n在n>3时无整数解,对于该问题的研究产生了19世纪的数论。之后高斯的《数论研究》(1801年)形成了系统的数论。

    数论的古典内容基本上不借助于其它数学分支的方法,称为初等数论。17世纪中叶以后,曾受数论影响而发展起来的代数、几何、分析、概率等数学分支,又反过来促进了数论的发展,出现了代数数论(研究整系数多项式的根—“代数数”)、几何数论(研究直线坐标系中坐标均为整数的全部“整点”—“空间格网”)。19世纪后半期出现了解析数论,用分析方法研究素数的分布。二十世纪出现了完备的数论理论。

    5.抽象代数

    1843年,哈密顿发明了一种乘法交换律不成立的代数——四元数代数。第二年,格拉斯曼推演出更有一般性的几类代数。1857年,凯雷设计出另一种不可交换的代数——矩阵代数。他们的研究打开了抽象代数(也叫近世代数)的大门。实际上,减弱或删去普通代数的某些假定,或将某些假定代之以别的假定(与其余假定是相容的),就能研究出许多种代数体系。

    1870年,克隆尼克给出了有限阿贝尔群的抽象定义;狄德金开始使用“体”的说法,并研究了代数体;1893年,韦伯定义了抽象的体;1910年,施坦尼茨展开了体的一般抽象理论;狄德金和克隆尼克创立了环论;1910年,施坦尼茨总结了包括群、代数、域等在内的代数体系的研究,开创了抽象代数学。

    1926年,诺特完成了理想(数)理论;1930年,毕尔霍夫建立格论,它源于1847年的布尔代数;第二次世界大战后,出现了各种代数系统的理论和布尔巴基学派;1955年,嘉当、格洛辛狄克和爱伦伯克建立了同调代数理论。

    到现在为止,数学家们已经研究过200多种这样的代数结构,其中最主要德若当代数和李代数是不服从结合律的代数的例子。这些工作的绝大部分属于20世纪,它们使一般化和抽象化的思想在现代数学中得到了充分的反映。

    抽象代数是研究各种抽象的公理化代数系统的数学学科。典型的代数系统有群、环、域等,它们主要起源于19世纪的群论,包含有群论、环论、伽罗华理论、格论、线性代数等许多分支,并与数学其它分支相结合产生了代数几何、代数数论、代数拓扑、拓扑群等新的数学学科。抽象代数已经成了当代大部分数学的通用语言。

    现在,可以笼统地把代数学解释为关于字母计算的学说,但字母的含义是在不断地拓广的。在初等代数中,字母表示数;而在高等代数和抽象代数中,字母则表示向量(或n元有序数组)、矩阵、张量、旋量、超复数等各种形式的量。可以说,代数已经发展成为一门关于形式运算的一般学说了。

    几何学范畴

    1b69f68affcd90461de84098f681aa65.png

    1.初等几何

    在希腊语中,“几何学”是由“地”与“测量”合并而来的,本来有测量土地的含义,意译就是“测地术”。“几何学”这个名词,系我国明代数学家根据读音译出的,沿用至今。

    现在的初等几何主要是指欧几里得几何,它是讨论图形(点、线、面、角、圆等)在运动下的不变性质的科学。例如,欧氏几何中的两点之间的距离,两条直线相交的交角大小,半径是r的某一圆的面积等都是一些运动不变量。

    初等几何作为一门课程来讲,安排在初等代数之后;然而在历史上,几何学的发展曾优先于代数学,它主要被认为是古希腊人的贡献。

    几何学舍弃了物质所有的其它性质,只保留了空间形式和关系作为自己研究的对象,因此它是抽象的。这种抽象决定了几何的思维方法,就是必须用推理的方法,从一些结论导出另一些新结论。定理是用演绎的方式来证明的,这种论证几何学的代表作,便是公元前三世纪欧几里得的《原本》,它从定义与公理出发,演绎出各种几何定理。

    现在中学《平面三角》中关于三角函数的理论是15世纪才发展完善起来的,但是它的一些最基本的概念,却早在古代研究直角三角形时便己形成。因此,可把三角学划在初等几何这一标题下。

    古代埃及、巴比伦、中国、希腊都研究过有关球面三角的知识。公元前2世纪,希帕恰斯制作了弦表,可以说是三角的创始人。后来印度人制作了正弦表;阿拉伯的阿尔·巴塔尼用计算sinθ值的方法来解方程,他还与阿布尔·沃法共同导出了正切、余切、正割、余割的概念;赖蒂库斯作了较精确的正弦表,并把三角函数与圆弧联系起来。

    由于直角三角形是最简单的直线形,又具有很重要的实用价值,所以各文明古国都极重视它的研究。我国《周髀算经》一开始就记载了周朝初年(约公元前1100年左右)的周公与学者商高的对话,其中就谈到“勾三股四弦五”,即勾股定理的特殊形式;还记载了在周公之后的陈子,曾用勾股定理和相似图形的比例关系,推算过地球与太阳的距离和太阳的直径,同时为勾股定理作的图注达几十种之多。在国外,传统称勾股定理为毕达哥拉斯定理,认为它的第一个一致性的证明源于毕氏学派(公元前6世纪),虽然巴比伦人在此以前1000多年就发现了这个定理。到现在人们对勾股定理已经至少提供了370种证明。

    19世纪以来,人们对于关于三角形和圆的初等综合几何,又进行了深入的研究。至今这一研究领域仍然没有到头,不少资料已引申到四面体及伴随的点、线、面、球。

    2.射影几何

    射影几何学是一门讨论在把点射影到直线或平面上的时候,图形的不变性质的一门几何学。幻灯片上的点、线,经过幻灯机的照射投影,在银幕上的图画中都有相对应的点线,这样一组图形经过有限次透视以后,变成另一组图形,这在数学上就叫做射影对应。射影几何学在航空、摄影和测量等方面都有广泛的应用。

    射影几何是迪沙格和帕斯卡在1639年开辟的。迪沙格发表了—本关于圆维曲线的很有独创性的小册子,从开普勒的连续性原理开始,导出了许多关于对合、调和变程、透射、极轴、极点以及透视的基本原理,这些课题是今天学习射影几何这门课程的人所熟悉的。年仅16岁的帕斯卡得出了一些新的、深奥的定理,并于9年后写了一份内容很丰富的手稿。18世纪后期,蒙日提出了二维平面上的适当投影表达三维对象的方法,因而从提供的数据能快速算出炮兵阵地的位置,避开了冗长的、麻烦的算术运算。

    射影几何真正独立的研究是由彭赛勒开创的。1822年,他发表了《论图形的射影性质》一文,给该领域的研究以巨大的推动作用。他的许多概念被斯坦纳进一步发展。1847年,斯陶特发表了《位置几何学》一书,使射影几何最终从测量基础中解脱出来。

    后来证明,采用度量适当的射影定义,能在射影几何的范围内研究度量几何学。将一个不变二次曲线添加到平面上的射影几何中,就能得到传统的非欧几何学。在19世纪晚期和20世纪初期,对射影几何学作了多种公设处理,并且有限射影几何也被发现。事实证明,逐渐地增添和改变公设,就能从射影几何过渡到欧几里得几何,其间经历了许多其它重要的几何学。

    3.解析几何

    解析几何即坐标几何,包括平面解析几何和立体解析几何两部分。解析几何通过平面直角坐标系和空间直角坐标系,建立点与实数对之间的一一对应关系,从而建立起曲线或曲面与方程之间的一一对应关系,因而就能用代数方法研究几何问题,或用几何方法研究代数问题。

    在初等数学中,几何与代数是彼此独立的两个分支;在方法上,它们也基本是互不相关的。解析几何的建立,不仅由于在内容上引入了变量的研究而开创了变量数学,而且在方法上也使几何方法与代数方法结合起来。

    1637年,笛卡儿发表了《方法论》及其三个附录,他对解析几何的贡献,就在第三个附录《几何学》中,他提出了几种由机械运动生成的新曲线。在《平面和立体轨迹导论》中,费尔马解析地定义了许多新的曲线。在很大程度上,笛卡儿从轨迹开始,然后求它的方程;费尔马则从方程出发,然后来研究轨迹。这正是解析几何基本原则的两个相反的方面,“解析几何”的名称是以后才定下来的。

    这门课程达到现在课本中熟悉的形式,是100多年以后的事。象今天这样使用坐标、横坐标、纵坐标这几个术语,是莱布尼兹于1692年提出的。1733年,年仅18岁的克雷洛出版了《关于双重曲率曲线的研究》一书,这是最早的一部空间解析几何著作。1748年,欧拉写的《无穷分析概要》,可以说是符合现代意义的第一部解析几何学教程。1788年,拉格朗日开始研究有向线段的理论。1844年,格拉斯曼提出了多维空间的概念,并引入向量的记号。于是多维解析几何出现了。

    解析几何在近代的发展,产生了无穷维解析几何和代数几何等一些分支。普通解析几何只不过是代数几何的一部分,而代数几何的发展同抽象代数有着密切的联系。

    4.非欧几何

    非欧几何有三种不同的含义:狭义的,单指罗氏(罗巴切夫斯基)几何;广义的,泛指一切和欧氏(欧几里得)几何不同的几何;通常意义的,指罗氏几何和黎曼几何。

    欧几里得的第5公设(平行公设)在数学史上占有特殊的地位,它与前4条公设相比,性质显得太复杂了。它在《原本》中第一次应用是在证明第29个定理时,而且此后似乎总是尽量避免使用它。因此人们怀疑第五公设的公理地位,并探索用其它公理来证明它,以使它变为一条定理。在三千多年的时间中,进行这种探索并有案可查的就达两千人以上,其中包括许多知名的数学家,但他们都失败了。

    罗巴契夫斯基于1826年,鲍耶于1832年发表了划时代的研究结果,开创了非欧几何。在这种几何中,他们假设“过不在已知直线上的一点,可以引至少两条直线平行于已知直线”,用以代替第五公设,同时保留了欧氏几何的其它公设。

    1854年,黎曼推出了另一种非欧几何。在这种几何中,他假设“过已知直线外一点,没有和已知直线平行的直线可引”,用以代替第5公设,同时保留了欧氏几何的其它公设。1871年,克莱因把这3种几何:罗巴契夫斯基—鲍耶的、欧几里得的和黎曼的分别定名为双曲几何、抛物几何和椭圆几何。

    非欧几何的发现不仅最终解决了平行公设的问题——平行公设被证明是独立于欧氏几何的其它公设的,而且把几何学从其传统模型中解放出来,创造了许多不同体系的几何的道路被打开了。

    1854年,黎曼发表了“关于作为几何学基础的假设的讲演”。他指出:每种不同的(两个无限靠近的点的)距离公式决定了最终产生的空间和几何的性质。1872年,克莱因建立了各种几何系统按照不同变换群不变量的分类方法。

    19世纪以后,几何空间概念发展的另一方向,是按照所研究流形的微分几何原则的分类,每一种几何都对应着一种定理系统。1899年,希尔伯特发表了《几何基础》一书,提出了完备的几何公理体系,建立了欧氏几何的严密的基础,并给出了证明一个公理体系的相容性(无矛盾性)、独立性和完备性的普遍原则。按照他的观点,不同的几何空间乃是从属于不同几何公理要求的元素集合。欧氏几何和非欧几何,在大量的几何系统中,只不过是极其特殊的情形罢了。

    5.拓扑学

    1736年,欧拉发表论文,讨论哥尼斯堡七桥问题。他还提出球面三角形剖分图形顶点、边、面之间关系的欧拉公式,这可以说是拓扑学的开端。

    庞加莱于1895~1904年建立了拓扑学,采用代数组合的方法研究拓扑性质。他把欧拉公式推广为欧拉—庞加莱公式,与此有关的理论现在称为同调理论和同伦理论。以后的拓扑学主要按照庞加莱的设想发展。

    拓扑学开始是几何学的一个分支,在二十世纪它得到了极大的推广。1906年,弗雷歇发表博士论文,把函数作为一个“点”来看,把函数收敛描绘成点的收敛,这就把康托的点集论和分析学的抽象化联系起来了。他在函数所构成的集合中引入距离的概念,构成距离空间,展开了线性距离空间的理论。在这个基础上,产生了点集拓扑学。在豪斯道夫的《点集论纲要》一书中,出现了更一般的点集拓扑学的完整想法。第二次世界大战后,把分析引进拓扑,发展了微分拓扑。

    现在的拓扑学可以粗略地定义为对于连续性的数学研究。任何事物的集合都能在某种意义上构成拓扑空间,拓扑学的概念和理论已基本完组成为数学的基础理论之一,渗入到各个分支,并且成功地应用于电磁学和物理学的研究。

    分析学范畴

    566033eb9da79799b75a262804309544.png

    1.微积分

    微积分学是微分学和积分学的统称,它是研究函数的导数、积分的性质和应用的一门数学分支学科。

    微积分的出现具有划时代意义,时至今日,它不仅成了学习高等数学各个分支必不可少的基础,而且是学习近代任何一门自然科学和工程技术的必备工具。现在的微积分学的教程,通常的讲授次序是先极限、再微分、后积分,这与历史顺序正好相反。

    在微积分历史中,最初的问题是涉及计算面积、体积和弧长的。阿基米得(公元前3世纪)的方法最接近于现行的积分法。在17世纪探索微积分的至少有十几位大数学家和几十位小数学家。牛顿和莱布尼茨分别进行了创造性的工作,各自独立地跑完了“微积分这场接力赛的最后一棒”。

    1609年,开普勒为了计算行星运动第二定律中包含的面积,和在他的论文中讨论的酒桶的体积,而借助了某种积分方法。1635年,卡瓦列利发表了一篇阐述不可分元法的论文,提出卡瓦列利原理,它是计算面积和体积的有价值的工具。1650年,沃利斯把卡瓦列利的方法系统化,并作了推广。

    微分起源于作曲线的切线和求函数的极大值或极小值问题。虽然可以追溯到古希腊,但是第一个真正值得注意的先驱工作,是费尔马1629年陈述的概念。1669年,巴罗对微分理论作出了重要的贡献,他用了微分三角形,很接近现代微分法。一般认为,他是充分地认识到微分法为积分法的逆运算的第一个人。

    至此,还有什么要做的呢?首要的是,创造一般的符号和一整套形式的解析规则,形成可以应用的微积分学,这项工作是由牛顿和莱布尼兹彼此独立地做出的。接着的工作是在可接受的严格的基础上,重新推导基本理论,这必须等到此课题想到多方面应用之后。柯西和他的后继者们完成了这一工作。

    牛顿早在1665年才23岁时,就创造了流数法(微分学),并发展到能求曲线上任意一点的切线和曲率半径。他的《流数法》写于1671年,但直到死后9年的1736年才发表。牛顿考虑了两种类型的问题,等价于现在的微分和解微分方程。他定义了流数(导数)、极大值、极小值、曲线的切线、曲率、拐点、凸性和凹性,并把它的理论应用于许多求积问题和曲线的求长问题。

    牛顿创立的微积分原理是同他的力学研究分不开的,他借此发现、并研究了力学三大定律和万有引力定律,1687年出版了名著《自然哲学的数学原理》。这本书是研究天体力学的,包括了微积分的一些基本概念和原理。

    莱布尼茨是在1673年到1676年之间,从几何学观点上独立发现微积分的。1676年,他第一次用长写字母∫表示积分符号,象今天这样写微分和微商。1684年~1686年,他发表了一系列微积分著作,力图找到普遍的方法来解决问题。今天课本中的许多微分的基本原则就是他推导出来的,如求两个函数乘积的n阶导数的法则,现在仍称作菜布尼兹法则。莱布尼兹的另一最大功绩是创造了反映事物本质的数字符号,数学分析中的基本概念的记号,例如微分dx,二级微分dx?,积分∫ydx,导数dy/dx等都是他提出来的,并且沿用至今,非常方便。

    牛顿与莱布尼茨的创造性工作有很大的不同。主要差别是牛顿把x和y的无穷小增量作为求导数的手段,当增量越来越小的时候,导数实际上就是增量比的极限,而莱布尼兹却直接用x和y的无穷小增量(就是微分)求出它们之间的关系。

    这个差别反映了他们研究方向的不同,在牛顿的物理学方向中,速度之类是中心概念;而在莱布尼兹的几何学方向中,却着眼于面积体积的计算。其它差别是,牛顿自由地用级数表示函数,采用经验的、具体和谨慎的工作方式,认为用什么记号无关紧要;而莱布尼兹则宁愿用有限的形式来表示函数,采用富于想象的、喜欢推广的、大胆的工作方式,花费很多时间来选择富有提示性的符号。

    到1700年,现在大学且学习的大部分微积分内容已经建立起来。第一部微积分课本出版于1696年,是洛比达写的。1769年,欧拉论述了二重积分。1773年,拉格朗日考察了三重积分。1837年,波尔查诺给出了级数的现代定义。19世纪分析学的严谨化,是由柯西奠基的。现在课本中的极限、连续性定义、把导数看作差商的极限、把定积分看做和的权限等等,实质上都是柯西给出的。进一步完成这一工作的是威尔斯特拉斯,他给出了现在使用的精确的极限定义,并同狄德金、康托于19世纪70年代建立了严格的实数理论,使微积分有了坚固可靠的逻辑基础。

    2.微分方程

    凡是表示未知函数和未知函数的导数以及自变量之间的关系的方程,就叫做微分方程。如果未知函数是一元函数,则称为常微分方程,如果未知函数是多元函数,则称为偏微分方积。微分方程的基本问题是在一定条件下,从所给出的微分方程解出未知函数。

    微分方程几乎是与微积分同时发展起来的,由于它与力学、物理学的渊源很深,所以在13世纪便已自成一门独立的学科了。两个多世纪来,这一学科已发展得相当完善。

    1676年,莱布尼兹在致牛顿的信中,首先提出了“微分方程”这个名称。在他们两人的著作中,都包含了许多微分方程的实例。早期的研究侧重于探讨各类一阶方程的解法,并由此导致了方程的分类。18世纪,欧拉解决了全微分方程和“欧拉方程”(一类高阶变系数线性微分方程),提出了通解和特解的概念,指出了n阶线性方程通解的结构。其后,泰勒得到了方程的奇解;拉格朗日推导了非齐次线性方程的常数交易法。

    对于微分方程组的研究,始于达朗贝尔。19世纪前半叶,柯西开始研究解的存在性和唯一性。19世纪后半叶,数学家们开始利用群论来研究微分方程,由此建立连续群和李群的新理论。庞加莱引入了极限环的概念,李雅普诺夫引入了微分方程组解的稳定性概念。他们的方法都不必直接求解,称为定性理论。1927年,毕尔霍夫建立了“动力系统”的一段定性理论。

    一阶偏微分方程的研究首先是从几何学问题开始的。拉格朗日指出,解一阶线性偏微分方程的技巧,在于把它们化为常微分方程。一阶非线性偏微分方程的研究,始于欧拉和拉格朗日,蒙日为偏微分方程的几何理论奠定了基础。到18世纪末叶,在引入奇解、通解、全积分、通积分、特积分等概念之后,偏微分方程已形成一门独立的学科。

    二阶偏微分方程的研究,始于18世纪的弦振动理论。通常见的二阶偏微分方程均来自物理或力学的实际问题,它们构成了这门学科中一个独立的系统—数学物理方程。

    积分方程源于阿贝尔1826年的工作,但是直到1888年杜·波阿·雷蒙的著作中,才正式提出了积分方程这个名词。1896年开始,伏特拉给出了两类积分方程的一般理论;不久,弗雷德荷姆大体上完成了一类重要的线性积分方程理论。由于这类积分方程常出现在一些物理问题中,因此积分方程论常被包含在数学物理方程内。

    现代科学技术,如空间技术、现代物理学、力学等,都有许多问题需要用微分方程来求解,甚至在化学、生物学、医药学、经济学等方面,微分方程的应用也越来越多。

    3.微分几何

    微分几何这门分支学科主要研究三维欧氏空间中曲线和曲面的内在性质,所谓内在性质就是同几何对象在空间中的位置无关的性质。它以微积分、微分方程这些分支学科的理论为研究工具。或简单地说,微分几何就是用分析方法研究几何性质。

    微分几何的发端可见于1731年克莱洛的著作中。蒙日1809年的著作包含了这一学科的雏型;欧拉研究了曲面的一般理论;高斯1827年的《关于曲面的一般研究》一书,论述了曲面理论,创立了内蕴几何学,奠定了曲面微分几何的基础。1887~1896年,达布的《曲面一般理论的讲义》集曲线和曲面微分几何之大成。

    变换理论对于微分几何的影响,产生了射影微分几何、仿射微分几何等分支。二十世纪初,出现了对非充分光滑曲线和曲面以及曲线曲面的整体问题的研究,形成现代微分几何。1923年,嘉当提出了一般联络的理论。1945年,陈省身建立了代数拓扑和微分几何的联系,他又是纤维丛概念的创建人之一。

    4.函数论

    函数论包括复变函数论和实变函数论,但有时也单指复变函数论(或复分析)而言。

    复数概念出现于16世纪,但对它的全面掌握和广泛运用,却迟至18世纪。自变量是复数的函数,叫做复变函数。如果复变函数在某一区域内除了可能有有限个例外点之外,处处有导数,那么这个伏辩函数叫做在这个区域内的解析函数;例外点叫做奇点。复变函数论主要研究解析函数的性质。

    复变函数的研究是从18世纪开始的。30~40年代,欧拉利用幂级数详细讨论了初等复变函数的性质。达朗贝尔于1752年得出复变函数可微的必要条件(即“柯西—黎曼条件”)。拉普拉斯也考虑过复变函数的积分。

    复变函数的全面发展是在19世纪。1825年,柯西讨论了虚限定积分,1831年他实质上推出了柯西积分公式,并在此基础上建立了一整套复变函数微分和积分的理论。黎曼1851年的博士论文《复变函数论的基础》,奠定了复变函数论的基础。他推广了单位解析函数到多位解析函数;引入了“黎曼曲面”的重要概念,确立了复变因数的几何理论基础;证明了保角映射基本定理。威尔斯特拉斯完全摆脱了几何直观,以幂级数为工具,用严密的纯解析推理展开了函数论。定义解析函数是可以展开为幂级数的函数,围绕着奇点研究函数的性质。近几十年来,复变函数论又有很大的推进。

    复变函数论是解决工程技术问题的有力工具,飞机飞行理论、热运动理论、流体力学理论、电场和弹性理论等中的很多问题。

    实变函数的发展较晚,其中积分论是它的重要组成部分。容度和测度是线段长度概念的推广,是为了推广积分的概念而建立起来的。1893年,约当给出了“约当容度”的概念,并用于讨论积分。1894年,斯提捷首先推广了积分概念,得到了“斯提捷积分”。1898年,波莱尔改进了容度的概念,他称之为‘测度”。下一步决定性的进展是1902年勒贝格改进了测度理论,建立了“勒贝格测度”、“勒贝格积分”等概念。1904年,他完全解决了黎曼可积性的问题。后来,数学家们对积分的概念又作了种种推广和探索。

    实变函数的另一个领域是函数构造论。1885年,威尔斯特拉斯证明:连续函数必可表示为一致收敛的多项式级数。这一结果和切比雪夫斯基最佳逼近论,是函数构造论的开端。近年来,这个方向的研究十分活跃。

    5.泛函分析

    本世纪初,出现了一个广阔的新领域——泛函分析,它是古典分析观点的推广。近几十年来,由于分析学中许多新分支的形成,从而发现在代数、几何、分析中不同领域之间的某些方面的类似。其次,几何与集合论的结合产生了抽象空间的理论,将函数看成函数空间中的点。再加上实变函数论以及近世代数的感念和方法的影响,就产生了泛函分析。它综合函数论,几何和代数的观点,研究无穷维向量空间上的函数、算子和极限理论。

    19世纪末,弗尔太拉和二十世纪初阿达玛的著作中已出现泛函分析的萌芽。随后希尔伯特、海令哲开创了“希尔伯将空间”的研究,黎斯、冯·诺伊曼等人在这方面都有重要的建树。

    展开全文
  • 算法数学俱乐部日期:2019年12月18日正文共:2131字15图预计阅读时间:6分钟来源:mengqi's blog上一章《线性代数拾遗(一):线性方程组、向量方程矩阵方程》我们讲到三种等价形式:线性方程组、向量方程矩阵方程...
  • 公众号“每日晴天”,可关注领取我笔记pdf版哦~------------------------------------------------------------------------------一、向量1、简单高中那些就不说了....2、左右手系:右手系:将右手四指...
  • 个人重点 ...容易搞错一个是向量积方向交换后加上负号,还有轮换不变号交换两个变号,还有直线与平面夹角公式求出来是sinθ,还有投影曲线不要忘记写另一个参数=0。 ...
  • ... 代数和几何不仅折磨着无数的中小学甚至大学生,它们之间扑朔迷离的关系也是上千年来数学家们的烦恼,很多著名的猜想至今仍悬而未决。看似毫不相关的两个数学分支,到底能否鹊桥相见呢...
  • 图片来源:newscientist.com代数和几何不仅折磨着无数的中小学甚至大学生,它们之间扑朔迷离的关系也是上千年来数学家们的烦恼,很多著名的猜想至今仍悬而未决。看似...
  • 上次,我们从分析学角度看了一下射影变换射影几何,也许有相当一部分读者被刷新了世界观。那么这次我们紧接着从代数学角度来看一下射影变换射影几何吧,希望大家会有新体会。锐腾君个人专栏:...
  • 线性代数Cramer法则与几何解释 引言-Introduction Cramer’s Rule(克莱姆法则)是线性代数理论中基础定理之一 适用于求解变量方程数目相等线性方程组 理解这个定理,可以帮助我们加深对线性方程组...
  • 对极几何的基本概念中是对对极几何的基本形式进行了描述,但并没有从数学角度对其进行描述,而基本矩阵正是对对极几何的代数描述 1.总述 对极几何描述的就是点x它的对极线l’之间的关系:l′=Fxl'=Fx,其中,矩阵...
  • 李群与李代数坐标系定义李群与李代数之间的关系那么如何对李代数的部分进行求导呢?为什么对于微小变量的求导等于直接对变量进行求导?求极限求导的统一性?2. 图像处理基础知识3. 2D-2D 对极几何4. 2D-3D(PnP)...
  • 数学研究是各种各样可以表述为数学概念事物所组成各类集合,以及同一集合或不同类集合中各种数学关系(运算或转换)相应数学结构。定义1.7(等价关系):集合X中一个二元关系R称为等价关系,如果R是自...
  • 本书以严谨思路、灵活方式讲述了高等院校线性代数与解析几何课程内容,既突出了线性代数作为各专业公共课程工具性操作性,也反映了线性代数与解析几何、多项式知识思想性以及它们之间联系。...
  • 先来说一下罗德里格公式作用:已知一向量,... 接下来用图解方式,给出罗德里格旋转公式证明(理解证明,对矩阵、向量、叉乘、点乘的几何意义会有质提高)    恩,接下来对这张大图,进行下分析:已知...
  • 几何代数:数列递推可视化分析 什么是二次递推数列?有什么特点? an+1=f(an)f(x)=αx2+βx+γα≠0 \qquad a_{n+1} = f(a_n) \\ f(x) = \alpha x^2 + \beta x + \gamma \\ \alpha \neq 0 an+1​=f(an​)f(x)=α...
  • 它只考虑物体间位置关系而不考虑它们形状大小。 “拓扑”就是把实体抽象成与其大小、形状无关“点”,而把连接实体线路抽象成“线”,进而以图形式来表示这些点与线之间关系的方法,其目的在于研究这些...
  • 空间向量线性运算与数量积  空间向量线性运算 AB→\overrightarrow{AB}AB  空间向量数量积 ... 点、直线以及平面位置关系 空间直角坐标变换  向量在不同直角坐标系下坐标  点在不...
  • ‍‍上一章我们讲到三种等价形式:线性方程组、向量方程矩阵方程。见连接:线性代数拾遗(一):线性方程组、向量方程矩阵方程由于这三者之间等价关系,我们解决现实问题时可以自由选取其中任意...
  • : 在我看来计算几何不同于解析几何,解析几何注重用代数的方法解决几何问题,太暴力将几何中一些优美的位置关系都给忽略了,都是通过代数解决,不够优美,而计算几何更加注重点点、线线、点线的关系,...
  • 我们获得有关这些结构特性和相关香农熵的代数和计算结果,并生成关联数字序列。 根据内容分布函数对Young图表征将这些数字序列与双色子方程联系起来。 这些内容分发功能可以可视化为内容空间中连接,分段,...

空空如也

空空如也

1 2 3 4 5 ... 16
收藏数 313
精华内容 125
关键字:

代数和几何的关系