MATH 205 HOMEWORK #5 OFFICIAL SOLUTION

Similar documents
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

Math 121 Homework 5: Notes on Selected Problems

Math 593: Problem Set 10

Math 581 Problem Set 3 Solutions

Notes on tensor products. Robert Harron

Linear Algebra. Min Yan

Review of linear algebra

MATH 205 HOMEWORK #3 OFFICIAL SOLUTION. Problem 1: Find all eigenvalues and eigenvectors of the following linear transformations. (a) F = R, V = R 3,

LINEAR ALGEBRA REVIEW

MATH 235. Final ANSWERS May 5, 2015

Math 210B: Algebra, Homework 4

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23

( 9x + 3y. y 3y = (λ 9)x 3x + y = λy 9x + 3y = 3λy 9x + (λ 9)x = λ(λ 9)x. (λ 2 10λ)x = 0

Math 121 Homework 4: Notes on Selected Problems

Math 121 Homework 2: Notes on Selected Problems

Some notes on linear algebra

Homework #05, due 2/17/10 = , , , , , Additional problems recommended for study: , , 10.2.

LECTURES MATH370-08C

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS

MATH 115A: SAMPLE FINAL SOLUTIONS

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Math Linear Algebra Final Exam Review Sheet

Solutions to Example Sheet 1

INTRO TO TENSOR PRODUCTS MATH 250B

Lecture 7. This set is the set of equivalence classes of the equivalence relation on M S defined by

Systems of Linear Equations

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).

Review of Linear Algebra

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

NOTES ON SPLITTING FIELDS

Lecture Notes for Math 414: Linear Algebra II Fall 2015, Michigan State University

Algebra Exam Syllabus

A Little Beyond: Linear Algebra

Math 593: Problem Set 7

Mathematics Department Stanford University Math 61CM/DM Vector spaces and linear maps

Solving a system by back-substitution, checking consistency of a system (no rows of the form

Linear Algebra Review

1. Foundations of Numerics from Advanced Mathematics. Linear Algebra

2.2. Show that U 0 is a vector space. For each α 0 in F, show by example that U α does not satisfy closure.

2.1 Modules and Module Homomorphisms

The following definition is fundamental.

Math 121 Homework 3 Solutions

MULTILINEAR ALGEBRA: THE TENSOR PRODUCT

A Primer on Homological Algebra

ALGEBRA QUALIFYING EXAM PROBLEMS

Written Homework # 2 Solution

A PRIMER ON SESQUILINEAR FORMS

Numerical Linear Algebra

INNER PRODUCT SPACE. Definition 1

A matrix is a rectangular array of. objects arranged in rows and columns. The objects are called the entries. is called the size of the matrix, and

Math 120 HW 9 Solutions

Math 210B:Algebra, Homework 2

A matrix is a rectangular array of. objects arranged in rows and columns. The objects are called the entries. is called the size of the matrix, and

Math 24 Spring 2012 Sample Homework Solutions Week 8

MATH 20F: LINEAR ALGEBRA LECTURE B00 (T. KEMP)

Math 120: Homework 6 Solutions

Real representations

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

13 More on free abelian groups

Definitions for Quizzes

MATH SOLUTIONS TO PRACTICE MIDTERM LECTURE 1, SUMMER Given vector spaces V and W, V W is the vector space given by

AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS

Notes on singular value decomposition for Math 54. Recall that if A is a symmetric n n matrix, then A has real eigenvalues A = P DP 1 A = P DP T.

ALGEBRA HW 3 CLAY SHONKWILER

Spectra of Semidirect Products of Cyclic Groups

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2009 Midterm

homogeneous 71 hyperplane 10 hyperplane 34 hyperplane 69 identity map 171 identity map 186 identity map 206 identity matrix 110 identity matrix 45

Monoids. Definition: A binary operation on a set M is a function : M M M. Examples:

TENSOR PRODUCTS II KEITH CONRAD

Lecture notes - Math 110 Lec 002, Summer The reference [LADR] stands for Axler s Linear Algebra Done Right, 3rd edition.

Two subgroups and semi-direct products

Chapter 6: Orthogonality

Linear Algebra Review. Vectors

Lecture 29: Free modules, finite generation, and bases for vector spaces

Formal power series rings, inverse limits, and I-adic completions of rings

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

1.8 Dual Spaces (non-examinable)

Algebraic Number Theory

0.1 Universal Coefficient Theorem for Homology

1. General Vector Spaces

Math 414: Linear Algebra II, Fall 2015 Final Exam

There are two things that are particularly nice about the first basis

Moreover this binary operation satisfies the following properties

Linear algebra 2. Yoav Zemel. March 1, 2012

Linear Algebra. and

Math 306 Topics in Algebra, Spring 2013 Homework 7 Solutions

Total 100

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Math 581 Problem Set 6 Solutions

MATH 221, Spring Homework 10 Solutions

Review of Linear Algebra Definitions, Change of Basis, Trace, Spectral Theorem

Rings and Fields Theorems

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.

Math 546, Exam 2 Information.

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

Vector Spaces and Linear Transformations

2. Linear algebra. matrices and vectors. linear equations. range and nullspace of matrices. function of vectors, gradient and Hessian

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

Transcription:

MATH 205 HOMEWORK #5 OFFICIAL SOLUTION Problem 1: An inner product on a vector space V over F is a bilinear map, : V V F satisfying the extra conditions v, w = w, v, and v, v 0, with equality if and only if v = 0. (a) Show that the standard dot product on R n is an inner product. (b) Show that (f, g) f(x)g(x) dx is an inner product on C ([0, 1], R). (c) Suppose that F is ordered. Prove that for any v, w V, v, w 2 v, v w, w. When does equality hold? What standard inequality in trigonometry does this reflect when V = R n? (d) We say that two vectors v, w in V are orthogonal if v, w = 0. Suppose that T : V V is a linear transformation satisfying T v, w = v, T w for all v, w. Show that eigenvectors of T with different eigenvalues are orthogonal. Solution: Note that if we can show that a bilinear form is symmetric, then it is linear in the first variable if and only if it is linear in the second. Thus showing linearity in one variable is enough. (a) Let v = (a 1,..., a n ) and w = (b 1,..., b n ). The standard dot product is symmetric, as v, w = a 1 b 1 + + a n b n = b 1 a 1 + + b n a n = w, v. Let λ R and u = (c 1,..., c n ). Then v+λu, w = (a 1 +λc 1 )b 1 + +(a n +λc n )b n = a 1 b 1 + +a n b n +λ(c 1 b 1 + +c n b n ) = v, w +λ u, w. Thus, is bilinear. In addition, v, v = a 2 1 + + a 2 n 0, with equality if and only if a i = 0 for all i. Thus the standard dot product is an inner products, as desired. (b) Note that f, g = f(x)g(x) dx = g(x)f(x) dx = g, f, so that, is symmetric. Let λ R, h C ([0, 1], R). Then (f(x) + λh(x))g(x) dx = f(x)g(x) dx + λ h(x)g(x) dx, so that, is bilinear. Lastly, suppose f(x) 0, so that there exists x 0 such that f(x 0 ) 0. Then there exists some δ such that f(x) > f(x 0 )/2 for x x 0 < δ. Then 1 0 f(x) 2 dx x0 +δ x 0 f(x 0 )/2 2 dx = f(x 0 )/2 2 δ > 0. Thus if f 0 then f, f > 0; clearly if f = 0 f, f = 0. Thus the second property of an inner product holds as well, and we are done. 1

2 MATH 205 HOMEWORK #5 OFFICIAL SOLUTION (c) First note that if either v or u is 0 then the inequality is an equality and holds trivially; thus we now consider the case when the two are nonzero. Let w = u u, v / v, v v. Then we have Now consider w, v = u, v u, v = 0. 0 w, w = u, u 2 u, v 2 / v, v + u, v 2 / v, v = u, u u, v 2 / v, v. Rearranging this, we get u, u v, v u, v 2, as desired. Equality will hold exactly when w = 0, which means that u is a scalar multiple of v. Note that in the classical case, this reduces to the inequality cos 2 θ 1. (d) Suppose that u is an eigenvector of T with eigenvalue λ and v is an eigenvector of T with eigenvalue ρ. Then λ u, v = T u, v = u, T v = ρ u, v. Thus if λ ρ we must have u, v = 0. In other words, u and v are orthogonal. Problem 2: Show that (F ) = F. Conclude that it is not the case that V and V are always isomorphic. Solution: Suppose that f (F ). Then f is uniquely determined by its value on a basis of F. Taking the standard basis {e i } i=1, where e i has a 1 in the ith position and 0s elsewhere, we see that the data of f consists exactly of a scalar in F for each i I. These add and scale pointwise. Thus f corresponds exactly to a vector in F. Since F is never isomorphic to F we see that V is not always isomorphic to V. Problem 3: Suppose that F is a field containing F and V is an F -vector space. If we consider F to be an F -vector space, we can form the tensor product F V, which is naturally an F -vector space. Show that it is also an F -vector space. This is called the change of base of V. Solution: In order to show that F V is an F -vector space we need to define scalar multiplication. For a pure tensor α v we define scalar multiplication by λ F by λ(α v) = (λα) v. If this is well-defined then it is clearly associative, since multiplication in F is associative. Similarly, it is unital: if λ = 1 then it clearly returns the same vector. We also have and λ(α v + β w) = (λα) v + (λβ) w (λ + ρ)(α v) = ((λ + ρ)α) v = (λα + ρα) v = (λα) v + (ρα) v. Thus if scalar multiplication is well-defined then it satisfies the axioms of a vector space. We have defined scalar multiplication by its action on the generators of F V. To show that this is well-defined we need to check that it preserves the relations; in other words, that the scalar

MATH 205 HOMEWORK #5 OFFICIAL SOLUTION 3 multiple of any element in A 0 stays in A 0. We therefore check: λ((α + β) v α v β v) = (λ(α + beta)) v (λα) v (λβ) v = ((λα) + (λβ)) v (λα) v (λβ) v A 0. λ(α (v + v ) α v α v ) = (λα) (v + v ) (λα) v (λα) v A 0. λ((aα) v a(α v)) = (λaα) v (λa)(α v) = (aλα) v (a(λ(α v))) = (aλα) v a((λα) v) A 0. λ(α (av) a(α v)) = (λα) (av) a(λ(α v)) = (λα) (av) a((λα) v) A 0. Thus multiplication by λ preserves A 0, and is thus well-defined on F V. Thus F V is an F -vector space. Problem 4: Prove the universal property for tensor products. In other words, show that for any vector spaces U, V, and W there is a bijection { } { } bilinear maps linear maps. U V W U V W Solution: Note that there exists a bilinear map ϕ : U V U V which maps (u, v) to u v. Thus we have a function { } { linear maps bilinear maps R: U V W U V W defined by mapping a linear map T : U V W to the bilinear map T ϕ. We need to show that this map is a bijection. FIrst we check that R is injective. Recall that S = {u v u U, v V } is a spanning set for U V ; thus any linear map T : U V W is uniquely defined by its values on S. if T, T : U V W satisfy T ϕ = T ϕ; then by definition T S = T S ; thus T = T. Thus R is injective. Now we need to check that R is surjective. Let T : U V W be a bilinear map. We need to show that there exists T : U V W such that T ϕ = T. We define T (u v) = T (u, v). If this is well-defined then it satisfies the desired condition; thus we need to check that it is zero on A 0. We check this on the generators of A 0 : T ((u + u ) v u v u v ) = T (u + u, v) T (u, v) T (u, v) = T (u + u, v) T (u + u, v) = 0 T (u (v + v ) u v u v ) = T (u, v + v ) T (u, v) T (u, v ) = T (u, v + v ) T (u, v + v ) = 0 T ((λu) v λ(u v)) = T (λu, v) λt (u, v) = λt (u, v) λt (u, v) = 0 T (u (λv) λ(u v)) = T (u, λv) λt (u, v) = λt (u, v) λt (u, v) = 0. Thus it is well-defined and R is surjective. Problem 5: Let {u i } m i=1 and {v j} n j=1 be bases of U and V, respectively. Show that a general element w = m n i=1 j=1 w iju i v j is the sum of r pure tensors if and only if the m n matrix (w ij ) has rank at most r. }

4 MATH 205 HOMEWORK #5 OFFICIAL SOLUTION Solution: Note that if we replace the basis {u i } m i=1 with the basis (u 1,..., λu i + u j, u i+1,..., u m ) then the relationship between the matrix (w ij ) and the matrix for w written in terms of the new basis is the same, except that column j turns into C j λ 1 C i. Thus we can do column reductions on the matrix (w ij ) by replacing the basis {u i } m i=1. Similarly, we can do row reductions by replacing the basis {v j } n j=1. A matrix has rank r if and only if it can be reduced to a matrix with r 1 s, with no two 1 s in any row or column, using row and column reductions. If the matrix (w ij ) has only r entries then we can rewrite w as a sum of r pure tensors. Thus if the matrix has rank r then by doing changes of basis corresponding to row and column operations we can write w as a sum of r pure tensors. Note that if w = (a 1 u 1 + + a m u m ) (b 1 v 1 + + b n v n ) then w ij = a i b j, so that (w ij ) has rank 1, and every row is a scalar multiple of another row. Thus if w = x 1 y 1 + + x r y r each row in (w ij ) is in the span of the vectors x 1,..., x r, so the row space of (w ij ) has dimension at most r. Thus the rank of the matrix (w ij ) is at most r, as desired. Problem 6: This next problem will investigate tensor products of modules. Note that the definition of linear and bilinear still work for rings instead of fields. Suppose that R is a commutative ring with unit, and M and N are R-modules. We define the tensor product M R N to be the R-module such that there is a bijection { } { } bilinear maps linear maps M N S M R N S for any R-module S. (a) Suppose that M = R m and N = R n. Show that M R N = R mn. (b) Suppose that R S is a homomorphism of rings. Show that S is an R-module. Show that S R M is an S-module. (c) Now suppose that R = Z. As we discussed before, Z-modules are just abelian groups. What is Z Z Z/nZ? What is Z/pZ Z Z/qZ for not necessarily distinct primes p and q? Find a general description of Z/mZ Z Z/nZ. Solution: Note that the construction of the tensor product that we did for vector spaces works equally well in the case of R-modules, since we did not use any properties of fields in the construction. Before we begin the problem we will show that for any R-modules M, M and N, (M M ) N = (M N) (M N). We define ϕ : (M M ) N (M N) (M N) by mappint (m, m ) n to (m n, m n). To check that this is a well-defined morphism of R-modules we need to check that it is 0 on the generators of A 0. We check: ϕ(((m, m ) + (m 0, m 0)) n (m, m ) n (m 0, m 0) n) = ((m + m 0 ) n, (m + m 0) n) (m n, m n) (m 0 n, m 0 n) ϕ((m, m ) (n + n ) = ((m + m 0 ) n m n m 0 n, (m + m 0) n m n m 0 n) = (0, 0) (M N) (M N). (m, m ) n (m, m ) n ) = (m (n + n ), m (n + n )) (m n, m n) (m n, m n ) = (m (n + n ) m n m n, m (n + n ) m n m n ) = (0, 0) (M N) (M N).

MATH 205 HOMEWORK #5 OFFICIAL SOLUTION 5 The other two relations follow analogously. We define φ : (M N) (M N) (M M ) N by mapping (m n, m n ) to (m, 0) n + (0, m ) n. We check that this is well-defined: φ((m + m 0 ) n m n m 0 n, (m + m 0) n m n m 0 n ) = (m + m 0, 0) n (m, 0) n (m 0, 0) n +(m + m 0, 0) n (m, 0) n (m 0, 0) n = 0. The other relations follow analogously. Thus these are well-defined maps. We have and φ(ϕ((m, m ) n)) = φ(m n, m n) = (m, 0) n + (0, m ) n = (m, m ) n ϕ(φ(m n, m n )) = ϕ((m, 0) n + (0, m ) n ) = (m n, 0 n) + (0 n, m n ) = (m n + 0 n, 0 n + m n ) = (m n, m n ). Thus these are mutually inverse isomorphisms. We make one extra observation before starting. For any m M, n N, Indeed, 0 n = m 0 = 0 M R N. 0 n = (0 + 0) n = 0 n + 0 n, and subtracting 0 n from each side gives us the desired equality. The other one follows analogously. We are now ready to solve the problem. (a) Note that R n is the n-fold product of R with itself. Thus applying the above we know that R n R R m = (R R R m ) n = R mn. The last step follows because R R R m = R m. Indeed, we note that for any pure tensor r v R R R m we have r v = (r 1) v = r(1 v) = 1 rv. So we have a map R R R m R m which takes r v to rv. We also have an inverse map which takes v R m to 1 v. (b) The proof we wrote in problem 3 works verbatim here. (c) We define mutually inverse isomorphisms Z Z Z/n Z/n and Z/n Z Z Z/n. The first takes a [b] to [ab], and the second takes [b] to 1 [b]. Thus Z Z Z/n = Z/n. Now suppose that m and n are relatively prime numbers. Let a b Z/m Z Z/n. Since m and n are relatively prime, n has a multiplicative inverse n in Z/m. Then we have a b = (1a) b = (nn a) b = n(n a b) = (n a) (nb). But n = 0 in Z/n, so nb = 0. Thus a b = (n a) 0 = 0, so all pure tensors are equal to 0. Therefore Z/m Z/n = 0 if m and n are relatively prime. On the other hand, if m n then Z/m Z Z/n = Z/m. Indeed, note that a b = (a 1) b = a(1 b) = a(1 (b 1)) = ab(1 1). Thus Z/m Z Z/n is generated by the multiples of 1 1, and is thus isomorphic to Z/k for some k. Note that m(1 1) = (m 1) 1 = 0 1 = 0, so k m. On the other hand, we have a surjective homomorphism Z/m Z Z/n Z/m given by a b ab. Thus m k, and we see that k = m, as desired.

6 MATH 205 HOMEWORK #5 OFFICIAL SOLUTION Write m = p k 1 1 pk l l and n = p m 1 1 p m l l, where some of the k i or m j can be 0. We can then write Z/mZ = Z/p k 1 1 Z Z/pk l l Z and Z/nZ = Z/p m 1 1 Z/p m l l. Then Z/mZ Z Z/nZ l r = Z/p k i i Z Z/pm j j Z. i=1 j=1 If i j then that summand is the trivial group. On the other hand, if i = j then the tensor product is just the smaller power of p i. Thus we have Z/mZ Z Z/nZ l = Z/p min(k i,m i ) i Z = Z/ gcd(m, n)z. i=1