W if p = 0; ; W ) if p 1. p times
|
|
- Earl Oliver
- 5 years ago
- Views:
Transcription
1 Alternating and symmetric multilinear functions. Suppose and W are normed vector spaces. For each integer p we set {0} if p < 0; W if p = 0; ( ; W = L( }... {{... } ; W if p 1. p times We say µ p ( ; W is symmetric if either p 1 or p > 1 and the value of µ does not change if any pair of its arguments are transposed, and we say µ is antisymmetric or alternating if either p 1 or the value of µ is multiplied by 1 if any pair its arguments are transposed. We let ( ; W and ( ; W be the sets of symmetric and alternating members of p ; W, respectively. p ( ; W are linear subspaces of p ( ; W. If U is a vector spaces and l L(U, we define the linear map Evidently, p ( ; W and (l; W : ( ; W (U; W by setting (l; W (ϕ(u1,..., u p = ϕ(l(u 1,..., l(u p, ϕ ( ; W, u1,..., u p U. This extends the notion of adjoint encountered previously. We note that p (l; W preserves symmetry and antisymmetry and we set (l; W = (l; W ( ; W and (l; W = (l; W ( ; W. One easily verifies that if Z is a vector space and m L( ; Z then (m l; W = (l; W (m; W and that similar formulae hold with p ( ; W replaced by p ( ; W and p ( ; W. Interior multiplication. For each integer p we define the bilinear map ( ; W 1( ; W as follows: Given ϕ p ( ; W and v we set ϕ = 0 in case p 0, we set ϕ v = ϕ(v in case p = 1 and, in case p > 1, we set ϕ v(v 2,..., v p = ϕ(v, v 2,..., v p, v 2,..., v p. We call ϕ v interior multiplication or contraction of ϕ by v. by requiring that Note that interior multiplication by v preserves the subspaces of symmetric and alternating functions. Suppose B is a basis for and ϕ, ψ p ( ; W. Then ϕ = ψ if and only if ϕ(v(1,..., v(p = ψ(v(1,..., v(p 1
2 for any map v : {1,..., p} B. Proof. We hope this intuitively obvious to the reader. A short formal proof my proceed by induction on p using the fact that if p 1 and ϕ v = ψ v for all v then ϕ = ψ. Suppose B is a basis for and ϕ, ψ p ( ; W. Then ϕ = ψ if and only if for each p element subset B of B there is a univalent mapping v from {1,..., p} onto B such that ϕ(v(1,..., v(p = ψ(v(1,..., v(p. Proof. We hope this intuitively obvious to the reader. A short formal proof could proceed by induction on p using the fact that if p 1 and ϕ v = ψ v for all v then ϕ = ψ. For each integer p we let = ( ; R, = ( ; R, = ( ; R and we let l = (l; R, l = (l; R, l = (l; R. Exterior algebra. Let be a vector space, let n = dim and suppose n <. Suppose p 2, v i, i = 1,..., p and dim span{v i : i {1,..., p}} < p. Then ϕ(v 1,..., v p = 0 for any ϕ. Proof. For some j {1,..., p} and for some scalars c i, i I, with I = {1,..., p} {j} we have v j = i I c i v i. For each i I we define w (i 1,..., w(i p by setting For each i I we have w (i j = w (i i w (i k = so ϕ(w (i = 0. Thus ϕ(v 1,..., v p = i I { vi if k = j, v k if k I,, i I. c i ϕ(w (i 1,..., w(i p = 0. Corollary. = {0} if p > n. The Contravariant Exterior Product. There is one and only one map such that, if ϕ p and ψ q then q 2 +q
3 (1 ϕ ψ = ϕ ψ if p = 0 and q = 0; (2 (ϕ ψ v = (ϕ v ψ + ( 1 p ϕ (ψ v for all v in. This mapping is bilinear. Remark. Because (2 holds we say ϕ ϕ v is a skewderivation. Proof. The statement holds trivially if p < 0 or q < 0 so suppose p 0 and q 0 and induct on r = p + q. It is evident by induction on r that there is unique map q +q such that (1 and (2 are satisfied and that this map is bilinear. We need to show that if ϕ p and ψ q then ϕ ψ is alternating. This is trivially the case if r = 0 so assume r > 0 and that the Theorem holds for smaller r. Since (ϕ ψ v = (ϕ v ψ + ( 1 p ϕ (ψ v for any v the inductive hypothesis implies that ϕ ψ is alternating in its last r 1 slots. To complete the proof it will suffice to show that it alternating in its first two slots. That is, given v, w we need to show that ((ϕ ψ v w is alternating in v, w. But ((ϕ ψ v w = ( (ϕ v ψ + ( 1 p ϕ (ψ v w = ( (ϕ v w ψ + ( 1 p 1 (ϕ v (ψ w + ( 1 p (ϕ w (ψ v + ( 1 p ( 1 p ϕ ( (ψ v w. The sum of the second and third terms in this sum is clear alternating and v and w and the first and fourth terms in the summand are alternating by the inductive hypothesis. Suppose ϕ p, ψ q and ζ r. Then (That is, exterior multiplication is associative. (ϕ ψ ζ = ϕ (ψ ζ. Proof. The Theorem holds trivially if any of p, q, r are negative. So we assume that p, q, r are nonnegative and induct on s = p + q + r. The Theorem holds trivially if s = 0 so suppose s > 0 and that Theorem holds for smaller s. Given v we calculate ( (ϕ ψ ζ v = ( (ϕ ψ v ζ + ( 1 p+q (ϕ ψ (ζ v = ( (ϕ v ψ ζ + ( 1 p( ϕ (ψ v ζ + ( 1 p+q (ϕ ψ (ζ v; ( ϕ (ψ ζ v = (ϕ v (ψ ζ + ( 1 p ϕ ( (ψ ζ v Now apply the inductive hypothesis. = (ϕ v (ψ ζ + ( 1 p ϕ ( (ψ v ζ + ( 1 p ( 1 q ϕ ( ψ (ζ v. Suppose ϕ p and ψ q. Then ϕ ψ = ( 1 pq ψ ϕ. 3
4 (That is, exterior multiplication is commutative in the graded sense. Proof. The Theorem holds trivially if either p or 1 is negative. Induct on r = p + q. If r = 0 this amounts to the commutative law for multiplication of real numbers so suppose r > 0 and that the Theorem holds for smaller r. For any v in we have (ϕ ψ v = (ϕ v ψ + ( 1 p ϕ (ψ v; Now apply the inductive hypothesis. ( 1 pq (ψ ϕ v = ( 1 pq (ψ v ϕ + ( 1 pq ( 1 q ψ (ϕ v. Corollary. Suppose p is odd and ϕ p. Then ϕ ϕ = 0. Remark. Let = R 4. We have As we shall soon see, e 1 e 2 e 3 e 4 0. (e 1 e 2 + e 3 e 4 (e 1 e 2 + e 3 e 4 = 2 e 1 e 2 e 3 e 4. For each p {0, 1,..., n} we let Λ(p, n equal the empty set if p = 0 and we let it equal the set of increasing maps from {1,..., p} into {1,..., n} if p > 0. Let n Λ(n = Λ(p, n. Evidently, card Λ(p, n = ( n p p=0 whenever p {0,..., p}. For each integer p 1, i {1,..., p} and λ Λ(p, n we let λ i be that member of Λ(p 1, n such that rng λ i = rng λ {λ(i}. Bases and Dimension. Let be a vector space, let n = dim and let v 1,..., v n and v 1,..., v n be dual basics sequences for and, respectively. For each p in {1,..., n} and for each λ in Λ(p, n let v [λ] ( be such that v [λ] (ϕ = ϕ(v λ(1,..., v λ(p, 4 whenever ϕ p
5 and let { v λ(1 v λ = if p = 1, v λ(1 v λ(p else. Suppose m is a positive integer; p 1,..., p m are integers; φ i i, i = 1,..., m; v ; and φ i v = 0, i = 1,..., m. Then (φ 1 φ m v = 0. Proof. Induct on m. The assertion holds trivially if m = 1. Suppose that m > 1 and that the Proposition holds for smaller m. We use the skewderivation property of and the inductive hypothesisto obtain (φ 1 φ m v = (φ 1 v (φ 2 φ m + ( 1 p 1 φ 1 ( (φ 2 φ m v = 0. Suppose p {1,..., n}, j {1,..., n} and λ Λ(p, n. Then v λ v j = { ( 1 i 1 v λ i if λ(i = j for some i {1,..., p}, 0 else. Proof. If j rng λ then v λ v j = 0 by the preceding Proposition so let us suppose that j = λ(i for some i {1,..., p}. We induct on p. The Lemma holds trivially if p = 1. Assume that p {2,..., n} and that the Lemma holds for smaller p. Then ( 1 i 1 (v λ v j = (v j v λi v j = (v j v j v λi v j (v λi v j = v λi where we have used the inductive hypothesis to infer that v λi v j = 0. Suppose p in {1,..., n}. Then v [µ] (v λ = δ µ λ, λ, µ Λ(p, n. Proof. Suppose there is i {1,..., p} such that µ(i rng λ. Then v [µ] (v λ = v [µi ](v λ v µ(i = 0 so the Proposition holds in this case. We show the Proposition holds in case rng λ = rng µ by induction on p. In case p = 1 the assertion to be proved holds trivially so suppose p > 1 and that the assertion to be proved holds for smaller p. Now (v λ(1 v λ 1 v λ(1 = (v λ(1 v λ(1 v λ 1 v λ(1 (v λ 1 v λ(1 = v λ 1 and λ = µ so v [µ] (v λ = v [λ] (v λ = v [λ1 ]( (v λ(1 v λ 1 v λ(1 = v[λ1 ](v λ 1 = 1. Corollary. Moreover, For each p {1,..., n} the set {v λ : λ Λ(p, n} is a basis for p and has cardinality ( n p. (1 ϕ = λ Λ(p,n v [λ] (ϕ v λ whenever ϕ p. 5
6 Proof. Suppose c λ, λ Λ(p, n, are such that λ Λ(p,n c λ v λ = 0. Let µ Λ(p, n. Applying v [µ] to both sides of the preceding equation to and making use of the previous Theorem we infer that c µ = 0. It follows that {v λ : λ Λ(p, n} is independent and has cardinality ( n p. That (1 holds follows from the fact that for any µ Λ(p, n both sides have the same value on (v µ(1,..., v µ(p. That {v λ : λ Λ(p, n} spans p follows immediately from (1. Remark. A special case of the preceding Theorem is the all important dim n = 1. The Exterior Power of a Linear Map. Recall that if and W are vector spaces and l L( ; W we have the linear map l : W defined by setting l (ϕ(v1,..., v p = ϕ(l(v 1,..., l(v p whenever ϕ p W and v 1,..., v p. Suppose ϕ p and ψ q. Then (+q ( ( ( q ( l (ϕ ψ = l ϕ l ψ. Proof. Induct on p + q. We leave the details as an exercise for the reader. Suppose W and Z are vector spaces, l : W, m : W Z and l and m are linear. Then m l = l m. Proof. This is straight forward calculation. The Covariant Exterior Product. Suppose is a vector space and n = dim <. For each v we let v be such that v (ω = ω(v whenever ω and note that v v is a linear isomorphism from onto. frequently identify v with v. In what follows we will For each integer p we let p =. Whenever p is a integer not less than 2 we and v 1,..., v p we let p (v 1,..., v p = v 1 v p = v 1 v p ( 6
7 thereby defining Note that for any integers p, q p ( ; p (. p q +q is defined. Note that the associativity and anticommutativity of covariant exterior multiplication follow from the corresponding properties of contravariant exterior multiplication. Bases. Suppose v 1,..., v n and v 1,..., v n are dual basic sequence for and, respectively. Suppose p {1,..., n}. For each λ in Λ(p, n let v λ = { vλ(1 if p = 1, v λ(1 v λ(p else. Note that and that its cardinality is {v λ : λ Λ(p, n} is a basis for ( n. p For each λ in Λ(p, n let v [λ] ( be such that v [λ] (v µ = δ λ µ, µ Λ(p, n. by letting Suppose W is a finite dimensional vector space and l L( ; W. We define p l L( ; W p l = l. Suppose l L( ; W, p is an integer at least 2 and v 1,..., v p. Then (p l (v 1 v p = l(v 1 l(v p. Proof. We have p l(v 1 v p = l (v 1 v p = v1 l vp l = l(v 1 l(v p = l(v 1 l(v p. Suppose l L( ; W, ξ and η. Then ( (p+q l (ξ η = (p l (ξ (η. q 7
8 Proof. This is a consequence of facts already established for p. Suppose l L( ; W and m L(W ; Z. Then p m l = m l. Proof. This is a consequence of facts already established for p. The universal property of. Suppose p is an integer not less than 2. Then L( ( ; W φ φ ( ; W carries L( ; W isomorphically onto p ( ; W. In fact, if v 1,..., v n is a basis for and W = R this map carries v [λ] = v λ ( p to v λ p for λ Λ(p, n. Proof. Straighforward exercise. Remark. Taking W = R above we have that ( carries p isomorphically onto p. Moreover, (p φ φ p p = ; in fact, if ω 1,..., ω p then ω 1 ω p corresponds to ω 1 ω p p under this isomorphism. Suppose l L( ;. Keeping in mind that n is 1-dimensional we let det l, the determinant of l, be such that n l is multiplication by det l. Suppose l, m L( ;. Proof. Let ξ n {0}. We calculate det(l m = det(l det(m. det(l m ξ = (n l m (ξ = (n l m (ξ n = (n (n l m (ξ = (n l (det(m ξ = det(m (n l (ξ = det(m det(l ξ. 8
9 Corollary. Suppose l L( ;. Then l is invertible if and only if det l 0 in which case det l 1 = (det l 1. Corollary. Suppose W is a vector space, i carries isomorphically onto W, l L( ;, k L(W ; W and the following diagram is commutative: l i W i k W. Then Proof. Suppose ξ n. Then det k = det l. det l (n i (ξ = i((det lξ n = ( i l(ξ n n = n i l(ξ = n k i(ξ = n k ( n i(ξ = det k (n i (ξ. Let S n be the group of permutations of {1,..., n}. Let s : S n GL(R n be defined by the requirement that Note that s is a homomorphism. We the map and call it the signature or index. Moreover, s(σ(e j = e σ(j, σ S n, j = 1,..., n. sgn = det s : S n { 1, 1} sgn(σ τ = sgn(σsgn(τ, σ, τ S n. sgn(σ = card {(i, j {1,..., n} {1,..., n} : σ(i > σ(j} for any σ S n. Proof. The first assertion follows directly from the product rule for determinants. The second assertion is proved by induction on n. Observe that if σ S n and k {1,..., n} is such that σ(k = n then card {(i, n {1,..., n} : σ(i > σ(n} 9
10 and v σ(1 v σ(n = ( 1 n i v τ(1 v τ(n 1 v n where τ S n 1 is such that { σ(k if k < i, τ(k = k {1,..., n 1}. σ(k 1 if k i, Inner Products. Suppose has an inner product. Let be the corresponding polarity: β : β(v(w = v w whenever v, w. Suppose p is an integer not less than 2. Then there is one and only one inner product on such that (1 v 1 v p w 1 w p = β(v 1 β(v p (w 1,..., w p whenever v i, w i, i = 1,..., p. Moreover, if v 1,..., v n is an orthonormal basic sequence for then {v λ : λ Λ(p, n} is an orthonormal basis for. Proof. By virtue of earlier work we have an isomorphism β p = ( p p p which has the property that ( if v 1,..., v n is an orthonormal basic sequence for then v λ, λ Λ(p, n is carried to the the member of p which is dual to vλ. The Theorem now follows easily. with equality only if Proof. Write Suppose p is an integer not less than 2 and v 1,..., v p. Then v 1 v 2 v p v 1 v 2 v p v 1 span {v 2,..., v p }. v 1 = u 1 + w 1 where u 1 span {v 2,..., v p } and w 1 span {v 2,..., v p }. Then, as w 1 p i=2 ker β(v i, so β(v 1 β(v 2 β(v p w 1 = β(v 1 (w 1 β(v 2 β(v p = w 1 2 β(v 2 β(v p v 1 v 2 v p 2 = β(v 1 β(v 2 β(v p (w 1, v 2,..., v p = (β(v 1 β(v 2 β(v p w 1 (v 2,..., v p = w 2 2 β(v 2 β(v p (v 2,..., v p = w 2 2 v 2 v p 2. Suppose W is a finite dimensional inner product space and l L(, W. Then ( l = l. Proof. This will come later. 10
k times l times n times
1. Tensors on vector spaces Let V be a finite dimensional vector space over R. Definition 1.1. A tensor of type (k, l) on V is a map T : V V R k times l times which is linear in every variable. Example
More informationRuminations on exterior algebra
Ruminations on exterior algebra 1.1 Bases, once and for all. In preparation for moving to differential forms, let s settle once and for all on a notation for the basis of a vector space V and its dual
More information1 Invariant subspaces
MATH 2040 Linear Algebra II Lecture Notes by Martin Li Lecture 8 Eigenvalues, eigenvectors and invariant subspaces 1 In previous lectures we have studied linear maps T : V W from a vector space V to another
More informationCS 468. Differential Geometry for Computer Science. Lecture 13 Tensors and Exterior Calculus
CS 468 Differential Geometry for Computer Science Lecture 13 Tensors and Exterior Calculus Outline Linear and multilinear algebra with an inner product Tensor bundles over a surface Symmetric and alternating
More informationA PRIMER ON SESQUILINEAR FORMS
A PRIMER ON SESQUILINEAR FORMS BRIAN OSSERMAN This is an alternative presentation of most of the material from 8., 8.2, 8.3, 8.4, 8.5 and 8.8 of Artin s book. Any terminology (such as sesquilinear form
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 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 information1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces.
1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces. The set of n-tuples of real numbers is denoted by R n. Suppose that a is a real number
More informationLinear Algebra 2 Spectral Notes
Linear Algebra 2 Spectral Notes In what follows, V is an inner product vector space over F, where F = R or C. We will use results seen so far; in particular that every linear operator T L(V ) has a complex
More informationAbstract Vector Spaces and Concrete Examples
LECTURE 18 Abstract Vector Spaces and Concrete Examples Our discussion of linear algebra so far has been devoted to discussing the relations between systems of linear equations, matrices, and vectors.
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationMultilinear forms. Joel Kamnitzer. April 1, 2011
Multilinear forms Joel Kamnitzer April 1, 2011 Assume that all fields are characteristic 0 (i.e. 1 + + 1 0), for example F = Q, R, C. Assume also that all vector spaces are finite dimensional. 1 Dual spaces
More informationThe varieties of e-th powers
The varieties of e-th powers M.A. Bik Master thesis Thesis advisors: dr. R.M. van Luijk dr. R.I. van der Veen Date master exam: 25 July 2016 Mathematisch Instituut, Universiteit Leiden Acknowledgements
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 informationCHAPTER 2. Ordered vector spaces. 2.1 Ordered rings and fields
CHAPTER 2 Ordered vector spaces In this chapter we review some results on ordered algebraic structures, specifically, ordered vector spaces. We prove that in the case the field in question is the field
More informationHonors Algebra II MATH251 Course Notes by Dr. Eyal Goren McGill University Winter 2007
Honors Algebra II MATH251 Course Notes by Dr Eyal Goren McGill University Winter 2007 Last updated: April 4, 2014 c All rights reserved to the author, Eyal Goren, Department of Mathematics and Statistics,
More informationis the desired collar neighbourhood. Corollary Suppose M1 n, M 2 and f : N1 n 1 N2 n 1 is a diffeomorphism between some connected components
1. Collar neighbourhood theorem Definition 1.0.1. Let M n be a manifold with boundary. Let p M. A vector v T p M is called inward if for some local chart x: U V where U subsetm is open, V H n is open and
More informationCHAPTER The zero vector. This vector has the property that for every vector, v, v + 0 = 0+v = v and λv = 0 if λ is the real number, zero.
This is page 1 Printer: Opaque this CHAPTER 1 MULTILINEAR ALGEBRA 1.1 Background We will list below some definitions and theorems that are part of the curriculum of a standard theory-based sophomore level
More informationCS 468 (Spring 2013) Discrete Differential Geometry
CS 468 (Spring 2013) Discrete Differential Geometry Lecture 13 13 May 2013 Tensors and Exterior Calculus Lecturer: Adrian Butscher Scribe: Cassidy Saenz 1 Vectors, Dual Vectors and Tensors 1.1 Inner Product
More informationReal representations
Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where
More informationIntroduction to Bases in Banach Spaces
Introduction to Bases in Banach Spaces Matt Daws June 5, 2005 Abstract We introduce the notion of Schauder bases in Banach spaces, aiming to be able to give a statement of, and make sense of, the Gowers
More informationLinear and Bilinear Algebra (2WF04) Jan Draisma
Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 3 The minimal polynomial and nilpotent maps 3.1. Minimal polynomial Throughout this chapter, V is a finite-dimensional vector space of dimension
More information4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
More informationMATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus
MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let
More informationMath 52H: Multilinear algebra, differential forms and Stokes theorem. Yakov Eliashberg
Math 52H: Multilinear algebra, differential forms and Stokes theorem Yakov Eliashberg March 202 2 Contents I Multilinear Algebra 7 Linear and multilinear functions 9. Dual space.........................................
More informationThe geometry of projective space
Chapter 1 The geometry of projective space 1.1 Projective spaces Definition. A vector subspace of a vector space V is a non-empty subset U V which is closed under addition and scalar multiplication. In
More informationOctober 25, 2013 INNER PRODUCT SPACES
October 25, 2013 INNER PRODUCT SPACES RODICA D. COSTIN Contents 1. Inner product 2 1.1. Inner product 2 1.2. Inner product spaces 4 2. Orthogonal bases 5 2.1. Existence of an orthogonal basis 7 2.2. Orthogonal
More informationMA20216: Algebra 2A. Notes by Fran Burstall
MA20216: Algebra 2A Notes by Fran Burstall Corrections by: Callum Kemp Carlos Galeano Rios Kate Powell Tobias Beith Krunoslav Lehman Pavasovic Dan Corbie Phaidra Anastasiadou Louise Hannon Vlad Brebeanu
More informationOHSx XM511 Linear Algebra: Solutions to Online True/False Exercises
This document gives the solutions to all of the online exercises for OHSx XM511. The section ( ) numbers refer to the textbook. TYPE I are True/False. Answers are in square brackets [. Lecture 02 ( 1.1)
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 information4. Symmetric and Alternating Products We want to introduce some variations on the theme of tensor products.
4. Symmetric and Alternating Products We want to introduce some variations on the theme of tensor products. The idea is that one can require a bilinear map to be either symmetric or alternating. Definition
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 informationMIDTERM I LINEAR ALGEBRA. Friday February 16, Name PRACTICE EXAM SOLUTIONS
MIDTERM I LIEAR ALGEBRA MATH 215 Friday February 16, 2018. ame PRACTICE EXAM SOLUTIOS Please answer the all of the questions, and show your work. You must explain your answers to get credit. You will be
More informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
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 informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More information13. Symmetric and Alternating Products We want to introduce some variations on the theme of tensor products.
13 Symmetric and Alternating Products We want to introduce some variations on the theme of tensor products The idea is that one can require a bilinear form to be either symmetric or alternating Definition
More informationHomework set 4 - Solutions
Homework set 4 - Solutions Math 407 Renato Feres 1. Exercise 4.1, page 49 of notes. Let W := T0 m V and denote by GLW the general linear group of W, defined as the group of all linear isomorphisms of W
More informationLINEAR ALGEBRA REVIEW
LINEAR ALGEBRA REVIEW JC Stuff you should know for the exam. 1. Basics on vector spaces (1) F n is the set of all n-tuples (a 1,... a n ) with a i F. It forms a VS with the operations of + and scalar multiplication
More informationTrace Class Operators and Lidskii s Theorem
Trace Class Operators and Lidskii s Theorem Tom Phelan Semester 2 2009 1 Introduction The purpose of this paper is to provide the reader with a self-contained derivation of the celebrated Lidskii Trace
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
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 informationMATH 583A REVIEW SESSION #1
MATH 583A REVIEW SESSION #1 BOJAN DURICKOVIC 1. Vector Spaces Very quick review of the basic linear algebra concepts (see any linear algebra textbook): (finite dimensional) vector space (or linear space),
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More information2 bases of V. Largely for this reason, we will ignore the 0 space in this handout; anyway, including it in various results later on is always either m
Math 396. Orientations In the theory of manifolds there will be a notion called orientability that is required to integrate top-degree differential forms. Orientations arise from certain notions in linear
More information6 Inner Product Spaces
Lectures 16,17,18 6 Inner Product Spaces 6.1 Basic Definition Parallelogram law, the ability to measure angle between two vectors and in particular, the concept of perpendicularity make the euclidean space
More informationThroughout these notes we assume V, W are finite dimensional inner product spaces over C.
Math 342 - Linear Algebra II Notes Throughout these notes we assume V, W are finite dimensional inner product spaces over C 1 Upper Triangular Representation Proposition: Let T L(V ) There exists an orthonormal
More informationMATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003
MATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003 1. True or False (28 points, 2 each) T or F If V is a vector space
More informationNOTES ON PRODUCT SYSTEMS
NOTES ON PRODUCT SYSTEMS WILLIAM ARVESON Abstract. We summarize the basic properties of continuous tensor product systems of Hilbert spaces and their role in non-commutative dynamics. These are lecture
More informationLINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS
LINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F has characteristic zero. The following are facts (in
More informationReview of linear algebra
Review of linear algebra 1 Vectors and matrices We will just touch very briefly on certain aspects of linear algebra, most of which should be familiar. Recall that we deal with vectors, i.e. elements of
More informationNORMS ON SPACE OF MATRICES
NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system
More informationGeneral tensors. Three definitions of the term V V. q times. A j 1...j p. k 1...k q
General tensors Three definitions of the term Definition 1: A tensor of order (p,q) [hence of rank p+q] is a multilinear function A:V V }{{ V V R. }}{{} p times q times (Multilinear means linear in each
More informationEquations in roots of unity
ACTA ARITHMETICA LXXVI.2 (1996) Equations in roots of unity by Hans Peter Schlickewei (Ulm) 1. Introduction. Suppose that n 1 and that a 1,..., a n are nonzero complex numbers. We study equations (1.1)
More informationNOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017
NOTES ON FRAMES Damir Bakić University of Zagreb June 6, 017 Contents 1 Unconditional convergence, Riesz bases, and Bessel sequences 1 1.1 Unconditional convergence of series in Banach spaces...............
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationv = v 1 2 +v 2 2. Two successive applications of this idea give the length of the vector v R 3 :
Length, Angle and the Inner Product The length (or norm) of a vector v R 2 (viewed as connecting the origin to a point (v 1,v 2 )) is easily determined by the Pythagorean Theorem and is denoted v : v =
More informationIr O D = D = ( ) Section 2.6 Example 1. (Bottom of page 119) dim(v ) = dim(l(v, W )) = dim(v ) dim(f ) = dim(v )
Section 3.2 Theorem 3.6. Let A be an m n matrix of rank r. Then r m, r n, and, by means of a finite number of elementary row and column operations, A can be transformed into the matrix ( ) Ir O D = 1 O
More informationLinear Algebra Lecture Notes-II
Linear Algebra Lecture Notes-II Vikas Bist Department of Mathematics Panjab University, Chandigarh-64 email: bistvikas@gmail.com Last revised on March 5, 8 This text is based on the lectures delivered
More informationAN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION
AN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION Daniel Halpern-Leistner 6/20/08 Abstract. I propose an algebraic framework in which to study measures of information. One immediate consequence
More information= ϕ r cos θ. 0 cos ξ sin ξ and sin ξ cos ξ. sin ξ 0 cos ξ
8. The Banach-Tarski paradox May, 2012 The Banach-Tarski paradox is that a unit ball in Euclidean -space can be decomposed into finitely many parts which can then be reassembled to form two unit balls
More informationSYLLABUS. 1 Linear maps and matrices
Dr. K. Bellová Mathematics 2 (10-PHY-BIPMA2) SYLLABUS 1 Linear maps and matrices Operations with linear maps. Prop 1.1.1: 1) sum, scalar multiple, composition of linear maps are linear maps; 2) L(U, V
More informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
More informationHomework 11 Solutions. Math 110, Fall 2013.
Homework 11 Solutions Math 110, Fall 2013 1 a) Suppose that T were self-adjoint Then, the Spectral Theorem tells us that there would exist an orthonormal basis of P 2 (R), (p 1, p 2, p 3 ), consisting
More informationimplies that if we fix a basis v of V and let M and M be the associated invertible symmetric matrices computing, and, then M = (L L)M and the
Math 395. Geometric approach to signature For the amusement of the reader who knows a tiny bit about groups (enough to know the meaning of a transitive group action on a set), we now provide an alternative
More informationLinear Algebra 2 Final Exam, December 7, 2015 SOLUTIONS. a + 2b = x a + 3b = y. This solves to a = 3x 2y, b = y x. Thus
Linear Algebra 2 Final Exam, December 7, 2015 SOLUTIONS 1. (5.5 points) Let T : R 2 R 4 be a linear mapping satisfying T (1, 1) = ( 1, 0, 2, 3), T (2, 3) = (2, 3, 0, 0). Determine T (x, y) for (x, y) R
More informationVector spaces, duals and endomorphisms
Vector spaces, duals and endomorphisms A real vector space V is a set equipped with an additive operation which is commutative and associative, has a zero element 0 and has an additive inverse v for any
More informationUniversity of Colorado at Denver Mathematics Department Applied Linear Algebra Preliminary Exam With Solutions 16 January 2009, 10:00 am 2:00 pm
University of Colorado at Denver Mathematics Department Applied Linear Algebra Preliminary Exam With Solutions 16 January 2009, 10:00 am 2:00 pm Name: The proctor will let you read the following conditions
More informationProblem set 2. Math 212b February 8, 2001 due Feb. 27
Problem set 2 Math 212b February 8, 2001 due Feb. 27 Contents 1 The L 2 Euler operator 1 2 Symplectic vector spaces. 2 2.1 Special kinds of subspaces....................... 3 2.2 Normal forms..............................
More informationMath 396. Quotient spaces
Math 396. Quotient spaces. Definition Let F be a field, V a vector space over F and W V a subspace of V. For v, v V, we say that v v mod W if and only if v v W. One can readily verify that with this definition
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 informationSuppose R is an ordered ring with positive elements P.
1. The real numbers. 1.1. Ordered rings. Definition 1.1. By an ordered commutative ring with unity we mean an ordered sextuple (R, +, 0,, 1, P ) such that (R, +, 0,, 1) is a commutative ring with unity
More informationNOTES ON LINEAR ALGEBRA. 1. Determinants
NOTES ON LINEAR ALGEBRA 1 Determinants In this section, we study determinants of matrices We study their properties, methods of computation and some applications We are familiar with the following formulas
More informationVector Spaces and Linear Maps
Vector Spaces and Linear Maps Garrett Thomas August 14, 2018 1 About This document is part of a series of notes about math and machine learning. You are free to distribute it as you wish. The latest version
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationMath 113 Final Exam: Solutions
Math 113 Final Exam: Solutions Thursday, June 11, 2013, 3.30-6.30pm. 1. (25 points total) Let P 2 (R) denote the real vector space of polynomials of degree 2. Consider the following inner product on P
More informationSYMPLECTIC GEOMETRY: LECTURE 1
SYMPLECTIC GEOMETRY: LECTURE 1 LIAT KESSLER 1. Symplectic Linear Algebra Symplectic vector spaces. Let V be a finite dimensional real vector space and ω 2 V, i.e., ω is a bilinear antisymmetric 2-form:
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationLECTURE 13. Quotient Spaces
LECURE 13 Quotient Spaces In all the development above we have created examples of vector spaces primarily as subspaces of other vector spaces Below we ll provide a construction which starts with a vector
More informationMath Linear Algebra II. 1. Inner Products and Norms
Math 342 - Linear Algebra II Notes 1. Inner Products and Norms One knows from a basic introduction to vectors in R n Math 254 at OSU) that the length of a vector x = x 1 x 2... x n ) T R n, denoted x,
More informationRepresentations. 1 Basic definitions
Representations 1 Basic definitions If V is a k-vector space, we denote by Aut V the group of k-linear isomorphisms F : V V and by End V the k-vector space of k-linear maps F : V V. Thus, if V = k n, then
More informationLinear Algebra Notes. Lecture Notes, University of Toronto, Fall 2016
Linear Algebra Notes Lecture Notes, University of Toronto, Fall 2016 (Ctd ) 11 Isomorphisms 1 Linear maps Definition 11 An invertible linear map T : V W is called a linear isomorphism from V to W Etymology:
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationALGEBRA QUALIFYING EXAM PROBLEMS
ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General
More informationSemi vector spaces and units of measurement
arxiv:0710.1313v1 [math.ac] 5 Oct 2007 Semi vector spaces and units of measurement Josef Janyška 1, Marco Modugno 2, Raffaele Vitolo 3 1 Department of Mathematics and Statistics, Masaryk University Janáčkovo
More informationMath 413/513 Chapter 6 (from Friedberg, Insel, & Spence)
Math 413/513 Chapter 6 (from Friedberg, Insel, & Spence) David Glickenstein December 7, 2015 1 Inner product spaces In this chapter, we will only consider the elds R and C. De nition 1 Let V be a vector
More informationNOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS
NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS 1. What is a tensor? Let V be a finite-dimensional vector space. 1 It could be R n, it could be the tangent space to a manifold at a point, or it could just
More informationMaximal non-commuting subsets of groups
Maximal non-commuting subsets of groups Umut Işık March 29, 2005 Abstract Given a finite group G, we consider the problem of finding the maximal size nc(g) of subsets of G that have the property that no
More informationA duality on simplicial complexes
A duality on simplicial complexes Michael Barr 18.03.2002 Dedicated to Hvedri Inassaridze on the occasion of his 70th birthday Abstract We describe a duality theory for finite simplicial complexes that
More informationThe converse is clear, since
14. The minimal polynomial For an example of a matrix which cannot be diagonalised, consider the matrix ( ) 0 1 A =. 0 0 The characteristic polynomial is λ 2 = 0 so that the only eigenvalue is λ = 0. The
More informationThe following definition is fundamental.
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic
More informationOn interpolation by radial polynomials C. de Boor Happy 60th and beyond, Charlie!
On interpolation by radial polynomials C. de Boor Happy 60th and beyond, Charlie! Abstract A lemma of Micchelli s, concerning radial polynomials and weighted sums of point evaluations, is shown to hold
More informationEquivalence Relations
Equivalence Relations Definition 1. Let X be a non-empty set. A subset E X X is called an equivalence relation on X if it satisfies the following three properties: 1. Reflexive: For all x X, (x, x) E.
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 informationSpanning and Independence Properties of Finite Frames
Chapter 1 Spanning and Independence Properties of Finite Frames Peter G. Casazza and Darrin Speegle Abstract The fundamental notion of frame theory is redundancy. It is this property which makes frames
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 informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationCLASSES OF STRICTLY SINGULAR OPERATORS AND THEIR PRODUCTS
CLASSES OF STRICTLY SINGULAR OPERATORS AND THEIR PRODUCTS GEORGE ANDROULAKIS, PANDELIS DODOS, GLEB SIROTKIN AND VLADIMIR G. TROITSKY Abstract. Milman proved in [18] that the product of two strictly singular
More informationON k-subspaces OF L-VECTOR-SPACES. George M. Bergman
ON k-subspaces OF L-VECTOR-SPACES George M. Bergman Department of Mathematics University of California, Berkeley CA 94720-3840, USA gbergman@math.berkeley.edu ABSTRACT. Let k L be division rings, with
More information