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

Size: px
Start display at page:

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

Transcription

1 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) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space. Solution of 2) Let {x n } be a Cauchy sequence in C(X); that is for any ε > there exists N N such that () n, m N = x n (t) x m (t) x n x m < ε t X. It implies that the sequence {x n } converges uniformly on X. Since X is compact the limit function x(t) will be continuous. Letting m in () we get x n (t) x(t) < ε t X and n N. This means that {x n } converges uniformly, or in other words converges in the metric of C(X). 3) Let A be a subset of vector space V. Construct a smallest linear subspace (linear manifold) containing A. 4) Show that the set P of all polynomials on [, ] is a linear manifold in C[, ]. Is it closed? Give an example of a closed linear manifold in C[, ]. 5) Let X be a vector space. Let B = {x X : x < }. Prove that B is open and that B = {x X : x }. 6) Suppose that A is a linear operator between two normed vector spaces X and Y. Show that the following are equivalent: () A is continuous at one point, (2) A is continuous at all points, (3) A is uniformly continuous, (4) A is bounded. Solutions of 6) (4) = (3): If A is bounded, then Ax M x for all x X. Then Ax Ay M x y, so A is uniformly continuous. (3) = (2): This is true by the definitions of continuity and uniform continuity. (2) = (): This is true by definition. () = (4): Suppose that A is continuous at x. Then for all ε > there is some δ > such that x x = Ax Ax < ε. Therefore if y < δ then so we can assume x =. Ay = A(y + x ) Ax < ε,

2 2 If we let ε = we have that y < δ = Ay <. Thus, if we tae an arbitrary x (A is linear so A = ) and we consider y = We conclude that A is bounded. Ax = A( 2 x δ y) = 2 x Ay 2 δ δ x. δ 2 x x then 7) Let X be a normed vector space and Z its subspace (linear manifold). Prove that if y X has distance d from Z, then there exists a linear functional Λ : X R such that (The distance referred is d = inf z Z z y ) Λ, Λ(y) = d and Λ(z) =, z Z. Solutions of 7) If y Z, then d(y, Z) = and the zero functional wors, so we may assume that y X \ Z. Consider the subspace Y = {λy + Z : λ R} X. Since y / Z for every x Y, there is a unique α R and z Z such that x = αy + z. Define Λ(x) = Λ(αy + z) = ad. Observe that Λ(z) = for all z Z and that Λ(y) = d. The functional Λ is linear and Λ(x) = αd α y + z = x α by the definition of d. Thus Λ is linear bounded functional with Λ. Applying the Hahn - Banach theorem we extend Λ on all X with the same estimate for the norm. ) 8) Let (C[, ], be a space of continuous functions on [, ] with x = sup x(t). Show t [,] that the functional f(x) = is linear, continuous and bounded. Find its norm. x(t) dt x(t) dt Solutions of 8) Let us show that it is linear. Let α, β R, x, y C[, ]. f(αx + βy) = = α (αx + βy)(t) dt x(t) dt + β = αf(x) + βf(y). (αx + βy)(t) dt y(t) dt α x(t) dt β Now we show that the functional is bounded and thus is continuous. We have f(x) x(t) dt + x(t) dt 2 x y(t) dt for any x C[, ]. If x ε/2 then f ε ε >. We conclude that f 2. Let us show that f = 2. Consider the following sequence of functions if x [, n ), x n (t) = if x ( n, ], nx if x [ n. n ],

3 3 We have f(x n ) = 2 n and x n =. Thus that shows f = 2 9) Verify, that the function x = f(x n ) sup = 2 n N x n m max t [a,b] x() (t) = define a norm in the space C m [a, b] of the continuous functions that have up to the m derivatives x () and the derivatives are also continuous on [a, b]. What does it mean that a sequence converge in this space? ) Let (X, ) be a normed space. Let {x n } and {y n } be two Cauchy sequences in X. Show that the sequence λ n = x n y n converges. Solution of ) Let ε > and N N is such that Since and then if n, m N = x n x m < ε 2 and y n y m < ε 2. x n y n x n x m + x m y m + y m y n x m y m x m x n + x n y n + y n y m, λ n λ m = x n y n x m y m x n x m + y m y n < ε. Since (R, ) is complete the Cauchy sequence {λ n } has a limit Λ R. ) Let c be a space of real sequences x = {x n } n= converging to. Let l be a set of real sequences w = {w } = furnished with the norm w = w n. Prove that c is closed in l. sup n x () n sup n< Solution of ) Let x () c be a sequence converging to ω l. Tae ε > and N N such that ρ sup (x (), ω) = ω n < ε/2 for all > N. For each choose N N such that x () n ε/2 for all n > N. Thus, ω n ω n x () n + x () n ε for n > N and > N, that means that the sequence ω n converges to and ω c. 2) Show the inequality f + g p 2 p ( f p + g p ). 3) Let X = (X, A, µ) be a measure space with σ-algebra A and positive measure µ. Let f L p. Show that ( ) p f p = f p dµ is a norm. (Extend the Minowsii and Hölder inequality from a sum to an integral.) X 4) Let us denote by L (X) a set of measurable functions f on X = (X, A, µ) endowed with the norm Show that the space L (X) is complete. f = ess sup f(t) = inf { M : µ{t : f(t) > M} = } <.

4 4 Solution of 4) Let {f n } be a Cauchy sequence in L (X). Let also and A = {x X : f (x) > f } B m,n = {x X : f n (x) f m (x) > f n f m }. By E we denote the union of A and B m,n over all, m, n N. Measure of E is zero because of the zero measure of all A and B m,n. On the complement of E the sequence {f n } converges uniformly to a bounded function f. (Why?) Define f(x) = for x E. Then f(x) L (X) and we get f n f as n. 5) If f L (X) and g L (X) then show that X fg dµ f g. Solution of 5) Notice that f(x)g(x) g f(x) for almost all x X. Then X f(x)g(x) dµ g f(x) dµ = f g. 6) Let E be a normed space and f E. Define ernel of f by Ker(f) = {x E : f(x) = }. Show that dist(x, Ker(f)) = f(x) f, x E. Solution for 6) Remember that ρ(x, L) = inf x y. If y L, then y L Thus f(x) = f(x y) f x y. f(x) ρ(x, L) = inf x y y L f. Let us show the reciprocal inequality. We tae a sequence {x n } E such that x n = for all n N and n n + f < f(x n). Consider the element y = x f(x) f(x x n) n It is easy to see that y L. Moreover, x y f(x) x n n + f(x) f(x n ) n f. Taing firstly the limit as n, then taing the infimum over all y L, we get the result ρ(x, L) f(x) f. 7) Show that all norms on R n are equivalent. Solution of 7) Let be the Euclidean norm (with respect to a basis e,..., e n ) and let be any other norm on R n. We claim that x x is continuous with respect to the Euclidean norm. Write x = n = c e. Then by the triangle inequality, n x c e ( n max e ) max c M x, =

5 where M = n max e. Thus if x y ε M then x y ε and we conclude that the map is continuous. Now we consider the region K = {x : x = }. This is just the unit sphere in R n with respect to the Euclidean norm, which is compact. The map x x is continuous, so it attains a minimum m and a maximum M on K. Thus, for x K, m x M. Now for x \{}, K and then We see that the norm are equivalent. m x x M = m x x M x. 8) Consider the linear functionals f(x) = x( t) dt and f(x) = x(t2 ) dt over C[, ]. Are they bounded? 9) Let V be a normed space and {f n } V. Prove that f n converges if and only if {f n } converges uniformly on the unit ball B(, ) = {x V : x }. 2) Let V be a normed space and x V. Show that x = sup f(x). f V, f = 2) Given f L p (), p < and ε > there is a bounded measurable function b with b < M and f b p ε. 2) We define the cut-function n for n f(x), f n (x) = f(x) for n f(x) n, n for f(x) n. Then f n n, and the sequence {f n } converges to f almost everywhere. Thus f f n also almost everywhere. Since f n (x) f(x) we have f f n p 2 p f p. Moreover f L p and we get that f f n p p = f f n p as n by the Lebesgue Convergence Theorem. We conclude that given ε > there is b = f n such that b M(= n) (function is bounded) and f b p ε. 22) Let g be an integrable function on [, ] ( g L ([, ]) ). Show that there is bounded measurable function f (f L ([, ])) such that f and fg = g f. [,] Solution of 22) Let us suppose that we defined the linear functional F as in the case of p [, ) for the characteristic function, for the step function ψ, and for the bounded measurable function f. Let g L ([, ]) and ε >. Then there is a bounded measurable function f such that f g < ε. Since f is bounded then F (f) = fg by the previous considerations. Then F (g) fg = F (g) F (f) F f g F ε. thus F (g) = fg since ε is arbitrary. 23) Let c be a space of sequences x = (x,..., x n,...) converging to with the norm x = sup n x n. Show that the dual space is isomorphic to the l of all absolutely summable sequences f = (f,..., f n,...) with the norm f = f n. x x 5

6 6 Solution of 23) Any element f l defines the bounded linear functional F over c by F (x) = f n x n. Since F (x) x f n we have F f n = f. Now we prove the reciprocal inequality. Let us consider the unit elements in c : e = (,,,...,,,...), e 2 = (,,,...,,,...), , e n = (,,,...,,,...), Set Then x (N) c, x (N) and { N f n x (N) = f e n n for f n, for f n =. F (x (N) ) = N f n f n F (e n) = N f n. We conclude that lim N F (x (N) ) = f n = f. Thus F F (x(n) ) x (N) f n = f. Finally, we obtain F = f. We constructed the linear isometry f F of the space l into the space c. Let us show that it is the map onto; that is any functional F c has the representation F (x) = f n x n, where f = {f n } l. For any x = {x n } c we have x = x ne n. The series on the right hand side converges to x in c because of N x x n e n = sup x n as N. n>n The functional F c is continuous, thus F (x) = x n F (e n ). So we have to verify that F (e n) <. Setting x (N) = N F (e n ) F (e e n) n we deduce N N F (e n ) F (e n ) = F (e n ) F (e n) = F (x (N) ) F because of x (N) c, x (N). Since N was arbitrary we conclude that F (e n) <. 24) Given f L p, < p and ε >, there is a step function ψ such that f ψ p < ε. Solution of 24) By the problem we may choose a bounded function b such that f b p < ε/2 and b < M. Any bounded measurable function can be approximated by the step functions, so we can find a

7 7 step function ψ such that b ψ ε/4 except on a set E of the measure µ(e) < δ (we presice δ later). We set ψ(x) = on E. Then b ψ p p = [,] b ψ p = [,]\E b ψ p + b ψ p E if we choose δ = < εp 4 p + M p δ εp 2 p εp M p 4. Consequently b ψ p p < ε/2. Applying the Minowsii inequality we get f ψ p f b p + b ψ p < ε. 25) Study the analogue of Hahn-Banach theorem for complex vector space. Let X be a complex vector space, S a linear subspace, p a real-valued function on X such that p(x + y) p(x) + p(y), and p(αx) = α p(x). Let f be a complex linear functional on S such that f(s) p(s) for all s S. Then there is a linear functional F defined on X such that F (s) = f(s) for s S and F (x) p(x) for all x X. 26) Let l be a space of bounded real-valued sequences x = (x,..., x n,...) with the norm x = x n. Prove that l = l, but l l by using the Hahn - Banach theorem. For the last part, note sup,... that l can be identified with a subset of l by a(b) = a n b n for a = {a n } l, b = {b n } l. Show that not every element of l is of this form. Solution of 26) First note that given any b = {b n } l we obtain a bounded linear functional on l by a(b) = a n b n for a = {a n } l. The sum is well-defined because {b n } is bounded and a n is absolutely convergent. It is clearly linear in {a n } and a(b) b a l. So a b. We showed that any element from l defines a linear functional on l We need to show that any bounded linear functional F l is defined by unique elements from l. Suppose we have F l. Let b i = F (e i ), where e i has in the i-th place, and zeros everywhere else. F is a bounded linear functional, so we have that b i = F (e i ) F, so if we let b = {b i }, then b l. We now claim that F ({a n }) = a n b n. Indeed, consider the following sequence a m l { a m an if n m, n = if n > m. The functional F is linear, so F (a m ) = F ( m ) m a n e n = a n F (e n ) = m a n b n. The series a n is absolutely convergent and {b n } is bounded, so the righthand side above converges to an b n as m. F is continuous on l, and a m a n in l, so the lefthand side converges to F ({a n }), giving us that F comes from the element b l. The last step is to show that the constructed map is an isometry. We already now that b l b. The norm b = sup b n implies that given ε >, there is an N N such that b N > b ε. then b l b(e N ) = b N > b ε = b l b. Now we show that l l. First note that the first paragraph above also shows that we may identify l with a subspace of l, so it is enough to show that subspace in not all of l. Consider the closed subspace c of l consisting of convergent sequences. If {a n } c, define f({a n }) = lim n a n. This defines a bounded linear functional on c, which is closed. The Hahn - Banach theorem says that we can extend it to a bounded linear functional F on l. Observe, that f and that F c =. Suppose that F l considered as a subspace of l, then F ({a n }) = a n b n for some {b n } l. The functional f vanishes on c, so b n = f(e n ) = because e n c. This tells us that F should be the zero functional, but it is not so in the subspace of l corresponding to l.

8 8 27) Let D ([, ]) denote the topological dual of C ([, ]) with the corresponding topology. One calls elements of D ([, ]) distributions or generalised functions. Let ι : L ([, ]) D ([, ]) be the inclusion map defined by ι(φ)[ψ], φ L ([, ]), ψ C ([, ]). () Show that ι indeed maps into D ([, ]), is injective and continuous. One regards L ([, ]) as a subset of D ([, ]). (2) Let τ = ι C ([,]). Show that τ : C ([, ]) D ([, ]) is continuous. (3) Show that d dx : C ([, ]) C ([, ]) has a continuous extension to a map d dx : D ([, ]) D ([, ]), given by d u[ψ] = udψ dx dx, u D ([, ]), ψ C ([, ]). Thus every distribution, in particular every L function, can be differentiated arbitrary many times, in the sense of distributions. Solution of 27) () Suppose f L ([, ]), ψ C ([, ]), then ι(f)[ψ] = fψ f ψ C ψ. [,] So ι(f) D ([, ]). The functional f fψ is continuous that follows from the above inequality. Now if f C([, ]) and ι(f) =, then we claim that f =. Indeed, if f, then {f > } and {f < } are both open and at least one of them is non-empty. Without loss of generality, we may assume there is a nonempty open set on which {f > }. We may find ψ C ([, ]) such that the support supp ψ {f > }, ψ, and ψ(x) > for some x {f > }. (Construct such function!). Then = ι(f)[ψ] = fψ = fψ > a contradiction, so that f =. Thus ι C([,]) is injective. For f L ([, ]), ι(f) =, we consider the functions f (x) = 2 x+ x f(y) dy = 2 {f>} The functions f are continuous because if x n x, we have f (x n ) f (x) ( x f(y) dy + 2 x n f(x + y) dy. x+ x n + ) f(y) dy because f L ([, ]), with a similar statement holding for x n x. Lebesgue s theorem tells us that f f almost everywhere. Now, for ψ C ([, ]) we have that = 2 ι(f )[ψ] = 2 f(x)ψ(x y) dxdy = 2 f(x + y)ψ(x) dydx = (ι(f))[ψ( y)]dy = by Fubini s theorem (since fψ is integrable on the product space). Then ι(f ) =, so f =. The sequence f f almost everywhere, so f = almost everywhere and thus f =, so ι is injective. (2) We just need to show that the inclusion j : C ([, ]) L ([, ]) is continuous, but we have for ψ C ([, ]) ψ = ψ 2π ψ so it is continuous, so then τ = ι j is continuous. (3) In order to show that the map d dx : D ([, ]) D ([, ]) is continuous then it is enough to show that for each ψ, the map u ( d dψ dxu)[ψ] is continuous. But this functional is just u u( dx ), and

9 9 so it is continuous. We now wish to show that d dx indeed extends the map from C ([, ]). Indeed, if ψφ C ([, ]), we have ( d (τφ))[ψ] = (τφ)[dψ dx dx ] = φ dψ dφ dx = dx ψ = τ(dφ dx )[ψ] by integration by part. 28) Suppose V is an inner product space (positive definite scalar product) either over R or over C. () Prove that the inner product can be recovered from the norm by the polarisation identity: (x, y) = 4 ( x + y 2 x y 2 ) if the field if R, and (x, y) = 4 ( x + y 2 x y 2 ) i 4 ( x + iy 2 x iy 2 ) if the field is C. (2) Prove that a normed vector space (V, ) is a n inner product space (with the induced norm begin ) if and only if the norm satisfies the parallelogram law: x + y 2 + x y 2 = 2 x y 2 x, y V. (3) Conclude that the standard norms on l p and L p (R), p 2, do not arise from inner products. Solution of 28) () For the R case, we just expand the right hand side and use the symmetry of the inner product: 4 ( x + y 2 x y 2 ( ) ) = 4 (x, x) + (y, y) + (x, y) + (y, x) (x, x) (y, y) + (x, y) + (y, x) = 2( (x, y) + (y, x) ) = (x, y). For the other case, we again expand the right side, using the relation we just proved: 4 ( x + y 2 x y 2 ) i 4 ( x + iy 2 x iy 2 ) ) ( ) = 2( (x, y) + (y, x) i 2 (x, iy) + (iy, x)) = (x, y) i2 2 (x, y) + i2 2 (y, x) = (x, y). (2) If the norm comes from the inner product, then we have x + y 2 + x y 2 = 2(x, x) + 2(y, y) + (x, y) + (y, x) (x, y) (y, x) = 2( x 2 + y 2 ). Now we suppose that the norm satisfies the parallelogram law. Assume the field is C (the argument is similar to R),and define the inner product via the polarisation identity from part (). If x, y, z V, we

10 have that (writing x + y = x + y+z 2 + y z 2 and similar for x + z): (x, y) + (x, z) = ( x + y 2 + x + z 2 x y 2 x z 2) 4 i ( x + iy 2 + x + iz 2 x iy 2 x iz 2) 4 = ( x + y + z y z 2 2 x y + z 2 2 y z 2 2) i ( x + i y + z i y z 2 2 x i y + z 2 2 i y z 2 2) = ( x + y + z y + z 2 2 x y + z 2 2 y + z 2 2) i ( x + i y + z i y + z 2 2 x i y + z 2 2 i y + z 2 2) = ( x + y + z 2 + x 2 x (y + z) 2 x 2) 4 i 4( x + i(y + z) 2 + x 2 x i(y + z) 2 x 2) = (x, y + z). This holds for all x, y, z V, so, in particular, (x, ny) = n(x, y), and so if r = p q Moreover, by the polarisation identity, Q, then (x, ry) = r(x, y). (x, iy) = 4 ( x + iy 2 x iy 2) i 4 ( x y 2 x + y 2) = i(x, y). Combining these two results gives that if α Q + iq, then (x, αy) = α(x, y). If α C, then there are α n Q + iq, α n α, so (x, α n y) (x, αy) because all the norms above must converge. This gives us that α(x, y) = lim n α n(x, y) = lim n (x, α ny) = (x, αy), so (x, y) is linear. Observe that because i(x iy) = x iy, we have that (y, x) = (x, y), and that (x, x) = 4 (2 x 2 ) = i 4 ( + i 2 x 2 i 2 x 2 ) = x 2, so this shows that the norm is induced by (, ) and that it is also positive definite, so it is an inner product. (3) Let f = χ [,/2], g = χ [/2,] L p (R), so then f + g 2 = f g 2 =, and ( f 2 = g 2 = 2 ) 2/p, so the parallelogram law does not hold unless p = 2. (For p =, the same examples wor, but the norms are slightly different.) ( ) 2/p, Let a = (/2, /2,,,...), b = (/2 /2,,,...) l p, then a 2 = b 2 = ( 2 )p + ( 2 )p while a + b 2 = a b 2 =. So the parallelogram law does not hold unless p = 2. 29) Let T t be the operator T t (φ)(x) = φ(x + t) on L 2 (R). What is the norm of T t? What does it converge to as t and in what topology?

11 Solution of 29) First we claim that for each phi C (R) L 2 (R), T t φ wealy as t. Indeed, let ψ L 2(R) = L 2 (R). Fix ε >. Since ψ L 2 (R) there is some K such that ( /2 ψ(x) dx) 2 < ε. x >K We let M be such that supp φ [ M, M]. Then if t > M +K we have that if φ(x), then x t < K, and so we have that (T t φ, ψ) = φ(x + t)ψ(x) dx = φ(x)ψ(x t) dx M ( /2 φ 2 = φ(x)ψ(x t) dx ψ(x t) dx) C φ ε, M so (T t φ, ψ) as t. Now for f L 2 (R), we choose φ C (R) with compact support such that φ f 2 ε, so then we have (T t f, ψ) (T t (f φ), ψ) + (T t φ, ψ) 2ε for large enough t. Thus T t in the wea operator topology, assuming that it is bounded, which we show now. Foe any φ L 2 (R), we have that φ(x + t) 2 dx = φ(x) 2 dx = T t φ = φ 2 = T t =. R R This also shows that T t does not converge to anything in the strong operator topology (and hence not in norm, either) because it must converge to, but T t φ = φ. 3) Let f L ([, ]). Let g be a bounded measurable function on [, ]. Then gf is in L ([, ]). Solution of 3) Let ϕ n be a sequence of step functions converging both L and almost everywhere to f. Let ψ n be a sequence of a step functions converging pointwise to g. Then ϕ n ψ n is a sequence of step functions and as n this sequence converges almost everywhere to fg. Changing f and g on a set of measure (e.g. giving them the value ), we can assume that this convergence is pointwise everywhere. If C is a bound for g, i.e. g(x) C for all x, then fg C f. We conclude that fg L ([, ]) by the Dominated Convergence Theorem.

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

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

Math 205b Homework 2 Solutions

Math 205b Homework 2 Solutions Math 5b Homework Solutions January 5, 5 Problem (R-S, II.) () For the R case, we just expand the right hand side and use the symmetry of the inner product: ( x y x y ) = = ((x, x) (y, y) (x, y) (y, x)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Chapter 1. Introduction

Chapter 1. Introduction Chapter 1 Introduction Functional analysis can be seen as a natural extension of the real analysis to more general spaces. As an example we can think at the Heine - Borel theorem (closed and bounded is

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

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

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

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

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

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

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

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

Problem 1: Compactness (12 points, 2 points each)

Problem 1: Compactness (12 points, 2 points each) Final exam Selected Solutions APPM 5440 Fall 2014 Applied Analysis Date: Tuesday, Dec. 15 2014, 10:30 AM to 1 PM You may assume all vector spaces are over the real field unless otherwise specified. Your

More information

ANALYSIS QUALIFYING EXAM FALL 2016: SOLUTIONS. = lim. F n

ANALYSIS QUALIFYING EXAM FALL 2016: SOLUTIONS. = lim. F n ANALYSIS QUALIFYING EXAM FALL 206: SOLUTIONS Problem. Let m be Lebesgue measure on R. For a subset E R and r (0, ), define E r = { x R: dist(x, E) < r}. Let E R be compact. Prove that m(e) = lim m(e /n).

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

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

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

Riesz Representation Theorems

Riesz Representation Theorems Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of

More information

Introduction and Preliminaries

Introduction and Preliminaries Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis

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

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

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

Notes on Distributions

Notes on Distributions Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the

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

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

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

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

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

Dual Spaces. René van Hassel

Dual Spaces. René van Hassel Dual Spaces René van Hassel October 1, 2006 2 1 Spaces A little scheme of the relation between spaces in the Functional Analysis. FA spaces Vector space Topological Space Topological Metric Space Vector

More information

Immerse Metric Space Homework

Immerse Metric Space Homework Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps

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

Analysis Qualifying Exam

Analysis Qualifying Exam Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,

More information

a. Define a function called an inner product on pairs of points x = (x 1, x 2,..., x n ) and y = (y 1, y 2,..., y n ) in R n by

a. Define a function called an inner product on pairs of points x = (x 1, x 2,..., x n ) and y = (y 1, y 2,..., y n ) in R n by Real Analysis Homework 1 Solutions 1. Show that R n with the usual euclidean distance is a metric space. Items a-c will guide you through the proof. a. Define a function called an inner product on pairs

More information

TD 1: Hilbert Spaces and Applications

TD 1: Hilbert Spaces and Applications Université Paris-Dauphine Functional Analysis and PDEs Master MMD-MA 2017/2018 Generalities TD 1: Hilbert Spaces and Applications Exercise 1 (Generalized Parallelogram law). Let (H,, ) be a Hilbert space.

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

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

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

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

Honours Analysis III

Honours Analysis III Honours Analysis III Math 354 Prof. Dmitry Jacobson Notes Taken By: R. Gibson Fall 2010 1 Contents 1 Overview 3 1.1 p-adic Distance............................................ 4 2 Introduction 5 2.1 Normed

More information

Lebesgue Integration on R n

Lebesgue Integration on R n Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration

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

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

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

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2. ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n

More 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

Final Exam Practice Problems Math 428, Spring 2017

Final Exam Practice Problems Math 428, Spring 2017 Final xam Practice Problems Math 428, Spring 2017 Name: Directions: Throughout, (X,M,µ) is a measure space, unless stated otherwise. Since this is not to be turned in, I highly recommend that you work

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

Chapter 2. Metric Spaces. 2.1 Metric Spaces

Chapter 2. Metric Spaces. 2.1 Metric Spaces Chapter 2 Metric Spaces ddddddddddddddddddddddddd ddddddd dd ddd A metric space is a mathematical object in which the distance between two points is meaningful. Metric spaces constitute an important class

More information

2. Function spaces and approximation

2. Function spaces and approximation 2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C

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

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

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

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

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

Sobolev spaces. May 18

Sobolev spaces. May 18 Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references

More information

MA3051: Mathematical Analysis II

MA3051: Mathematical Analysis II MA3051: Mathematical Analysis II Course Notes Stephen Wills 2014/15 Contents 0 Assumed Knowledge 2 Sets and maps................................ 2 Sequences and series............................. 2 Metric

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

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Section 2.6 (cont.) Properties of Real Functions Here we first study properties of functions from R to R, making use of the additional structure

More information

CHAPTER II HILBERT SPACES

CHAPTER II HILBERT SPACES CHAPTER II HILBERT SPACES 2.1 Geometry of Hilbert Spaces Definition 2.1.1. Let X be a complex linear space. An inner product on X is a function, : X X C which satisfies the following axioms : 1. y, x =

More information

Chapter 5. Measurable Functions

Chapter 5. Measurable Functions Chapter 5. Measurable Functions 1. Measurable Functions Let X be a nonempty set, and let S be a σ-algebra of subsets of X. Then (X, S) is a measurable space. A subset E of X is said to be measurable if

More 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

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

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered

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

(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

Problem Set 5: Solutions Math 201A: Fall 2016

Problem Set 5: Solutions Math 201A: Fall 2016 Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict

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

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n Solve the following 6 problems. 1. Prove that if series n=1 a nx n converges for all x such that x < 1, then the series n=1 a n xn 1 x converges as well if x < 1. n For x < 1, x n 0 as n, so there exists

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

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

Definition 1.1. A partially ordered set (M, ) is a set M equipped with a binary relation, called a partial ordering, satisfying

Definition 1.1. A partially ordered set (M, ) is a set M equipped with a binary relation, called a partial ordering, satisfying 1 Zorn s Lemma Definition 1.1. A partially ordered set (M, ) is a set M equipped with a binary relation, called a partial ordering, satisfying (a) x x for every x M. (b) If x y and y x, then x = y. (c)

More information

TOPOLOGICAL VECTOR SPACES

TOPOLOGICAL VECTOR SPACES TOPOLOGICAL VECTOR SPACES PRADIPTA BANDYOPADHYAY 1. Topological Vector Spaces Let X be a linear space over R or C. We denote the scalar field by K. Definition 1.1. A topological vector space (tvs for short)

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

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

Bonus Homework. Math 766 Spring ) For E 1,E 2 R n, define E 1 + E 2 = {x + y : x E 1,y E 2 }.

Bonus Homework. Math 766 Spring ) For E 1,E 2 R n, define E 1 + E 2 = {x + y : x E 1,y E 2 }. Bonus Homework Math 766 Spring ) For E,E R n, define E + E = {x + y : x E,y E }. (a) Prove that if E and E are compact, then E + E is compact. Proof: Since E + E R n, it is sufficient to prove that E +

More information

NATIONAL BOARD FOR HIGHER MATHEMATICS. Research Scholarships Screening Test. Saturday, January 20, Time Allowed: 150 Minutes Maximum Marks: 40

NATIONAL BOARD FOR HIGHER MATHEMATICS. Research Scholarships Screening Test. Saturday, January 20, Time Allowed: 150 Minutes Maximum Marks: 40 NATIONAL BOARD FOR HIGHER MATHEMATICS Research Scholarships Screening Test Saturday, January 2, 218 Time Allowed: 15 Minutes Maximum Marks: 4 Please read, carefully, the instructions that follow. INSTRUCTIONS

More information

1.3.1 Definition and Basic Properties of Convolution

1.3.1 Definition and Basic Properties of Convolution 1.3 Convolution 15 1.3 Convolution Since L 1 (R) is a Banach space, we know that it has many useful properties. In particular the operations of addition and scalar multiplication are continuous. However,

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

Lecture Course. Functional Analysis

Lecture Course. Functional Analysis MATHEMATISCHES INSTITUT PROF. DR. PETER MÜLLER Summer Term 2013 Lecture Course Functional Analysis Typesetting by Kilian Lieret and Marcel Schaub If you find mistakes, I would appreciate getting a short

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

Laplace s Equation. Chapter Mean Value Formulas

Laplace s Equation. Chapter Mean Value Formulas Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic

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

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg Metric Spaces Exercises Fall 2017 Lecturer: Viveka Erlandsson Written by M.van den Berg School of Mathematics University of Bristol BS8 1TW Bristol, UK 1 Exercises. 1. Let X be a non-empty set, and suppose

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