Homework Notes Week 7

Similar documents
Inner Product. Euclidean Space. Orthonormal Basis. Orthogonal

8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS

Lectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix

2.3 Nilpotent endomorphisms

C/CS/Phy191 Problem Set 3 Solutions Out: Oct 1, 2008., where ( 00. ), so the overall state of the system is ) ( ( ( ( 00 ± 11 ), Φ ± = 1

763622S ADVANCED QUANTUM MECHANICS Solution Set 1 Spring c n a n. c n 2 = 1.

= = = (a) Use the MATLAB command rref to solve the system. (b) Let A be the coefficient matrix and B be the right-hand side of the system.

n α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0

Some basic inequalities. Definition. Let V be a vector space over the complex numbers. An inner product is given by a function, V V C

Math 217 Fall 2013 Homework 2 Solutions

Matrix Approximation via Sampling, Subspace Embedding. 1 Solving Linear Systems Using SVD

APPENDIX A Some Linear Algebra

MATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS

Affine transformations and convexity

BOUNDEDNESS OF THE RIESZ TRANSFORM WITH MATRIX A 2 WEIGHTS

Formulas for the Determinant

Lecture 12: Discrete Laplacian

The Multiple Classical Linear Regression Model (CLRM): Specification and Assumptions. 1. Introduction

Norms, Condition Numbers, Eigenvalues and Eigenvectors

5 The Rational Canonical Form

Bézier curves. Michael S. Floater. September 10, These notes provide an introduction to Bézier curves. i=0

CSCE 790S Background Results

ISSN: ISO 9001:2008 Certified International Journal of Engineering and Innovative Technology (IJEIT) Volume 3, Issue 1, July 2013

Salmon: Lectures on partial differential equations. Consider the general linear, second-order PDE in the form. ,x 2

Singular Value Decomposition: Theory and Applications

Lecture 10 Support Vector Machines II

Chapter 5. Solution of System of Linear Equations. Module No. 6. Solution of Inconsistent and Ill Conditioned Systems

Lecture 6/7 (February 10/12, 2014) DIRAC EQUATION. The non-relativistic Schrödinger equation was obtained by noting that the Hamiltonian 2

A how to guide to second quantization method.

332600_08_1.qxp 4/17/08 11:29 AM Page 481

MAE140 - Linear Circuits - Fall 13 Midterm, October 31

arxiv: v1 [quant-ph] 6 Sep 2007

1 Vectors over the complex numbers

MATH 5707 HOMEWORK 4 SOLUTIONS 2. 2 i 2p i E(X i ) + E(Xi 2 ) ä i=1. i=1

Advanced Quantum Mechanics

1 Matrix representations of canonical matrices

THEOREMS OF QUANTUM MECHANICS

For now, let us focus on a specific model of neurons. These are simplified from reality but can achieve remarkable results.

9 Characteristic classes

On Finite Rank Perturbation of Diagonalizable Operators

REGULAR POSITIVE TERNARY QUADRATIC FORMS. 1. Introduction

FINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN

Effects of Ignoring Correlations When Computing Sample Chi-Square. John W. Fowler February 26, 2012

Open Systems: Chemical Potential and Partial Molar Quantities Chemical Potential

Lecture 5 Decoding Binary BCH Codes

Composite Hypotheses testing

PHYS 215C: Quantum Mechanics (Spring 2017) Problem Set 3 Solutions

ELASTIC WAVE PROPAGATION IN A CONTINUOUS MEDIUM

Introduction to Simulation - Lecture 5. QR Factorization. Jacob White. Thanks to Deepak Ramaswamy, Michal Rewienski, and Karen Veroy

MAE140 - Linear Circuits - Fall 10 Midterm, October 28

An Inequality for the trace of matrix products, using absolute values

REAL ANALYSIS I HOMEWORK 1

Quantum Mechanics for Scientists and Engineers. David Miller

4DVAR, according to the name, is a four-dimensional variational method.

Change. Flamenco Chuck Keyser. Updates 11/26/2017, 11/28/2017, 11/29/2017, 12/05/2017. Most Recent Update 12/22/2017

MAE140 - Linear Circuits - Winter 16 Midterm, February 5

Beyond Zudilin s Conjectured q-analog of Schmidt s problem

The Geometry of Logit and Probit

Applied Mathematics Letters

DISCRIMINANTS AND RAMIFIED PRIMES. 1. Introduction A prime number p is said to be ramified in a number field K if the prime ideal factorization

The Order Relation and Trace Inequalities for. Hermitian Operators

Bezier curves. Michael S. Floater. August 25, These notes provide an introduction to Bezier curves. i=0

Lecture 4. Instructor: Haipeng Luo

Linear Approximation with Regularization and Moving Least Squares

w ). Then use the Cauchy-Schwartz inequality ( v w v w ).] = in R 4. Can you find a vector u 4 in R 4 such that the

ANSWERS. Problem 1. and the moment generating function (mgf) by. defined for any real t. Use this to show that E( U) var( U)

MEM 255 Introduction to Control Systems Review: Basics of Linear Algebra

Coordinate-Free Projective Geometry for Computer Vision

y i x P vap 10 A T SOLUTION TO HOMEWORK #7 #Problem

Polynomials. 1 More properties of polynomials

Calculation of time complexity (3%)

Dynamics of continued fractions in Q( 2)

Appendix for Causal Interaction in Factorial Experiments: Application to Conjoint Analysis

Canonical transformations

November 5, 2002 SE 180: Earthquake Engineering SE 180. Final Project

1 (1 + ( )) = 1 8 ( ) = (c) Carrying out the Taylor expansion, in this case, the series truncates at second order:

Fixed points of IA-endomorphisms of a free metabelian Lie algebra

Norm Bounds for a Transformed Activity Level. Vector in Sraffian Systems: A Dual Exercise

APPROXIMATE PRICES OF BASKET AND ASIAN OPTIONS DUPONT OLIVIER. Premia 14

Inexact Newton Methods for Inverse Eigenvalue Problems

Difference Equations

Dr. Shalabh Department of Mathematics and Statistics Indian Institute of Technology Kanpur

Expected Value and Variance

Week 2. This week, we covered operations on sets and cardinality.

Mathematical Preparations

U.C. Berkeley CS294: Beyond Worst-Case Analysis Luca Trevisan September 5, 2017

12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA. 4. Tensor product

Quantum Mechanics I - Session 4

Math 426: Probability MWF 1pm, Gasson 310 Homework 4 Selected Solutions

Solution 1 for USTC class Physics of Quantum Information

SINGLE OUTPUT DEPENDENT QUADRATIC OBSERVABILITY NORMAL FORM

17. Coordinate-Free Projective Geometry for Computer Vision

ON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EQUATION

Section 3.6 Complex Zeros

8.592J: Solutions for Assignment 7 Spring 2005

Linear Regression Analysis: Terminology and Notation

Yong Joon Ryang. 1. Introduction Consider the multicommodity transportation problem with convex quadratic cost function. 1 2 (x x0 ) T Q(x x 0 )

Additional Codes using Finite Difference Method. 1 HJB Equation for Consumption-Saving Problem Without Uncertainty

Important Instructions to the Examiners:

Communication Complexity 16:198: February Lecture 4. x ij y ij

Transcription:

Homework Notes Week 7 Math 4 Sprng 4 #4 (a Complete the proof n example 5 that s an nner product (the Frobenus nner product on M n n (F In the example propertes (a and (d have already been verfed so we need to check that (b and (c also hold To see that (b holds suppose that A B M n n (F and a F Then aa B tr(b (aa tr(ab A a tr(b A a A B where the thrd equalty holds by lnearty of the trace so property (c holds For property (c holds we compute both A B and B A A B tr(b A (B A (B k A k k B k A k k where the fnal equalty follows because the matrx B s defned by (B k B k An dentcal calculaton gves that B A n n k A kb k and snce complex conjugaton has the followng three propertes: z + z z + z zz zz and z z for all complex numbers z z C we have that

B A A k B k k A k B k k A k B k k A k B k k k B k A k A B (b Use the Frobenus nner product to compute A B and A B for A ( + ( + and B By defnton X X X for all matrces X M n n (F so we star by

computng A A B B ( ( + A A ( + 4 4 ( ( + B B ( ( ( + B A ( 4 4 + Now we are n a poston to compute the varous nner products nvolved A A tr(a A + B B tr(b B + 4 A B tr(b A 4 + + So fnally we can compute both A and B A 4 and B 4 #* Theorem Let V be an nner product space and let {v v k } be an orthogonal set n V Then for any scalars a a k : a v a v

Proof Wth v a descrbed as above we compute k a k v a v k j a jv j usng the lnearty n the frst varable then and conjugate-lnearty n the second (Theorem namely a v a j v j a v a j v j j j a a j v v j But v v j f j and f jtherefore for any fxed wth k we have a v a v a j v j j j a a j v v j j a a v v a v #7 Let T be a lnear operator on an nner product space V and suppose that T (x x for all x V Then T s one-to-one Proof We appeal to the fact that T s one-to-one f and only f N(T {} (Theorem 4 So suppose that x N(T e that T (x Then we must have x T (x but the only vector wth x s the zero vector so x So N(T {} and therefore T s one-to-one 4

# In each part apply the Gram-Schmdt process to the gven subset S of the nner product space V to obtan an orthogonal bass for span(s Then normalze the vectors to obtan an orthonormal bass for span(s and fnally compute the Fourer coeffcents of the gven vector relatve to β Fnally use Theorem 5 to verfy the result (b V R S and x To ntalze the Gram-Schmdt process we take v and then apply the next step to obtan v as v 5

Next we obtan v as v + The set {v v v } s an orthogonal bass so to obtan an orthonormal bass by settng w v v for then these vectors wll work specfcally { v v v v } v v s an orthonormal bass for span(s Now we compute the nner products x w for

x w + x w + x w + + + + Now we are supposed to verfy Theorem 5 specfcally to check that x x w w + x w w + x w w Well we can commute the rght hand sde of ths equaton drectly 7

x w w + x w w + x w w (d V span(s where S To start we set v v 4 4 4 4 x + + + 4 + and x and then compute v by 4 ( + + 4 + + + 4 4 + 8

( ( 4 + 4 + 8 If we now normalze the vectors v v we get w Now we compute x w and x w + x w 4 4 ( + + 4 + ( 4 ( + + 4 (7 + + x w 4 4 7 + 8 and w 7 (( + ( + + 4 ( 4 8 7 (( + ( + 4( + + 7 + 8 9

7 ( + + 4 + 4 + 7 4 4 7 Now agan we check that x x w w + x w w n accordance wth Theorem 5 x w w + x w w (7 + + 4 + 7 7 8 7 + + 4 + 4 8 7 + + 7 + + + 8 x 7 + + + 7 + + 8 + 8 8 + 4 4 # Let W span n C Fnd orthonormal bases for W and W The set s a bass for W by constructon hence by normalzng ths

vector we obtan an orthonormal bass of W namely x a vector y C s n W f and only f z so two such vectors are x y z and lnearly ndependent and span W so that x + z These two vectors are orthogonal Normalzng these vectors we obtan the orthonormal bass of W s a bass for W # For each oft he followng nner product space V (over F and lnear transformatons g : V F fnd a vector y such that g(x x y for all x V ( (b C C z g z z Let y z ( ( z then for any z C we have ( z z ( z + z ( z z ( z g z

# For each of the followng nner product space V and lnear operators T on V evaluate T at the gven vector n V (b V C T ( z z ( z Frst note that T {( ( z Let β Snce [T ] β [T ] β we have that ( z + z and x ( z ( ( z ( + for all vectors } z e the standard bass of C then [T ] β [T ] β ( ( + Now we remark that for any v C we have v [v] β so ( [ ( ] T z T z z z β [( ] [T z ] β z ( + β ( z z ( z z ( C So we can compute T on all vectors of C by the above matrx formula therefore ( ( ( + T + + ( ( + ( + ( + ( + ( + ( + + + + + ( 5 +

#a* Theorem Let V be an nner product space and let T be a lnear operator on V Then R(T N(T Proof We wll show that followng lst of statements are all equvalent ( x N(T ( T (x ( T (x y for all y V (v x T (y for all y V (v x w for all w R(T (v x R(T so n partcular once we ve done ths we have that N(T R(T by the equvalence of ( and (v That ( and ( are equvalent s just the defnton of N(T That ( and ( are equvalent s just the observaton that the only vector u V wth u v for all v V s u That ( and (v are equvalent s just the fact that for any vectors u v V we have T (x y x T (y snce T s the adjont of T and ths property s the defnng property of the adjont The equvalence of (v and (v follows form the fact that w R(T f and only f w T (y for some y V Fnally the equvalence of (v and (v s just the defnton of R(T So ( and (v are equvalent whch means exactly that R(T N(T