Inner-product spaces

Similar documents
Best Approximation in the 2-norm

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1

Fourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )

Hilbert Spaces. Chapter Inner product spaces

Abstract inner product spaces

Theoretical foundations of Gaussian quadrature

MATH 423 Linear Algebra II Lecture 28: Inner product spaces.

Best Approximation. Chapter The General Case

Chapter 3. Vector Spaces

Math Theory of Partial Differential Equations Lecture 2-9: Sturm-Liouville eigenvalue problems (continued).

Elementary Linear Algebra

(4.1) D r v(t) ω(t, v(t))

Analytical Methods Exam: Preparatory Exercises

Functional Analysis I Solutions to Exercises. James C. Robinson

The Regulated and Riemann Integrals

Math Solutions to homework 1

MATRICES AND VECTORS SPACE

STUDY GUIDE FOR BASIC EXAM

1 Linear Least Squares

STURM-LIOUVILLE THEORY, VARIATIONAL APPROACH

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all

MTH 5102 Linear Algebra Practice Exam 1 - Solutions Feb. 9, 2016

The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008

ODE: Existence and Uniqueness of a Solution

Inner Product Space. u u, v u, v u, v.

MATH1050 Cauchy-Schwarz Inequality and Triangle Inequality

Chapter 3 Polynomials

MATH 174A: PROBLEM SET 5. Suggested Solution

Lecture notes. Fundamental inequalities: techniques and applications

c n φ n (x), 0 < x < L, (1) n=1

DEFINITION The inner product of two functions f 1 and f 2 on an interval [a, b] is the number. ( f 1, f 2 ) b DEFINITION 11.1.

STURM-LIOUVILLE BOUNDARY VALUE PROBLEMS

AMATH 731: Applied Functional Analysis Fall Additional notes on Fréchet derivatives

Variational Techniques for Sturm-Liouville Eigenvalue Problems

440-2 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam

SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL (1 + µ(f n )) f(x) =. But we don t need the exact bound.) Set

M597K: Solution to Homework Assignment 7

LECTURE 3. Orthogonal Functions. n X. It should be noted, however, that the vectors f i need not be orthogonal nor need they have unit length for

g i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015

Orthogonal Polynomials and Least-Squares Approximations to Functions

1 The Lagrange interpolation formula

Convex Sets and Functions

Problem Set 4: Solutions Math 201A: Fall 2016

NOTES ON HILBERT SPACE

Chapter 14. Matrix Representations of Linear Transformations

September 13 Homework Solutions

AM1 Mathematical Analysis 1 Oct Feb Exercises Lecture 3. sin(x + h) sin x h cos(x + h) cos x h

Math 61CM - Solutions to homework 9

ad = cb (1) cf = ed (2) adf = cbf (3) cf b = edb (4)

Sturm-Liouville Eigenvalue problem: Let p(x) > 0, q(x) 0, r(x) 0 in I = (a, b). Here we assume b > a. Let X C 2 1

k and v = v 1 j + u 3 i + v 2

Notes on length and conformal metrics

Analytically, vectors will be represented by lowercase bold-face Latin letters, e.g. a, r, q.

Chapter 6. Infinite series

Orthogonal Polynomials

8.3 THE TRIGONOMETRIC FUNCTIONS. skipped 8.4 THE ALGEBRAIC COMPLETENESS OF THE COMPLEX FIELD. skipped 8.5 FOURIER SERIES

Math 270A: Numerical Linear Algebra

CSCI 5525 Machine Learning

The Dirac distribution

2 Fundamentals of Functional Analysis

Infinite Geometric Series

Sturm-Liouville Theory

Math 554 Integration

Matrix Eigenvalues and Eigenvectors September 13, 2017

Lecture 2e Orthogonal Complement (pages )

Discrete Least-squares Approximations

McGill University Math 354: Honors Analysis 3 Fall 2012 Solutions to selected Exercises. g(x) 2 dx 1 2 a

4.5.0 BANACH AND HILBERT SPACES

Review of Riemann Integral

ENGI 9420 Lecture Notes 7 - Fourier Series Page 7.01

1 The Riemann Integral

Introduction to Some Convergence theorems

7.2 Riemann Integrable Functions

II. Integration and Cauchy s Theorem

Lecture 3. Limits of Functions and Continuity

Linearity, linear operators, and self adjoint eigenvalue problems

TRAPEZOIDAL TYPE INEQUALITIES FOR n TIME DIFFERENTIABLE FUNCTIONS

A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE

p(x) = 3x 3 + x n 3 k=0 so the right hand side of the equality we have to show is obtained for r = b 0, s = b 1 and 2n 3 b k x k, q 2n 3 (x) =

Problem Set 3

8 Laplace s Method and Local Limit Theorems

Handout 4. Inverse and Implicit Function Theorems.

Chapter 3 MATRIX. In this chapter: 3.1 MATRIX NOTATION AND TERMINOLOGY

Lecture 1. Functional series. Pointwise and uniform convergence.

Numerical Methods I Orthogonal Polynomials

Definite integral. Mathematics FRDIS MENDELU

ODE: Existence and Uniqueness of a Solution

Definite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30

MATH 409 Advanced Calculus I Lecture 19: Riemann sums. Properties of integrals.

(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer

Numerical Methods for Partial Differential Equations

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Absolute values of real numbers. Rational Numbers vs Real Numbers. 1. Definition. Absolute value α of a real

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions

Notes on the Eigenfunction Method for solving differential equations

Energy Bands Energy Bands and Band Gap. Phys463.nb Phenomenon

Construction of Gauss Quadrature Rules

Transcription:

Inner-product spces Definition: Let V be rel or complex liner spce over F (here R or C). An inner product is n opertion between two elements of V which results in sclr. It is denoted by u, v nd stisfies: 1. For ech v V, v, v 0.. For ech v V, v, v = 0 iff v = 0.. For ech u, v, w V nd, b F, u + bv, w = u, w + b v, w. 4. For ech u, v V, u, v = v, u. Exercise: Show tht: 1. For ech u, v, w V nd, b C, u, v + bw = u, v + b u, w.. For ech v V, C, v, v = v, v.. For ech v V, 0, v = 0. Exmple 1: In (R n, R), x, y = n i=1 x iy i defines n inner product. Exmple : In (C(, b), C), f, g = b f(t)g(t)dt defines n inner product. Exmple : Let l be the spce of ll complex sequences {x n } for which the series n=1 x ny n converges. Then x, y = i=1 x ny n defines n inner product. Definition: Let V be liner spce. A norm on V is function V R + denoted by with the properties: 1. For ech v V, v 0.. v = 0 iff v = 0.. For ech v V nd F, v = v. 4. For ech u, v V, u + v u + v (tringle inequlity). 1

Exmple 4: If V = R or C, for ech x = (x 1, x,..., x n ) V define x = n i=1 x i. ( Eucliden norm ). Exmple 5: For V s in Exmple 4 define x = mx,,...,n x k ( infinity or uniform norm ). Exmple 6: For V s in Exmple 4 define x 1 = n x k ( 1-norm ). Exmple 7: If V = C(, b) then for ech f V, f = mx x b f(x) is norm. Theorem 1: If V is n inner-product spce, then v = v, v, v V, defines norm on V. Theorem : (Cuchy-Schwrtz inequlity) Let V be n inner-product spce. Then for ech u, v V we hve u, v u v. Proof: Assume tht = u, v 0, otherwise proof is obvious. For every λ R we hve 0 u λv = u λv, u λv = u, u λ u, v λ v, u + λ v, v = u λ u, v λ v, u + λ v, v = u λ + λ v The qudrtic in λ is minimized when λ = 1/ v which gives 0 u v s required. The Cuchy-Schwrtz inequlity my be used to prove Theorem 1. Proof (of Theorem 1): Norm conditions 1- re immedite. To show condition 4 (tringle inequlity) note tht u + v = u + v, u + v = u, u + u, v + u, v + v, v = u + Re( u, v ) + v u + u, v + v u + u v + v = ( u + v ) which shows tht u + v u + v.

Exmple 8: Consider the spce (R n, R) with inner product defined s in Exmple 1. Then the Cuchy-Schwrtz inequlity sttes tht x k y k n x n k yk Exmple 9: Consider the spce (C(, b), C) with inner product s defined in Exmple. Then the Cuchy-Schwrtz inequlity implies tht b f(t)g(t)dt ( b ) ( b ) f(t) dt g(t) dt Definition: Let V be n inner product spce nd u, v V. We sy tht u nd v re orthogonl if u, v = 0, in which cse we write u v. Definition: Let V n inner product spce. A (possible infinite) sequence of vectors {u k } in V is clled n orthogonl system iff u k 0 for ll k nd u k u j for ll k j. If in ddition u k = 1 for ll k, the system is clled orthonorml. Exercise: Show tht the vectors in n orthogonl system re linerly independent. Exercise: Assume V is n inner product spce nd {e 1, e,..., e n } n orthonorml system in V. Show tht if u = n ke k, then for ech k we hve k = u, e k. (The k s re the generlised Fourier coefficients of u reltive to the orthonorml system). Exercise: Let V is n inner product spce nd {e 1, e,..., e n } n orthonorml system in V. If { k } n nd {b k} n re ny two sequences of (complex) sclrs, show tht n ke k, n b ke k = n kb k nd hence, for u, v spn{e 1, e,..., e n } tht u, v = n u, e k v, e k. Theorem: Let V be n inner product spce. Then: () Let {u 1,..., u n } n orthogonl system in V nd { 1,..., n } sclrs. Then n i=1 ku k = n k u k. (b) Let {e 1,..., e n } n orthonorml system in V. spn{e 1,..., e n }, u = n u, e k. Then for every u

Proof: (b) Follows by direct clcultions: k u k = k u k, = = In this cse (from previous exercise), j=1 j u j j=1 k j u k, u j k u k u = u, u = u, e k u, e k = u, e k. Let {e 1,..., e n } be n orthonorml system in vector spce V. Let W = spn{e 1,..., e n } be (proper) subspce of V. Let u V, u / W. In this cse u n u, e k e k. Nevertheless there is n intimte reltion between u nd û = n u, e k e k, i.e. û is the orthogonl projection of u on W: Theorem: () u û, w = 0 for ll w W (u û W). (b) u w = u û + û w for ll w W. Hence Proof: () First show tht u û, e j = 0: u û, e j = u, e j = u, e j u, e k e k, e j u, e k e k, e j u û, e j = u, e j u, e j e j, e j = u, e j u, e j = 0 4

Tke w W; then w = n j=1 b je j for certin b j s nd u û, w = u û, b j e j = j=1 b j u û, e j = 0 j=1 (b) From prt () we hve tht (u û) w for every w W. (u û) (û w) nd hence Thus u w = u û + û w = u û + û w u u-u^ w w-u^ u^ W Figure 1: Orthogonl projection on subspce Theorem: Let V be n inner product spce nd {e 1,..., e n } n orthonorml system in V. Let W = spn{e 1,..., e n }. Then, the vector û = n u, e k e k is the (unique) closest vector to u in W. Proof: From previous Theorem, min u w W w = min { u w W û + û w } = u û 5

since û W, the unique minimiser being w = û. Exmple: For the linet spce C( 1, 1) define the inner product f, g = 1 f(x)g(x)dx nd the ssocited norm 1 f = 1 1 f(x) dx. Determine the closest function to x to the subspce of C( 1, 1) spnned by {1, x}. It is esy to check tht e 1 (x) = 1 nd e (x) = x form n orthonorml system in C( 1, 1). Thus x (e 1 (x) + be (x)) is minimized by nd = x, e 1 = b = x, e = 1 1 1 1 x 1 dx = 0 x xdx = 6 5 nd thus the closest function to x in the given subspce is 6 5 x = x 5. In generl, given list of n linerly independent vectors {v 1,..., v n }, we cn find n orthonorml bsis of their liner spn {e 1,..., e n } using the following procedure: Grm-Schmidt orthonormlistion process: S 1 : Set e 1 = v 1 v 1 (why is v 1 = 0?). Clerly e 1 = 1 nd spn{v 1 } = spn{e 1 }. S : Let W 1 = spn(e 1 ) nd set ˆv = v, e 1 e 1 be the orthogonl projection of v on W 1. Then v ˆv e 1 nd v ˆv 0 (why?). Define e = v ˆv v ˆv We hve tht e e 1, e = 1 nd spn{e 1, e } = spn{v 1, v }. S k : Let W k 1 = spn{e 1,..., e k 1 } nd set ˆv k = k 1 j=1 v k, e j e j be the orthogonl projection of v k on W k 1. Then v k ˆv k W k 1 nd v k ˆv k 0. Define e k = v k ˆv k v k ˆv k Hence spn{e 1,..., e k } = spn{v 1,..., v k } nd {e 1,..., e k } is orthonorml. 6

The process continues until we hve obtined the required orthonorml system spn{e 1,..., e n }. 7