Finitedimensional spaces. C n is the space of ntuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product


 Lorena Farmer
 1 years ago
 Views:
Transcription
1 Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a prehilbert space, or a unitary space) if there is a mapping (, ) : E E C, called an inner product, that satisfies the conditions: x, y, z E, α C: 1. (x, x) 0 2. (x, x) = 0 if and only if x = 0 3. (x, y + z) = (x, y) + (x, z) 4. (x, αy) = α(x, y) 5. (x, y) = (y, x) Finitedimensional spaces. C n is the space of ntuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product (x, y) = n x j y j j=1 Orthogonal Vectors. Let E be an inner product space. Two vectors x, y E are orthogonal if (x, y) = 0. Notation. The orthogonality of the vectors x and y is denoted by x y 61
2 62 CHAPTER 4. HILBERT SPACES The relation is symmetric, that is, if x y then y x. Examples. Spaces of sequences The spaces of sequences l 0 (sequences with zero tails) and l 2 (sequences with finite 2 norm) are 0inner product spaces with the inner product Spaces of functions (x, y) = x j y j The space C([a, b]) is an inner product space with the inner product ( f, g) = The space C 0 (R) (continuous functions with compact support) is an inner product space with the inner product ( f, g) = f g Spaces of square integrable functions j=1 b The space L 2 ([a, b]) is inner product space with the inner product ( f, g) = a R b The space L 2 (R) is and inner product space with the inner product ( f, g) = f g L 2 ([a, b], µ) (space of square integrable functions with the measure µ) with the inner product ( f, g) = a b a R f g f g µ f g, where µ is an almost everywhere positive measurable function, µ > 0. mathphys15.tex; October 28, 2015; 15:35; p. 60
3 4.1. INNER PRODUCT SPACES 63 L 2 (R, µ) (space of square integrable functions with the measure µ) with the inner product ( f, g) = µ f g, where µ > 0 almost everywhere. Let Ω be an open set in R n (in particular, Ω can be the whole R n ). The space L 2 (Ω) is the set of complex valued functions such that f 2 <. It is an inner product space with the inner product ( f, g) = f g L 2 (R n ) with the inner product ( f, g) = Ω Let Ω be an open set in R n (in particular, Ω can be the whole R n ) and V be a finitedimensional vector space. Let, be the inner product on the vector space V. The space L 2 (Ω, V, µ) is the set of vector valued functions f = ( f 1,..., f N ) on Ω such that R Ω R n f g µ f, f = µ Ω Ω N f i 2 <. i=1 It is an inner product space with the inner product ( f, g) = µ f, g = µ Ω Ω N i=1 f i g i Real Inner Product Spaces. The inner product in a real inner product space is symmetric. mathphys15.tex; October 28, 2015; 15:35; p. 61
4 64 CHAPTER 4. HILBERT SPACES Direct Sum of Inner Product Spaces. Let E 1 and E 2 be inner product spaces. The direct sum E = E 1 E 2 of E 1 and E 2 is an inner product space of ordered pairs z = (x, y) with x E 1 and y E 2 with the inner product defined by (z 1, z 2 ) E = (x 1, x 2 ) E1 + (y 1, y 2 ) E2. Tensor Products of Inner Product Spaces. Let E 1 and E 2 be inner product spaces. For each ϕ 1 E 1 and ϕ 2 E 2 let ϕ 1 ϕ 2 denote the conjugate bilinear form on E 1 E 2 defined by where ψ 1 E 1 and ψ 2 E 2. (ϕ 1 ϕ 2 )(ψ 1, ψ 2 ) = (ψ 1, ϕ 1 ) E1 (ψ 2, ϕ 2 ) E2 Let E = E 1 E 2 be the set of finite linear combinations of such bilinear forms. An inner product on E can be defined by (ϕ ψ, η µ) E = (ϕ, η) E1 (ψ, µ) E2 (with ϕ, η E 1 and ψ, µ E 2 ) and extending by linearity on E. Fock Space. Let E be an inner product space. The space is called the Fock space over E. F(E) = C E E } {{ } n Norm in an Inner Product Space. Let E be an inner product space. The norm in E is a functional : E R defined by x = (x, x). Theorem Every inner product space is a normed space with the norm x = (x, x) and a metric space with the metric d(x, y) = (x y, x y). Theorem Schwarz s Inequality. Let E be an inner product space. Then for any x, y E we have (x, y) x y. mathphys15.tex; October 28, 2015; 15:35; p. 62
5 4.1. INNER PRODUCT SPACES 65 The equality (x, y) = x y holds if and only if x and y are linearly dependent. Proof: 1. Corollary Triangle Inequality. Let E be an inner product space. Then for any x, y E we have Proof: x + y x + y. 1. Theorem Parallelogram Law. Let E be an inner product space. Then for any x, y E we have x + y 2 + x y 2 = 2 ( x 2 + y 2) Proof: 1. Theorem Pythagorean Theorem. Let E be an inner product space. If two vectors x, y E are orthogonal then x + y 2 = x 2 + y 2. Proof: 1. Examples. mathphys15.tex; October 28, 2015; 15:35; p. 63
6 66 CHAPTER 4. HILBERT SPACES 4.2 Hilbert Spaces Hilbert Space. An inner product space is called a Hilbert space if it is complete as a normed space. Examples. C n is complete. Spaces of sequences The space l 2 of square summable sequences is complete. Proved before. The space l 0 of sequences with vanishing tails is not complete. Counterexample. Spaces of continuous functions C([a, b]) is not complete. Counterexample. C 0 (R) (space of continuous functions with compact support) is not complete. Counterexample. Spaces of square integrable functions. Remark. For any f, g L 2 (Ω) there holds ( f, g) f g 1 f 2 g 2 If Ω is compact then for any f L 2 (Ω) f 1 [µ(ω)] 1/2 f 2 Theorem Proof: The space L 2 ([a, b]) is complete. 1. Take a Cauchy sequence f n in L 2 so that as n, m. f n f m 2 0 mathphys15.tex; October 28, 2015; 15:35; p. 64
7 4.2. HILBERT SPACES By Schwarz (or Hoelder) inequality f n f m 1 (b a) f n f m 2 0 as n, m. 3. So, f n is Cauchy in L Since L 1 is complete it converges to some f L Then there is a subsequence f pn convergent to f (almost everywhere). 6. Clearly, the subsequence f pn is Cauchy in L 2, f pn f pm 2 0 as n, m. 7. Therefore, as m f pn f 2 0 as n. 8. Therefore, f L Finally, f f n 2 f f pn 2 + f pn f n Therefore, f n f. Theorem The space L 2 (R) is complete. Proof. Idea: Construct a subsequence of a Cauchy sequence in L 2 (R) that converges almost everywhere by a diagonal argument. 1. Let f n be a Cauchy sequence in L 2 (R). 2. Then f n is Cauchy in L 2 ([ 1, 1]). 3. Then it has a subsequence f 1,n that converges in [ 1, 1] almost everywhere. 4. Since f 1,n is Cauchy in L 2 ([ 2, 2]) it has a subsequence f 2,n that converges in [ 2, 2] almost everywhere. 5. Then the subsequence f n,n of f n converges in R almost everywhere to some f. mathphys15.tex; October 28, 2015; 15:35; p. 65
8 68 CHAPTER 4. HILBERT SPACES 6. Then, one shows that f L 2 (R) and f n f in L 2 (R). Theorem Let µ be a measurable function on [a, b] positive almost everywhere. The space L 2 ([a, b], µ) is complete. Proof. Rescale functions by µ. More generally, Theorem The space L 2 (Ω, µ, V) is complete. Sobolev Spaces Let Ω be an open set in R n (in particular, Ω can be the whole R n ) and V a finitedimensional complex vector space. Let C m (Ω, V) be the space of complex vector valued functions that have continuous partial derivatives of all orders less or equal to m. Let α = (α 1,..., α n ), α j Z +, be a multiindex of nonnegative integers, α i 0, and let Define α = α α n. D α f = α x α 1 1 xα n n Then f C m (V, Ω) iff α, α m, i = 1,..., N, x Ω we have D α f i (x) <. The space H m (Ω, V) is the space of complex vector valued functions such that α, α m, D α f L 2 (Ω, V) i.e. such that α, α m, Ω dx D α f, D α f = Ω f. N D α f i (x) 2 dx <. i=1 mathphys15.tex; October 28, 2015; 15:35; p. 66
9 4.2. HILBERT SPACES 69 It is an inner product space with the inner product ( f, g) = α, α m Ω D α f, D α g = α, α m Ω N i=1 D α f i D α g i The Sobolev space H m (Ω, V) is the completion of the space H m (Ω, V) defined above Strong and Weak Convergence Strong Convergence. A sequence (x n ) of vectors in an inner product space E is strongly convergent to a vector x E if Notation. x n x. lim n x n x = 0 Theorem Let E be an inner product space. Then for every y E the linear functional ϕ y : E C defined by ϕ y (x) = (y, x) x E is continuous (and, therefore, bounded). Proof: Use Schwarz inequality. Weak Convergence. A sequence (x n ) of vectors in an inner product space E is weakly convergent to a vector x E if for any y E lim n (y, x n x) = 0 Notation. x n w x Theorem A strongly convergent sequence is weakly convergent to the same limit. Proof: Use Schwarz inequality. Converse is not true. Counterexample later. mathphys15.tex; October 28, 2015; 15:35; p. 67
10 70 CHAPTER 4. HILBERT SPACES Theorem Let (x n ) be a sequence in an inner product space E and x E. Suppose that 1. x n w x and 2. x n x. Then x n x. Proof: Easy. Theorem Let S be a subset of an inner product space E such that span S is dense in E, (x n ) be a bounded sequence in E and x E. Suppose that for any y S, lim n (y, x n x) = 0. Then x n w x. Proof: Let z E. Then there is y m span S such that y m z. Then converges to zero as n, m. (x n x, z) = (x n x, y m ) + (x n x, z y m ) w It is possible that x n x but xn does not converge to x. But at least the sequence x n has to be bounded. Theorem Weakly convergent sequences in a Hilbert space are bounded. Proof: Read in functional analysis books. 4.3 Orthogonal and Orthonormal Systems Orthogonal and Orthonormal Systems. Let E be an inner product space. A set S of vectors in E is called an orthogonal system if any pair of distinct vectors in S is orthogonal to each other. An orthogonal system of unit vectors is an orthonormal system. Every orthogonal system can be made orthonormal. mathphys15.tex; October 28, 2015; 15:35; p. 68
11 4.3. ORTHOGONAL AND ORTHONORMAL SYSTEMS 71 Let S be a set of vectors in E. We say that x S if x y for any y S. If x S then x span S. The orthogonal complement of S is the space S = {x E x S } Theorem Orthogonal systems are linearly independent. Proof: Easy. Orthonormal Sequence. A sequence of vectors which is an orthonormal system is an orthonormal sequence; then (x n, x m ) = δ nm Examples. 1. Canonical basis in l 2. (e n ) i = (δ i n) 2. Fourier basis. The functions f n (x) = 1 2π e inx are orthonormal in L 2 ([ π, π]). 3. Legendre polynomials. P n (x) = 1 2 n n! n x(x 2 1) n Show that the functions f n = n P n are orthonormal in L 2 ([ 1, 1]). mathphys15.tex; October 28, 2015; 15:35; p. 69
12 72 CHAPTER 4. HILBERT SPACES 4. Hermite polynomials. H n = ( 1) n e x2 n xe x2 Show that the functions f n (x) = ( ) 1 2n n!π exp x2 H n (x) 1/4 2 are orthonormal in L 2 (R). Any orthogonal sequence can be always made orthonormal. GramSchmidt orthonormalization process. Any sequence of linearly independent vectors can be made orthonormal. 1. Let (y n ) be a linearly independent sequence. 2. Let z n = y n y n 3. Recall that for any orthonormal sequence e n the operator P n defined by n 1 P n = I e k e k or k=1 n 1 P n x = x (e k, x)e k is the projections to the orthogonal complement of span {e 1,..., e n 1 }. 4. Then the sequence (e n ) defined by k=1 e 1 = z 1, n 1 e n = P n z n = z n (e k, z n )e k k=1 is orthonormal. mathphys15.tex; October 28, 2015; 15:35; p. 70
13 4.3. ORTHOGONAL AND ORTHONORMAL SYSTEMS Properties of Orthonormal Systems Theorem Pythagorean Formula. Let E be an inner product space and {x n } N be an orthogonal set in E. Then 2 N N x n = x n 2 Proof: By induction. Theorem Bessel s Equality and Inequality. Let E be an inner product space and {e n } N be an orthonormal set in E. Then x E N 2 x 2 = x n 2 + N x x n e n and where x n = (e n, x). Proof: N x n 2 x 2 Remarks. Let (e n ) be an orthonormal sequence in an inner product space E. The complex numbers x n = (e n, x) are called the generalized Fourier coefficients of x with respect to the orthonormal sequence (e n ). An orthonormal sequence (e n ) in E induces a mapping ϕ : E l 2 defined by ϕ(x) = x = (x n ) The sequence of Fourier coefficients x = (x n ) is square summable, that is x l 2 since for any x E x n 2 x 2 and, therefore, this series converges. mathphys15.tex; October 28, 2015; 15:35; p. 71
14 74 CHAPTER 4. HILBERT SPACES The expansion x x n e n is called the generalized Fourier series of x. The question is whether the mapping ϕ is bijective and whether the Fourier series converges. Theorem Let (e n ) be an orthonormal sequence in a Hilbert space H and (x n ) be a sequence of complex numbers. Then the series x n e n converges if and only if (x n ) l 2, that is, the series x n 2 converges. In this case 2 x n e n = x n 2 Proof: By Pythagorean theorem 2 m x k e k = k=n m x k 2 k=n Fourier series of any x H in a Hilbert space H converges. Fourier series of x may converge to a vector different from x! Example. Let (e n ) be an orthonormal sequence. Then f n = e 2n is also orthonormal. Let x = e 1. Then x n = ( f n, x) = 0 and 0 = x n f n x. Let (e n ) be an orthonormal sequence in an inner product space E. The sequence of Fourier coefficients x n = (e n, x) is square summable, and, therefore, lim (e n, x) = 0 x E n Thus, every orthonormal sequence weakly converges to zero. Orthonormal sequences are not strongly convergent since e n = 1 n Z +. mathphys15.tex; October 28, 2015; 15:35; p. 72
15 4.3. ORTHOGONAL AND ORTHONORMAL SYSTEMS 75 Complete Orthonormal Sequence. Let E be an inner product space. An orthonormal sequence (e n ) in E is complete if x E the Fourier series of x converges to x, that is, x = x n e n, more explicitly, lim n n x x k e k = 0 Example. L 2 ([ π, π]) does not imply pointwise convergence. k=1 Orthonormal Basis. Let E be an inner product space. An orthonormal system B in E is an orthonormal basis if for any x E there exists a unique orthonormal sequence (e n ) in B and a unique sequence (x n ) of nonzero complex numbers such that x = x n e n. Remarks. A complete orthonormal sequence in an inner product space is an orthonormal basis. Let E be an inner product space and (e n ) be a complete orthonormal sequence. Then the set S = span {e n n Z + } is dense in E. Theorem Let H be a Hilbert space. An orthonormal sequence (e n ) in H is complete if and only if the only vector orthogonal to this sequence is the zero vector, that is, span {e n n Z + } = {0}. Proof: Easy. To prove converse, let y = n(e n, x)e n. Then (x y, e n ) = 0. So, x = y. mathphys15.tex; October 28, 2015; 15:35; p. 73
16 76 CHAPTER 4. HILBERT SPACES Theorem Parseval s Formula. Let H be a Hilbert space. An orthonormal sequence (e n ) in H is complete if and only if x H x 2 = x n 2 where x n = (e n, x). Proof: Use Bessel equality. Theorem Let H 1 and H 2 be Hilbert spaces. If {ϕ k } and {ψ l } are orthonormal bases for H 1 and H 2 respectively, then {ϕ k ψ l } is an orthonormal basis for the tensor product H 1 H 2. Examples. The sequence f n (x) = 1 2π e inx, n Z is orthonormal and complete in L 2 ([ π, π]). Proof later. The sequence g 0 = 1 2π, g n (x) = 1 2π cos(nx), f n (x) = 1 2π sin(nx), n Z + is orthonormal and complete in L 2 ([ π, π]). Proof later. The sequence h 0 = 1 π, h n (x) = 2 π cos(nx), n Z + is orthonormal and complete in L 2 ([0, π]). Proof later. The sequence ψ n (x) = 2 sin(nx), n = 0, 1, 2,..., π is orthonormal and complete in L 2 ([0, π]). Proof later. mathphys15.tex; October 28, 2015; 15:35; p. 74
17 4.4. SEPARABLE HILBERT SPACES Separable Hilbert Spaces Separable Spaces. An infinitedimensional Hilbert space is separable if it contains a complete orthonormal sequence. Examples. L 2 ([ π, π]) l 2 Example (Nonseparable Hilbert Space). Let H be the space of all complex valued functions f : R C on R such that they vanish everywhere except a countable number of points in R and f (x) 2 <. f (x) 0 Define the inner product by (g, f ) = f (x)g(x) 0 ḡ(x) f (x). Let f n be an orthonormal sequence in H. Then there are nonzero functions f such that ( f, f n ) = 0 for all n Z +. Therefore, f n cannot be complete and H is not separable. Theorem Let H be a separable Hilbert space. Then H contains a countable dense subset. Proof: 1. Let (e n ) be a complete orthonormal sequence in H. 2. Define the set n S = (α k + iβ k )e k α k, β k Q, n Z + 3. Then S is countable. 4. Also, x H, k=1 lim n n (e k, x)e k x = 0. k=1 mathphys15.tex; October 28, 2015; 15:35; p. 75
18 78 CHAPTER 4. HILBERT SPACES 5. Therefore, S is dense in H. Theorem Let H be a separable Hilbert space. Then every orthogonal set S in H is countable. Proof: 1. Let S be an orthogonal set in H. 2. Let 3. Then x, y S 1, x y, S 1 = { } x x x S. x y 2 = Consider the collection of balls B ε (x) with ε = 2 1/2 /3 for every x S Then, for any x, y S 1, if x y, then the corresponding balls are disjoint, B ε (x) B ε (y) =. 6. Since H is separable, it has a countable dense subset A. 7. Since A is dense in H it must have at least one point in every ball B ε (x). 8. Therefore, S 1 must be countable. 9. Thus S is countable. Unitary Linear Transformations. Let H 1 and H 2 be Hilbert spaces. A linear map T : H 1 H 2 is unitary if x, y H 1 (T(x), T(y)) H2 = (x, y) H1. Hilbert Space Isomorphism. Let H 1 and H 2 be Hilbert spaces. Then H 1 is isomorphic to H 2 if there exists a linear unitary bijection T : H 1 H 2 (called a Hilbert space isomorphism). Remark. Every Hilbert space isomorphism has unit norm T = 1. mathphys15.tex; October 28, 2015; 15:35; p. 76
19 4.5. TRIGONOMETRIC FOURIER SERIES 79 Theorem Every infinitedimensional separable Hilbert space is isomorphic to l 2. Proof: 1. Let (e n ) be a complete orthonormal sequence in H. 2. Let x H. 3. Let x n = (e n, x). 4. This defines a linear bijection T : H l 2 by 5. Let x, y H. 6. Then 7. On another hand (x, y) H = ( T(x) = (x n ). (T(x), T(y)) l 2 = x n e n, y) = x n y n x n (e n, y) = x n y n 8. Therefore T is unitary, and is, therefore, an isomorphism from H onto l 2. Remarks. Isomorphism of Hilbert spaces is an equivalence relation. All separable infinitedimensional Hilbert spaces are isomorphic. 4.5 Trigonometric Fourier Series Consider the Hilbert space L 2 ([ π, π]). The sequence ϕ n (x) = 1 2π e inx, n Z is an orthonormal sequence in L 2 ([ π, π]). mathphys15.tex; October 28, 2015; 15:35; p. 77
20 80 CHAPTER 4. HILBERT SPACES Note that L 2 L 1. Consider the space L 1 ([ π, π]). Identify the elements of L 1 ([ π, π]) with 2π periodic functions on R. Then for any f L 1 ([ π, π]), π π dt f (t) = π For any k Z + let P n be the projections such that where is the integral kernel of P k. π P k = ϕ k ϕ k (P k f )(x) = (ϕ k, f )ϕ k (x) = dt f (t x) π π P k (x) = 1 2π eikx Let G k be the projections (not orthogonal) dt P k (x t) f (t) with the integral kernel G j = j k= j G j (x) = 1 2π P k j k= j e ikx Also define the sequence of operators K n = 1 n G j = 1 n + 1 n + 1 with the integral kernel K n (x) = called the Fejer s kernel. j=0 1 2π(n + 1) n (n + 1 k )P k k= n n (n + 1 k ) e ikx k= n mathphys15.tex; October 28, 2015; 15:35; p. 78
21 4.5. TRIGONOMETRIC FOURIER SERIES 81 Lemma We have K n (x) = Proof: Direct calculation. 1 sin [ ] 2 (n + 1) x 2 2π(n + 1) sin ( ) 2 x 2 A sequence K n of 2πperiodic continuous functions is a summability kernel if it satisfies the conditions: 1. π dt K n (t) = 1, n Z + π 2. There is M R such that n Z + 3. For any δ (0, π) π π lim n dt K n (t) M, 2π δ A summability kernel converges formally to δ lim K n(x) = n dt K n (t) = 0 δ(x 2πk) k= Theorem Let (K n ) be a summability kernel. Then for any f L 1 ([ π, π]) the sequence F n = K n f strongly converges to f in L 1 norm, that is, lim F n f = lim (K n I) f = 0 n n Proof: Use the properties of the summability kernel. Basically because K n I (delta function). Lemma The Fejer s kernel is a summability kernel. Proof: Direct calculation. mathphys15.tex; October 28, 2015; 15:35; p. 79
22 82 CHAPTER 4. HILBERT SPACES Theorem Let f L 1 ([ π, π]). If all Fourier coefficients f n = (ϕ n, f ) vanish, then f = 0 almost everywhere. Proof: Let F n = K n f. Suppose f n = 0. Then F n = 0. Since F n f, then f a.e. = 0. Theorem The sequence ϕ n (x) = 1 2π e inx, n Z is a complete orthonormal sequence, (an orthonormal basis), in L 2 ([ π, π]). Proof: Let f L 2. Then f L 1. Suppose (ϕ n, f ) = 0. Then f a.e. = 0. That is, f = 0 in L 2. Let f L 2 ([ π, π]). The series where f (x) = f n = π π n= f n ϕ n (x), dt ϕ n (t) f (t), is the Fourier series. The scalars f n are the Fourier coefficients. Fourier series does not converge pointwise! Fourier series of a function f L 2 ([ π, π]) converges almost everywhere. 4.6 Orthonormal Complements and Projection Theorem A subspace of a Hilbert space is an inner product space. A closed subspace of a Hilbert space is a Hilbert space. Orthogonal Complement. Let H be a Hilbert space and S H be a nonempty subset of H. We say that x H is orthogonal to S, denoted by x S, if y S, (x, y) = 0. mathphys15.tex; October 28, 2015; 15:35; p. 80
23 4.6. ORTHONORMAL COMPLEMENTS AND PROJECTION THEOREM 83 The set S = {x H x S } of all vectors orthogonal to S is called the orthogonal complement of S. Two subsets A and B of H are orthogonal, denoted by A B, if every vector of A is orthogonal to every vector of B. If x H, then x = 0, that is If A B, then A B = {0} or. H = {0}, {0} = H. Orthogonal decomposition. If every element of H can be uniquely represented as the sum of an element of S and an element of S, then H is the direct sum of S and S, which is denoted by H = S S The union of a basis of S and a basis of S gives a basis of H. Orthogonal projection. An orthogonal decomposition H = S S induces a projection map P : H S defined by where y S and z S. Examples. P(y + z) = y, Theorem The orthogonal complement of any subset of a Hilbert space is a Hilbert subspace. Proof: 1. Let H be a Hilbert space and S H. 2. Check directly that S is a vector subspace. 3. Claim: S is closed. 4. Let (x n ) be a sequence in S such that x n x H. mathphys15.tex; October 28, 2015; 15:35; p. 81
24 84 CHAPTER 4. HILBERT SPACES 5. Then y S 6. Thus x S. Remarks. (x, y) = lim n (x n, y) = 0. S does not have to be a vector subspace. Theorem Orthogonal Projection. Let H be a Hilbert space and S be a closed subspace of H. Then H = S S. Proof: We need to show that x H there exist unique y S and z S such that x = y + z. 1. Let (e i, f j ) be an orthonormal basis in H such that e i S and f j S. 2. Let x H. Then 3. Let 4. Then x = y i e i + i=1 y = z = z j f j. j=1 y i e i i=1 z j f j j=1 x = y + z Theorem Let H be a Hilbert space and S be a closed subspace of H. Then (S ) = S. Proof: mathphys15.tex; October 28, 2015; 15:35; p. 82
25 4.7. LINEAR FUNCTIONALS AND THE RIESZ REPRESENTATION THEOREM85 1. Let x S. 2. Then x S, or x S. 3. So, S S. 4. Let x S. 5. Since S is closed, there exist y S and z S such that x = y + z. 6. Then y S. 7. Since S is a vector space, z = x y S. 8. Since z S and z S. 9. Thus, z = 0, and x = y S. 10. Therefore, S S. 4.7 Linear Functionals and the Riesz Representation Theorem A linear functional on a Hilbert space H is a linear map F : H C. Examples. C 0 (R) F( f ) = f (x 0 ) Note that there is no g C 0 such that F( f ) = (g, f ) L 2 ([a, b]) l 2 0. F(x) = There is no y = (y n ) such that F(x) = (y, x). x n n mathphys15.tex; October 28, 2015; 15:35; p. 83
26 86 CHAPTER 4. HILBERT SPACES g is a linear bounded functional defined by ϕ g ( f ) = (g, f ) with the norm ϕ g = g Let x 0 (a, b). Then ϕ( f ) = f (x 0 ) is a linear but unbounded functional. Remarks. The set H of all bounded linear functionals on a Hilbert space is a Banach space, called the dual space. The dual space H of a Hilbert space H is isomorphic to H. If f = 0, then the null space N( f ) = E, and, therefore, (N( f )) = {0} and dim(n( f )) = 0. Lemma Let E be an inner product space and f : E C be a nonzero bounded linear functional on E. Then the orthogonal complement of the null space dim(n( f )) = 1. Proof: 1. Since f is bounded and linear it is continuous. 2. Therefore, N( f ) is a closed subspace of E. 3. Thus, (N( f )) is not empty. 4. Let x, y (N( f )) be two nonzero vectors. 5. Then f (x) 0 and f (y) Therefore, there exists α 0 C such that f (x + αy) = Hence, x + αy N( f ). 8. Since x, y (N( f )), we also have x + αy (N( f )). 9. Thus x + αy = Therefore, x and y are linearly dependent, and, therefore, dim(n( f )) = 1. mathphys15.tex; October 28, 2015; 15:35; p. 84
27 4.7. LINEAR FUNCTIONALS AND THE RIESZ REPRESENTATION THEOREM87 There holds E = N( f ) (N( f )) Theorem Riesz Representation Theorem. Let H be a Hilbert space and f : H C be a bounded linear functional on H. There exists a unique x 0 H such that f (x) = (x 0, x) for all x H. Moreover, Proof: 1. (I). Existence. If f = 0, then x 0 = Suppose f Then dim(n( f )) = Let u (N( f )). 5. Then x H, f = x 0. x = y + z where y = x (x, u)u N( f ) and z = (x, u)u (N( f )). 6. Therefore, f (y) = Further, where f (x) = f (z) = (x, u) f (u) = (x, x 0 ), x 0 = ( f (u)) u. 8. (II). Uniqueness. Suppose there exists x 0 and x 1 such that x H f (x) = (x, x 0 ) = (x, x 1 ). 9. Then x H (x, x 0 x 1 ) = Thus, (x 0 x 1 ) H = {0}. 11. So, x 0 = x 1. mathphys15.tex; October 28, 2015; 15:35; p. 85
28 88 CHAPTER 4. HILBERT SPACES 12. Finally, we have f = sup x 0 f (x) x = sup (x, x 0 ) x 0 x x On another hand f (x 0 ) x 0 = (x 0, x 0 ) x 0 = x Thus, f = x 0. Theorem Let H be a Hilbert space and S be a subspace of H. Let f : S C be a bounded linear functional on S. There exists a unique linear functional g : H C such that g(x) = f (x) for all x S and g = f. Proof: Use Riesz theorem. mathphys15.tex; October 28, 2015; 15:35; p. 86
Inner products. Theorem (basic properties): Given vectors u, v, w in an inner product space V, and a scalar k, the following properties hold:
Inner products Definition: An inner product on a real vector space V is an operation (function) that assigns to each pair of vectors ( u, v) in V a scalar u, v satisfying the following axioms: 1. u, v
More informationHilbert spaces. 1. CauchySchwarzBunyakowsky inequality
(October 29, 2016) Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 201617/03 hsp.pdf] Hilbert spaces are
More informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugatelinear transformation if it is a reallinear transformation from X into Y, and if T (λx)
More informationKernel Method: Data Analysis with Positive Definite Kernels
Kernel Method: Data Analysis with Positive Definite Kernels 2. Positive Definite Kernel and Reproducing Kernel Hilbert Space Kenji Fukumizu The Institute of Statistical Mathematics. Graduate University
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
More informationElements of Positive Definite Kernel and Reproducing Kernel Hilbert Space
Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space Statistical Inference with Reproducing Kernel Hilbert Space Kenji Fukumizu Institute of Statistical Mathematics, ROIS Department
More information2) Let X be a compact space. Prove that the space C(X) of continuous realvalued functions is a complete metric space.
University of Bergen General Functional Analysis Problems with solutions 6 ) Prove that is unique in any normed space. Solution of ) Let us suppose that there are 2 zeros and 2. Then = + 2 = 2 + = 2. 2)
More informationOPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic
OPERATOR THEORY ON HILBERT SPACE Class notes John Petrovic Contents Chapter 1. Hilbert space 1 1.1. Definition and Properties 1 1.2. Orthogonality 3 1.3. Subspaces 7 1.4. Weak topology 9 Chapter 2. Operators
More informationNotes on Integrable Functions and the Riesz Representation Theorem Math 8445, Winter 06, Professor J. Segert. f(x) = f + (x) + f (x).
References: Notes on Integrable Functions and the Riesz Representation Theorem Math 8445, Winter 06, Professor J. Segert Evans, Partial Differential Equations, Appendix 3 Reed and Simon, Functional Analysis,
More informationSolutions: Problem Set 3 Math 201B, Winter 2007
Solutions: Problem Set 3 Math 201B, Winter 2007 Problem 1. Prove that an infinitedimensional Hilbert space is a separable metric space if and only if it has a countable orthonormal basis. Solution. If
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationReal Analysis: Part II. William G. Faris
Real Analysis: Part II William G. Faris June 3, 2004 ii Contents 1 Function spaces 1 1.1 Spaces of continuous functions................... 1 1.2 Pseudometrics and seminorms.................... 2 1.3 L
More informationElements of Convex Optimization Theory
Elements of Convex Optimization Theory Costis Skiadas August 2015 This is a revised and extended version of Appendix A of Skiadas (2009), providing a selfcontained overview of elements of convex optimization
More information16 1 Basic Facts from Functional Analysis and Banach Lattices
16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationReview and problem list for Applied Math I
Review and problem list for Applied Math I (This is a first version of a serious review sheet; it may contain errors and it certainly omits a number of topic which were covered in the course. Let me know
More informationInequalities in Hilbert Spaces
Inequalities in Hilbert Spaces Jan Wigestrand Master of Science in Mathematics Submission date: March 8 Supervisor: Eugenia Malinnikova, MATH Norwegian University of Science and Technology Department of
More informationADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS
J. OPERATOR THEORY 44(2000), 243 254 c Copyright by Theta, 2000 ADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS DOUGLAS BRIDGES, FRED RICHMAN and PETER SCHUSTER Communicated by William B. Arveson Abstract.
More informationNormed & Inner Product Vector Spaces
Normed & Inner Product Vector Spaces ECE 174 Introduction to Linear & Nonlinear Optimization Ken KreutzDelgado ECE Department, UC San Diego Ken KreutzDelgado (UC San Diego) ECE 174 Fall 2016 1 / 27 Normed
More informationBanach Spaces II: Elementary Banach Space Theory
BS II c Gabriel Nagy Banach Spaces II: Elementary Banach Space Theory Notes from the Functional Analysis Course (Fall 07  Spring 08) In this section we introduce Banach spaces and examine some of their
More informationMetric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg
Metric Spaces Exercises Fall 2017 Lecturer: Viveka Erlandsson Written by M.van den Berg School of Mathematics University of Bristol BS8 1TW Bristol, UK 1 Exercises. 1. Let X be a nonempty set, and suppose
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITEDIMENSIONAL SPACES. 1. Compact Sets
FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITEDIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 6454A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More information2. Review of Linear Algebra
2. Review of Linear Algebra ECE 83, Spring 217 In this course we will represent signals as vectors and operators (e.g., filters, transforms, etc) as matrices. This lecture reviews basic concepts from linear
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 informationThe Schwartz Space: Tools for Quantum Mechanics and Infinite Dimensional Analysis
Mathematics 2015, 3, 527562; doi:10.3390/math3020527 Article OPEN ACCESS mathematics ISSN 22277390 www.mdpi.com/journal/mathematics The Schwartz Space: Tools for Quantum Mechanics and Infinite Dimensional
More information1.2 Fundamental Theorems of Functional Analysis
1.2 Fundamental Theorems of Functional Analysis 15 Indeed, h = ω ψ ωdx is continuous compactly supported with R hdx = 0 R and thus it has a unique compactly supported primitive. Hence fφ dx = f(ω ψ ωdy)dx
More information2.2 Annihilators, complemented subspaces
34CHAPTER 2. WEAK TOPOLOGIES, REFLEXIVITY, ADJOINT OPERATORS 2.2 Annihilators, complemented subspaces Definition 2.2.1. [Annihilators, PreAnnihilators] Assume X is a Banach space. Let M X and N X. We
More informationA Précis of Functional Analysis for Engineers DRAFT NOT FOR DISTRIBUTION. JeanFrançois Hiller and KlausJürgen Bathe
A Précis of Functional Analysis for Engineers DRAFT NOT FOR DISTRIBUTION JeanFrançois Hiller and KlausJürgen Bathe August 29, 22 1 Introduction The purpose of this précis is to review some classical
More informationLinear Algebra Massoud Malek
CSUEB Linear Algebra Massoud Malek Inner Product and Normed Space In all that follows, the n n identity matrix is denoted by I n, the n n zero matrix by Z n, and the zero vector by θ n An inner product
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationExercise 1. Let f be a nonnegative measurable function. Show that. where ϕ is taken over all simple functions with ϕ f. k 1.
Real Variables, Fall 2014 Problem set 3 Solution suggestions xercise 1. Let f be a nonnegative measurable function. Show that f = sup ϕ, where ϕ is taken over all simple functions with ϕ f. For each n
More informationLet R be the line parameterized by x. Let f be a complex function on R that is integrable. The Fourier transform ˆf = F f is. e ikx f(x) dx. (1.
Chapter 1 Fourier transforms 1.1 Introduction Let R be the line parameterized by x. Let f be a complex function on R that is integrable. The Fourier transform ˆf = F f is ˆf(k) = e ikx f(x) dx. (1.1) It
More informationFall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X.
TMA445 Linear Methods Fall 26 Norwegian University of Science and Technology Department of Mathematical Sciences Solutions to exercise set 9 Let X be a Hilbert space and T a bounded linear operator on
More informationHILBERT SPACES AND FOURIER SERIES
California State University, San Bernardino CSUSB ScholarWorks Electronic Theses, Projects, and Dissertations Office of Graduate Studies 905 HILBERT SPACES AND FOURIER SERIES Terri Joan Harris Mrs. terri.harris34@gmail.com
More informationSupplementary Notes for W. Rudin: Principles of Mathematical Analysis
Supplementary Notes for W. Rudin: Principles of Mathematical Analysis SIGURDUR HELGASON In 8.00B it is customary to cover Chapters 7 in Rudin s book. Experience shows that this requires careful planning
More informationSome Background Material
Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary  but important  material as a way of dipping our toes in the water. This chapter also introduces important
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More informationMath 702 Problem Set 10 Solutions
Math 70 Problem Set 0 Solutions Unless otherwise stated, X is a complex Hilbert space with the inner product h; i the induced norm k k. The nullspace range of a linear map T W X! X are denoted by N.T
More informationMath 5520 Homework 2 Solutions
Math 552 Homework 2 Solutions March, 26. Consider the function fx) = 2x ) 3 if x, 3x ) 2 if < x 2. Determine for which k there holds f H k, 2). Find D α f for α k. Solution. We show that k = 2. The formulas
More informationMath 209B Homework 2
Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact
More informationTopological vectorspaces
(July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural nonfréchet spaces Topological vector spaces Quotients and linear maps More topological
More informationGeneral Inner Product & Fourier Series
General Inner Products 1 General Inner Product & Fourier Series Advanced Topics in Linear Algebra, Spring 2014 Cameron Braithwaite 1 General Inner Product The inner product is an algebraic operation that
More informationMany of you got these steps reversed or otherwise out of order.
Problem 1. Let (X, d X ) and (Y, d Y ) be metric spaces. Suppose that there is a bijection f : X Y such that for all x 1, x 2 X. 1 10 d X(x 1, x 2 ) d Y (f(x 1 ), f(x 2 )) 10d X (x 1, x 2 ) Show that if
More informationMcGill University Math 354: Honors Analysis 3
Practice problems McGill University Math 354: Honors Analysis 3 not for credit Problem 1. Determine whether the family of F = {f n } functions f n (x) = x n is uniformly equicontinuous. 1st Solution: The
More informationMATH 6210: SOLUTIONS TO PROBLEM SET #3
MATH 6210: SOLUTIONS TO PROBLEM SET #3 Rudin, Chater 4, Problem #3. The sace L (T) is searable since the trigonometric olynomials with comlex coefficients whose real and imaginary arts are rational form
More informationEberleinŠmulian theorem and some of its applications
EberleinŠmulian theorem and some of its applications Kristina Qarri Supervisors Trond Abrahamsen Associate professor, PhD University of Agder Norway Olav Nygaard Professor, PhD University of Agder Norway
More informationReproducing Kernel Hilbert Spaces Class 03, 15 February 2006 Andrea Caponnetto
Reproducing Kernel Hilbert Spaces 9.520 Class 03, 15 February 2006 Andrea Caponnetto About this class Goal To introduce a particularly useful family of hypothesis spaces called Reproducing Kernel Hilbert
More informationExamples of Dual Spaces from Measure Theory
Chapter 9 Examples of Dual Spaces from Measure Theory We have seen that L (, A, µ) is a Banach space for any measure space (, A, µ). We will extend that concept in the following section to identify an
More informationFunctional Analysis Review
Functional Analysis Review Lorenzo Rosasco slides courtesy of Andre Wibisono 9.520: Statistical Learning Theory and Applications September 9, 2013 1 2 3 4 Vector Space A vector space is a set V with binary
More information1 Compact and Precompact Subsets of H
Compact Sets and Compact Operators by Francis J. Narcowich November, 2014 Throughout these notes, H denotes a separable Hilbert space. We will use the notation B(H) to denote the set of bounded linear
More informationTHIRD SEMESTER M. Sc. DEGREE (MATHEMATICS) EXAMINATION (CUSS PG 2010) MODEL QUESTION PAPER MT3C11: COMPLEX ANALYSIS
THIRD SEMESTER M. Sc. DEGREE (MATHEMATICS) EXAMINATION (CUSS PG 2010) MODEL QUESTION PAPER MT3C11: COMPLEX ANALYSIS TIME:3 HOURS Maximum weightage:36 PART A (Short Answer Type Question 114) Answer All
More informationDistributions: Topology and Sequential Compactness
Distributions: Topology and Sequential Compactness Acknowledgement Distributions: Topology and Sequential Compactness Acknowledgement First of all I want to thank Professor Mouhot for setting this essay
More informationMH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then
MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever
More informationThree hours THE UNIVERSITY OF MANCHESTER. 24th January
Three hours MATH41011 THE UNIVERSITY OF MANCHESTER FOURIER ANALYSIS AND LEBESGUE INTEGRATION 24th January 2013 9.45 12.45 Answer ALL SIX questions in Section A (25 marks in total). Answer THREE of the
More informationREAL ANALYSIS II TAKE HOME EXAM. T. Tao s Lecture Notes Set 5
REAL ANALYSIS II TAKE HOME EXAM CİHAN BAHRAN T. Tao s Lecture Notes Set 5 1. Suppose that te 1, e 2, e 3,... u is a countable orthonormal system in a complex Hilbert space H, and c 1, c 2,... is a sequence
More informationLecture 4 Lebesgue spaces and inequalities
Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how
More informationCHAPTER X THE SPECTRAL THEOREM OF GELFAND
CHAPTER X THE SPECTRAL THEOREM OF GELFAND DEFINITION A Banach algebra is a complex Banach space A on which there is defined an associative multiplication for which: (1) x (y + z) = x y + x z and (y + z)
More informationSome basic elements of Probability Theory
Chapter I Some basic elements of Probability Theory 1 Terminology (and elementary observations Probability theory and the material covered in a basic Real Variables course have much in common. However
More informationCHAPTER 6. Representations of compact groups
CHAPTER 6 Representations of compact groups Throughout this chapter, denotes a compact group. 6.1. Examples of compact groups A standard theorem in elementary analysis says that a subset of C m (m a positive
More information1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N
Applied Analysis prelim July 15, 216, with solutions Solve 4 of the problems 15 and 2 of the problems 68. We will only grade the first 4 problems attempted from15 and the first 2 attempted from problems
More informationA LITTLE REAL ANALYSIS AND TOPOLOGY
A LITTLE REAL ANALYSIS AND TOPOLOGY 1. NOTATION Before we begin some notational definitions are useful. (1) Z = {, 3, 2, 1, 0, 1, 2, 3, }is the set of integers. (2) Q = { a b : aεz, bεz {0}} is the set
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 informationConvergence of greedy approximation I. General systems
STUDIA MATHEMATICA 159 (1) (2003) Convergence of greedy approximation I. General systems by S. V. Konyagin (Moscow) and V. N. Temlyakov (Columbia, SC) Abstract. We consider convergence of thresholding
More informationQuick Review of Matrix and Real Linear Algebra
Division of the Humanities and Social Sciences Quick Review of Matrix and Real Linear Algebra KC Border Subject to constant revision Last major revision: December 12, 2016 Contents 1 Scalar fields 1 2
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhofproblems.tex December 5, 2017 http://thales.doa.fmph.uniba.sk/sleziak/texty/rozne/pozn/books/ van Rooij, Schikhof: A Second Course on Real Functions Some notes made when reading [vrs].
More informationThere are two things that are particularly nice about the first basis
Orthogonality and the GramSchmidt Process In Chapter 4, we spent a great deal of time studying the problem of finding a basis for a vector space We know that a basis for a vector space can potentially
More informationMethods of Mathematical Physics X1 Homework 3 Solutions
Methods of Mathematical Physics  556 X Homework 3 Solutions. (Problem 2.. from Keener.) Verify that l 2 is an inner product space. Specifically, show that if x, y l 2, then x, y x k y k is defined and
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 informationBASIC ALGORITHMS IN LINEAR ALGEBRA. Matrices and Applications of Gaussian Elimination. A 2 x. A T m x. A 1 x A T 1. A m x
BASIC ALGORITHMS IN LINEAR ALGEBRA STEVEN DALE CUTKOSKY Matrices and Applications of Gaussian Elimination Systems of Equations Suppose that A is an n n matrix with coefficents in a field F, and x = (x,,
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Wee November 30 Dec 4: Deadline to hand in the homewor: your exercise class on wee December 7 11 Exercises with solutions Recall that every normed space X can be isometrically
More informationLecture 3: Review of Linear Algebra
ECE 83 Fall 2 Statistical Signal Processing instructor: R Nowak, scribe: R Nowak Lecture 3: Review of Linear Algebra Very often in this course we will represent signals as vectors and operators (eg, filters,
More informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
More informationReal Analysis. Jesse Peterson
Real Analysis Jesse Peterson February 1, 2017 2 Contents 1 Preliminaries 7 1.1 Sets.................................. 7 1.1.1 Countability......................... 8 1.1.2 Transfinite induction.....................
More informationAnother consequence of the Cauchy Schwarz inequality is the continuity of the inner product.
. Inner product spaces 1 Theorem.1 (Cauchy Schwarz inequality). If X is an inner product space then x,y x y. (.) Proof. First note that 0 u v v u = u v u v Re u,v. (.3) Therefore, Re u,v u v (.) for all
More informationIntroduction. Chapter 1. Contents. EECS 600 Function Space Methods in System Theory Lecture Notes J. Fessler 1.1
Chapter 1 Introduction Contents Motivation........................................................ 1.2 Applications (of optimization).............................................. 1.2 Main principles.....................................................
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationA brief introduction to trace class operators
A brief introduction to trace class operators Christopher Hawthorne December 2015 Contents 1 Introduction 1 2 Preliminaries 1 3 Trace class operators 2 4 Duals 8 1 Introduction The trace is a useful number
More informationREVIEW OF ESSENTIAL MATH 346 TOPICS
REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations
More informationChapter 5. Measurable Functions
Chapter 5. Measurable Functions 1. Measurable Functions Let X be a nonempty set, and let S be a σalgebra of subsets of X. Then (X, S) is a measurable space. A subset E of X is said to be measurable if
More informationSome analysis problems 1. x x 2 +yn2, y > 0. g(y) := lim
Some analysis problems. Let f be a continuous function on R and let for n =,2,..., F n (x) = x (x t) n f(t)dt. Prove that F n is n times differentiable, and prove a simple formula for its nth derivative.
More informationGELFAND S THEOREM. Christopher McMurdie. Advisor: Arlo Caine. Spring 2004
GELFAND S THEOREM Christopher McMurdie Advisor: Arlo Caine Super Advisor: Dr Doug Pickrell Spring 004 This paper is a proof of the first part of Gelfand s Theorem, which states the following: Every compact,
More information5. Atoms and the periodic table of chemical elements. Definition of the geometrical structure of a molecule
Historical introduction The Schrödinger equation for oneparticle problems Mathematical tools for quantum chemistry 4 The postulates of quantum mechanics 5 Atoms and the periodic table of chemical elements
More information6. Duals of L p spaces
6 Duals of L p spaces This section deals with the problem if identifying the duals of L p spaces, p [1, ) There are essentially two cases of this problem: (i) p = 1; (ii) 1 < p < The major difference between
More informationDefinition and basic properties of heat kernels I, An introduction
Definition and basic properties of heat kernels I, An introduction Zhiqin Lu, Department of Mathematics, UC Irvine, Irvine CA 92697 April 23, 2010 In this lecture, we will answer the following questions:
More informationA proof for the full Fourier series on [ π, π] is given here.
niform convergence of Fourier series A smooth function on an interval [a, b] may be represented by a full, sine, or cosine Fourier series, and pointwise convergence can be achieved, except possibly at
More informationLecture # 3 Orthogonal Matrices and Matrix Norms. We repeat the definition an orthogonal set and orthornormal set.
Lecture # 3 Orthogonal Matrices and Matrix Norms We repeat the definition an orthogonal set and orthornormal set. Definition A set of k vectors {u, u 2,..., u k }, where each u i R n, is said to be an
More informationChapter I. Fourier Series on T
Chapter I Fourier Series on T We denote by R the additive group of real numbers and by Z the subgroup consisting of the integers. The group T is defined as the quotient R/Z where, as indicated by the notation,
More informationTHE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS
THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU Abstract. This is an edited version of a
More informationReproducing Kernel Hilbert Spaces
Reproducing Kernel Hilbert Spaces Lorenzo Rosasco 9.520 Class 03 February 12, 2007 About this class Goal To introduce a particularly useful family of hypothesis spaces called Reproducing Kernel Hilbert
More informationarxiv:math/ v1 [math.fa] 26 Oct 1993
arxiv:math/9310218v1 [math.fa] 26 Oct 1993 STRUCTURE OF TOTAL SUBSPACES OF DUAL BANACH SPACES M.I.Ostrovskii I. Let X be a Banach space, X its dual. The unit ball and the unit sphere of X are denoted by
More information2.4 Annihilators, Complemented Subspaces
40 CHAPTER 2. WEAK TOPOLOGIES AND REFLEXIVITY 2.4 Annihilators, Complemented Subspaces Definition 2.4.1. (Annihilators, PreAnnihilators) Assume X is a Banach space. Let M X and N X. We call the annihilator
More informationMath 123 Homework Assignment #2 Due Monday, April 21, 2008
Math 123 Homework Assignment #2 Due Monday, April 21, 2008 Part I: 1. Suppose that A is a C algebra. (a) Suppose that e A satisfies xe = x for all x A. Show that e = e and that e = 1. Conclude that e
More informationSolutions of Selected Problems
1 Solutions of Selected Problems October 16, 2015 Chapter I 1.9 Consider the potential equation in the disk := {(x, y) R 2 ; x 2 +y 2 < 1}, with the boundary condition u(x) = g(x) r for x on the derivative
More informationBases in Banach spaces
Chapter 3 Bases in Banach spaces Like every vector space a Banach space X admits an algebraic or Hamel basis, i.e. a subset B X, so that every x X is in a unique way the (finite) linear combination of
More informationBernoulli Numbers and their Applications
Bernoulli Numbers and their Applications James B Silva Abstract The Bernoulli numbers are a set of numbers that were discovered by Jacob Bernoulli (65475). This set of numbers holds a deep relationship
More informationThis ODE arises in many physical systems that we shall investigate. + ( + 1)u = 0. (λ + s)x λ + s + ( + 1) a λ. (s + 1)(s + 2) a 0
Legendre equation This ODE arises in many physical systems that we shall investigate We choose We then have Substitution gives ( x 2 ) d 2 u du 2x 2 dx dx + ( + )u u x s a λ x λ a du dx λ a λ (λ + s)x
More informationSpectral Measures, the Spectral Theorem, and Ergodic Theory
Spectral Measures, the Spectral Theorem, and Ergodic Theory Sam Ziegler The spectral theorem for unitary operators The presentation given here largely follows [4]. will refer to the unit circle throughout.
More information