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

Size: px
Start display at page:

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

Transcription

1 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 s standard. 3. If Y is complete, so is L(X, Y ). Proof. Let {T n } L(X, Y ) be Cauchy. If x X, then {T n x} is Cauchy in Y. Define T : X Y by T x = lim T n x which is clearly linear. Since for any 0 < ɛ < 1, there exists N = N(ɛ) N such that T m x T N x < ɛ x for all m > N and all x X. Let m, we see T x T N x ɛ x for all x X. This implies T L(X, Y ) and T T n T n x n T x T n (x n x) + (T n T )x. 5. If X is a normed vector space, the closure of any subspace of X is a subspace. Proof. Given M X. Given x, y M and scalars a, b, there exists x n, y n M such that x n x, y n y. By continuity of addition and scalar multiplication, M ax n + by n ax + by in X. Therefore, ax + by M. 6. Proof. We may assume e i 1 = 1 for all i. (a)(b) are easy. (c) is due to the subset { i a i = 1} is compact in R n and the map in (b) is continuous. For (d), given be a norm on X. Then for any (a 1, a n ), a i e i max{ e i } a i = max{ e i } a i e i 1 Last Modified: 2018/05/25. Department of Math., National Taiwan University. d @ntu.edu.tw 1

2 and hence is continuous on (X, 1 ) which attains a minimum on the compact set { x 1 = 1} =: B, say at u B. Since u 0, u > 0. Therefore, for any (a 1, a n ), a j e j 1 u a j e j 1 a i a j e j 1 e i = a i e i. 7. Proof. (a) By Exercise 2 and 3, L(X, X) is a Banach space. Since I T < 1, the series n (I T )n converges absolutely, and hence converges to some S L(X, X). Note that N+1 N+1 I ST = S I S(I T ) = S (I T ) j + (I T ) j S(I T ) N+1 S (I T ) j + j=0 j=0 j=1 N (I T ) j S (I T ) ɛ + ɛ I T, j=0 provided N is large enough. Therefore, I ST = 0, that is, I = ST. Similarly, I = T S. (b) Since T 1 S I T 1 S T < 1, T 1 S has an inverse R L(X, X). Since (RT 1 )S = R(T 1 S) = I and S(RT 1 ) = (T T 1 )SRT 1 = T (T 1 SR)T 1 = I, S has inverse RT 1 L(X, X). Thus for any invertible T, every element of B T 1 1(T ) is invertible. This is the second assertion. 8. Proof. Clearly, M(X) is a vector space over C. For each ν M(X), by Radon-Nikodym theorem, there is a integrable function f with respect to µ = ν r + ν i such that dν = fdµ and then d ν = f dµ. So ν (X) = ν = 0 iff f is zero µ-a.e. iff ν = 0. For each a C, aν = aν (X) = af dµ = a ν (X) = a ν. The triangle inequality is proved by the X same method with µ = µ 1 + µ 2 := ν 1,r + ν 1,i + ν 2,r + ν 2,i. Therefore, is a norm on M(X). Given ν n be a absolutely convergent series in M(X). Since for each A Σ, ν n (A) νn (A) ν n (X) = ν n <, we may define ν : Σ C by ν(a) = n ν n(a). Clearly, ν( ) = 0. If A k is a sequence of disjoint measureable sets, since by Tonelli s theorem and therefore ν n (A k ) = n n,k ν( k A k ) = n ν n (A k ) = n k ν n ( k A k ) = n Hence, ν M(X). Given X 1 X m covers X, m j=1 ( ν N ν n )(X j ) = n=1 m j=1 ν n (X j ) ν n (A k ) = k k 2 m j=1 ν n ( k A k ) ν n < ν n (A k ) = n k ν n (X j ) = ν(a k ). ν n (X) = ν n.

3 By Exercise 3.21, ν N n=1 ν n ν n 0 as N 0. So M(X) is complete. 9. Follow the steps stated in the hint. 10. Proof. It s easy to see is a norm. The harder part is the completeness. For k = 1. Given f n L 1 1([0, 1]) with > f n = 1 f n (x) + f n(x) dx = fn (x) + f n(x) dx, by monotone convergence theorem. Hence f n and f n are integrable functions and finite a.e. Since for every x [0, 1], let a [0, 1] be the point of convergence for f n. Then n f i (x) = 1 n 1 x a f i(t) dt+f i (a) n 1 x a f i(t) dt+ f i (a) 1 0 fn (t) dt+ f n (a) <, for each n N and hence f n converges everywhere. By completeness of R, f n converges everywhere to some function f which is integrable by triangle inequality. converges a.e. to some integrable function F. Similarly, f n Next, we see that f is absolutely continuous on [0, 1] with derivative is F since for each x [0, 1], f(x) = lim n n i=1 x f i (x) = lim n 0 n f i(t) dt + i=1 n f i (0) = x i=1 0 F (t) dt + f(0). Finally, we see f i f in L 1 1([0, 1]) since by LDCT f n 1 fi = f(x) 0 n fi (x) + F (x) n f i(x) dx 0 as n. For general k N, we use mathematical induction, that is, assume it s true for L 1 k f in the above argument by f (k) to conclude that it s true for L 1 k+1. and replace 11. Proof. (a) By triangle inequality, Λ β ([0, 1]) is a vector space and is a norm. Given a Cauchy sequence {f n } Λ β, then {f n (0)} is Cauchy in C and hence there is a f(0) such that f n (0) f(0). Moreover, since for each ɛ > 0, there is N = N(ɛ) N such that for all n, m > N and for all x (0, 1], (f n f m )(x) (f n f m )(0) < ɛ x β, that is, for all x (0, 1], {f n (x) f n (0)} is Cauchy in C. Therefore, for each x [0, 1], there exists f(x) C such that f n (x) f(x). We also note that there is a constant M > 0 such that for each n N and s t, f n (s) f n (t) s t β M. 3

4 Then for each s t, there is some N = N(s, t) N such that f(s) f(t) f(s) f N (s) + f N (s) f N (t) + f N (t) f(t) 2 s t β + M s t β. Therefore, f Λ β. It remains to show f n f in Λ β. For each s, t [0, 1] and ɛ > 0, by Cauchy s criteria again, we can find a N = N(ɛ) such that for k, n N f k (s) f n (s) f k (t) + f n (t) ɛ s t β For each η > 0, we can find a K = K(η, s, t) > N, such that f(x) f K (x) η for x = s, or x = t. Therefore, for every n N f(s) f n (s) f(t)+f n (t) f(s) f K (s) + f K (s) f n (s) f K (t)+f n (t) + f(t) f K (t) 2η+ɛ s t β. Letting η 0, we obtain that f(s) f n (s) f(t) + f n (t) ɛ s t β for all n N(ɛ). Remark 1. It is true for the general case C k,β (U), U is connected in R d, with an almost identical proof as the above case k = 0, except we need the standard convergence theorem between {f n } and {Df n }. Remark 2. If U is a bounded connected set, then we have f f f(x) f(y) ( ) := sup f(x) + sup f diam(u) β + 1, x U x y x y β that is, and are equivalent. Proof. For α = 1, for every f λ α ([0, 1]) and x (0, 1), f (x) = 0 by definition. So f is a constant function. For α < 1, by triangle inequality, λ α is a vector subspace of Λ α. Given {f n } λ α f in Λ α. Given y [0, 1] and ɛ > 0, by picking some large N we see f(x) f(y) x y α f(x) f N(x) (f(y) f N (y)) x y α + f N(x) f N (y) x y α < ɛ 2 + f N(x) f N (y) x y α, For this fixed f N λ α, we can choose δ = δ(y, ɛ) such that the second term is less than ɛ 2 if x y < δ. Therefore, f λ α and hence λ α is closed. Since {x n } n=0 is a linearly independent set in λ α by Fundamental Theorem of Algebra and Mean-Value Theorem, λ α is infinite-dimensional. 4

5 12. Let X be a normed vector space and M a proper closed subspace of X. (a) x + M = inf{ x + y : y M} is a norm on X/M. (b) For any ɛ > 0 there exists x X such that x = 1 and x + M > 1 ɛ. (c) The projection map π(x) = x + M from X to X/M has norm 1. (d) If X is complete, so is X/M. (Use Theorem 5.1.) (e) The topology defined by the quotient norm is the quotient topology as defined in Exercise 28 in 4.2. Proof. (a) (i) Given a C, since M is a subspace, ax + M = a inf{ x + a 1 y : y M} = a inf{ x + z : z M} = a x + M. (ii) If x + M = 0, then given n N, there is y n M such that x + y n 1 n, and hence x + y n 0, that is, y n x. Since M is closed, x M. (iii) Given x, y X, then for any z, w M, x+y +M x+y +z +w x+z + y +w. Take infimum among all z, w M respectively, we see x + y + M x + M + y + M. (Note that our proof shows that, if M is not closed, then is a seminorm. See Exercise 14.) (b) Given ɛ > 0. Since M is proper, there is a y M and then y + M = a > 0. So 1y + M = 1, and by definition, there is some z M such that 1 1y + z ɛ. So a a 2 there is some w ( 1 y + z) < ɛ and w = 1. Now w + M 1 ɛ since a 1 w + M = 1 a y + z + M w + M 1 a y + z w + M 1 y + z w ɛ. a (c) By (b), π 1. On the other hand π 1 since x + M x + 0 for all x X. (d) Given {M k } Cauchy in X/M, then we can find a subsequence {M ki } such that for all i, M ki = x i + M for some x i X and M ki+1 M ki < 2 i. Let y 1 = x 1 X such that x 1 + M = M k1, since M k1 M k2 = inf{ x 1 x 2 + z : z M} < 2 1, we can take y 2 = x 2 + w X for some w M such that y 1 y 2 < 2 0 and y 2 = x 2 + M = M k2. Inductively, we can find a sequence {y i } X such that y i y i+1 < 2 i+1 and y i + M = M ki. Since X is complete, the series y i+1 y i converges to y y 1 X for some y X, that is, n 1 y n y 1 = y i+1 y i y y 1 as n. Then y i + M y + M by (c), the continuity of projection map π. (e)??? 1 5

6 13. Proof. By triangle inequality, M is a subspace and the map g(x + M) = x 0 satisfies the triangle inequality. If g(x + M) = x = 0, then x = 0 and hence x + M = M. Given λ C, g(λ(x + M)) = g(λx + M) = λx = λ g(x + M). So g defines a norm on X/M. 14. Proof. 15. Suppose that X and Y are normed vector spaces and T L(X, Y ). Let N(T ) = {x X : T x = 0}. Show that (a) N(T ) is a closed subspace of X. (b) There is a unique S L(X/N(T ), Y ) such that T = S π where π : X X/M is the projection (see Exercise 12). Moreover, S = T. Proof. 16. Proof. 5.2 Linear Functionals 17. We may assume f 0. The closedness of f 1 ({0}) is due to the continuity of f. First proof. Conversely, if the proper subspace N := f 1 ({0}) is closed, then by Exercise 12 (b), there is an x X with x = 1 and x + N 1 1, that is, f(x) 0. Note that 2 X = Cx N since for each a X, a = f(a) f(a) x + (a x). f(x) f(x) So for each λx + n Cx N, λx + n = λ x + λ 1 n λ 1 2 and therefore That is, f is bounded. f(λx + n) = λ f(x) 2 f(x) λx + n. Second proof. Suppose on the contrary, for each n N, there is x n X with norm 1 such that f(x n ) > n, by multiplication by 1, we may assume f(x n ) > n. Then for each x X, we see N x f(x) f(x n) x n x. The closedness of N implies x N. This contradicts to f 0. 6

7 18. Proof. (a) We may assume M is a proper subspace of X. Then Hahn-Banach theorem implies that there is some f X such that f(x) 0 and f(m) = 0. Given {y n + a n x} M + Cx z in X. Then f(z) = lim n f(y n + a n x) = lim n f(x)a n. So a n f(z) f(x), a nx f(z) f(x) x, that is y n z = z f(z) x + f(z) x M + Cx. So M + Cx is closed. f(x) f(x) z f(z) x M since M is closed and therefore f(x) (b) From zero-dimensional subspace inductively use (a) to n-dimensional. Another proof is based on the continuity of the map (M, X ) a 1 x 1 + a 2 x 2 + a n x n (a 1, a n ) C n. 19. Proof. 20. Proof. 21. Proof. 22. Proof. 23. Proof. 24. Proof. 25. Proof. Let {y n} be a countable dense subset of X and x n X such that x n = 1 and y n(x n ) 1 2 y n. Let us denote by L the vector space over Q generated by {x n }, which is easy to see it s countable. Suppose L is not dense in X, then by Hahn-Banach Theorem, there is y X such that y (L) = {0} and y = 1. Then for each n N, 1 2 y n y n(x n ) = y n(x n ) y (x n ) y n y. Hence 1 = y y y n + y n 3 y n y 0 by picking a suitable subsequence, which is a contradiction. Therefore L is dense in X, that is, X is separable. 26. Proof. 5.3 The Baire Category Theorem and Its Consequences 27. Proof. Consider Cantor-like sets C k in [0, 1] with Lebesgue measure 1 1 k, then C = C k has measure 1, of the first category and its complement in [0, 1] has measure zero. Then we copy this set to each [m, m + 1] and the desired set on R is the union of them. 7

8 28. Proof. Part (b) is the same. For (a), given nonempty open set W in X, since X is LCH, there is a nonempty set open set B 1 such that B 1 U 1 W and B 1 is compact. Inductively, for n 2, we can find a nonempty open set B n such that B n is compact and B n U n B n 1. Note that K = B n is nonempty due to finite intersection property and K U n B n 1 U n W for all n. Thus, n U n W K. 29. Together with Exercise 30, they show the completeness assumption can NOT be dropped from Open Mapping Theorem without other restrictions. Also see Section 5.6, there is an construction to unbounded linear map X Y when X is complete (by the axiom of choice). Proof. (a) X is proper since ( 1 n 2 ) l 1 \ X. By triangle inequality, it s a subspace. The density of X is by cutting the given series. (b) T is unbounded since T e m Y = m = m e m X. Given f n f in X with T f n g in Y. Given ɛ > 0, then there is M, N N such that T f m g 1 < ɛ for all m > M and g(n) < ɛ and nf(n) < ɛ. Moreover, we can choose some m > M such that N such that f m f < ɛ/n, then T f g 1 T f T f m 1 + T f m g 1 N nf(n) nf m (n) + nf(n) + n=1 < N ɛ N + 4ɛ = 5ɛ. So T f = g in l 1. nf m (n) g(n) + g(n) + T f m g 1 (c) It s easy to see Sg(n) = 1 g(n) for all g Y. Hence S is surjective and S 1. If S is n open, then T is continuous, which contradicts to (b). 30. Proof. (a) Consider f n (x) = x + 1, then for all x [0, 1], f n n(x) x 1 n 0. But x C 1 ([0, 1]) and {f n } is Cauchy in (C 1 ([0, 1]), ) since f n f m n m (b) Consider f n = x n, then (d/dx)f n Y = nx n 1 = n and f n = 1, which implies that d/dx is not bounded. The graph of d/dx is closed due to the convergence theorem between f n and f n. (For example, see Rudin [1, Theorem 7.17].) 31. Proof. 32. Open Mapping Theorem to the identity map from (X, 2 ) (X, 1 ). 33. Proof. 8

9 34. Proof. 35. Let X and Y be Banach spaces, T L(X, Y ), N(T ) = {x : T x = 0}, and M = range(t ). Then X/N(T ) is isomorphic to M iff M is closed. (See Exercise 15.) Proof. 36. Proof. 37. Proof. Define T : Y X by T f = f T. For each x X, we define x : X C by x(x ) = x (x). Given x X with x = 1. By Hahn-Banach theorem, there is some g Y with g = 1 such that T x = g(t x) Note that for each f Y, sup f(t x) = f Y, f =1 sup (T f)(x) = f Y, f =1 sup ( xt )(f) = x T f Y, f =1 sup x T (f) = sup f T (x) = f T <. x =1 x =1 By uniform boundedness principle, there is some M > 0 such that sup x =1 x T M. Therefore, T is bounded since for every x X with x = 1, T x x T M. 38. By uniform boundedness principle. 39. Let X, Y, Z be Banach spaces and let B : X Y Z be a separately continuous bilinear map, that is, B(x, ) L(Y, Z) for each x X and B(, y) L(X, Z) for each y Y. Then B is jointly continuous, that is, continuous from X Y to Z. Remark 3. See Rudin [3, Theorem 2.17 and Exercises ] for the discussions around the completeness. Proof. Since for each y Y with y = 1, the linear mapb(, y) =: B y ( ) : X Z is bounded, the uniform boundedness principle implies that there is some C > 0 such that for all x X, y Y, B(x, y ) C x, that is, B(x, y) C x y. This implies the jointly y continuity since for each (x 0, y 0 ) X Y and x x 0 1, B(x, y) B(x 0, y 0 ) B(x, y y 0 ) + B(x x 0, y 0 ) C( x 0 + 1) y y 0 + C x x 0 y 0. 9

10 40. Proof. 41. Proof. 42. Proof. 5.4 Topological Vector Spaces 43. Proof. 44. Proof. 45. Proof. 46. Proof. 47. Proof. 48. Proof. 49. Proof. 50. Proof. 51. Proof. 52. Proof. 53. Proof. 5.5 Hilbert Spaces 54. Proof. 55. Proof. (a) Direct computation. (b) (i) it s clear that isometry injectivity. The inner product structure is preserved due to (a). (ii) By definition, unitary surjectivity. It s proved to be an isometry by taking x = y in the definition. 56. Proof. It s easy to see E (E ) and the latter is a closed subspace of H. Given F be a closed subspace containing E, then F E and hence (E ) (F ). Since F is closed, H = F F. Given z (F ), z = x + y with x F and y F. Since 0 = (z, y) = (y, y), y = 0. Hence (E ) (F ) F. 10

11 57. Proof. (a) For each y H, we define the linear functional on H by x T x, y which is bounded by T y H. By Theorem 5.25, there exists a unique z H with z H T y H such that T x, y = x, z for all x H. Define T by y z, then T is linear and bounded by T. (b) Note that T x, y = y, T x = T y, x = x, T y for all x, y H. By (a) T = T and T T. Now it s easy to see T T T T = T 2. On the other hand, for each x H, T x 2 = T T x, x T T x 2, so T T T 1/2 since T x T T 1/2 x. The rest follow by definition easily. (c) z R(T ) z, T x = 0 for all x H T z, x = 0 for all x H T z = 0 z N (T ). Then N (T ) = N (T ) = (R(T ) ) = R(T ) by Exercise 56. (d) By definition, T is unitary T is invertible. Moreover T x, y = T x, T T 1 y = x, T 1 y for all x, y H, which implies T 1 = T by (a). Conversely, if T is invertible and T 1 = T, then T x, T y = x, T T y = x, T 1 T y = x, y for all x, y H. 58. Proof. By Theorem 5.24, the closedness of M implies P is well-defined. (a) By definition, we can see P is linear easily. Pythagorean Theorem, P is bounded since for each x H, by P x 2 P x 2 + x P x 2 = P x + x P x 2 = x 2. P = P since for each x, y H, P x, y = P x, y P y + P y = x x + P x, P y = x, P y. P 2 = P since for each x, y H, P 2 x, y = P x, P y = P x, P y y + y = P x, y. By definition, R(P ) M. R(P ) M since for each x M, P x = x since x x = 0 M. Finally, by Exercise 57(c), N (P ) = N (P ) = R(P ) = M. (b) Since 0 = P 2 P = (P I)P, R(P ) = N (P I) which is closed since P I is bounded. If x H, then since 0 = P (I P ), x P x N (P ) = N (P ) = R(P ). Therefore, P is the orthogonal projection onto R(P ). (c) Let x H. By Bessel s inequality and closedness of M, α A x, u α u α is well-defined and belongs to M. Given y M, there exist an index set {i} := I A and a i C \ {0} such that y = a i u i, then x x, u α u α, y = α A i I a i x x, u α u α, u i = α A i I a i ( x, u i x, u i ) = 0. Therefore, x α A x, u α u α M and hence P x = α A x, u α u α. 11

12 59. Proof. Existence of minimizer is proved by the same argument in Theorem 5.24 with a notice that 1 2 (y n + y m ) K due to the convexity of K. To show the uniqueness, let x, y K both with minimal norm d, then since 1 (x + y) K, 2 x y 2 = 2 x y 2 x + y 2 = 4d (x + y) 2 4d 2 4d 2 = 0. Remark 4. Without convexity, we see an example for closed, nonempty set without minimal norm element is E = { n+1e n n} where e n (i) = δn, i the Kronecker delta. On the other hand, the existence and uniqueness assertions in this theorem are not true for every Banach spaces, see Rudin [2, Exercise 5.4-5]. 60. Proof. 61. Proof. 62. Proof. 63. Proof. (a) By Riesz Representation Theorem (Theorem 5.25, p.174) and Bessel s inequality. (b) Given x B, construct an orthonormal sequence {u n } such that u n x for all n.(for x 0, use Gram-Schmidt with u 0 = x x.) Set a = 1 x 2 and x n = au n +x, then x n = 1 and {x n x} is an orthonormal set. By Bessel s inequality, y, x n x 2 = n n x n x 2 y, x n x x n x 2 n ( x n + x ) 2 y, x n x x n x 2 4 y 2 and hence lim y, x n x = 0 for all y H. This implies the desired result. 64. Proof. 65. Proof. 66. Proof. 67. Proof. References [1] Walter Rudin. Principles of Mathematical Analysis, volume 3. McGraw-Hill New York, 3rd edition,

13 [2] Walter Rudin. Real and Complex Analysis. Tata McGraw-Hill Education, 3rd edition, [3] Walter Rudin. Functional analysis. McGraw-Hill, Inc., New York, 2nd edition,

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

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using

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

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

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

CONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects...

CONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects... Contents 1 Functional Analysis 1 1.1 Hilbert Spaces................................... 1 1.1.1 Spectral Theorem............................. 4 1.2 Normed Vector Spaces.............................. 7 1.2.1

More information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

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

THEOREMS, ETC., FOR MATH 515

THEOREMS, 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 information

Functional Analysis, Stein-Shakarchi Chapter 1

Functional Analysis, Stein-Shakarchi Chapter 1 Functional Analysis, Stein-Shakarchi Chapter 1 L p spaces and Banach Spaces Yung-Hsiang Huang 018.05.1 Abstract Many problems are cited to my solution files for Folland [4] and Rudin [6] post here. 1 Exercises

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

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

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

MAA6617 COURSE NOTES SPRING 2014

MAA6617 COURSE NOTES SPRING 2014 MAA6617 COURSE NOTES SPRING 2014 19. Normed vector spaces Let X be a vector space over a field K (in this course we always have either K = R or K = C). Definition 19.1. A norm on X is a function : X K

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

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

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

Analysis Comprehensive Exam Questions Fall 2008

Analysis Comprehensive Exam Questions Fall 2008 Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)

More information

3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first

3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q

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

1 Inner Product Space

1 Inner Product Space Ch - Hilbert Space 1 4 Hilbert Space 1 Inner Product Space Let E be a complex vector space, a mapping (, ) : E E C is called an inner product on E if i) (x, x) 0 x E and (x, x) = 0 if and only if x = 0;

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

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

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

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

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

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

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

Chapter 3: Baire category and open mapping theorems

Chapter 3: Baire category and open mapping theorems MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A

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

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

FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM. F (m 2 ) + α m 2 + x 0

FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM. F (m 2 ) + α m 2 + x 0 FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM If M is a linear subspace of a normal linear space X and if F is a bounded linear functional on M then F can be extended to M + [x 0 ] without changing its norm.

More information

Real Analysis, 2nd Edition, G.B.Folland Signed Measures and Differentiation

Real Analysis, 2nd Edition, G.B.Folland Signed Measures and Differentiation Real Analysis, 2nd dition, G.B.Folland Chapter 3 Signed Measures and Differentiation Yung-Hsiang Huang 3. Signed Measures. Proof. The first part is proved by using addivitiy and consider F j = j j, 0 =.

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

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

Math General Topology Fall 2012 Homework 11 Solutions

Math General Topology Fall 2012 Homework 11 Solutions Math 535 - General Topology Fall 2012 Homework 11 Solutions Problem 1. Let X be a topological space. a. Show that the following properties of a subset A X are equivalent. 1. The closure of A in X has empty

More information

Functional Analysis Exercise Class

Functional 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 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

Functional Analysis I

Functional Analysis I Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker

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

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

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that

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

Lecture Notes in Functional Analysis

Lecture Notes in Functional Analysis Lecture Notes in Functional Analysis Please report any mistakes, misprints or comments to aulikowska@mimuw.edu.pl LECTURE 1 Banach spaces 1.1. Introducton to Banach Spaces Definition 1.1. Let X be a K

More information

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure

More information

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

ANALYSIS WORKSHEET II: METRIC SPACES

ANALYSIS WORKSHEET II: METRIC SPACES ANALYSIS WORKSHEET II: METRIC SPACES Definition 1. A metric space (X, d) is a space X of objects (called points), together with a distance function or metric d : X X [0, ), which associates to each pair

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

SOLUTIONS TO SOME PROBLEMS

SOLUTIONS TO SOME PROBLEMS 23 FUNCTIONAL ANALYSIS Spring 23 SOLUTIONS TO SOME PROBLEMS Warning:These solutions may contain errors!! PREPARED BY SULEYMAN ULUSOY PROBLEM 1. Prove that a necessary and sufficient condition that the

More information

Measurable functions are approximately nice, even if look terrible.

Measurable functions are approximately nice, even if look terrible. Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............

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

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989), Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer

More information

MTH 404: Measure and Integration

MTH 404: Measure and Integration MTH 404: Measure and Integration Semester 2, 2012-2013 Dr. Prahlad Vaidyanathan Contents I. Introduction....................................... 3 1. Motivation................................... 3 2. The

More information

3 (Due ). 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?

3 (Due ). 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 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable

More information

Introduction to Functional Analysis

Introduction to Functional Analysis Introduction to Functional Analysis Carnegie Mellon University, 21-640, Spring 2014 Acknowledgements These notes are based on the lecture course given by Irene Fonseca but may differ from the exact lecture

More information

Real Analysis. Jesse Peterson

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

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

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

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

THEOREMS, ETC., FOR MATH 516

THEOREMS, ETC., FOR MATH 516 THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition

More information

L p Spaces and Convexity

L p Spaces and Convexity L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function

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

Five Mini-Courses on Analysis

Five Mini-Courses on Analysis Christopher Heil Five Mini-Courses on Analysis Metrics, Norms, Inner Products, and Topology Lebesgue Measure and Integral Operator Theory and Functional Analysis Borel and Radon Measures Topological Vector

More information

Lecture 1 Real and Complex Numbers

Lecture 1 Real and Complex Numbers Lecture 1 Real and Complex Numbers Exercise 1.1. Show that a bounded monotonic increasing sequence of real numbers converges (to its least upper bound). Solution. (This was indicated in class) Let (a n

More information

Lectures on Analysis John Roe

Lectures on Analysis John Roe Lectures on Analysis John Roe 2005 2009 1 Lecture 1 About Functional Analysis The key objects of study in functional analysis are various kinds of topological vector spaces. The simplest of these are the

More information

OPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic

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

2 (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?

2 (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 645-4A (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 information

MATHS 730 FC Lecture Notes March 5, Introduction

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

The weak topology of locally convex spaces and the weak-* topology of their duals

The weak topology of locally convex spaces and the weak-* topology of their duals The weak topology of locally convex spaces and the weak-* topology of their duals Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Introduction These notes

More information

REVIEW OF ESSENTIAL MATH 346 TOPICS

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

CHAPTER I THE RIESZ REPRESENTATION THEOREM

CHAPTER 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 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

Functional Analysis Winter 2018/2019

Functional Analysis Winter 2018/2019 Functional Analysis Winter 2018/2019 Peer Christian Kunstmann Karlsruher Institut für Technologie (KIT) Institut für Analysis Englerstr. 2, 76131 Karlsruhe e-mail: peer.kunstmann@kit.edu These lecture

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

Set, functions and Euclidean space. Seungjin Han

Set, functions and Euclidean space. Seungjin Han Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,

More information

Probability and Measure

Probability and Measure Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability

More information

Aliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide

Aliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide aliprantis.tex May 10, 2011 Aliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide Notes from [AB2]. 1 Odds and Ends 2 Topology 2.1 Topological spaces Example. (2.2) A semimetric = triangle

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

Functional Analysis HW #1

Functional Analysis HW #1 Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X

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

Functional Analysis. AMAT 617 University of Calgary Winter semester Lecturer: Gilad Gour Notes taken by Mark Girard.

Functional Analysis. AMAT 617 University of Calgary Winter semester Lecturer: Gilad Gour Notes taken by Mark Girard. Functional Analysis AMAT 617 University of Calgary Winter semester 2014 Lecturer: Gilad Gour Notes taken by Mark Girard April 12, 2014 Contents 1 Lecture 1 4 1.1 Normed Spaces.......................................

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

Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space

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

Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7

Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7 Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7 Prof. Wickerhauser Due Friday, February 5th, 2016 Please do Exercises 3, 6, 14, 16*, 17, 18, 21*, 23*, 24, 27*. Exercises marked

More information

Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces

Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang 7.8.3 Abstract In these exercises always denote an open set of with smooth boundary. As

More information

Spectral Theory, with an Introduction to Operator Means. William L. Green

Spectral Theory, with an Introduction to Operator Means. William L. Green Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps

More information

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Week 2 November 6 November Deadline to hand in the homeworks: your exercise class on week 9 November 13 November Exercises (1) Let X be the following space of piecewise

More information

LEBESGUE MEASURE AND L2 SPACE. Contents 1. Measure Spaces 1 2. Lebesgue Integration 2 3. L 2 Space 4 Acknowledgments 9 References 9

LEBESGUE MEASURE AND L2 SPACE. Contents 1. Measure Spaces 1 2. Lebesgue Integration 2 3. L 2 Space 4 Acknowledgments 9 References 9 LBSGU MASUR AND L2 SPAC. ANNI WANG Abstract. This paper begins with an introduction to measure spaces and the Lebesgue theory of measure and integration. Several important theorems regarding the Lebesgue

More information

5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.

5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing. 5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint

More information

FUNCTIONAL ANALYSIS: NOTES AND PROBLEMS

FUNCTIONAL ANALYSIS: NOTES AND PROBLEMS FUNCTIONAL ANALYSIS: NOTES AND PROBLEMS Abstract. These are the notes prepared for the course MTH 405 to be offered to graduate students at IIT Kanpur. Contents 1. Basic Inequalities 1 2. Normed Linear

More information

Exercise Solutions to Functional Analysis

Exercise Solutions to Functional Analysis 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

More information

Continuous Functions on Metric Spaces

Continuous Functions on Metric Spaces Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0

More information

INF-SUP CONDITION FOR OPERATOR EQUATIONS

INF-SUP CONDITION FOR OPERATOR EQUATIONS INF-SUP CONDITION FOR OPERATOR EQUATIONS LONG CHEN We study the well-posedness of the operator equation (1) T u = f. where T is a linear and bounded operator between two linear vector spaces. We give equivalent

More information

Problem Set 5. 2 n k. Then a nk (x) = 1+( 1)k

Problem Set 5. 2 n k. Then a nk (x) = 1+( 1)k Problem Set 5 1. (Folland 2.43) For x [, 1), let 1 a n (x)2 n (a n (x) = or 1) be the base-2 expansion of x. (If x is a dyadic rational, choose the expansion such that a n (x) = for large n.) Then the

More information

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x

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

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

1 Math 241A-B Homework Problem List for F2015 and W2016

1 Math 241A-B Homework Problem List for F2015 and W2016 1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let

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