Notes on Plücker s Relations in Geometric Algebra
|
|
- Roberta Holt
- 5 years ago
- Views:
Transcription
1 Notes on Plücker s Relations in Geometric Algebra Garret Sobczyk Universidad de las Américas-Puebla Departamento de Físico-Matemáticas Puebla, Pue., México garretudla@gmail.com January 21, 2019 Abstract Grassmannians are of fundamental importance in projective geometry, algebraic geometry, and representation theory. A vast literature has grown up utilizing using many different languages of higher mathematics, such as multilinear and tensor algebra, matroid theory, and Lie groups and Lie algebras. Here we explore the basic idea of the Plücker relations in Clifford s geometric algebra. We discover that the Plücker relations can be fully characterized in terms of the geometric product, without the need for a confusing hodgepodge of many different formalisms and mathematical traditions found in the literature. AMS Subject Classification: 14M15, 14A25, 15A66, 15A75 Keywords: Clifford geometric algebras, Grassmannians, matroids, Pauli matrices, Plücker relations 0 Introduction The standard treatments of the Plücker relations rely heavily on the concept of a vector space, its dual vector space, and generalizations. More elementary treatments express the basic ideas in terms of familiar matrices and determinants. Here we exploit a powerful formalism that was invented 140 years ago by William Kingdon Clifford. Clifford himself dubbed this formalism, a generalization of the works of H. Grassmann and W. Hamilton, geometric algebra, but it is often referred to today as Clifford algebra. It is well known that Clifford s geometric algebras are algebraically isomorphic to matrix algebras over the real or complex numbers. However, what is lacking is the recognition that whereas geometric algebras give a comprehensive geometrical interpretation to matrices, they also provide a way of unifying vectors and their duals into a rich algebraic structure that is missed in the standard 1
2 treatment of vector spaces and their dual spaces as separate objects. Our study of the famous Plücker relations utilizes the powerful higher dimensional vector analysis of geometric algebra. When the Plücker relations are satisfied, an explicit factorization of an r-vector into the outer product of r vectors is found. Also, a new characterization of the Plücker relations is given. Let a and b be two non-zero null vector generators of a real or complex associative algebra, R(a, b) or C(a, b), respectively, with the identity 1, and satisfying the rules 1) a 2 = 0 = b 2, and 2) ab + ba = 1. (1) From these rules, a multiplication table for these elements is easily constructed, given in Table 1. Table 1: Multiplication Table. a b ab ba a 0 ab 0 a b ba 0 b 0 ab a 0 ab 0 ba 0 b 0 ba The null vectors a and b are dual to one another in the sense that the symmetric inner product of a and b, defined by a b := 1 2 (ab + ba) = 1 2. In addition, the outer product of a and b, gives the bivector with the property a b := 1 (ab ba), 2 (a b) 2 = 1 4 (ab ba)2 = 1 4 (ab + ba) = 1 4 so a b := 1 2. Taking the sum of the above inner and outer products shows that the geometric (Clifford) product of the reciprocal null vectors a and b is the primitive idempotent ab = a b + a b, already identified in Table 1. More details for the interested reader of the construction of basic geometric algebras, obtained from R(a, b) and C(a, b), and by taking the Kronecker products of such algebras, is deferred to the Appendix. Geometric algebras are considered here to be the natural geometrization of the real and complex number sytems; an overview is provided in [9]. We use exclusively the language of geometric algebra, developed in the books [6, 12]. 2
3 Plücker s coordinates are briefly touched upon on page 30 of [6], but Plücker s relations are not discussed. These relations characterize when an r-vector B in the geometric algebra G n := G(R n ), or G n (C) := G(C n ), of an n-dimensional (real or complex) Euclidean vector space R n, or C n, respectively, can be expressed as an outer product of r-vectors. Several references to the relevant literature, and its more advanced applications, are [1, 2], [3, pp ], [5], [7, pp ], and [13]. 1 Plücker s relations in geometric algebra A general geometric number g G n is the sum of its k-vector parts, g = n g k, k=0 where the k-vector g k G k n is in the linear subspace G k n of k-vectors in G n, and the 0-vector part g 0 G 0 n R. A nonzero r-vector B G r n is said to be an r-blade if B = v 1 v r for vectors v 1,..., v r G 1 n, Let B = J m B Jm e Jm be an r-vector expanded in the standard orthonormal basis of r-vector blades e Jm := e j1 e j2 e jr G r n, ordered lexicographically, with J m = {j 1,, j r } for 1 j 1 < < j r n, and let #(J p J m ) be the number of integers that the sequences J p and J m have in common. For example, if J p = {12345} and J m = {45678}, then #(J p J m ) = 2. The reverse g of a geometric number g G n is obtained by reversing the order of all of the geometric products of the vectors which define g. Lemma 1 In the standard orthonormal basis {e i } n i=1 of G n, an r-vector B G r n, expanded in this basis, is given by B = m B Jm e Jm, (2) where B Jk = B e J k. Proof: In the orthonormal r-vector basis {e Jm }, the r-vector B G r n is given by n r B = B Jk e Jk k=1 Dotting both sides of this equations with e J m, the reverse of e Jm, shows that B Jm = B e J m, since e Jk e J m = δ k,m. 3
4 Definition 1 A non-zero r-vector B G r n is said to be divisible by a non-zero k-blade K G k n, where k r, if KB = KB r k. If k = r, B is said to be totally decomposable by K. If B is divisible by the k-blade L, then B = L(LB) L 2 = L L B L 2. (3) If B is totally decomposable by L, then B = βl for β = L B L R. Clearly, a 2 totally decomposable r-vector is an r-blade. A classical result is that an r-vector B = m B J m e Jm G r n is an r-blade iff B satisfies the Plücker relations. The Plücker relations, [4, Thm1(1)], are (A B) B = 0 (4) for all (r 1)-vectors A G r 1 n. In particular, for all coordinate (r 1)-vectors e Kp G r 1 n, (e Kp B) B = 0. Since an r-blade trivially satisfies the Plücker relations, it follows that if there is a coordinate (r 1)-blade e K, such that (e K B) B 0, then B is not an r-blade. For every coordinate (r 1)-blade e Kp, there is a coordinate r-blade e Jp, generally not unique, and a coordinate vector e jp, satisfying e Jp = ±e jp e Kp e jp e Jp = ±e Kp. (5) Indeed, when e Kp B 0, we always pick the coordinate vector e jp, and rearrange the order of K p = ±K jp, in such a way that B Jjp = (e jp e Kjp ) B 0. It follows that the Plücker relations (4) are equivalent to [ ] [ ] e jp e Kjp B B = B Jjp B e Kjp B e jp B = 0, or equivalently, ) ] B = B 1 J jp [(e Kjp B e jp B, (6) for all coordinate (r 1)-blades e Kp Gn r 1 for which e Kp B 0. It follows that when the Plücker relation (4) is satisfied, then the vector e Kp B divides B. For a given non-zero r-vector B = m B J m e Jm G r n, let # max S be the maximal number of linearly independent vectors in the set S B = {e Kj B e Kj G r 1 n }. (7) Lemma 2 Given an r-vector B 0, and the set S B defined in (7). Then r # max S n, and # max = r only if B is an r-blade. 4
5 Proof: Since B 0, it follows that B Jm 0 for some n 1 m. r For each such e Jm, there are r possible choices for e Kj obtained by picking K j J m, and the subset of S B generated by them are linearly independent. It follows that r # max S B n. Suppose now that r < # max S B. To complete the proof of the Lemma, we show that there is a Plücker relation that is not satisfied for B, so it cannot be an r-blade. Let L = (e K1 B) (e Kk B) 0, be the outer product of the maximal number of linearly independent vectors from S B. Then k > r and LB = L B 0. Letting w = [ (e K1 B) (e Kr+1 B) ] B G 1 n, it follows that w 0, and w 2 = [ (e K1 B) (e Kr+1 B) ] (B w) 0. Since w 2 0, it follows that w B 0. Using the identity w = [ (e K1 B) (e Kr+1 B) ] B = (e K1 B) [ (e K2 B) (e Kr+1 B) ] B (e K2 B) [ (e K1 B) 2 (e Kr+1 B) ] B + + ( 1) r (e Kr+1 B) [ (e K1 B) (e Kr B) ] B, where i means we are omitting the term e Ki B in the exterior product. It follows that r w B = ( 1) i+1 α i (e Ki B) B 0, i=1 where α i := [ (e K1 B) i (e Kr+1 B) ] B R. But this implies that α j (e Kj B) B 0 for some j, so B is not an r-blade. On the other hand, if # max S = r, then for L = (e K1 B) (e Kr B), LB = L B R, and using (3), is an r-blade. B = L B L 2 L As a direct consequence of Lemma 2, we have Theorem 1 For 2 r n, a non-zero r-vector B G r n is an r-blade iff the Plücker relations (4) are satisfied. When the Plücker relations are satified, then B = L B L L for the r-blade L defined in the last paragraph of the proof of Lemma
6 2 Examples Everybodies favorite example is when r = 2 and n = 4. A general non-zero 2-vector B G 2 4 has the form B = 6 B Jm e Jm G 2 4. m=1 Since B 0, at least one component B Jp e ij 0. Without loss of generality, we can assume e ij = e 12. It follows that the Plücker relation (6) for this component is [ (e1 B = B12 1 B ) ( e 2 B )] [ ] = B12 1 (B 12 e 2 + B 13 e 3 + B 14 e 4 ) ( B 12 e 1 + B 23 e 3 + B 24 e 4 ). (8) Since 2(e i B) B = e i (B B) = (B 12 B 34 B 13 B 24 + B 14 B 23 )e i e 1234, it follows that B is a 2-blade iff B B = 0, or equivalently, B 12 B 34 B 13 B 24 + B 14 B 23 = 0. (9) This occurs when B is totally decomposable, given in (8). More generally, a similar argument holds true for r = 2 and any n > 4, but with more Plücker relations (9) to be satisfied. To get more insight into what is going on, let B = m B J m e Jm G r n be a general r-vector. Following [8], we calculate B 2 = B Jm B Jp e Jm e Jp = B Jm B Jp e Jm e Jp + B Jm B Jp e Jm e Jp m,p m=p m p = B Jm B Jp e Jm e Jp + m=p m<p B Jm B Jp (1 + ( 1) r k) e Jm e Jp, (10) where k = #(J m J p ), showing that B 2 = B 2 0 if r and k have different parity for all values of m < p. Consider B = e e 456 G 3 6. It is easy to show, using (4), that B is not a 3-blade, since (e 12 B) B = e 3 B = e (11) Note, however, that B 2 = 2, as also follows from (10) since k and r have opposite parities. Clearly, the condition B 2 B 2 0 = 0 is not sufficient to guarantee that B is an r-blade, but B 2 B 2 0 guarantees that B is not an r-blade. In [8], Nguyen expresses the Plücker Relations differently, and gives a different proof. The following Theorem shows that Nguyen s Plücker Relations are equivalent to definition (4). Let e K denote an arbitrary coordinate (r 1)-vector in G r 1 n. 6
7 Theorem 2 A non-zero r-vector B G r n is an r-blade iff both the conditions are satisfied. B 2 = B B, and BvB G 1 n for all v = e K B G 1 n, Proof: It is easy to show that if B G r n is an r-blade, then both of the conditions in the Theorem are true. To complete the proof we must only show that if both conditions are not satisfied, then B is not an r-blade. If B 2 B B, then B is not an r-blade, so it is only left to show that if B 2 = B B and BvB G n n, then B is not an r-blade. The following identity is needed: BvB = B(v B + v B) = B(v B) + B(v B) = B (v B) + B (v B) + B(vB) 3,5, (12) Suppose now that B 2 = B B and BvB G 1 n for some v = e K B. The identity (12) implies that BvB 3,5, 0. We also know that so that 2B v = Bv + ( 1) r vb Bv = 2B v ( 1) r vb, BvB 3,5, = ( 2B v ( 1) r vb ) B 3,5, = 2 ( B v ) B 3,5, 0, since B 2 = B B. But this implies that B (e K B) 0, so by (4), B is not an r-blade. S m ooooxxxxx xxxxxoooo Sp Figure 1: Shows S m and S p in the case for odd r = 9, with an odd overlap k = 5. In this case we choose e K = e j2 j 9, the j 2, j 9 are the last 8 digits of S m. A similar construction applies when r and k are even. Note that (4) is fully equivalent to the conditions in the Theorem 2. If B 2 B B then there is at least one e K G r 1 1 such that (e K B) B 0. This follows from the coordinate expansion of B given in (10), because the parity condition allows us to find at least one non-zero B Jm B Jp e Jm e Jp, with overlap k = #(S Jm S Jp ), such that (e K B) B 0. We simply pick e K in such a way that K S Jm, but #(K J p ) r 2, see Figure 1. In the example (11), B is not a 3-blade because even though B 2 = B B, for e 12 B = e 3, Be 3 B = 2e G
8 It is also interesting to note that just as B 2 = B B whenever B is an r-vector satisfying the Plücker relations (4), BvB = ( 1) r+1 (B B)v for all v = e K B whenever B is an r-vector satisfying the Plücker Relations (4). This follows from the identity BvB = B[2v B + ( 1) r+1 Bv] = ( 1) r+1 B 2 v v B = 0 for all v = e K B, when B satisfies the Plücker relations (4). Let us consider now some other examples. For the 3-vector B G 3 5, B := 2e e 145 2e e e e e 345, it is easily verified that the Plücker relations (e 41 B) B = (2e 3 + e 5 ) B = 0, e 54 B = (e 1 + e 2 + e 3 ) B = 0, e 13 B = (2e 4 + e 5 ) B = 0, and that the vectors (e 41 B) = 2e 3 +e5, (e 54 B) = (e 1 +e 2 +e 3 ), e 13 B = 2e 4 +e5 are linearly independent. Applying Theorem 1, with For L = (e 1 + e 2 + e 3 ) (2e 3 + e 5 ) (2e 4 + e5) B = L B L 2 L = 1 2 L. we find that but B = e e e e e e e e 456 G 3 6, (e 21 B) B = (B 123 B 456 B 124 B B 125 B 346 B 126 B 345 )e (B 123 B 145 B 124 B B 125 B 134 )e (B 124 B 156 B 125 B B 126 B 145 )e 1456 = 0, (e 13 B) B = e 2 B = e e e e Since (e 21 B) B = 0, it is divisible by e 12 B. Using (6), we find that B = (e 21 B) (e 3 B) = (e 3 + e 4 + e 5 + e 6 ) (e 12 + e 56 + e 46 + e 45 ). But since it does not satisfy the second condition, it is not totally decomposable. As a final example, consider B = (e 1 + e 2 + e 3 + e 4 ) (e 23 + e 34 + e 46 ) G 3 6. There are no non-zero vectors of the form e ij B such that (e ij B) B = 0. However, the 2-blade e 36 e 46, satisfying does divide B, since (S B) B = 0. (e 36 e 46 ) B = e 1 + e 2 + e 3 + e 4 8
9 Appendix: Geometric matrices g11 g Let [g] := 12 be a real matrix in Mat g 21 g 2 (R). Since R(a, b) is an associative algebra, the module Mat 2 R(a, b) is well-defined. We use the matrix 22 [g] to define the unique element g R(a, b), specified by g11 g g := ( ba a ) 12 ba = g g 21 g 22 b 11 ba + g 12 b + g 21 a + g 22 ab. We say that [g] is the matrix of g R(a, b) with respect to the Witt basis of null vectors, {a, b}, over the real numbers R. It is easy to show that this establishes an algebraic isomorphism between R(a, b) and Mat 2 (R), [10]. The standard orthonormal basis {e 1, f 1 } of the geometric algebra G 1,1 := R(e 1, f 1 ) R(a, b) is and satisfies the rules e 1 := a + b, and f 1 := a b, 1) e 2 1 = 1 = f 2 1, and 2) e 1 f 1 = f 1 e 1. (13) The geometric algebra G 1,1 := R(e 1, f 1 ), defined by the rules (13), is nothing more than a change of basis, from the Witt basis of null vectors (1) to standard orthonormal basis (13). As a linear space over R, G 1,1 = span R {1, e 1, f 1, e 1 f 1 }. In terms of the null basis, the bivector e 1 f 1 = (a+b)(a b) = ba ab = 2b a. Letting u 1 = ba = 1 2 (1 + e 1f 1 ), the matrices of the standard basis vectors, are ba e 1 = ( ba a ) [e 1 ] = ( 1 e a 1 ) u 1, 1 0 e 1 and f 1 = ( ba a ) [e 1 ] ba = ( 1 e a 1 ) u e 1 The matrix of the bivector e 1 f 1, is then easily found to be [e 1 f 1 ] = [e 1 ][f 1 ] = = ( By complexifying the basis vector f 1 G 1,1, we obtain the geometric algebra G 3, a geometric interpretation of the famous Pauli matrices, and a geometric interpretation of the imaginary i = 1. We define G 3 := R(e 1, e 2, e 3 ), ). 9
10 where e 2 := if 1 and e 3 := e 1 f 1. It then follows that e 123 = e 1 if 1 e 1 f 1 = i, giving imaginary unit i the geometric interpretation of the unit trivector e 123 G 3 3. Note also the unit vector e 3, along the z-axis of R 3 is identified with the bivector e 1 f 1 G 2 1,1. The Pauli matrices [e k ], satisfying are given by [e 1 ] = e k = ( ba a ) [e k ] 0 1, [e ] = ba, b 0 i 1 0, [e i 0 3 ] =. 0 1 Geometric matrices of real or complex higher dimensional geometric algebras G n,n := G(R n,n ), or G n,n (C) := G(C n ), are obtained by taking directed Kronecker products of blocks of pairs of null vectors {a k, b k }, each block satisfying the rules (1), in addition to being anti-commutative. That is a i a j = a j a i, b i b j = b j b i, a i b j = b j a i, for all 1 i, j n and i j. For example, the geometric matrix [g] Mat 4 (R) defines the geometric number g G 2,2, given by g := ( 1 a 1 ) 1 ( 1 a 2 ) u 12 [g] 1 b 2 b 1 = ( 1 a 1 a 2 a 12 ) u 12 [g] where u 12 = u 1 u 2 = b 1 a 1 b 2 a 2. Details of the general construction can be found in [11]. Acknowledgement I thank Dr. Dung B. Nguyen for calling my attention to the problem of expressing and proving the Plücker relations in geometric algebra. This work is the result of many exchanges with him, false starts, and trying to understand the roots of the vast literature on the subject and its generalizations. The reviewer s suggestions for improvements were extremely valuable to the author in making the final revision of the manuscript. References [1] F. Ardila, The Geometry of Matroids, Notices of the AMS, Vol. 65, No. 8, Sept [2] A. Dress and W. Wenzel, Grassmann-Plücker Relations and Matroids with Coefficients, Advances in Mathematics 86, (1991). 1 b 1 b 2 b 21, 10
11 [3] W. Fulton, J. Harris, Representation Theory: A First Course, Springer- Verlag [4] M.G. Eastwood and P.W. Michor, Some Remarks on the Plücker Relations, Rendiconti del Circolo Matematico di Palermo, Serie II, Suppl. 63 (2000), michor/plue-lon.pdf [5] J. Harris, Algebraic Geometry: A First Course, Spring, p.63-71, Harris-Grassmannians.pdf [6] D. Hestenes and G. Sobczyk. Clifford Algebra to Geometric Calculus: A Unified Language for Mathematics and Physics, 2nd edition, Kluwer [7] J. Milne, Algebraic Geometry, Version 6.06, March 2017, pp [8] D. B. Nguyen, Plücker s Relations, Geometric Algebra, and the Electromagnetic Field, unpublished version: Sept. 3, [9] G. Sobczyk, Geometrization of the Real Number System, July, [10] G. Sobczyk, Hyperbolic Numbers Revisited, preprint [11] G. Sobczyk, Geometric Matrices and the Symmetric Group, [12] G. Sobczyk, New Foundations in Mathematics: The Geometric Concept of Number, Birkhäuser, New York [13] C.T.C. Wall, Plücker formulae for curves in high dimensions, University of Liverpool, ctcw/pluckd.pdf 11
The Spectral Basis of a Linear Operator
The Spectral Basis of a Linear Operator Garret Sobczyk Universidad de Las Americas-P Cholula, Mexico http://www.garretstar.com Thursday Jan. 10, 2013, 2PM AMS/MAA Joint Math Meeting San Diego Convention
More informationTHE GEOMETRY IN GEOMETRIC ALGEBRA THESIS. Presented to the Faculty. of the University of Alaska Fairbanks. in Partial Fulfillment of the Requirements
THE GEOMETRY IN GEOMETRIC ALGEBRA A THESIS Presented to the Faculty of the University of Alaska Fairbanks in Partial Fulfillment of the Requirements for the Degree of MASTER OF SCIENCE By Kristopher N.
More informationNew Foundations in Mathematics: The Geometric Concept of Number
New Foundations in Mathematics: The Geometric Concept of Number by Garret Sobczyk Universidad de Las Americas-P Cholula, Mexico November 2012 What is Geometric Algebra? Geometric algebra is the completion
More informationA linear algebra proof of the fundamental theorem of algebra
A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional
More informationA linear algebra proof of the fundamental theorem of algebra
A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional
More informationLie Algebra of Unit Tangent Bundle in Minkowski 3-Space
INTERNATIONAL ELECTRONIC JOURNAL OF GEOMETRY VOLUME 12 NO. 1 PAGE 1 (2019) Lie Algebra of Unit Tangent Bundle in Minkowski 3-Space Murat Bekar (Communicated by Levent Kula ) ABSTRACT In this paper, a one-to-one
More informationVector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle
Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,
More informationQUATERNIONS AND ROTATIONS
QUATERNIONS AND ROTATIONS SVANTE JANSON 1. Introduction The purpose of this note is to show some well-known relations between quaternions and the Lie groups SO(3) and SO(4) (rotations in R 3 and R 4 )
More informationThe Spinor Representation
The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)
More informationClifford Algebras and Spin Groups
Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of
More informationDS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.
DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1
More informationarxiv: v1 [math.ho] 26 Sep 2008
Fundamental Theorem of Calculus arxiv:0809.4526v1 [math.ho] 26 ep 2008 Garret obczyk Universidad de Las Américas - Puebla, 72820 Cholula, exico, Omar anchez University of Waterloo, Ontario, N2L 3G1 Canada
More informationLINEAR ALGEBRA: THEORY. Version: August 12,
LINEAR ALGEBRA: THEORY. Version: August 12, 2000 13 2 Basic concepts We will assume that the following concepts are known: Vector, column vector, row vector, transpose. Recall that x is a column vector,
More information1. What is the determinant of the following matrix? a 1 a 2 4a 3 2a 2 b 1 b 2 4b 3 2b c 1. = 4, then det
What is the determinant of the following matrix? 3 4 3 4 3 4 4 3 A 0 B 8 C 55 D 0 E 60 If det a a a 3 b b b 3 c c c 3 = 4, then det a a 4a 3 a b b 4b 3 b c c c 3 c = A 8 B 6 C 4 D E 3 Let A be an n n matrix
More informationPage 52. Lecture 3: Inner Product Spaces Dual Spaces, Dirac Notation, and Adjoints Date Revised: 2008/10/03 Date Given: 2008/10/03
Page 5 Lecture : Inner Product Spaces Dual Spaces, Dirac Notation, and Adjoints Date Revised: 008/10/0 Date Given: 008/10/0 Inner Product Spaces: Definitions Section. Mathematical Preliminaries: Inner
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More information1. A brief introduction to
1. A brief introduction to design theory These lectures were given to an audience of design theorists; for those outside this class, the introductory chapter describes some of the concepts of design theory
More informationThe only global contact transformations of order two or more are point transformations
Journal of Lie Theory Volume 15 (2005) 135 143 c 2005 Heldermann Verlag The only global contact transformations of order two or more are point transformations Ricardo J. Alonso-Blanco and David Blázquez-Sanz
More informationGeometric Algebra. Gary Snethen Crystal Dynamics
Geometric Algebra Gary Snethen Crystal Dynamics gsnethen@crystald.com Questions How are dot and cross products related? Why do cross products only exist in 3D? Generalize cross products to any dimension?
More informationGroup Manifolds in Geometric Algebra
Group Manifolds in Geometric Algebra Garret Sobczyk Abstract. This article explores group manifolds which are efficiently expressed in lower dimensional Clifford geometric algebras. The spectral basis
More informationCOMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES
COMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES ROBERT M. GURALNICK AND B.A. SETHURAMAN Abstract. In this note, we show that the set of all commuting d-tuples of commuting n n matrices that
More informationLinear Algebra Review. Vectors
Linear Algebra Review 9/4/7 Linear Algebra Review By Tim K. Marks UCSD Borrows heavily from: Jana Kosecka http://cs.gmu.edu/~kosecka/cs682.html Virginia de Sa (UCSD) Cogsci 8F Linear Algebra review Vectors
More informationarxiv: v1 [math.gm] 19 Feb 2018
arxiv:1802.08153v1 [math.gm] 19 Feb 2018 From Vectors to Geometric Algebra Sergio Ramos Ramirez, sergio1.ramos@vw.com.mx José Alfonso Juárez González, alfonso.juarez@vw.com.mx Volkswagen de México 72700
More informationNOTES on LINEAR ALGEBRA 1
School of Economics, Management and Statistics University of Bologna Academic Year 207/8 NOTES on LINEAR ALGEBRA for the students of Stats and Maths This is a modified version of the notes by Prof Laura
More informationMath Problem set # 7
Math 128 - Problem set # 7 Clifford algebras. April 8, 2004 due April 22 Because of disruptions due the the Jewish holidays and surgery on my knee there will be no class next week (April 13 or 15). (Doctor
More informationVECTOR AND TENSOR ALGEBRA
PART I VECTOR AND TENSOR ALGEBRA Throughout this book: (i) Lightface Latin and Greek letters generally denote scalars. (ii) Boldface lowercase Latin and Greek letters generally denote vectors, but the
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationNilpotents and Idempotents in 2D and 3D Euclidean Geometric Algebra
Nilpotents and Idempotents in D and D Euclidean Geometric Algebra Kurt Nalty July 11, 015 Abstract I present general homework level formulas for nilpotents (non-zero expressions which square to zero) and
More informationMTH 464: Computational Linear Algebra
MTH 464: Computational Linear Algebra Lecture Outlines Exam 2 Material Prof. M. Beauregard Department of Mathematics & Statistics Stephen F. Austin State University March 2, 2018 Linear Algebra (MTH 464)
More information(1)(a) V = 2n-dimensional vector space over a field F, (1)(b) B = non-degenerate symplectic form on V.
18.704 Supplementary Notes March 21, 2005 Maximal parabolic subgroups of symplectic groups These notes are intended as an outline for a long presentation to be made early in April. They describe certain
More informationLecture 2: Linear operators
Lecture 2: Linear operators Rajat Mittal IIT Kanpur The mathematical formulation of Quantum computing requires vector spaces and linear operators So, we need to be comfortable with linear algebra to study
More informationAssignment 10. Arfken Show that Stirling s formula is an asymptotic expansion. The remainder term is. B 2n 2n(2n 1) x1 2n.
Assignment Arfken 5.. Show that Stirling s formula is an asymptotic expansion. The remainder term is R N (x nn+ for some N. The condition for an asymptotic series, lim x xn R N lim x nn+ B n n(n x n B
More informationLongest element of a finite Coxeter group
Longest element of a finite Coxeter group September 10, 2015 Here we draw together some well-known properties of the (unique) longest element w in a finite Coxeter group W, with reference to theorems and
More informationOld Wine in New Bottles: A new algebraic framework for computational geometry
Old Wine in New Bottles: A new algebraic framework for computational geometry 1 Introduction David Hestenes My purpose in this chapter is to introduce you to a powerful new algebraic model for Euclidean
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More informationGeometric Algebra. 4. Algebraic Foundations and 4D. Dr Chris Doran ARM Research
Geometric Algebra 4. Algebraic Foundations and 4D Dr Chris Doran ARM Research L4 S2 Axioms Elements of a geometric algebra are called multivectors Multivectors can be classified by grade Grade-0 terms
More information1 Vectors and Tensors
PART 1: MATHEMATICAL PRELIMINARIES 1 Vectors and Tensors This chapter and the next are concerned with establishing some basic properties of vectors and tensors in real spaces. The first of these is specifically
More informationSIMPLE AND POSITIVE ROOTS
SIMPLE AND POSITIVE ROOTS JUHA VALKAMA MASSACHUSETTS INSTITUTE OF TECHNOLOGY Let V be a Euclidean space, i.e. a real finite dimensional linear space with a symmetric positive definite inner product,. We
More informationA Grassmann Algebra for Matroids
Joint work with Jeffrey Giansiracusa, Swansea University, U.K. Matroid (Whitney, 1935) A collection B of subsets of [n] = {1,2,...,n}, called bases, such that the basis exchange property holds: Matroid
More information(K + L)(c x) = K(c x) + L(c x) (def of K + L) = K( x) + K( y) + L( x) + L( y) (K, L are linear) = (K L)( x) + (K L)( y).
Exercise 71 We have L( x) = x 1 L( v 1 ) + x 2 L( v 2 ) + + x n L( v n ) n = x i (a 1i w 1 + a 2i w 2 + + a mi w m ) i=1 ( n ) ( n ) ( n ) = x i a 1i w 1 + x i a 2i w 2 + + x i a mi w m i=1 Therefore y
More informationAn Introduction to Geometric Algebra
An Introduction to Geometric Algebra Alan Bromborsky Army Research Lab (Retired) brombo@comcast.net November 2, 2005 Typeset by FoilTEX History Geometric algebra is the Clifford algebra of a finite dimensional
More informationApplications of Geometric Algebra in Computer Vision
Applications of Geometric Algebra in Computer Vision The geometry of multiple view tensors and 3D-reconstruction Christian B.U. Perwass January 2000 To my parents Die menschliche Vernunft hat das besondere
More informationMatrix Calculus and Kronecker Product
Matrix Calculus and Kronecker Product A Practical Approach to Linear and Multilinear Algebra Second Edition This page intentionally left blank Matrix Calculus and Kronecker Product A Practical Approach
More informationEE731 Lecture Notes: Matrix Computations for Signal Processing
EE731 Lecture Notes: Matrix Computations for Signal Processing James P. Reilly c Department of Electrical and Computer Engineering McMaster University September 22, 2005 0 Preface This collection of ten
More informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
More informationChapter 2: Linear Independence and Bases
MATH20300: Linear Algebra 2 (2016 Chapter 2: Linear Independence and Bases 1 Linear Combinations and Spans Example 11 Consider the vector v (1, 1 R 2 What is the smallest subspace of (the real vector space
More informationInduced Representations and Frobenius Reciprocity. 1 Generalities about Induced Representations
Induced Representations Frobenius Reciprocity Math G4344, Spring 2012 1 Generalities about Induced Representations For any group G subgroup H, we get a restriction functor Res G H : Rep(G) Rep(H) that
More informationarxiv: v1 [math.gr] 8 Nov 2008
SUBSPACES OF 7 7 SKEW-SYMMETRIC MATRICES RELATED TO THE GROUP G 2 arxiv:0811.1298v1 [math.gr] 8 Nov 2008 ROD GOW Abstract. Let K be a field of characteristic different from 2 and let C be an octonion algebra
More informationGeometric algebra and particle dynamics
This is page 1 Printer: Opaque this arxiv:math/05005v [math.gm] 1 Jul 005 Geometric algebra and particle dynamics José B. Almeida ABSTRACT In a recent publication [1] it was shown how the geometric algebra
More informationTopics in linear algebra
Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over
More informationDefinition 1. A set V is a vector space over the scalar field F {R, C} iff. there are two operations defined on V, called vector addition
6 Vector Spaces with Inned Product Basis and Dimension Section Objective(s): Vector Spaces and Subspaces Linear (In)dependence Basis and Dimension Inner Product 6 Vector Spaces and Subspaces Definition
More informationarxiv: v1 [math.gm] 2 Mar 2017
arxiv:703.0244v [math.gm] 2 Mar 207 Spinors in Spacetime Algebra and Euclidean 4-Space Garret Sobczyk Universidad de las Américas-Puebla Departamento de Físico-Matemáticas 72820 Puebla, Pue., México http://www.garretstar.com
More informationChapter 2. Linear Algebra. rather simple and learning them will eventually allow us to explain the strange results of
Chapter 2 Linear Algebra In this chapter, we study the formal structure that provides the background for quantum mechanics. The basic ideas of the mathematical machinery, linear algebra, are rather simple
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More informationLecture 19 - Clifford and Spin Representations
Lecture 19 - lifford and Spin Representations April 5, 2013 References: Lawson and Michelsohn, Spin Geometry. J. Baez, The Octonions. 1 The Lie Algebras so(n) and spin(n) We know the Lie algebra so(n)
More informationwhich are not all zero. The proof in the case where some vector other than combination of the other vectors in S is similar.
It follows that S is linearly dependent since the equation is satisfied by which are not all zero. The proof in the case where some vector other than combination of the other vectors in S is similar. is
More informationIntrinsic Differential Geometry with Geometric Calculus
MM Research Preprints, 196 205 MMRC, AMSS, Academia Sinica No. 23, December 2004 Intrinsic Differential Geometry with Geometric Calculus Hongbo Li and Lina Cao Mathematics Mechanization Key Laboratory
More informationArticle Review: A Survey of Geometric Calculus and Geometric Algebra
Article Review: A Survey of Geometric Calculus and Geometric Algebra Josh Pollock June 6, 2017 Contents 1 Introduction 2 2 Motivating the Geometric Product and Higher Dimensional Geometric Objects 3 2.1
More informationMath 443 Differential Geometry Spring Handout 3: Bilinear and Quadratic Forms This handout should be read just before Chapter 4 of the textbook.
Math 443 Differential Geometry Spring 2013 Handout 3: Bilinear and Quadratic Forms This handout should be read just before Chapter 4 of the textbook. Endomorphisms of a Vector Space This handout discusses
More informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
More informationarxiv: v1 [math.ca] 9 Jan 2019
On Structure of Octonion Regular Functions arxiv:1901.02718v1 [math.ca] 9 Jan 2019 Janne Kauhanen Mathematics Tampere University FI-33014 Tampere University Finland janne.kauhanen@tuni.fi January 10, 2019
More informationLinear Algebra (Review) Volker Tresp 2018
Linear Algebra (Review) Volker Tresp 2018 1 Vectors k, M, N are scalars A one-dimensional array c is a column vector. Thus in two dimensions, ( ) c1 c = c 2 c i is the i-th component of c c T = (c 1, c
More informationParameterizing orbits in flag varieties
Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationLinear Algebra. Preliminary Lecture Notes
Linear Algebra Preliminary Lecture Notes Adolfo J. Rumbos c Draft date April 29, 23 2 Contents Motivation for the course 5 2 Euclidean n dimensional Space 7 2. Definition of n Dimensional Euclidean Space...........
More informationBRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR.
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 60, No. 1, 2019, Pages 9 20 Published online: February 11, 2019 https://doi.org/10.33044/revuma.v60n1a02 LIE n-multiplicative MAPPINGS ON TRIANGULAR n-matrix
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationCambridge University Press The Mathematics of Signal Processing Steven B. Damelin and Willard Miller Excerpt More information
Introduction Consider a linear system y = Φx where Φ can be taken as an m n matrix acting on Euclidean space or more generally, a linear operator on a Hilbert space. We call the vector x a signal or input,
More informationA NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9
A NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9 ERIC C. ROWELL Abstract. We consider the problem of decomposing tensor powers of the fundamental level 1 highest weight representation V of the affine Kac-Moody
More informationREPRESENTATIONS OF S n AND GL(n, C)
REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although
More information,, rectilinear,, spherical,, cylindrical. (6.1)
Lecture 6 Review of Vectors Physics in more than one dimension (See Chapter 3 in Boas, but we try to take a more general approach and in a slightly different order) Recall that in the previous two lectures
More informationAlgebra of Complex Vectors and Applications in Electromagnetic Theory and Quantum Mechanics
Mathematics 2015, 3, 781-842; doi:10.3390/math3030781 OPEN ACCESS mathematics ISSN 2227-7390 www.mdpi.com/journal/mathematics Article Algebra of Complex Vectors and Applications in Electromagnetic Theory
More informationCoordinate free non abelian geometry I: the quantum case of simplicial manifolds.
Coordinate free non abelian geometry I: the quantum case of simplicial manifolds. Johan Noldus May 6, 07 Abstract We study the geometry of a simplicial complexes from an algebraic point of view and devise
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationRepresentation Theory. Ricky Roy Math 434 University of Puget Sound
Representation Theory Ricky Roy Math 434 University of Puget Sound May 2, 2010 Introduction In our study of group theory, we set out to classify all distinct groups of a given order up to isomorphism.
More information1.3 Linear Dependence & span K
( ) Conversely, suppose that every vector v V can be expressed uniquely as v = u +w for u U and w W. Then, the existence of this expression for each v V is simply the statement that V = U +W. Moreover,
More informationAnswers in blue. If you have questions or spot an error, let me know. 1. Find all matrices that commute with A =. 4 3
Answers in blue. If you have questions or spot an error, let me know. 3 4. Find all matrices that commute with A =. 4 3 a b If we set B = and set AB = BA, we see that 3a + 4b = 3a 4c, 4a + 3b = 3b 4d,
More informationTHE THEOREM OF THE HIGHEST WEIGHT
THE THEOREM OF THE HIGHEST WEIGHT ANKE D. POHL Abstract. Incomplete notes of the talk in the IRTG Student Seminar 07.06.06. This is a draft version and thought for internal use only. The Theorem of the
More informationHyperbolic Conformal Geometry with Clifford Algebra 1)
MM Research Preprints, 72 83 No. 18, Dec. 1999. Beijing Hyperbolic Conformal Geometry with Clifford Algebra 1) Hongbo Li Abstract. In this paper we study hyperbolic conformal geometry following a Clifford
More informationLinear Algebra: Lecture notes from Kolman and Hill 9th edition.
Linear Algebra: Lecture notes from Kolman and Hill 9th edition Taylan Şengül March 20, 2019 Please let me know of any mistakes in these notes Contents Week 1 1 11 Systems of Linear Equations 1 12 Matrices
More information2. Every linear system with the same number of equations as unknowns has a unique solution.
1. For matrices A, B, C, A + B = A + C if and only if A = B. 2. Every linear system with the same number of equations as unknowns has a unique solution. 3. Every linear system with the same number of equations
More informationGeometric algebra: a computational framework for geometrical applications (part I: algebra)
Geometric algebra: a computational framework for geometrical applications (part I: algebra) Leo Dorst and Stephen Mann Abstract Geometric algebra is a consistent computational framework in which to define
More informationLecture I: Vectors, tensors, and forms in flat spacetime
Lecture I: Vectors, tensors, and forms in flat spacetime Christopher M. Hirata Caltech M/C 350-17, Pasadena CA 91125, USA (Dated: September 28, 2011) I. OVERVIEW The mathematical description of curved
More informationMatroid intersection, base packing and base covering for infinite matroids
Matroid intersection, base packing and base covering for infinite matroids Nathan Bowler Johannes Carmesin June 25, 2014 Abstract As part of the recent developments in infinite matroid theory, there have
More informationVECTORS, TENSORS AND INDEX NOTATION
VECTORS, TENSORS AND INDEX NOTATION Enrico Nobile Dipartimento di Ingegneria e Architettura Università degli Studi di Trieste, 34127 TRIESTE March 5, 2018 Vectors & Tensors, E. Nobile March 5, 2018 1 /
More informationVectors. January 13, 2013
Vectors January 13, 2013 The simplest tensors are scalars, which are the measurable quantities of a theory, left invariant by symmetry transformations. By far the most common non-scalars are the vectors,
More informationMAT Linear Algebra Collection of sample exams
MAT 342 - Linear Algebra Collection of sample exams A-x. (0 pts Give the precise definition of the row echelon form. 2. ( 0 pts After performing row reductions on the augmented matrix for a certain system
More informationMULTILINEAR ALGEBRA MCKENZIE LAMB
MULTILINEAR ALGEBRA MCKENZIE LAMB 1. Introduction This project consists of a rambling introduction to some basic notions in multilinear algebra. The central purpose will be to show that the div, grad,
More informationChapter 1 Numerical evaluation of Versors with Clifford Algebra
This is page 1 Printer: Opaque this Chapter 1 Numerical evaluation of Versors with Clifford Algebra Christian B. U. Perwass, Gerald Sommer 1 ABSTRACT This paper has two main parts. In the first part we
More informationBackground on Chevalley Groups Constructed from a Root System
Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described
More informationLinear Algebra. Preliminary Lecture Notes
Linear Algebra Preliminary Lecture Notes Adolfo J. Rumbos c Draft date May 9, 29 2 Contents 1 Motivation for the course 5 2 Euclidean n dimensional Space 7 2.1 Definition of n Dimensional Euclidean Space...........
More informationMultivector Calculus
In: J. Math. Anal. and Appl., ol. 24, No. 2, c Academic Press (1968) 313 325. Multivector Calculus David Hestenes INTRODUCTION The object of this paper is to show how differential and integral calculus
More informationarxiv: v1 [math.rt] 15 Oct 2008
CLASSIFICATION OF FINITE-GROWTH GENERAL KAC-MOODY SUPERALGEBRAS arxiv:0810.2637v1 [math.rt] 15 Oct 2008 CRYSTAL HOYT AND VERA SERGANOVA Abstract. A contragredient Lie superalgebra is a superalgebra defined
More informationConstruction of spinors in various dimensions
Construction of spinors in various dimensions Rhys Davies November 23 2011 These notes grew out of a desire to have a nice Majorana representation of the gamma matrices in eight Euclidean dimensions I
More informationDuke University, Department of Electrical and Computer Engineering Optimization for Scientists and Engineers c Alex Bronstein, 2014
Duke University, Department of Electrical and Computer Engineering Optimization for Scientists and Engineers c Alex Bronstein, 2014 Linear Algebra A Brief Reminder Purpose. The purpose of this document
More informationFoundations of Matrix Analysis
1 Foundations of Matrix Analysis In this chapter we recall the basic elements of linear algebra which will be employed in the remainder of the text For most of the proofs as well as for the details, the
More informationMaxwell s equations. Daniel Henry Gottlieb. August 1, Abstract
Maxwell s equations Daniel Henry Gottlieb August 1, 2004 Abstract We express Maxwell s equations as a single equation, first using the divergence of a special type of matrix field to obtain the four current,
More informationSCHUR FUNCTORS OR THE WEYL CONSTRUCTION MATH 126 FINAL PAPER
SCHUR FUNCTORS OR THE WEYL CONSTRUCTION MATH 126 FINAL PAPER ELI BOHMER LEBOW 1. Introduction We will consider a group G with a representation on a vector space V. The vector space should be a finite dimensional
More informationLIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM
Proceedings of the Edinburgh Mathematical Society Submitted Paper Paper 14 June 2011 LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM MICHAEL C. CRABB AND PEDRO L. Q. PERGHER Institute of Mathematics,
More informationTHE CENTRALIZER OF K IN U(g) C(p) FOR THE GROUP SO e (4,1) Ana Prlić University of Zagreb, Croatia
GLASNIK MATEMATIČKI Vol. 5(7)(017), 75 88 THE CENTRALIZER OF K IN U(g) C(p) FOR THE GROUP SO e (4,1) Ana Prlić University of Zagreb, Croatia Abstract. Let G be the Lie group SO e(4,1), with maximal compact
More information