![](https://img-blog.csdnimg.cn/20191123101154398.png?x-oss-process=image/resize,m_fixed,h_224,w_224)
线性代数(Hoffman&Kunze)
文章平均质量分 67
Kenneth Hoffman和Ray Kunze的线性代数第二版学习笔记与习题集
christangdt
数学IT爱好/网球迷/靠金融过活
展开
-
Definition and Theorems of Chapter 9
Definition. A (sesqui-linear) form on a real or complex vector space VVV is a function fff on V×VV\times VV×V with values in the field of scalars such that( a ) f(cα+β,γ)=cf(α,γ)+f(β,γ)f(c\alpha+\beta,\gamma)=cf(\alpha,\gamma)+f(\beta,\gamma)f(cα+β,γ)=cf(原创 2020-06-12 14:48:09 · 415 阅读 · 0 评论 -
9.3 Positive Forms
这一节讲的内容在国内的学校教材中常被列为“(半)正定二次型”,从form的角度理解比从矩阵的角度理解要容易一些。fff是positive与由fff的矩阵AAA形成的函数g(X,Y)=Y∗AXg(X,Y)=Y^{\ast}AXg(X,Y)=Y∗AX是positive这二者等价,而Theorem 5说明:g(X,Y)=Y∗AXg(X,Y)=Y^{\ast}AXg(X,Y)=Y∗AX是positive又等价于存在可逆矩阵PPP使得A=P∗PA=P^{\ast}PA=P∗P。这个定理实际用起来并不容易,为了引入对p原创 2020-06-08 15:48:20 · 890 阅读 · 0 评论 -
9.2 Forms on Inner Product Spaces
这一章开始,作者warn了一下:the material presented here is more sophiscated and generally more involved technically. 从9.2节开始就有所体会,原以为前八章的写法已经够凝练抽象了,不过从第9章看起来这本书被称为线代中的Rudin不是浪得虚名。9.2节相对还好懂一些。这一节定义了form,其实就是嵌入了一个linear operator的inner product,在orthonormal basis下,这个form原创 2020-06-02 13:03:37 · 402 阅读 · 0 评论 -
Definition and Theorems of Chapter 8
Definition. Let FFF be the field of real numbers or the field of complex numbers, and VVV a vector space over FFF. An inner product on VVV is a function which assigns to each ordered pair of vectors α...原创 2020-05-29 16:46:22 · 346 阅读 · 0 评论 -
8.5 Normal Operators
这一节的核心任务是解决如下问题:If TTT is a linear operator on a finite-dimensional inner product space VVV, under what conditions does VVV have an orthonormal basis consisting of characteristic vectors for TTT?即标准正交基下的对角化问题。答案就是TTT是normal的,在real情形下,TTT要求是self-adjoint的。#原创 2020-05-29 16:31:35 · 609 阅读 · 0 评论 -
8.4 Unitary Operators
如果在两个vector space之间有一个isomorphism,那么这个isomorphism是一个1-1对应的线性变换,而如果这两个vector space同时是inner product space,则isomorphism还要求内积不变,即preserve inner products。内积保留和isomorphism,和标准正交积...原创 2020-05-27 13:18:41 · 1655 阅读 · 0 评论 -
8.3 Linear Functionals and Adjoints
The first portion of this section treats linear functionals on an inner product space and their relation to the inner product. The basic result is that any linear functional fff on a finite-dimensional inner product space is ‘inner product with a fixed vec原创 2020-05-18 13:42:36 · 802 阅读 · 0 评论 -
8.2 Inner Product Spaces
这一节讨论内积空间,内容丰富,但都是经典的内容,比如Caucy-Schwarz不等式,orthogonal和orthonormal,Gram-Schmidt正交化过程。后半部分是投影和最小化过程,这是线性代数的核心内容之一。这部分的重要概念是垂直投影(orthogonal projection),垂直补空间(orthogonal complement)。Theorem 5说明任何一个子空间和其垂直补空间直和成为总的空间,其推论说明如果子空间的投影变换是EEE则垂直补空间的投影变换是I−EI-EI−E,以及B原创 2020-05-14 08:19:29 · 1429 阅读 · 1 评论 -
8.1 Inner Products
内积是一般线性代数都会cover的内容,本节的处理在定义上并没有什么不同,但后面的阐述则非常有高度,其中EXAMPLE6是如何从一个已知的内积和non-singular的变换得到一个新的内积,并且本节还介绍了polarization identities和内积矩阵,将之前的知识和内积串起来,让人意识到内积和矩阵、线性变换等很多知识是有内在联系的。Exercises1.Let VVV be a ...原创 2020-05-06 20:55:06 · 1055 阅读 · 0 评论 -
Definition and Theorems of Chapter 7
Definition. If α\alphaα is any vector in VVV, the TTT-cyclic subspace generated by α\alphaα is the subspace Z(α;V)Z(\alpha;V)Z(α;V) of all vectors of the form g(T)α,g∈F[x]g(T)\alpha,g\in F[x]g(T)α,g∈F...原创 2020-05-04 16:40:46 · 302 阅读 · 0 评论 -
7.5 Summary; Semi-Simple Operators
这一节是一个总结(summary)和一部分新的内容即semi-simple operator。总结部分是对第6章和第7章的一个高度概括,叙述很简练有效,值得原样照搬:We began to study TTT by means of characteristic values and characteristic vectors. We introduced diagonalizable op...原创 2020-05-04 16:38:20 · 402 阅读 · 0 评论 -
7.4 Computation of Invariant Factors
这一节名义上是说计算,但是通篇都是在证明一种“算法”,而且还只是算法的原理,挺复杂。本节的目的是将一个多项式矩阵通过行列基本变换,得到一个等价的对角矩阵,其中该矩阵的invariant factors在对角线的下方出现。整个过程非常说理化,好在能看懂,最后的一些结论却是很有意思,比如n阶方阵A的最小多项式其实是特征多项式除以xI-A的所有n-1阶子矩阵行列式的最大公约数。Exercises1....原创 2020-05-04 11:40:16 · 420 阅读 · 0 评论 -
7.3 The Jordan Form
Jordan Form是一种比upper triangular更为简单的形式,是结合了之前对幂零矩阵和primary decomposition theorem的结果而成,####Exercises1.Let N1N_1N1 and N2N_2N2 be 3×33\times 33×3 nilpotent matrices over the field FFF. Prove that N1...原创 2020-05-03 09:11:59 · 1507 阅读 · 1 评论 -
7.2 Cyclic Decompositions and the Rational Form
这一节的内容不长但是证明很难。核心目的是证明VVV可以成为有限个cyclic space的直和。首先介绍了TTT-admissible的定义,是一个比invariant更强的定义,其能够保证多项式运算在子空间中有对应的分项(投影),Theorem 3是Cyclic Decomposition Theorem,与之前的Primary Decomposition Theorem相比,其说明VVV可以成...原创 2020-04-30 15:29:28 · 627 阅读 · 0 评论 -
7.1 Cyclic Subspaces and Annihilators
这一节开始讲由某一个向量α\alphaα经过T的多项式产生的subspaceZ(α;T)Z(\alpha;T)Z(α;T),以及TTT-annihilator的概念,Theorem 1阐述了TTT-annihilator的阶数和cyclic subspace维数的关系、如何通过cyclic构造一组基,TTT-annihilator是限制在Z(α;T)Z(\alpha;T)Z(α;T)上的opera...原创 2020-04-16 13:34:47 · 510 阅读 · 0 评论 -
6.8 The Primary Decomposition Theorem
这个定理(Theorem 12)可能是非计算导向的线性代数课中比较重要的定理之一,也许比它重要的就是Spectral Theory了。这一定理从一个operator TTT的minimal polynomial出发,根据最小多项式的因式(primes)出发,得到一个对应的direct sum且invariant under TTT的对VVV的分解,并且在每一个分解出的子空间中,TTT在其上的限制得...原创 2020-04-13 20:59:08 · 1069 阅读 · 0 评论 -
6.7 Invariant Direct Sums
这一节考虑direct sum中每一个子空间都是在TTT下invariant的情况,这种情况的好处是:TTT在每一个WiW_iWi上都可以限制为一个linear operator TiT_iTi。所以TTT可以看成是T1,…,TkT_1,\dots,T_kT1,…,Tk的direct sum,即TTT的变化结果可以分解为在每个独立的TiT_iTi在WiW_iWi上的变化结果。这一WiW...原创 2020-04-11 16:01:35 · 531 阅读 · 0 评论 -
6.6 Direct-Sum Decompositions
这一节介绍比较经典的direct sum和projection的概念,direct sum可以和k维坐标有一个形象的类比,实质是一种“互不相干”的感觉。在direct sum下不同子空间的基合起来就是和空间的一组基。投影projection是线性代数中比较重要的概念,其体现了线性无关的分解思想,本节的投影定义不是很多其他教材上用的类似PUP_UPU这样概念上很好理解和想象但定义上略不严格的做法,...原创 2020-04-10 16:10:59 · 874 阅读 · 0 评论 -
6.5 Simultaneous Triangulation; Simultaneous Diagonalization
这一节解决的核心问题是,在一族可交换operator条件下,如果这个族都是可三角化(对角化)的,那么能有一组基使得该族内所有operator在这一基下的矩阵都是三角化(对角化)的。Exercises1.Find an invertible real matrix PPP such that P−1APP^{-1}APP−1AP and P−1BPP^{-1}BPP−1BP are both d...原创 2020-04-09 17:35:47 · 530 阅读 · 1 评论 -
6.4 Invariant Subspaces
这一节除了讨论invariant subspaces外,还有很多其他扩展性的内容。例如EXAMPLE 8说明:和TTT可交换的operator的range和null space都是在TTT下invariant的。对于invariant subspace WWW,限制在某一subspace WWW上的operator TWT_WTW可以定义,通过对WWW和TTT的矩阵形式讨论,可以得到TWT_WT...原创 2020-04-07 15:23:08 · 816 阅读 · 0 评论 -
6.3 Annihilating Polynomials
这一节主要是引入了一个新的定义:minimal polynomial。之前看过的教材中对此的定义是degree最低的能让T或者A为0的多项式,其实这个最低degree是有点概念性上的东西,但是这本书由于之前引入了ideal和generator,所以定义起来要严谨得多。比较容易证明的几个结论是:TTT和[T]B[T]_{\mathfrak B}[T]B有相同的minimal polynomial,...原创 2020-04-05 17:07:26 · 1045 阅读 · 0 评论 -
6.2 Characteristic Values
这一章的名字叫Elementary Canonical Forms,翻译过来应该叫初级的规范形式,围绕着如何将一个linear operator以最简单的形式表现出来,或找一个最简单的矩阵under some specific basis。本节讲的是特征值,特征值与对角化紧密联系。本节中,定义特征值和特征向量之后,还定义了characteristic space associated with ...原创 2020-04-04 21:15:45 · 760 阅读 · 0 评论 -
Definition and Theorems of Chapter 6
Definition. Let VVV be a vector space over the field FFF and let TTT be a linear operator on VVV. A characteristic value of TTT is a scalar ccc in FFF such that there is a non-zero vector α\alphaα in ...原创 2020-04-03 11:59:56 · 408 阅读 · 0 评论 -
5.4 Additional Properties of Determinants
这一节主要说了转置矩阵行列式的计算、特殊的分块矩阵行列式计算,通过classical adjoint计算行列式,以及通过行列式确定矩阵是否可逆及逆矩阵计算方法(Theorem 4), 最后提了一下Cramer’s rule。最后的最后,作者还苦口婆心的说不要注重行列式的计算,要注重其理论意义和证明,关注how it behaves而不是how to compute。(结果习题上来就是两道compu...原创 2020-03-31 20:47:39 · 423 阅读 · 2 评论 -
5.3 Permutations and the Uniqueness of Determinants
这一节讲了permutation,即1,…,n1,\dots,n1,…,n的重排与行列式的关系,进而证明了行列式的唯一性。这种处理优于将permutation引入到行列式的定义中,因为permutation的很多性质用行列式的alternate和单位矩阵值为1的已证结论进行证明更为方便。Theorem 2通过给出一个显式的与permutation有关的公式来证明行列式的唯一性,Theorem 3说...原创 2020-03-29 18:17:29 · 438 阅读 · 0 评论 -
5.2 Determinant Functions
这一节开始讲行列式。行列式是在一个commutative ring上满足nnn-linear,alternating和D(I)=1D(I)=1D(I)=1的函数,而书里的处理是分别把nnn-linear,alternating都显式定义出来,并在定义伴随矩阵后,在Theorem 1中显式给出了一个计算nnn阶行列式的公式,本节并没有涉及行列式是否唯一的证明,但给了2阶、3阶行列式的具体公式。##...原创 2020-03-25 21:06:17 · 438 阅读 · 0 评论 -
Definition and Theorems of Chapter 5
Definition. A ring is a set KKK, together with two operations (x,y)→x+y(x,y)\to x+y(x,y)→x+y and (x,y)→xy(x,y)\to xy(x,y)→xy satisfying( a ) KKK is a commutative group under the operation (x,y)→x+y(x...原创 2020-03-22 16:23:39 · 190 阅读 · 0 评论 -
4.5 The Prime Factorization of a Polynomial
这一节的内容相对常规,主要谈多项式的因式分解,首先定义了一个多项式是否reducible,以及prime的定义。Theorem 8及其推论是很好理解的结论:如果ppp整除fgfgfg,则必整除其中一个,整除多个多项式乘积同理。Theorem 9是分解的唯一性,注意对monic polynomial才有此结论。由于分解唯一但分解出的prime可能有重复项,故将重复项加幂后,得到一个多项式的prima...原创 2020-03-21 16:02:07 · 376 阅读 · 0 评论 -
4.4 Polynomial Ideals
这一节先说了一些多项式整除的结论(Theorem 4)和多项式空间中的Taylor公式(Theorem 5),Theorem 6揭示了多项式的根的multiplicity和求导算子D之间的关系。下一部分引入的是ideal,Theorem 7证明了任何一个ideal都由唯一一个monic polynomial生成,通过这一定理的推论可以得到最大公约数(greatest common divisor...原创 2020-03-20 16:05:35 · 437 阅读 · 0 评论 -
4.3 Lagrange Interpolation
这一节其实是两部分内容:Lagrange interpolation formula和linear algebra的isomorphism。Lagrange interpolation 公式提供了一种用n+1个点的值去固定所有不高于n阶多项式的方法,其在标准基下的矩阵是Vandermonde matrix,这个矩阵的行列式相信折磨过不少刚学高等代数的学子。第二部分先把polynomial(本质是...原创 2020-03-19 08:30:05 · 788 阅读 · 0 评论 -
4.2 The Algebra of Polynomials
这一章讲多项式是我读过的线性代数教材中讲多项式最为拔高的,在定义了什么是一个域上的linear algebra(实质是vector space加上向量乘法,不是数乘)之后,定义F[x]F[x]F[x]为无限维向量中所有有限维(即从某一分量之后全为0)的向量张成的子空间,其中的元素称为polynomial。这是一种全新的定义方式,而多项式中的xxx实际上是向量(0,1,0,… )(0,1,0,\do...原创 2020-03-18 10:34:24 · 436 阅读 · 0 评论 -
Definition and Theorems of Chapter 4
Definition. Let FFF be a field. A linear algebra over the field F is a vector space a\Large{\frak a}a over FFF with an additional operation called multiplication of vectors which associates with each ...原创 2020-03-17 10:57:28 · 379 阅读 · 0 评论 -
3.7 The Transpose of a Linear Transformation
Theorem 21说明,从T∈L(V,W)T\in L(V,W)T∈L(V,W)可以自然的得到一个L(W∗,V∗)L(W^*,V^*)L(W∗,V∗)的元素,即对于g∈W∗g\in W^*g∈W∗,g(Tα),α∈Vg(T\alpha),\alpha \in Vg(Tα),α∈V是一个从VVV到FFF的Linear functional。如果记这个元素为TtT^tTt,那么有Tt(g)(α)=g...原创 2020-03-03 18:46:47 · 544 阅读 · 0 评论 -
3.6 The Double Dual
在已经有了VVV的dual space(V∗=L(V,F)V^*=L(V,F)V∗=L(V,F))之后,还有一个V∗V^*V∗的dual space(V∗∗=L(V∗,F)V^{**}=L(V^*,F)V∗∗=L(V∗,F)),利用Theorem 17和其两个推论可以证明V∗∗V^{**}V∗∗中的所有元素都有Lα(f)=f(α)L_{\alpha}(f)=f(\alpha)Lα(f)=f(α)...原创 2020-03-02 16:25:38 · 552 阅读 · 0 评论 -
3.5 Linear Functionals
###Exercises#1.In R3R^3R3,let α1=(1,0,1),α2=(0,1,−2),α3=(−1,−1,0){\alpha}_1=(1,0,1),{\alpha}_2=(0,1,-2),{\alpha}_3=(-1,-1,0)α1=(1,0,1),α2=(0,1,−2),α3=(−1,−1,0).( a ) If fff is a linear functional...原创 2020-03-01 16:55:48 · 846 阅读 · 0 评论 -
Definition and Theorems of Chapter 3
Definition. Let VVV and WWW be vector spaces over the field FFF. A linear tranformation from VVV into WWW is a function TTT from VVV into WWW such thatT(cα+β)=c(Tα)+Tβ,∀α,β∈V,∀c∈FT(c{\alpha}+{\beta})...原创 2020-02-29 16:32:56 · 364 阅读 · 0 评论 -
Definition and Theorems of Chapter 2
Definition. A vector space (or linear space) consists of the following:a field FFF of scalars;a set VVV of objects, called vectors;a rule (or operation), called vector addition, which associates w...原创 2020-02-23 10:44:30 · 262 阅读 · 0 评论 -
Definition and Theorems of Chapter 1
Theorem 1. Equivalent systems of linear equations have the same solutions.Theorem 2. To each elementary row operations e\bold{e}e there corresponds an elementary row operation e1\bold{e}_1e1, of the...原创 2020-02-21 10:54:28 · 251 阅读 · 0 评论 -
3.4 Reprsentation of Transformations by Matrices
###Exercises#1. Let TTT be the linear operator on C2C^2C2 defined by T(x1,x2)=(x1,0)T(x_1,x_2)=(x_1,0)T(x1,x2)=(x1,0). Let B\mathfrak BB be the stantard ordered basis for C2C^2C2 and let B′={α1,α2...原创 2020-01-17 16:22:53 · 1074 阅读 · 0 评论 -
3.3 Isomorphism
这一节把isomorphism单独阐述,即既是一对一又是onto的,也就是一个bijection。其本质可以用文中的一句话概括:isomorphism is an equivalence relation on the class of vector spaces。Theorem 10说明了所有n维vector space都和FnF^nFn是isomorphic的,实际上,isomorphism是...原创 2020-01-15 10:13:03 · 1267 阅读 · 0 评论