Exercise Solutions to Functional Analysis

Size: px
Start display at page:

Download "Exercise Solutions to Functional Analysis"

Transcription

1 Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n α φ f (f, φ )φ = Solution. Since f H, we now that f V H, where V is some finite dimensional subspace of H, say dim V = m n. We may assume that V contains φ, φ 2,..., φ n. Let {φ,..., φ n, φ n+,..., φ m } be an orthonormal basis for V (this is possible by extending {φ,..., φ n } to an orthonormal basis via Gram-Schmidt). Now write f = m β φ. Then we have m f (f, φ )φ = β φ Hence = n f 2 (f, φ )φ = =n+ m =n+ since φ = for m. On the other hand, f α φ = (β α )φ + Hence It is clear now that It follows that We re done. n f 2 α φ = (β α ) 2 + β 2 m =n+ m =n+ β φ n f 2 n α φ f 2 (f, φ )φ n f n α φ f (f, φ )φ β 2

2 Exersize 2. Let c denote the set of all elements (α, α 2,... ) l such that {α n } is a convergent sequence, and let c 0 be the set of all such elements for which α n 0 as n. Show that c and c 0 are Banach spaces. Solution 2. It is nown that l is a Banach space. The linear structure, as well as the norm, of c and c 0 is inherited from that of l. To show completeness of c and c 0, it will suffice to show that c and c 0 are closed in l. We show that c is closed in l and c 0 is closed in c. Now, suppose that {x } is a sequence in c converging to some x l. Then, for any given ɛ > 0, we now that there exists 0 such that Hence for all j we have sup x j 0 x j < ɛ j 3 } We also now that, since {x j0 j N x j 0 x j < ɛ 3 exists N N such that for all n m N, we have From this we deduce: is a convergent sequence, it is Cauchy, so there x n 0 x m 0 < ɛ 3 x n x m x n x n 0 + x n 0 x m 0 + x m 0 x m < ɛ for all n m N. This shows that {x} is Cauchy, hence convergent. Thus x c. This shows that c contains all its limit points, hence closed. So c, being a closed subset of a complete space, must itself be complete. Similarly, let us suppose that {x } is a sequence in c 0 that converges to x l. Then for all ɛ > 0, there exists 0 such that Hence for all j we have sup x j 0 x j < ɛ j 2 x j 0 x j < ɛ 2 On the other hand, since x 0 c 0, there exists N N such that for all n N, we have x n 0 < ɛ 2 Hence for all n N we have x n x n 0 + x n 0 x n < ɛ So x = { x j} converges to 0, hence x c 0. So c 0 is complete. Exersize 3. Show that the norm of an element is never negative. Solution 3. Suppose that x < 0. But then 0 = x x x + x < 0. Can t be! Exersize 4. If x, y are are elements of a Hilbert space H and satisfy x + y = x + y, show that either x = cy or y = cx for some scalar c 0.

3 Solution 4. Well, if either x = 0 or y = 0, the result holds vacuously. So assume that neither x nor y is equal to zero. We may assume that x, y V H, with dim V = m <. If m =, we re done. If not, we may tae for a basis of V the set {x, x 2,..., x m } of orthonormal vectors where x = x/ x. This can be done via Gram-Schmidt. Write y = α x + + α m x m. Then we have x + (α x + + α m x m ) = x + α x + + α m x m From this we immediately deduce 2 (x, α x + + α m x m ) = 2 x α x + + α m x m By orthonormality of {x,..., x m }, we get from above: α = α α2 m From this we immediately deduce that Hence we must have We re done. α 2 = = α m = 0 y = α x = α x x Exersize 5. Show that in a normed vector space v j = v j + j=n+ Solution 5. In a normed vector space the notion of the limit maes sense, and in fact all standard results regarding algebra of limits hold. In particular we have, by definition (for n fixed) v j = lim v j = lim On the other hand for n we have v j = v j + Hence v j = lim v j + j=n+ v j = v j v j, n j=n+ v j + lim Exersize 6. For f = (α,..., α n ) R n, show that and f 0 = max α f = α = v j j=n+ are norms. Is R n complete with respect to either of them? v j = v j + j=n+ v j

4 Solution 6. It is easy to see that () and (2) of the definition of a norm on p. 7 hold trivially in both cases. So we only verify the triangle inequality. Write f = (α,..., α n ) and g = (β,..., β n ). Then we have f + g 0 = max α + β max ( α + β ) which follows from the triangle inequality of on R. On the other hand, it isn t hard to see that max In the second case, f + g = ( α + β ) max α + β = α + max β = f 0 + g 0 ( α + β ) = f + g = Now, we now that R n is complete with respect to the standard Euclidean norm. But all norms on a finite dimensional vector space are equivalent. So R n is complete with respect to the two norms above. More directly, it isn t hard to see that: f 0 α α2 n and f α α2 n Exersize 7. If F is a bounded linear functional on a normed vector space X, show that F = sup x F (x) = sup x = F (x) Solution 7. By definition we have F (x) F = sup x 0 x But ( ) F (x) sup x 0 x = sup x F = sup F (x) x 0 x x = On the other hand, F (x) sup F (x) = sup x = x 0 x sup F (x) x x sup F (x) sup F (x) x x = This verifies the claim. Exersize 8. A functional F (x) is called additiveif F (x + y) = F (x) + F (y). If F is additive, show that F (αx) = αf (x) for all rational α. Solution 8. Well, F (0) = F (0 + 0) = F (0) + F (0). So F (0) = 0. By definition, for any n > 0 an integer, we have Hence we must have F (nx) = nf (x). nx = x + x + + x }{{} n - times

5 Now, for m > 0, F (x) = F (mx/m) = mf (x/m). So F (x/m) = F (x)/m. Now it immediately follows that for n 0, m > 0, we have F (nx/m) = nf (x)/m. Finally, 0 = F (x x) = F (x + ( x)) = F (x) + F ( x). So F ( x) = F (x). This completes the proof. Exersize 9. Show that an additive functional is continuous everywhere if it is continuous at one point. Solution 9. Suppose that F is an additive function which is continuous at some x 0. We shall show that F is bounded. That is, there exists C > 0 such that for all x we have F (x) C x Since F is continuous at x 0, we now that, for arbitrary ɛ > 0 fixed, there exists a δ > 0 such that for all x x 0 δ we have F (x) F (x 0 ) ɛ. Now tae y 0. If y is not rational, we can always pic y /2 < M < y rational sufficiently close to y. Set x = x 0 + δ 2M y Then it is clear that x x 0 < δ Hence we have (also since F is additive): F (x x 0 ) ɛ By the previous problem, since δ/2m is rational, we must have ( ) ɛ F (x x 0 ) = δ F 2M y = δ F (y) 2M Hence F (y) ɛ 2ɛ 2M < δ δ y This construction wors for all y, with 2ɛ δ being independent of y. Hence F is bounded, thus continuous everywhere. Exersize 0. Show that the set I ω is compact. Solution 0. Since l is a metric space, we now that a subset of a metric space is compact if and only if it is sequentially compact. So we show that I ω is sequentially compact: that is, every sequence has a convergent subsequence. Let x(i, j) i,j N be a sequence in l such that x(i, j) /j for all i, j. Clearly for each fixed j, x(i, j) has a subsequence x(i, j) that converges. Now let y (i, j) be a subsequence of x(i, j) such that y (i, ) ỹ. Let y 2 (i, j) be a subsequence of y (i, j), such that y 2 (i, 2) ỹ 2. In general, let y n (i, j) be a subsequence of y n (i, j), such that y n (i, n) ỹ n. Now let z(i, j) = y i (i, j). We claim that z(i, j), (ỹ, ỹ 2,... ) I ω and that z(i, j) (ỹ, ỹ 2,... ) as i. Clearly, by construction, for each fixed i, z(i, j) /j, since it is a germ of the sequence x(i, j) j N. Since ỹ j is the limit of a subsequence of x(i, j) i N, and x(i, j) /j for all i, we must have also ỹ j /j. Hence (ỹ j ) j N I ω. Now suppose that ɛ > 0 is fixed. Let N be so large that /N < ɛ/2. Let M, M 2,..., M N be such that for all M i, y i (, i) ỹ i < ɛ. Let M = max {max i {M i }, N}. Then observe that for all M, z(, j) ỹ j < ɛ when

6 j N, and z(, j) y j z(, j) + y j /N + /N = 2/N < ɛ when j > N. Hence we have sup z(, j) ỹ j < ɛ for all > M j So, as claimed, z(i, j) (ỹ j ) in l -norm. This proves sequential compactness of I ω, and hence compactness. Exersize. Let M be a totally bounded subset of a normed vector space X. Show that for each ɛ > 0, M has a finite ɛ-net N M. Solution. We proceed by contradiction. Suppose that M is totally bounded, and for some fixed ɛ > 0, there is no finite ɛ-net N contained entirely in M. Then given x M, there exists x 2 M such that x 2 x > ɛ. Similarly there must exist x 3 M such that x i x 3 > ɛ, with i =, 2. In general, we can continue this process and obtain x n M such that x n x i > ɛ with i =, 2,..., n. Let S = {x, x 2,... }. However, M is totally bounded, so there exists a finite ɛ/2-net of M, say given by {w, w 2,..., w } such that the balls B(w i, ɛ/2), with i =, 2,..., cover M. Since there are infinitely many distinct terms in the set S M, for some i j, x i, x j S and x i, x j B(w l, ɛ/2) for some l. But then x i x j ɛ/2, which cannot be by construction of S. This is a contradiction. Exersize 2. Prove that if M is finite dimensional, then we can tae θ = in Lemma 4.7 Solution 2. Let θ n = (n )/n < for n 2. We now then that there exists x n M c, such that d(x n, M) θ n and x n = (in some fixed norm on X: X has many admissible norms, but all are equivalent). Since X is finite-dimensional and (x n ) is a bounded sequence, we now that x n has a convergent subsequence, say x n x X. But then x = (this is obvious from the continuity of the norm, and the fact that x n = for all n) and d(x, M) (n )/n for all n. Hence d(x, M). We re done. Exersize 3. Show that if X is infinite dimensional and K is one-to-one operator in K(X), then K I cannot be in K(X). Solution 3. Let S X be the unit sphere (that is, the set of all vectors of unit norm). For convenience, let Sp(x, x 2,..., x ) denote the space spanned by the vectors x i, i =, 2,...,. Now, pic x S. Clearly Sp(x ) X, so there exists x 2 S such that x x 2 > /2. Now, obviously Sp(x, x 2 ) X. So there exists x 3 S such that x x 3, x 2 x 3 > /2. Continue this process, at n th step selecting x n S such that x i x n > /2 with i =, 2,..., n. This is possible since Sp(x, x 2,..., x n ) X (since X is infinite dimensional). Now, the sequence (x n ) n N is bounded. Keep this in mind... Now suppose that A = K I is compact. But then there exists a subsequence (x n ) such that Ax n converges; so in particular is Cauchy. Let, for convenience, y = x n. Thus, for ɛ < /2 there exists N N such that for all n m N we have Ay n Ay m < ɛ Hence y m y n Ky m Ky n (y m y n ) (Ky m Ky n ) = (Ky n y n ) (Ky m y m ) < ɛ

7 But then y m y n < ɛ + Ky m y n Now, K is compact, so there exists a subsequence z = y n such that Kz converges, so in particular is Cauchy. Hence for N large enough, ɛ + Kz m z n < /2 for all n m N. So z m z n < ɛ + Kz m z n < /2 which cannot be, since z m z n > /2 by construction of the sequence (x n ), of which (z n ) is a subsequence. So A cannot be compact. This completes the proof. Exersize 4. Let X be a vector space which can be made into a Banach space by introducing either of two different norms. Suppose that convergence with respect to the first norm always implies convergence with respect to the second norm. Show that the norms are equivalent. Solution 4. Let and 2 denote the two norms. It will suffice to show only that there exists C > 0 such that for all x X nonzero one has x C x 2 for then a similar argument will establish the existence of D > 0 such that x 2 D x from which equivalence of the two norms could be deduced easily. Suppose, for a contradiction, that for all n N, there exists x n X nonzero such that x n > n x n 2 But then we must have x n 2 < x n n Hence x n / x n 0 in the 2 -norm. But then, by hypothesis, x n / x n 0 in the -norm. This cannot be, since x n / x n = for all n. This is a contradiction. We re done. Exersize 5. Suppose A B(X, Y ), K K(X, Y ), where X, Y are Banach spaces. If R(A) R(K), show that A K(X, Y ). Solution 5. Since both A and K are linear operators, we now that R(A), R(K) Y are vector subspaces of Y. Now, we also now that since K is compact, R(K) is finite-dimensional (see next problem below). But then A : X R(A) R(K) is a bounded operator into a finite dimensional space. Hence A is compact. To see this: let (x n ) be a bounded sequence in X. Since A is bounded, A(x n ) is a bounded sequence in R(A). Since R(A) is finite-dimensional, A(x n ) must have a convergent subsequence. We re done. Exersize 6. Suppose X, Y are Banach spaces and K K(X, Y ). If R(K) = Y, show that Y is finite dimensional. Solution 6. Let X = X/N(K). Now, N(K) is certainly closed in X. Define the norm on X/N X : X R by x X = inf z x z N(K)

8 where is the norm on X. It isn t hard to verify that the norm above is welldefined, and actually is a norm. Let K : X Y be the homomorphism (of vector spaces) induced by the homomorphism K - that is, K([x]) = K(x). Then this induced homomorphism is actually a vector space isomorphism (fundamental theorem of vector space homomorphisms - isn t hard to verify). But more is true - K is compact! To see this, observe that since N(K) is closed, for all x / N(K), there exists z N(K) such that [x] X = x z. Now, let us suppose that [x ], [x 2 ],... is a sequence in X that is bounded, say by C > 0. But then there exist z, z 2, N(K) such that x n z n = [x n ] X < C for all n. Hence the sequence (x n z n ) is bounded in X. Now, for all n, K([x n ]) = K(x n ) = K(x n ) 0 = K(x n ) K(z n ) = K(x n z n ) since z n N(K). But then, by compactness of K, there is a subsequence K(x n ) that converges (in Y ). Hence K([x n ]) converges in Y, which is what we wished to show. Now, observe that K is compact, onto Y and is -to-. Hence K is bounded (hence closed), onto Y and is -to-. But then there exists C > 0 such that for all x X, (*) x X C K( x) Y We re now ready to prove that Y is finite dimensional. We ll proceed by contradiction. Suppose that dim Y =. But then there exists a sequence (y n ) in Y such that y n Y = for all n, and for all i j, one has y n y m Y > /2. See solution 4 above for construction of such a sequence. Clearly then (y n ) has no convergent subsequence in Y. Since K is -to-, let x n = K (y n ). But then by (*) above, (x n ) is a bounded sequence in X, and, as noted above, its image, namely (y n ), does not have a convergent subsequence. This contradicts compactness of K. Exersize 7. Show that if X is an infinite dimensional normed vector space, then there is a sequence {x n } such that x n =, x n x m for m n. Solution 7. For convenience, S and Sp will be used as in solution 4. Throughout, all our vectors are taen to be nonzero. Now, let x X. But then there exists y X such that dim Sp(x, y ) = 2. But then, according to solution 3, there exists x 2 Sp(x, y ) such that x 2 S and x x 2. Proceed inductively. At the n th step, since X is infinite dimensional, there exists y n X such that dim Sp(x, x 2,..., x n, y n ) = n +. So there exists x n+ S such that x i x n+ for i n. Thus (x n ) is the sequence we need. Exersize 8. Show that every finite-dimensional vector space can be made into a strictly convex normed vector space. Solution 8. Observe that both, R n and C n are strictly convex vector spaces (under the standard Euclidean norm). This follows easily from the Cauchy-Schwartz inequality, since both are actually Hilbert spaces. Now, if dim V = n, where V is a vector space over K = R, C, then V is isomorphic, as a vector space, to K n. Suppose that f : K n V realizes this isomorphism (for instance, if {β,..., β n }

9 is a basis for V, we could tae f(e j ) = β j ), where {e,..., e n } is the standard basis for K n, and extend f linearly to all of K n ). Now define a norm on V via v = E(f (v)), where E is the standard Euclidean norm on K n. Then V is strictly convex under. Exersize 9. Let V be a vector space having n linearly independent elements v,..., v n such that every element v V can be expressed in the form (4.2). Show that dim V = n. Solution 9. Obviously dim V n, since V is spanned by n vectors. Say u,..., u m also span V. Then we can write v = c u + c 2 u c m u m... v n = c nu + c 2 nu c m n u m We also now that each u j is a linear combination of v,..., v n. Hence we may write v = c n dj v j + c 2 n dj 2 v j + + c m n dj mv j Or, equivalently,. v n. =. c n n dj v j + c 2 n n dj 2 v j + + c m n n dj mv j 0 = (c d )v + n j=2 c d j v j + n c2 d j 2 v j + + n cm d j mv j. 0. =. n c nd j v j + n c2 nd j 2 v j + + n cm n d j mv j + (c m n d n m )v n If m < n, then the system above clearly has at least one nontrivial solution in c j i dl, contradicting linear independence of v,..., v n. Hence m n. Thus dim V n. We conclude that dim V = n. Exersize 20. Let V, W be subspaces of a Hilbert space. If dim V < and dim V < dim W, show that there is a u W such that u = and (u, v) = 0 for all v V. Solution 20. Suppose that u,..., u n is a basis for V. We may assume, without loss of generality, that {u,..., u n } is an orthonormal basis (perform Gramm- Schmidt). Now, obviously V W, so there exists w W such that w / V. Hence the set {u,..., u n, w} is linearly independent. Perform Gramm-Schidt orthonormalization process on w to obtain the set {u, u 2,..., u n, u} of orthonormal vectors. Then u / V, u = and (u, u j ) = 0 for j n. Then, obviously by linearity of the inner product, (v, u) = 0 for all v V. We re done. Exersize 2. For X, Y Banach spaces, let A be an operator in B(X, Y ) such that R(A) is closed and infinite-dimensional. Show that A is not compact. Solution 2. Well, since Y is a Banach space and R(A) is closed, R(A) is also a Banach space. Let Ỹ = R(A). Then A B(X, Ỹ ) and is onto. Now use solution 7 above. Exersize 22. Suppose X is a Banach space consisting of finite linear combinations of a denumerable set of elements. Show that dim X <.

10 Solution 22. We prove here the contrapositive. So, suppose that X is infinite dimensional. Suppose S = {x, x 2,..., x n,... } is a basis for X in the sense that for any N and any choice of i, i 2,..., i N, x i,..., x i are linearly independent and every element of X is a finite linear combination of elements of S. We may assume, without loss of generality, that x j =, for j N (simply normalize x j : x j = x j / x j, by abuse of notation). Now let s n = 2 j x j Then the sequence (s n ) is easily seen to be Cauchy (it is bounded above by partial sums of a geometric series), but does not converge, since 2 j x j cannot be written as a linear combination of finitely many elements of S, by linear independence of the elements of S. Hence X is not Banach. This proves the contrapositive of the original claim. Exersize 23. Show that every linear functional on a finite dimensional normed vector space is bounded. Solution 23. Let K = R or C. Let K on K n be the norm given by (α,..., α n ) = α j Suppose now that f is a linear functional on K n. Then we have f((α,..., α n )) = α f((, 0,..., 0)) + + α n f((0,..., 0, )) hence f((α,..., α n )) = α j f((δ j,..., δ nj )) max { f((δ j,..., δ nj )) } α j j n = max j n { f((δ j,..., δ nj )) } (α,..., α n ) so f is bounded. Now, suppose that X is an n-dimensional vector space over K. Then X is isomorphic, as a vector space, to K n. Let φ : V K n realize this isomorphism. Define a norm on V by v V = φ(v). Then it is easily seen that every functional g on V is bounded with respect to this norm, with g V = g φ, where g φ is viewed as a functional on K n. But all norms on V are equivalent, hence g is bounded with respect to any norm on V. Exersize 24. If M is a subspace of a Banach space X, then we define codimm = dim X/M If M is closed, show that codimm = dim M and codimm = dim M.

11 Solution 24. For convenience, set X = X/M. Suppose now that dim X = n <. Let [β ],..., [β n ] be a basis for X. Then, as is easily verified, β,..., β n are linearly independent in X. In fact, we may write X = Sp(β,..., β n ) M Let X and X denote the spaces of functionals on X and X, respectively. Consider given by φ : X X φ(f)(β j ) = f([β j ]) and extending linearly to all of X by setting φ(f)(x) = 0 for all x / Sp(β,..., β n ). Then clearly φ is a vector space homomorphism, and φ( X ) M. Since dim X = dim X = n, and N(φ) = 0, we conclude that dim φ( X ) = n, so dim M n. On the other hand, if g M, then g is completely determined by its action on β,..., β n. Let g be the functional on X given by g([β j ]) = g(β j ) Then, obviously, φ( g) = g. So in fact φ is a vector space isomorphism from X to M. Hence dim M = dim X = n. If dim X =, then for all n N there exists a subspace V n X of dimension n. Restricting φ to V n shows that dim M n. This shows that dim M =. One shows similarly that codimm = dim M. Exersize 25. If M, N are subspaces of a Banach space X and codimn < dim M, show that M N {0}. Solution 25. We prove the contrapositive. Suppose that M N = {0}. Assume first that dim M = m <. Let β,..., β m a basis for M. By assumption, β,..., β m / N, and [β ],..., [β m ] are linearly independent when viewed as elements of X/N. Hence Sp([β ],..., [β m ]) X/N is a subspace of X/N of dimension m. So codimn dim M. Suppose that dim M =. But then for any n N there exists a subspace V n of dimension n in M, for which the above argument can be carried out. Hence again codimn n for all n N, so codimn = dim M =. This proves the contrapositive. Exersize 26. If A B(X, Y ), R(A) is dense in Y and D is dense in X, show that A maps D onto a dense subset of Y. Solution 26. Why do we need the assumption R(A) is dense in X? We now that A is bounded, hence continuous from X to Y, when X and Y are viewed as topological spaces (the topologies are induced by the norms). But a continuous map maps dense sets to dense sets. To see this, suppose f : U V is continuous, with U, V topological spaces. Say D U is dense. Let v V and N an open neighborhood about v in V. By continuity of f, f (N) is open in U. By density of D, there exists d D such that d f (N). Hence f(d) f(d) and f(d) N. This shows that f(d) is dense in V. We re done. Exersize 27. Show that every infinite dimensional normed vector space has an unbounded linear functional.

12 Solution 27. Let S = {x, x 2,... x n,... } X be linearly independent. We can assume, without loss of generality, that x j = after normalizing each x j. Let V be the subspace of X consisting of all finite linear combinations of elements of S. Define f j on V by { jc if x = cxj f j (x) = 0 otherwise Let f be the functional on V defined by f = f is well-defined, since for each x V, f is a finite sum. Now, f is unbounded on V (it is unbounded on the unit ball in V ). To see this, let x = x + x x n. Extend f to all of X by defining f(x) = 0 when x / V. Exersize 28. Let F, G be linear functionals on a vector space V, and assume that F (v) = 0 = G(v) = 0, v V. Show that there is a scalar C such that G(v) = CF (v), v V. Solution 28. From the hypothesis it is evident that N(F ) N(G). We claim that codimn(f ). So, suppose that codimn(f ) > 0 and suppose that V is a vectorspace over the field K. Then F : V K is a homomorphism of vector spaces which is surjective. But then f j F : V/N(F ) K is an isomorphism of vector spaces, where F is induced by F in a natural way (i.e., F ([v]) = F (v)). Hence dim V/N(F ) = dim K =. From this it follows that F is completely determined by its action on β / N(F ). If N(F ) = V, then there is nothing to prove. Otherwise, since N(F ) N(G) and, by the argument above, codimn(g). If N(G) = V, then again we re done (tae C = 0). If not, then there exists β / N(F), N(G). Hence both F and G are completely determined by their action on β. Since K is a field and F (β) 0, we may tae C = G(β)/F (β). Exersize 29. If {x } is a sequence of elements in a normed vector space X and {α } is a sequence of scalars, show that a necessary and sufficient condition for the existence of an x X satisfying is that holds for each n and scalars β,..., β n. x (x ) = α and x = M, β α M β x Solution 29. Suppose there exists such a functional x. Let β,..., β n be scalars, fixed. Let x = β x + + β n x n X. Applying x to x, we obtain x (x) = x β j x j = β j α j

13 Since x = M, we immediately get from above β α = x (x) M x = M β x Let now V be the vector subspace of X consisting of all finite linear combinations of {x }. Suppose that β α M β x holds for each n and scalars β,..., β n. Define x (x ) = α and extend linearly to V. Then extend x to all of X by defining x (y) = 0 if y / V. However, the condition that β α M β x holds for each n and scalars β,..., β n does not imply that x = M. Indeed, if K > M, then one has β α K β x holds for each n and scalars β,..., β n. Exersize 30. If a normed vector space X has a subspace M such that M and X/M are complete, show that X is a Banach space. Solution 30. Exersize 3. If X, Y are normed vector spaces and B(X, Y ) is complete, show that Y is complete. Solution 3. Let {y n } be a Cauchy sequence in Y. Fix nonzero x 0 in X. Define A n (cx 0 ) = cy n and for all x / Sp(x 0 ), let A(x) = 0. Clearly then A n B(X, Y ) and A n = y n / x 0 (the norms are taen in respective spaces, of course). Now, observe that (A n A m )(x 0 ) = A n (x 0 ) A m (x 0 ) y n y m / x 0 So {A n } is Cauchy in B(X, Y ), hence A n A B(X, Y ). But then A n (x 0 ) A(x 0 ) in Y. Hence y n A(x 0 ) in Y. So Y is complete, hence Banach. Exersize 32. Prove that if {T n } is a sequence in B(X, Y ) such that lim T n x exists for each x X, then there is a T B(X, Y ) such that T n x T x for all x X. Solution 32. Set T x = lim T n x. First observe that T is linear. Indeed, T (cx+y) = lim T n (cx+y) = c lim T n (x)+lim T n (y) = ct x+t y. Next observe that T is bounded. Suppose first that T n (x) T (x) uniformly for all x S, where S is the unit sphere in X. If this is the case, then there exists N N such that for all x of unit norm, T x T n x < for all n N, x S so T x < T N x +, x S

14 hence T x T N + for all x S So T is bounded. If convergence on S is not necessarily uniform, then T is not necessarily bounded. Consider the following example. Let S = {e, e 2,... }, where e j = (x j ) : N {0, } given by xj = δ j. We can visualize each e j as an -tuple, having in j th position and 0 everywhere else. Let V be the (infinite-dimensional) vector space over R formed by all finite linear combinations of elements of S. Endow V with the norm m c e j + c 2 e j2 + + c m e jm = c Define T j : V R by T j (e i ) = jδ ji, and extend T j linearly to V. Then each T j is a linear functional on V. Define T n = T Then each T n is obviously a linear functional on V. Let T = lim T n = T n n T is well-defined, since for each x V, T (v) is a finite sum (recall that v is a finite linear combination of elements of S). Further, each T n is bounded. T, however, is unbounded! Indeed, T (e + e e n ) = T j (e j ) = n(n + ) j = 2 n= On the other hand, e + e e n = n So T (e + e e n ) e + e e n = n + 2 which cannot be bounded by a constant. Exersize 33. Let F, G be linear functionals on a vector space V, and assume that F (v) = 0 = G(v) = 0, v V. Show that there is a scalar C such that G(v) = CF (v), v V. Solution 33. From the hypothesis it is evident that N(F ) N(G). We claim that codimn(f ). So, suppose that codimn(f ) > 0 and suppose that V is a vectorspace over the field K. Then F : V K is a homomorphism of vector spaces which is surjective. But then F : V/N(F ) K is an isomorphism of vector spaces, where F is induced by F in a natural way (i.e., F ([v]) = F (v)). Hence dim V/N(F ) = dim K =. From this it follows that F is completely determined by its action on β / N(F ). If N(F ) = V, then there is nothing to prove. Otherwise, since N(F ) N(G) and, by the argument above, codimn(g). If N(G) = V, then again we re done

15 (tae C = 0). If not, then there exists β / N(F), N(G). Hence both F and G are completely determined by their action on β. Since K is a field and F (β) 0, we may tae C = G(β)/F (β). Exersize 34. If {x } is a sequence of elements in a normed vector space X and {α } is a sequence of scalars, show that a necessary and sufficient condition for the existence of an x X satisfying is that holds for each n and scalars β,..., β n. x (x ) = α and x = M, β α M β x Solution 34. Suppose there exists such a functional x. Let β,..., β n be scalars, fixed. Let x = β x + + β n x n X. Applying x to x, we obtain x (x) = x β j x j = β j α j Since x = M, we immediately get from above β α = x (x) M x = M β x Let now V be the vector subspace of X consisting of all finite linear combinations of {x }. Suppose that β α M β x holds for each n and scalars β,..., β n. Define x (x ) = α and extend linearly to V. Then extend x to all of X by defining x (y) = 0 if y / V. However, the condition that β α M β x holds for each n and scalars β,..., β n does not imply that x = M. Indeed, if K > M, then one has β α K β x holds for each n and scalars β,..., β n. Exersize 35. If a normed vector space X has a subspace M such that M and X/M are complete, show that X is a Banach space. Solution 35. Exersize 36. If X, Y are normed vector spaces and B(X, Y ) is complete, show that Y is complete.

16 Solution 36. Let {y n } be a Cauchy sequence in Y. Fix nonzero x 0 in X. Define A n (cx 0 ) = cy n and for all x / Sp(x 0 ), let A(x) = 0. Clearly then A n B(X, Y ) and A n = y n / x 0 (the norms are taen in respective spaces, of course). Now, observe that (A n A m )(x 0 ) = A n (x 0 ) A m (x 0 ) y n y m / x 0 So {A n } is Cauchy in B(X, Y ), hence A n A B(X, Y ). But then A n (x 0 ) A(x 0 ) in Y. Hence y n A(x 0 ) in Y. So Y is complete, hence Banach. Exersize 37. Prove that if {T n } is a sequence in B(X, Y ) such that lim T n x exists for each x X, then there is a T B(X, Y ) such that T n x T x for all x X. Solution 37. Set T x = lim T n x. First observe that T is linear. Indeed, T (cx+y) = lim T n (cx+y) = c lim T n (x)+lim T n (y) = ct x+t y. Next observe that T is bounded. Suppose first that T n (x) T (x) uniformly for all x S, where S is the unit sphere in X. If this is the case, then there exists N N such that for all x of unit norm, T x T n x < for all n N, x S so T x < T N x +, x S hence T x T N + for all x S So T is bounded. If convergence on S is not necessarily uniform, then T is not necessarily bounded. Consider the following example. Let S = {e, e 2,... }, where e j = (x j ) : N {0, } given by xj = δ j. We can visualize each e j as an -tuple, having in j th position and 0 everywhere else. Let V be the (infinite-dimensional) vector space over R formed by all finite linear combinations of elements of S. Endow V with the norm m c e j + c 2 e j2 + + c m e jm = c Define T j : V R by T j (e i ) = jδ ji, and extend T j linearly to V. Then each T j is a linear functional on V. Define T n = T Then each T n is obviously a linear functional on V. Let T = lim T n = T n n T is well-defined, since for each x V, T (v) is a finite sum (recall that v is a finite linear combination of elements of S). Further, each T n is bounded. T, however, is unbounded! Indeed, T (e + e e n ) = T j (e j ) = n(n + ) j = 2 On the other hand, n= e + e e n = n

17 So T (e + e e n ) e + e e n = n + 2 which cannot be bounded by a constant.

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

MAT 578 FUNCTIONAL ANALYSIS EXERCISES MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.

More information

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

PROBLEMS. (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 information

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.

More information

David Hilbert was old and partly deaf in the nineteen thirties. Yet being a diligent

David Hilbert was old and partly deaf in the nineteen thirties. Yet being a diligent Chapter 5 ddddd dddddd dddddddd ddddddd dddddddd ddddddd Hilbert Space The Euclidean norm is special among all norms defined in R n for being induced by the Euclidean inner product (the dot product). A

More information

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

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms (February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops

More information

1 Definition and Basic Properties of Compa Operator

1 Definition and Basic Properties of Compa Operator 1 Definition and Basic Properties of Compa Operator 1.1 Let X be a infinite dimensional Banach space. Show that if A C(X ), A does not have bounded inverse. Proof. Denote the unit ball of X by B and the

More information

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product 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 pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint

More information

Real Analysis Notes. Thomas Goller

Real Analysis Notes. Thomas Goller Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................

More information

FUNCTIONAL ANALYSIS-NORMED SPACE

FUNCTIONAL ANALYSIS-NORMED SPACE MAT641- MSC Mathematics, MNIT Jaipur FUNCTIONAL ANALYSIS-NORMED SPACE DR. RITU AGARWAL MALAVIYA NATIONAL INSTITUTE OF TECHNOLOGY JAIPUR 1. Normed space Norm generalizes the concept of length in an arbitrary

More information

Math 209B Homework 2

Math 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 information

5 Compact linear operators

5 Compact linear operators 5 Compact linear operators One of the most important results of Linear Algebra is that for every selfadjoint linear map A on a finite-dimensional space, there exists a basis consisting of eigenvectors.

More information

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Week 9 November 13 November Deadline to hand in the homeworks: your exercise class on week 16 November 20 November Exercises (1) Show that if T B(X, Y ) and S B(Y, Z)

More information

Lecture 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 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 information

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL 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 information

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3 Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,

More information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

Lecture 4: Completion of a Metric Space

Lecture 4: Completion of a Metric Space 15 Lecture 4: Completion of a Metric Space Closure vs. Completeness. Recall the statement of Lemma??(b): A subspace M of a metric space X is closed if and only if every convergent sequence {x n } X satisfying

More information

Overview of normed linear spaces

Overview of normed linear spaces 20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural

More information

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued 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 information

Functional Analysis HW #5

Functional Analysis HW #5 Functional Analysis HW #5 Sangchul Lee October 29, 2015 Contents 1 Solutions........................................ 1 1 Solutions Exercise 3.4. Show that C([0, 1]) is not a Hilbert space, that is, there

More information

Hilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality

Hilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky 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 2016-17/03 hsp.pdf] Hilbert spaces are

More information

4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan

4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

7 Complete metric spaces and function spaces

7 Complete metric spaces and function spaces 7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m

More information

Problem Set 6: Solutions Math 201A: Fall a n x n,

Problem Set 6: Solutions Math 201A: Fall a n x n, Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series

More information

Spectral theory for compact operators on Banach spaces

Spectral theory for compact operators on Banach spaces 68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy

More information

Compact operators on Banach spaces

Compact operators on Banach spaces Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact

More information

Copyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.

Copyright 2010 Pearson Education, Inc. Publishing as Prentice Hall. .1 Limits of Sequences. CHAPTER.1.0. a) True. If converges, then there is an M > 0 such that M. Choose by Archimedes an N N such that N > M/ε. Then n N implies /n M/n M/N < ε. b) False. = n does not converge,

More information

NOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017

NOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017 NOTES ON FRAMES Damir Bakić University of Zagreb June 6, 017 Contents 1 Unconditional convergence, Riesz bases, and Bessel sequences 1 1.1 Unconditional convergence of series in Banach spaces...............

More information

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0 4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for

More information

Your first day at work MATH 806 (Fall 2015)

Your first day at work MATH 806 (Fall 2015) Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies

More information

l(y j ) = 0 for all y j (1)

l(y j ) = 0 for all y j (1) Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that

More information

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32 Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak

More information

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It

More information

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d 66 2. Every family of seminorms on a vector space containing a norm induces ahausdorff locally convex topology. 3. Given an open subset Ω of R d with the euclidean topology, the space C(Ω) of real valued

More information

Introduction to Bases in Banach Spaces

Introduction to Bases in Banach Spaces Introduction to Bases in Banach Spaces Matt Daws June 5, 2005 Abstract We introduce the notion of Schauder bases in Banach spaces, aiming to be able to give a statement of, and make sense of, the Gowers

More information

MA651 Topology. Lecture 9. Compactness 2.

MA651 Topology. Lecture 9. Compactness 2. MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology

More information

Introduction to Real Analysis Alternative Chapter 1

Introduction to Real Analysis Alternative Chapter 1 Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces

More information

Chapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space.

Chapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space. Chapter 1 Preliminaries The purpose of this chapter is to provide some basic background information. Linear Space Hilbert Space Basic Principles 1 2 Preliminaries Linear Space The notion of linear space

More information

MAT 544 Problem Set 2 Solutions

MAT 544 Problem Set 2 Solutions MAT 544 Problem Set 2 Solutions Problems. Problem 1 A metric space is separable if it contains a dense subset which is finite or countably infinite. Prove that every totally bounded metric space X is separable.

More information

REAL AND COMPLEX ANALYSIS

REAL AND COMPLEX ANALYSIS REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any

More information

Analysis II Lecture notes

Analysis II Lecture notes Analysis II Lecture notes Christoph Thiele (lectures 11,12 by Roland Donninger lecture 22 by Diogo Oliveira e Silva) Summer term 2015 Universität Bonn July 5, 2016 Contents 1 Analysis in several variables

More information

1. Subspaces A subset M of Hilbert space H is a subspace of it is closed under the operation of forming linear combinations;i.e.,

1. Subspaces A subset M of Hilbert space H is a subspace of it is closed under the operation of forming linear combinations;i.e., Abstract Hilbert Space Results We have learned a little about the Hilbert spaces L U and and we have at least defined H 1 U and the scale of Hilbert spaces H p U. Now we are going to develop additional

More information

Recall that any inner product space V has an associated norm defined by

Recall that any inner product space V has an associated norm defined by Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner

More information

An introduction to some aspects of functional analysis

An introduction to some aspects of functional analysis An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms

More information

Combinatorics in Banach space theory Lecture 12

Combinatorics in Banach space theory Lecture 12 Combinatorics in Banach space theory Lecture The next lemma considerably strengthens the assertion of Lemma.6(b). Lemma.9. For every Banach space X and any n N, either all the numbers n b n (X), c n (X)

More information

Topological Vector Spaces III: Finite Dimensional Spaces

Topological Vector Spaces III: Finite Dimensional Spaces TVS III c Gabriel Nagy Topological Vector Spaces III: Finite Dimensional Spaces Notes from the Functional Analysis Course (Fall 07 - Spring 08) Convention. Throughout this note K will be one of the fields

More information

Part III. 10 Topological Space Basics. Topological Spaces

Part III. 10 Topological Space Basics. Topological Spaces Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.

More information

I teach myself... Hilbert spaces

I teach myself... Hilbert spaces I teach myself... Hilbert spaces by F.J.Sayas, for MATH 806 November 4, 2015 This document will be growing with the semester. Every in red is for you to justify. Even if we start with the basic definition

More information

HILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define

HILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,

More information

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous: MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is

More information

FUNCTIONAL ANALYSIS CHRISTIAN REMLING

FUNCTIONAL ANALYSIS CHRISTIAN REMLING FUNCTIONAL ANALYSIS CHRISTIAN REMLING Contents 1. Metric and topological spaces 2 2. Banach spaces 12 3. Consequences of Baire s Theorem 30 4. Dual spaces and weak topologies 34 5. Hilbert spaces 50 6.

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

Topological vectorspaces

Topological vectorspaces (July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural non-fréchet spaces Topological vector spaces Quotients and linear maps More topological

More information

Real and Complex Analysis, 3rd Edition, W.Rudin Elementary Hilbert Space Theory

Real and Complex Analysis, 3rd Edition, W.Rudin Elementary Hilbert Space Theory Real and Complex Analysis, 3rd Edition, W.Rudin Chapter 4 Elementary Hilbert Space Theory Yung-Hsiang Huang. It s easy to see M (M ) and the latter is a closed subspace of H. Given F be a closed subspace

More information

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books. Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define

More information

CHAPTER 7. Connectedness

CHAPTER 7. Connectedness CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set

More information

Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India

Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India CHAPTER 9 BY Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India E-mail : mantusaha.bu@gmail.com Introduction and Objectives In the preceding chapters, we discussed normed

More information

1 Functional Analysis

1 Functional Analysis 1 Functional Analysis 1 1.1 Banach spaces Remark 1.1. In classical mechanics, the state of some physical system is characterized as a point x in phase space (generalized position and momentum coordinates).

More information

NORMS ON SPACE OF MATRICES

NORMS ON SPACE OF MATRICES NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system

More information

Elementary linear algebra

Elementary linear algebra Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The

More information

Continuity. Matt Rosenzweig

Continuity. Matt Rosenzweig Continuity Matt Rosenzweig Contents 1 Continuity 1 1.1 Rudin Chapter 4 Exercises........................................ 1 1.1.1 Exercise 1............................................. 1 1.1.2 Exercise

More information

Zweier I-Convergent Sequence Spaces

Zweier I-Convergent Sequence Spaces Chapter 2 Zweier I-Convergent Sequence Spaces In most sciences one generation tears down what another has built and what one has established another undoes. In mathematics alone each generation builds

More information

Real Analysis Problems

Real 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 information

B. Appendix B. Topological vector spaces

B. Appendix B. Topological vector spaces B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function

More information

16 1 Basic Facts from Functional Analysis and Banach Lattices

16 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 information

Homework Assignment #5 Due Wednesday, March 3rd.

Homework Assignment #5 Due Wednesday, March 3rd. Homework Assignment #5 Due Wednesday, March 3rd. 1. In this problem, X will be a separable Banach space. Let B be the closed unit ball in X. We want to work out a solution to E 2.5.3 in the text. Work

More information

Examples of Dual Spaces from Measure Theory

Examples 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 information

Existence and Uniqueness

Existence and Uniqueness Chapter 3 Existence and Uniqueness An intellect which at a certain moment would know all forces that set nature in motion, and all positions of all items of which nature is composed, if this intellect

More information

Your first day at work MATH 806 (Fall 2015)

Your first day at work MATH 806 (Fall 2015) Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies

More information

Week 2: Sequences and Series

Week 2: Sequences and Series QF0: Quantitative Finance August 29, 207 Week 2: Sequences and Series Facilitator: Christopher Ting AY 207/208 Mathematicians have tried in vain to this day to discover some order in the sequence of prime

More information

Normed Vector Spaces and Double Duals

Normed Vector Spaces and Double Duals Normed Vector Spaces and Double Duals Mathematics 481/525 In this note we look at a number of infinite-dimensional R-vector spaces that arise in analysis, and we consider their dual and double dual spaces

More information

Real Analysis Chapter 4 Solutions Jonathan Conder

Real Analysis Chapter 4 Solutions Jonathan Conder 2. Let x, y X and suppose that x y. Then {x} c is open in the cofinite topology and contains y but not x. The cofinite topology on X is therefore T 1. Since X is infinite it contains two distinct points

More information

Linear Algebra Massoud Malek

Linear 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 information

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of

More information

MH 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. (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 information

2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers.

2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers. Chapter 3 Duality in Banach Space Modern optimization theory largely centers around the interplay of a normed vector space and its corresponding dual. The notion of duality is important for the following

More information

MAT 771 FUNCTIONAL ANALYSIS HOMEWORK 3. (1) Let V be the vector space of all bounded or unbounded sequences of complex numbers.

MAT 771 FUNCTIONAL ANALYSIS HOMEWORK 3. (1) Let V be the vector space of all bounded or unbounded sequences of complex numbers. MAT 771 FUNCTIONAL ANALYSIS HOMEWORK 3 (1) Let V be the vector space of all bounded or unbounded sequences of complex numbers. (a) Define d : V V + {0} by d(x, y) = 1 ξ j η j 2 j 1 + ξ j η j. Show that

More information

Vectors in Function Spaces

Vectors in Function Spaces Jim Lambers MAT 66 Spring Semester 15-16 Lecture 18 Notes These notes correspond to Section 6.3 in the text. Vectors in Function Spaces We begin with some necessary terminology. A vector space V, also

More information

CHAPTER V DUAL SPACES

CHAPTER V DUAL SPACES CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the

More information

MTH 503: Functional Analysis

MTH 503: Functional Analysis MTH 53: Functional Analysis Semester 1, 215-216 Dr. Prahlad Vaidyanathan Contents I. Normed Linear Spaces 4 1. Review of Linear Algebra........................... 4 2. Definition and Examples...........................

More information

Math 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1

Math 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1 Math 8B Solutions Charles Martin March 6, Homework Problems. Let (X i, d i ), i n, be finitely many metric spaces. Construct a metric on the product space X = X X n. Proof. Denote points in X as x = (x,

More information

August 23, 2017 Let us measure everything that is measurable, and make measurable everything that is not yet so. Galileo Galilei. 1.

August 23, 2017 Let us measure everything that is measurable, and make measurable everything that is not yet so. Galileo Galilei. 1. August 23, 2017 Let us measure everything that is measurable, and make measurable everything that is not yet so. Galileo Galilei 1. Vector spaces 1.1. Notations. x S denotes the fact that the element x

More information

Problem Set 2: Solutions Math 201A: Fall 2016

Problem Set 2: Solutions Math 201A: Fall 2016 Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that

More information

Homework If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator.

Homework If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator. Homework 3 1 If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator Solution: Assuming that the inverse of T were defined, then we will have to have that D(T 1

More information

Normed & Inner Product Vector Spaces

Normed & Inner Product Vector Spaces Normed & Inner Product Vector Spaces ECE 174 Introduction to Linear & Nonlinear Optimization Ken Kreutz-Delgado ECE Department, UC San Diego Ken Kreutz-Delgado (UC San Diego) ECE 174 Fall 2016 1 / 27 Normed

More information

4 Linear operators and linear functionals

4 Linear operators and linear functionals 4 Linear operators and linear functionals The next section is devoted to studying linear operators between normed spaces. Definition 4.1. Let V and W be normed spaces over a field F. We say that T : V

More information

The following definition is fundamental.

The following definition is fundamental. 1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic

More information

Math 61CM - Solutions to homework 6

Math 61CM - Solutions to homework 6 Math 61CM - Solutions to homework 6 Cédric De Groote November 5 th, 2018 Problem 1: (i) Give an example of a metric space X such that not all Cauchy sequences in X are convergent. (ii) Let X be a metric

More information

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem 56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi

More information

Linear Models Review

Linear Models Review Linear Models Review Vectors in IR n will be written as ordered n-tuples which are understood to be column vectors, or n 1 matrices. A vector variable will be indicted with bold face, and the prime sign

More information

Elements of Convex Optimization Theory

Elements 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 self-contained overview of elements of convex optimization

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

CHAPTER VIII HILBERT SPACES

CHAPTER 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 conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)

More information

Analysis Preliminary Exam Workshop: Hilbert Spaces

Analysis Preliminary Exam Workshop: Hilbert Spaces Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE CHRISTOPHER HEIL 1. Weak and Weak* Convergence of Vectors Definition 1.1. Let X be a normed linear space, and let x n, x X. a. We say that

More information

Math 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015

Math 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015 Math 30-: Midterm Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A metric on R with respect to which R is bounded. (b)

More information

MATH 426, TOPOLOGY. p 1.

MATH 426, TOPOLOGY. p 1. MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p

More information

Analysis III Theorems, Propositions & Lemmas... Oh My!

Analysis III Theorems, Propositions & Lemmas... Oh My! Analysis III Theorems, Propositions & Lemmas... Oh My! Rob Gibson October 25, 2010 Proposition 1. If x = (x 1, x 2,...), y = (y 1, y 2,...), then is a distance. ( d(x, y) = x k y k p Proposition 2. In

More information