Finite-Dimensional Vector Spaces - P. Halmos (Springer, 1987)
在学习代数学之余，值得一看的代数学书籍。里面介绍了更为丰富的代数学概念和结论。PREFACEMy purpose in this book is to treat linear transformations on finite-dimensional vector spaces by the methods of more general theories. Theidea is to emphasize the simple geometric notions common to many partsof mathematics and its applications, and to do so in a language that givesaway the trade secrets and tells the student what is in the back of the mindsof people proving theorems about integral equations and Hilbert spaces.The reader does not, however, have to share my prejudiced motivationExcept for an occasional reference to undergraduate mathematics the bookis self-contained and may be read by anyone who is trying to get a feelingfor the linear problems usually discussed in courses on matrix theory orhigher"algebra. The algebraic, coordinate-free methods do not lose powerand elegance by specialization to a finite number of dimensions, and theyare, in my belief, as elementary as the classical coordinatized treatmentI originally intended this book to contain a theorem if and only if aninfinite-dimensional generalization of it already exists, The temptingeasiness of some essentially finite-dimensional notions and results washowever, irresistible, and in the final result my initial intentions are justbarely visible. They are most clearly seen in the emphasis, throughout, ongeneralizable methods instead of sharpest possible results. The reader maysometimes see some obvious way of shortening the proofs i give In suchcases the chances are that the infinite-dimensional analogue of the shorterproof is either much longer or else non-existent.A preliminary edition of the book (Annals of Mathematics Studies,Number 7, first published by the Princeton University Press in 1942)hasbeen circulating for several years. In addition to some minor changes instyle and in order, the difference between the preceding version and thisone is that the latter contains the following new material:(1) a brief dis-cussion of fields, and, in the treatment of vector spaces with inner productsspecial attention to the real case.(2)a definition of determinants ininvariant terms, via the theory of multilinear forms. 3 ExercisesThe exercises(well over three hundred of them) constitute the mostsignificant addition; I hope that they will be found useful by both studentPREFACEand teacher. There are two things about them the reader should knowFirst, if an exercise is neither imperative "prove that.., )nor interrogtive("is it true that...?" )but merely declarative, then it is intendedas a challenge. For such exercises the reader is asked to discover if theassertion is true or false, prove it if true and construct a counterexample iffalse, and, most important of all, discuss such alterations of hypothesis andconclusion as will make the true ones false and the false ones true. Secondthe exercises, whatever their grammatical form, are not always placed 8oas to make their very position a hint to their solution. Frequently exer-cises are stated as soon as the statement makes sense, quite a bit beforemachinery for a quick solution has been developed. A reader who tries(even unsuccessfully) to solve such a"misplaced"exercise is likely to ap-preciate and to understand the subsequent developments much better forhis attempt. Having in mind possible future editions of the book, I askthe reader to let me know about errors in the exercises, and to suggest im-provements and additions. (Needless to say, the same goes for the text.)None of the theorems and only very few of the exercises are my discovery;most of them are known to most working mathematicians, and have beenknown for a long time. Although i do not give a detailed list of my sources,I am nevertheless deeply aware of my indebtedness to the books and papersfrom which I learned and to the friends and strangers who, before andafter the publication of the first version, gave me much valuable encourage-ment and criticism. Iam particularly grateful to three men: J. L. Dooband arlen Brown, who read the entire manuscript of the first and thesecond version, respectively, and made many useful suggestions, andJohn von Neumann, who was one of the originators of the modern spiritand methods that I have tried to present and whose teaching was theinspiration for this bookP、R.HCONTENTS的 FAPTERPAGRI SPACESI. Fields, 1; 2. Vector spaces, 3; 3. Examples, 4;4. Comments, 55. Linear dependence, 7; 6. Linear combinations. 9: 7. Bases, 108. Dimension, 13; 9. Isomorphism, 14; 10. Subspaces, 16; 11. Calculus of subspaces, 17; 12. Dimension of a subspace, 18; 13. Dualspaces, 20; 14. Brackets, 21; 15. Dual bases, 23; 16. Reflexivity, 24;17. Annihilators, 26; 18. Direct sums, 28: 19. Dimension of a directsum, 30; 20. Dual of a direct sum, 31; 21. Qguotient spaces, 33;22. Dimension of a quotient space, 34; 23. Bilinear forms, 3524. Tensor products, 38; 25. Product bases, 40 26. Permutations41; 27. Cycles,44; 28. Parity, 46; 29. Multilinear forms, 4830. Alternating formB, 50; 31. Alternating forms of maximal degree,52II. TRANSFORMATIONS32. Linear transformations, 55; 33. Transformations as vectors, 5634. Products, 58; 35. Polynomials, 59 36. Inverses, 61; 37. Mat-rices, 64; 38. Matrices of transformations, 67; 39. Invariance,7l;40. Reducibility, 72 41. Projections, 73 42. Combinations of pro-jections, 74; 43. Projections and invariance, 76; 44. Adjoints, 78;45. Adjoints of projections, 80; 46. Change of basis, 82 47. Similarity, 84; 48. Quotient transformations, 87; 49. Range and null-space, 88; 50. Rank and nullity, 90; 51. Transformations of rankone, 92 52. Tensor products of transformations, 95; 53. Determinants, 98 54. Proper values, 102; 55. Multiplicity, 104; 56. Triangular form, 106; 57. Nilpotence, 109; 58. Jordan form. 112III ORTHOGONALITY11859. Inner products, 118; 60. Complex inner products, 120; 61. Innerproduct spaces, 121; 62 Orthogonality, 122; 63. Completeness, 124;64. Schwarz e inequality, 125; 65. Complete orthonormal sets, 127;CONTENTS66. Projection theorem, 129; 67. Linear functionals, 130; 68. P aren, gBCHAPTERtheses versus brackets, 13169. Natural isomorphisms, 138;70. Self-adjoint transformations, 135: 71. Polarization, 13872. Positive transformations, 139; 73. Isometries, 142; 74. Changeof orthonormal basis, 144; 75. Perpendicular projections, 14676. Combinations of perpendicular projections, 148; 77. Com-plexification, 150; 78. Characterization of spectra, 158; 79. Spec-ptral theorem, 155; 80. normal transformations, 159; 81. Orthogonaltransformations, 162; 82. Functions of transformations, 16583. Polar decomposition, 169; 84. Commutativity, 171; 85. Self-adjoint transformations of rank one, 172IV. ANALYSIS....17586. Convergence of vectors, 175; 87. Norm, 176; 88. Expressions forthe norm, 178; 89. bounds of a self-adjoint transformation, 17990. Minimax principle, 181; 91. Convergence of linear transformations, 182 92. Ergodic theorem, 184 98. Power series, 186APPENDIX. HILBERT SPACERECOMMENDED READING, 195INDEX OF TERMS, 197INDEX OF SYMBOLS, 200CHAPTER ISPACES§L. FieldsIn what follows we shall have occasion to use various classes of numbers(such as the class of all real numbers or the class of all complex numbers)Because we should not at this early stage commit ourselves to any specificclass, we shall adopt the dodge of referring to numbers as scalars. Thereader will not lose anything essential if he consistently interprets scalarsas real numbers or as complex numbers in the examples that we shallstudy both classes will occur. To be specific(and also in order to operateat the proper level of generality) we proceed to list all the general factsabout scalars that we shall need to assume(A)To every pair, a and B, of scalars there corresponds a scalar a+called the sum of a and B, in such a way that(1) addition is commutative,a+β=β+a,(2)addition is associative, a+(8+y)=(a+B)+y(3 there exists a unique scalar o(called zero)such that a+0= a forevery scalar a, and(4)to every scalar a there corresponds a unique scalar -a such that十(0(B)To every pair, a and B, of scalars there corresponds a scalar aBcalled the product of a and B, in such a way that(1)multiplication is commutative, aB pa(2)multiplication is associative, a(Br)=(aB)Y,( )there exists a unique non-zero scalar 1 (called one)such that al afor every scalar a, and(4)to every non-zero scalar a there corresponds a unique scalar a-1or-such that aaSPACES(C)Multiplication is distributive with respect to addition, a(a+n)If addition and multiplication are defined within some set of objectsscalars) so that the conditions(A),B), and (c)are satisfied, then thatset(together with the given operations) is called a field. Thus, for examplethe set Q of all rational numbers(with the ordinary definitions of sumand product)is a field, and the same is true of the set of all real numberaand the set e of all complex numbersHHXERCISIS1. Almost all the laws of elementary arithmetic are consequences of the axiomsdefining a field. Prove, in particular, that if 5 is field and if a, and y belongto 5. then the following relations hold80+a=ab )Ifa+B=a+r, then p=yca+(B-a)=B (Here B-a=B+(a)(d)a0=0 c=0.(For clarity or emphasis we sometimes use the dot to indi-cate multiplication.()(-a)(-p)(g).If aB=0, then either a=0 or B=0(or both).2.(a)Is the set of all positive integers a field? (In familiar systems, such as theintegers, we shall almost always use the ordinary operations of addition and multi-lication. On the rare occasions when we depart from this convention, we shallgive ample warningAs for "positive, "by that word we mean, here and elsewherein this book, "greater than or equal to zero If 0 is to be excluded, we shall say"strictly positive(b)What about the set of all integers?(c) Can the answers to these questiong be changed by re-defining addition ormultiplication (or both)?3. Let m be an integer, m2 2, and let Zm be the set of all positive integers lessthan m, zm=10, 1, .. m-1). If a and B are in Zmy let a +p be the leastpositive remainder obtained by dividing the(ordinary) sum of a and B by m, andproduct of a and B by m.(Example: if m= 12, then 3+11=2 and 3. 11=9)a) Prove that i is a field if and only if m is a prime.(b What is -1 in Z5?(c) What is囊izr?4. The example of Z, (where p is a prime)shows that not quite all the laws ofelementary arithmetic hold in fields; in Z2, for instance, 1 +1 =0. Prove thatif is a field, then either the result of repeatedly adding 1 to itself is always dif-ferent from 0, or else the first time that it is equal to0 occurs when the numberof summands is a prime. (The characteristic of the field s is defined to be 0 in thefirst case and the crucial prime in the second)SEC. 2VECTOR SPACES35. Let Q(v2)be the set of all real numbers of the form a+Bv2, wherea and B are rational.(a)Ie(√2) a field?(b )What if a and B are required to be integer?6.(a)Does the set of all polynomials with integer coefficients form a feld?(b)What if the coeficients are allowed to be real numbers?7: Let g be the set of all(ordered) pairs(a, b)of real numbers(a) If addition and multiplication are defined by(a月)+(,6)=(a+y,B+6)and(a,B)(Y,8)=(ary,B6),does s become a field?(b )If addition and multiplication are defined by(α,月)+⑦,b)=(a+%,B+6)daB)(,b)=(ay-6a6+的y),is g a field then?(c)What happens (in both the preceding cases)if we consider ordered pairs ofcomplex numbers instead?§2. Vector spaceWe come now to the basic concept of this book. For the definitionthat follows we assume that we are given a particular field s; the scalarsto be used are to be elements of gDEFINITION. A vector space is a set o of elements called vectors satisfyingthe following axiomsQ (A)To every pair, a and g, of vectors in u there corresponds vectora t y, called the aum of a and y, in such a way that(1)& ddition is commutative,x十y=y十a(2)addition is associative, t+(y+2)=(+y)+a(3)there exists in V a unique vector 0(called the origin) such thata t0=s for every vector and(4)to every vector r in U there corresponds a unique vector -rthat c+(-x)=o(B)To every pair, a and E, where a is a scalar and a is a vector in u,there corresponds a vector at in 0, called the product of a and a, in sucha way that(1)multiplication by scalars is associative, a(Bx)=aB)=, and(2 lz a s for every vector xSPACESSFC B(C)(1)Multiplication by scalars is distributive with respect to vectorddition, a(+y=a+ ag, and2)multiplication by vectors is distributive with respect to scalar ad-dition, (a B )r s ac+ Bc.These axioms are not claimed to be logically independent; they aremerely a convenient characterization of the objects we wish to study. Therelation between a vector space V and the underlying field s is usuallydescribed by saying that v is a vector space over 5. If S is the field Rof real number, u is called a real vector space; similarly if s is Q or if gise, we speak of rational vector spaces or complex vector space§3. ExamplesBefore discussing the implications of the axioms, we give some examplesWe shall refer to these examples over and over again, and we shall use thenotation established here throughout the rest of our work.(1) Let e(= e)be the set of all complex numbers; if we interpretr+y and az as ordinary complex numerical addition and multiplicatione becomes a complex vector space2)Let o be the set of all polynomials, with complex coeficients, in avariable t. To make into a complex vector space, we interpret vectoraddition and scalar multiplication as the ordinary addition of two poly-nomials and the multiplication of a polynomial by a complex numberthe origin in o is the polynomial identically zeroExample(1)is too simple and example (2)is too complicated to betypical of the main contents of this book. We give now another exampleof complex vector spaces which(as we shall see later)is general enough forall our purposes.3)Let en,n= 1, 2,. be the set of all n-tuples of complex numbers.Ix=(1,…,轨)andy=(m1,…,n) are elements of e, we write,,bdefinitionz+y=〔1+叽,…十物m)0=(0,…,0),-inIt is easy to verify that all parts of our axioms(a),(B), and (C),52, aresatisfied, so that en is a complex vector space; it will be called n-dimenaionalcomplex coordinate space
- 2020-12-05下载
- 积分：1
1553B中文手册
恩菲特公司的1553B中文手册，手册丰富，详细，是1553B开发者的优选方案成都恩菲特科長有限公司EPH31580日录恩菲特产品保修条款…安全标志符号,D香看看看。。。垂垂看导D看警告第1章芯片概述…11.简介12.EPH31580特性111.3.EPH31580描述……14.电气特性+++··+++++++.1415.功能描述.…1.6.曼彻斯特解码…171.7.吋间戳178.中断19.存储器访问和寄存器访问1.10. BUS CONTROL框架.171.11. REMOTE TERMINAL框架……11.12. BUS MONITOR框榘18第2章软件接口自●●看命·●●●看鲁●息1921.上电状态22.存储器管理23.寄存器定义…21.中断屏敞寄存器(读/写22.配置寄冇器#1(读/23.配置寄存器#2(读/写)24.开始/复位寄存器(写)2.5.BC/RT命令堆栈指针寄存器(读)….262.6.BC控制字尕RT子地址控制宇寄存器(读)…2627.时标寄存器(读/写)28.中断状态寄存器(读29.配置寄存器#3(读/写)……2.10.配置寄冇器#4(读/写)21.配置寄存器#5(读/写)2.12.数据堆栈指针寄存器(读)…322.13.BC下一条消息开始时间寄存器(读/)214.BC帧时间/RT最后一个命令字/BM触发设置寄存器(读/写)2.15.RT状态字寄存器(读)216.RIB字寄存器(读).342.17. BLOCK STATUS WORD第3章 BUS CONTROL OPERATION……38HTTP:www.enpht.comTel:028-851482738528FAX:028-85148287107第3页成都恩菲特科長有限公司EPH31580BC存储器管理…38ACTIVE AREAS DOUBLE BUFFERING38PROGRAMMING OF BC MESSAGE FRAMES39BC Memory managcmcntMessage Block Formats∴39BC控制字∴…42DESCRIPTOR STACK44C MESSAGE GAP TIMEBC FRAME AUTO REPEATMINOR AND MAJOR FRAMES甲甲···:·…46BCⅠ NTERRUPT……46OTUER FUNCTIONBC SOFTWARE INITIALIZATION SEQUENCE··47BC PSEUDO CODE EXAMPLE.49第4章 REMOTE TERMINAL OPERATION,51RT存储器结构51RT存储器管理SUBADDRESS CONTROL WORDRT STACK AND INTERRUPTSTIME TAG WORDDATA BLOCK POINTER OR MODE DATA WORD57COMMAND WORD RECEIVEDRT COMMAND ILLEGALIZATION57SELECTED MODE CODE INTERRUPT60BROADCAST OPT⊥0NBUSY BITRT ADDRESS INPUTS62RT STATUS WORDRT-TO-RT RESPONSE TIMEOUT64SUMMARY OF RESPONSES TO MODE CODE MESSAGESRT SOFTWARE INITIALIZATION PROCEDURERT PSEUDO CODE EXAMPLE.68第5章 BUS MONITOR OPERATION.71MONITUR SELECTION FUNCTIONMESSAGE MONITOR FORMATSBM存储器管理MESSAGE MONITOR BLOCK STATUS WORDBM SOFTWARE INITIALIZATION PROCEDURE,76第6章 EXTERNAL INTERFACES通垂函a看自PIN DESCRIPTIONS BY FUNCTIONAL GROUPS隔离变压器到外部系统的连接BUFFERED u TRANSPARENT MODEHTTP:w.enphtcomTEL:028-851482738528FAX:028-85148287107第4页成都恩菲特科長有限公司EPH31580外部时序接口BUFFERED模式接口时序85与几和典型器件的连接与ADSP2101的连接与68040的连接与80286的连接.环境温度封装形式…订货号附录一:变压器选型手册97HTTP:/ww.enphtcomTEL:028-85148273/8528FAX:028-85148287107第5页成都恩菲特科長有限公司EPH31580恩菲特产品保修条款产品名称:1553A/B协议芯片产品型号:EP-H31580保修期限:一年1.恩菲特公司对由恩菲特公司出售的硬件产品和附件提供质量保修,保修期限如上所示。在保修期内如果出现因质量原因而产生故障,恩菲特公司在收到关于产品故障的通知并经查验核实后,有权选择维修或整套更换产品。整套更换的产品可以是新的或接近新的2.恩菲特公司保证软件产品经过充分测试。如果恩菲特公司在保修期内收到关于软件故障的通知,将在查验核实后免费更换软件3.恩菲特公司不保证在产品修理过程中产品可不中断地使用。但恩菲特公司保证在合理的期限内修理好发生故障的产品4.产品保修期从产品发运之日或由恩菲特公司开始安装之日起开始计算。如果用户的进度安排延后使恩菲特公司在产品发运之日起30天内仍未开始安装,产品保修期从交付之日后的笫31天开始计算5.恩菲特公司对任何下列情况而导致的产品故障和损坏不提供免费保修:(a)错误的使用或不适当的维护和校正,(b)非恩菲特公司提供的软件、接口、部件或其它物品,(c)未经许可的拆卸、修改和错误使用,(a)超过产品技术规格指明的范围使用,(e)不适当的运输、搬运和存贮,(f)其它不可抗力原因造成的故障或损坏(如HTTP:ww.enphtcomTEL:028-851482738528FAX:028-85148287107第6页成都恩菲特科長有限公司EPH31580地震、战争、交通事故等)6.在法律允许的范围内,上述保修条款是唯一明确的,同时没有任何其它的保修条款,不论是书面的或口头的。恩菲特公司明确表示拒绝承认任何暗示的保修条款和商业条款7.如果用户因使用恩菲特公司产品造成对其它物品损坏或身体伤害,经法院裁定其直接原因是恩菲特公司产品缺陷,恩菲特公司对此负责。版权声明所有恩菲特公司出售的软件产品或随同硬件产品出售的软件和文件,其版杈属恩菲特公司所有,恩菲特公司保留软件产品和文件方面的所有版权。用户对产品的购买并不表示用户在版权方面的任何许未经恩菲特公司书面许可的任何复制和出售均是被禁止的成都恩菲特科拈冇限公司HTTP:www.enpht.comTel:028-851482738528FAX:028-85148287107第7页成都恩菲特科長有限公司EPH31580安全标志符号符号说明符号说明贴在产品上的标志符号表示仪器在操作前必须表示使用者必须遵循产品手保证相应的接线端接地册中相应的警告或注意内容良好,以免电击而引起以免造成人身伤害或设备损设备损坏或人身伤害。坏交流直流表示相应的操作危险。△操作员应严格按规定操高压危险。警告作,否则可能导致人身危险表示相应的操作危险操作员应严格按规定操凸⊥机外壳楼地通常与注意,否则可能寻受慢备设备的金属外壳相连接。损坏或永久性数据丢失HTTP:ww.enphtcomTEL:028-851482738528FAX:028-85148287107第8页成都恩菲特科長有限公司EPH31580敬在操作,维护及修理设备的整个过程中要严格遵守以下安全事项违反这些安全规程或任何本手册中警告和注意事项规定的操作导致的设备损坏或人身伤害,恩菲特公司不对此类事故承担责任●对第一类安全设备(具有俣护地接线端子的设各),必须在产品的主电源输入端或供电电源电缆提供一个可靠的安全地连接对于模块式设备,为确保模块安全接地,应将模块前面板上的紧固螺钉旋紧,以保证模块的紧固面板与机箱保护地可靠接通●仪器不应接触易燃易爆气体或在有易燃易爆气体的环境下操作●为了避免火灾,应使用具有相同电压和电流的保险溶丝。不能使用修理过的保险熔丝或短接保险盒●操作人员不应打开机盖。这只能由经过培训的专业技术人员进行。打开机盖是危险的,因为设备中可能存在危险电压。甚至在设备断电以后,高压也可能存在。为了避免人身伤害,应由经过培训的专业技术人员来操作。●不要操作危险设备或在危险的条件下操作设备。如果任何削弱安全性或可能导致安全保护设施失效的情况存在(包括物理损坏,潮湿或别的原因),应立即拔除电源线,直到由专业技术人员确认后方可操作●不要单独维修或调整仪器,以免发生危险时可得到帮助和救治HTTP:www.enpht.comTel:028-851482738528FAX:028-85148287107第9页成都恩菲特科長有限公司EPH31580不能更换或更改产品中的元器件,除非有明确的认可和授权。因为这将带来其它危险。如仪器出了故障,应将其送到恩菲特公司指定的维修点进行维修,从而保证仪器的各项功能文献版本吏新历史所有版本和手册更新及发行时间都列举在下面。手册的初始版本是Ver1.00。不论何时更新手册,版本号都在尾数加1。当更新涉及到较为重要的内容时,版本号中间的数加1,当更新涉及到核心内容时,版本号第一位数加1。更新的内容通过手册发行,包括修改的内容及对手册新增加的内容。新版本均包括了对旧版本更改的内容。每个新版本或更新后版夲都有一页标注该文献的更改情况Ⅴrl.0l..,,,∴,,.,2005.05HTTP:/ww.enphtcomTEL:028-85148273/8528FAX:028-85148287107第10页
- 2021-05-06下载
- 积分：1
