Real Analysis Problems

Size: px
Start display at page:

Download "Real Analysis Problems"

Transcription

1 Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1

2 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. 2. f is discontinuous on the rationals. 3. Calculate f(x) dx. {n:r n<x} 1 2 n. Hint: for (3) set A(x) = {n : r n < x} so f(x) = n=1 χ A(x)(n) 1 ; use Fubini. 2n Problem 1.2 Let f n (x) = sin x + 4 n 2 π 2 on [, + ). Prove that 1. f n is equicontinuous on [, + ). 2. f n is uniformly bounded. 3. f n pointwise on [, + ). 4. There is no subsequence of f n that converges to uniformly. 5. Compare with Arzelà-Ascoli. Problem 1.3 Prove that the class of Lipschitz functions f in [a, b] with Lipschitz constant K and f(a) = is a compact set in C([a, b]). Problem 1.4 Let B be the unit ball in C([a, b]). Define for f C([a, b]) T f(x) = b a ( ) x 2 + e x2 +y f(y) dy. Prove that T (B) is relatively compact in C[a, b]. 2

3 1 CONTINUITY Problem 1.5 Let g n : R R be the continuous function that is zero outside the interval [, 2/n], g n (1/n) = 1, and g n is linear on (, 1/n) and (1/n, 2/n). Prove that g n pointwise in R but the convergence is not uniform on any interval containing. Let r k be the rational numbers and define f n (t) = 2 k g n (t r k ). k=1 Prove that 1. f n is continuous on R. 2. f n pointwise in R. 3. f n does not converge uniformly on any interval of R. Problem 1.6 Let f C(R) and f n (x) = 1 n ( x + k ). Show that f n con- n verges uniformly on every finite interval. n 1 f k= Problem 1.7 Consider the following statements: (a) f is a continuous function a.e. on [, 1] (b) there exists g continuous on [, 1] such that g = f a.e. Show that (a) does not imply (b), and (b) does not imply (a). Problem 1.8 Show that if f and g are absolutely continuous functions in [a, b] and f (x) = g (x) a.e., then f(x) g(x) = constant, for each x [a, b]. Problem 1.9 If f is absolutely continuous in [, 1], then f 2 is absolutely continuous in [, 1]. Problem 1.1 Let < α 1. A function f C α ([, 1]), f is Hölder continuous of order α, if there exists K such that f(x) f(y) K x y α for all x, y [, 1]. Prove that 1. C α [, 1] C β ([, 1]) for < β α If f is Hölder continuous of order one, that is, f is Lipschitz, then f is absolutely continuous on [, 1]. 3

4 1 CONTINUITY 3. Let a >. Define g(x) = x a sin(x a ) for x and f() =. 4. Prove that g / BV [, 1]. Prove that g C α ([, 1]) with α = a/(1 + a), and g / C β ([, 1]) for β > a/(1 + a). Problem 1.11 Consider the space BV [a, b] of bounded variation functions in [a, b] with the norm k f BV = sup f(α i ) f(α i 1 ) + f(a), Γ i=1 where the supremum is taken over all partitions Γ = {α,..., α k } of [a, b]. Prove that 1. (BV [a, b], ) is a Banach space; 2. the set of absolutely continuous functions in [a, b] is a closed subspace of BV [a, b]. Problem 1.12 Show that the series ( 1) k k + x converges for each x R and the sum is a Lipschitz function. k=1 Problem 1.13 Let f : [a, b] R be continuous and {x k } [a, b] a Cauchy sequence. Prove that f(x k ) is a Cauchy sequence. Problem 1.14 Let f : R R be such that f(x) f(y) M x y α for some M >, α > 1 and for all x, y R. Prove that f is constant. Problem 1.15 Let f(x) = x 2 sin(1/x 2 ) for x [ 1, 1], x, and f() =. Show that f is differentiable on [ 1, 1] but f is unbounded on [ 1, 1]. Problem 1.16 Suppose f n f uniformly in Ω open, and {x n } Ω with x n x Ω. Prove that f n (x n ) f(x). Problem 1.17 If x n is a sequence such that x n+1 x n 1/2 n, then {x n } is a Cauchy sequence. 4

5 1 CONTINUITY Problem 1.18 Let a < b, c < d. Define ax sin bx x cos2 1, for x > x f(x) =, for x = cx sin dx x cos2 1, for x >. x Calculate D f, D + f, D f, D + f at x =. Problem 1.19 Let f be a continuous function in [-1,2]. Given x 1, and n 1 define the sequence of functions f n (x) = n 2 x+ 1 n x 1 n f(t) dt. Show that f n is continuous in [,1] and f n converges uniformly to f in [,1]. Problem 1.2 Let f n : R R be a uniformly bounded sequence of functions. Show that for each countable subset S R there exists a subsequence of f n which converges in S. Hint: select the subsequence by using a diagonal process Problem 1.21 Let f be a continuous function in [, 1] such that f is absolutely continuous in [, ɛ] for every ɛ, < ɛ < 1. Show that f is absolutely continuous in [, 1]. Problem 1.22 Let f n be absolutely continuous functions in [a, b], f n (a) =. Suppose f n is a Cauchy sequence in L 1 ([a, b]). Show that there exists f absolutely continuous in [a, b] such that f n f uniformly in [a, b]. Problem 1.23 Let f n (x) = cos(n x) on R. Prove that there is no subsequence f nk converging uniformly in R. Problem 1.24 Let f : R n R be a bounded function. If E R n, then the oscillation of f over E is defined by osc E f = sup f inf f, E E and for x R n define ω f (x) = lim δ osc Bδ (x)f. Prove 1. If E F, then osc E f osc F f. 2. Prove that ω f is well defined and ω f (x) = inf δ> osc Bδ (x)f. 3. For each α > the set {x : ω f (x) < α} is open. 4. The set of points of discontinuity of f is an F σ. 5

6 2 SEMICONTINUOUS FUNCTIONS 2 Semicontinuous functions Definition 2.1 Let Ω R n be open. The function f : Ω R is lower (upper) semicontinuous if f(z) lim inf x z f(x) = lim δ inf x z <δ f(x) (f(z) lim sup x z f(x) = lim δ sup x z <δ f(x)). Problem 2.2 Prove that the following statements are equivalent: 1. f is lower semicontinuous; 2. f 1 (c, + ) is open for each c R; 3. f 1 (, c] is closed for each c R; 4. If x k z, then f(z) sup k f(x k ); 5. For each z Ω and for each ɛ > there exists a neighborhood V of z such that f(x) f(z) ɛ for each x V. Problem 2.3 Let g : Ω R and define Prove that f is lower semicontinuous. f(x) = lim inf z x g(z). Problem 2.4 Prove that 1. if E R n, then χ E is lower semicontinuous if and only if E is open. 2. the function if x is irrational f(x) = 1 if x = m/n with n N, m Z, and m/n irreducible n is upper semicontinuous. Problem 2.5 Let {f α } α J be a family of lower semicontinuous function in Ω. Prove that f(x) = sup α J f α (x) is lower semicontinuous. Problem 2.6 Prove that the function defined in Problem 1.1 is lower semicontinuous in R. 6

7 3 MEASURE 3 Measure Problem 3.1 Let E j be a sequence of sets in R n and E = lim sup j E j = k=1 j=k E j. Show that lim sup j χ Ej (x) = χ E (x). Problem 3.2 Consider the set of rational numbers Q = {q j } j=1. Prove that R \ (q j 1j, q 2 j + 1j ). 2 j=1 Problem 3.3 Construct a countable family of closed intervals contained in [, 1] such that the union covers [, 1] but there is no finite subcovering. Problem 3.4 Let E be a set in R n. Show that there exists a sequence G i of open sets, G 1 G 2 E such that G i = E e. i=1 Problem 3.5 If E [, 1], E = and f(x) = x 3, then f(e) =. Problem 3.6 True or false, justify your answer. 1. The class of Lebesgue measurable sets has cardinality 2 c. 2. Every perfect set has positive measure. 3. Every bounded function is measurable. Problem 3.7 Let µ be an exterior measure and let A n be a sequence of sets such that µ (A n ) < +. n=1 Show that µ (lim A n ) =. ( lim A n = n=1 j=n A j) Problem 3.8 Let f : [, 1] [, 1] be the Cantor function, and let µ be the Lebesgue-Stieltjes measure generated by f, i.e. µ((a, b]) = f(b) f(a), for (a, b] [, 1]. Show that µ is singular with respect to Lebesgue measure. 7

8 3 MEASURE Problem 3.9 Let Ω be an uncountable set. The class of sets defined by F = {A Ω : A is countable or A c is countable} is a σ-algebra. Define the measures: µ(a) = + if A is infinite, µ(a) = #(A) if A is finite; ν(a) = if A is countable and ν(a) = 1 if A is uncountable. Show that ν µ but an integral representation of the form ν(a) = f dµ is not valid. Why A this does not contradict the Radon-Nikodym theorem? Problem 3.1 Show that given δ, < δ < 1, there exists a set E δ [, 1] which is perfect, nowhere dense and E δ = 1 δ. Hint: the construction is similar to the construction of the Cantor set, except that at the k th stage each interval removed has length δ3 k. Problem 3.11 Let {I 1,, I N } be a finite family of intervals in R such that Q [, 1] N j=1i j. Prove that N j=1 I j 1. Is this true if the family of intervals is infinite? Problem 3.12 Let {E j } j=1 be a sequence of measurable sets in R n such that E j E i = for j i. Prove that E j = j=1 E j. j=1 Problem 3.13 Let A, B R n such that A is measurable. If A B = then A B e = A + B e. Hint: given ɛ > there exists F closed such that F A and A \ F < ɛ. Problem 3.14 Let {E j } j=1 be a sequence of measurable sets in R n. Prove that 1. lim inf j E j and lim sup j E j are measurable. 2. lim inf j E j lim inf j E j. 3. If j k E j < for some k then lim sup j E j lim sup j E j. Problem 3.15 Let A R measurable with A <. Show that the function f(x) = (, x) A is nondecreasing, bounded and uniformly continuous in R. 8

9 3 MEASURE Problem 3.16 Show that Q is not a set of type G δ. Construct a set G of type G δ such that Q G and G =. Problem 3.17 Let E be a measurable set in R with positive measure. We say that x R is a point of positive measure with respect to E if E I > for each open interval I containing x. Let E + = {x R : x is of positive measure with respect to E}. Prove that 1. E + is perfect. 2. E \ E + =. Problem 3.18 Let E be the set of numbers in [, 1] whose binary expansion has in all the even places. Show that E =. Problem 3.19 Let f k be measurable and f k f a.e. in R n. Prove that there exists a sequence of measurable sets {E j } j=1 such that R n \ j=1e j = and f k f uniformly on each E j. Problem 3.2 Let E R n be a measurable set with positive measure, and let D R n be a countable dense set. Prove that R n \ qk D(q k + E) =. Problem 3.21 An ellipsoid in R n with center at x is a set of the form E = {x R n : A(x x ), x x 1}, where A is an n n positive definite symmetric matrix and, denotes the Euclidean inner product. Prove that ω n E = (det A), 1/2 where ω n is the volume of the unit ball. Hint: formula of change of variables. Problem 3.22 Let f : R R be a continuously differentiable function. Define Φ : R 2 R 2 by Φ(x, y) = (x + f(x + y), y f(x + y)). Prove that Φ(E) = E for each measurable set E R 2. Hint: formula of change of variables. 9

10 3 MEASURE Problem 3.23 Let E [, 1] such that there exists δ > satisfying E [a, b] δ (b a) for all [a, b] [, 1]. Prove that E = 1. Problem 3.24 We say that the sets A, B R n are congruent if A = z + B for some z R n. Let E R n be measurable such that < E < +. Suppose that there exists a sequence of disjoint sets {E i } i=1 such that for all i, j, E i and E j are congruent, and E = j=1e j. Prove that all the E j s are non measurable. 1

11 4 MEASURABLE FUNCTIONS 4 Measurable functions Let E be a measurable set and f n : E R a sequence of measurable functions. (A) f n f pointwise in E if f n (x) f(x) for all x E. (B) f n f pointwise almost everywhere in E if f n (x) f(x) for almost all x E. (C) f n f almost uniformly in E if for each ɛ > there exists a measurable set F E such that E \ F ɛ and f n f uniformly in F. (D) f n f in measure in E if for each ɛ >, lim {x E : f n (x) f(x) ɛ} =. (E) f n is a Cauchy sequence in measure in E if for each ɛ, δ >, there exists N such that {x E : f n (x) f m (x) ɛ} δ for all n, m N. f : E R is a measurable function if f 1 ((, a)) is a Lebesgue measurable set for all a R. f : E R is a Borel measurable function if f 1 ((, a)) is a Borel set for all a R. Problem 4.1 If f n f almost uniformly in E, then f n f in measure in E. Problem 4.2 If f n f in measure and f n g in measure, then f = g a.e. Problem 4.3 If f n is a Cauchy sequence in measure, then there exists a subsequence f nk that is a Cauchy sequence almost uniformly. Problem 4.4 If f n is a Cauchy sequence in measure, then there exists f measurable such that f n f in measure. Problem 4.5 Give an example of a sequence f n that converges in measure but does not converge a.e. Problem 4.6 If E < and f n f a.e. in E, then f n f in measure. Show that this is false if E =. Problem 4.7 If f n f in measure, then there exists a subsequence f nk f nk f a.e. such that 11

12 4 MEASURABLE FUNCTIONS Problem 4.8 If f n f in measure, then f n is a Cauchy sequence in measure. Problem 4.9 Let f, f k : E R be measurable functions. Prove that 1. If f k f in measure, then any subsequence f kj contains a subsequence f kjm f a.e. as m,. 2. Suppose E <. If any subsequence f kj contains a subsequence f kjm f a.e. as m, then f k f in measure. Hint: for (2) suppose by contradiction that f k f in measure. Then there exists ɛ > such that {x E : f k (x) f(x) ɛ }. Hence there is an increasing sequence k j such that {x E : f kj (x) f(x) ɛ } r >, for some r > and for all j. By hypothesis there is a subsequence f kjm f a.e. as m. Now use Egorov to get a contradiction. Problem 4.1 Let f : E R be a measurable function. Prove that if B R is a Borel set then f 1 (B) is measurable. Hint: consider A = {A R : f 1 (A) is measurable} and show that A is a σ-algebra that contains the open sets of R. Problem 4.11 If f : E R is a measurable function and g : R R is Borel measurable, then g f is measurable. 12

13 5 INTEGRATION 5 Integration Problem 5.1 Let f : [a, b] R be integrable and nonnegative. Prove that ( b 2 ( b 2 ( b 2 f(x) cos x dx) + f(x) sin x dx) f(x) dx). a a Hint: write f(x) = f(x) f(x) cos x and use Schwartz on the left hand side. Problem 5.2 Show that lim Hint: see Makarov, prob. 6.21, p.17. x x 2 n dx = 2/3. [,1] x n x n Problem 5.3 Let f 1 : [, M] R be a bounded function. Define f n+1 (x) = x f n (t) dt, n = 1, 2,. Prove that the series n=2 f n(x) is uniformly convergent on [, M] and the sum is a continuous function on [, M]. Problem 5.4 Let f : R n R be integrable. Prove that 1. {x R n : f(x) = } =. 2. For each ɛ >, {x R n : f(x) ɛ} <. 3. For each ɛ > there exists a compact set K such that f(x) dx < ɛ. R n \K 4. For each ɛ > there exist M R and A R n measurable such that f(x) M in A and f(x) dx < ɛ. R n \A 5. For each ɛ > there exist δ > such that if A R n is measurable and such that A < δ then f(x) dx < ɛ. A Problem 5.5 Let f : E R be measurable with E <. Then f is integrable if and only if m {x Rn : f(x) m} <. Hint: use Abel s summation by parts formula, a where A k = k j=1 a j. N a k b k = A N b N + k=1 N 1 k=1 A k (b k b k 1 ), 13

14 5 INTEGRATION Problem 5.6 Let f, f k : R n R be integrable functions such that f k f a.e. Then R n f k (x) f(x) dx if and only if R n f k (x) dx R n f(x) dx. Problem 5.7 Let P [, 1] be a perfect nowhere dense set, i.e., ( P ) =, with positive measure. Show that χ P (x) is not Riemann integrable on [, 1] but it is Lebesgue integrable on [, 1]. Problem 5.8 Let f : R n R be integrable and ɛ >. Prove that 1. There exists g : R n R simple and integrable such that R n f(x) g(x) dx < ɛ. 2. There exists h : R n R continuous with compact support such that R n f(x) h(x) dx < ɛ. Problem 5.9 (Fatou in measure) If f k and f k f in measure in E then f(x) dx lim inf f k (x) dx. k E Hint: let A k = f E k(x) dx and A = lim inf k A k ; there exists a subsequence A km A as m. Since f km f in measure, there exists a subsequence f kmj f a.e. as j. Now apply Fatou. E Problem 5.1 (Monotone convergence in measure) If f k, f k f k+1, and f k f in measure in E then f(x) dx = lim f k (x) dx. k E E Problem 5.11 (Lebesgue in measure) If f k g a.e. with g integrable in E, and f k f in measure in E then f(x) dx = lim f k (x) dx. k E E Problem 5.12 Let f, f k : R n R be measurable functions such that f k f a.e. and there exists g integrable such that f k (x) g(x) a.e. for all k. Prove that f k f almost uniformly. 14

15 5 INTEGRATION Problem 5.13 Let E < and let X denote the class of measurable functions in E. If f, g X define f(x) g(x) d(f, g) = 1 + f(x) g(x) dx. E Show that (X, d) is a metric space and f k f in (X, d) if and only if f k f in measure in E. Problem 5.14 Let C [, 1] be the Cantor set and f : [, 1] R given by {, if x C f(x) = p, if x I [, 1] P, I interval such that l(i) = 3 p Show that f is measurable and f(x) dx = 3. Problem 5.15 Prove that 1. x sin x 1 + (nx) dx = o( 1 ), if a > 1. a n dx 2. lim (1 + x n )n x = 1 1/n Problem 5.16 Calculate lim 1. f n (x) = 2. f n (x) = log(x + n) e x cos x n nx log x 1 + n 2 x 2 3. f n (x) = n x 1 + n 2 x 2 4. f n (x) = nx 1 + n 2 x 2 5. f n (x) = n3/2 x 1 + n 2 x 2 f n (x)dx where: 6. f n (x) = np x r log x, r >, p < min{2, 1 + r} 1 + n 2 x2 15

16 5 INTEGRATION 7. f n (x) = 8. f n (x) = 1 + nx (1 + x) n ( 1 + x ) n x sin( ) in the interval (, ). n n Problem 5.17 Prove the following identities. 1. lim n 1/β x 1/β (1 x) n dx x = β e uβ du if β >. n ( 2. lim 1 x n x n) (α 1) dx = 3. lim α x 1/3 1 x log e x x (α 1) dx if α >. n e nx 2 dx = ( lim n e nx 2 ) dx if α >. α ( ) 1 dx = 9 x sin t e t x dt = x n 1 n n=1 log x sin x dx = n=1 n=1 1 (3n + 4) 2. for 1 < x < 1. ( 1) n (2n)(2n)!. Problem 5.18 If f is Riemann integrable on [a, b] and f(x) = for x [a, b] Q, then b f(x) dx =. a Problem 5.19 Show that f(x) = { 1 if x = 1/n otherwise is Riemann integrable on [, 1]. Find the value of f(x) dx. Problem 5.2 Let f : [, 1] R be Riemann integrable. Prove that 1 lim n n f(k/n) = k=1 f(x) dx. 16

17 5 INTEGRATION Problem 5.21 Let f : [, 1] R be continuous, and f(x) for each x (, 1). Suppose that f(x) 2 = 2 for each x [, 1]. Prove that f(x) x. x f(t) dt Problem 5.22 Let f be a measurable function on [, 1] and let A = {x [, 1] : f(x) Z}. Prove that A is measurable and as n. [cos (π f(x))] 2n dx A, Problem 5.23 Find all the values of p and q such that the integral 1 dxdy x 2p + y2q converges. x 2 +y 2 1 Problem 5.24 Let f 1,, f k be continuous real valued functions on the interval [a, b]. Show that the set {f 1,, f k } is linearly dependent on [a, b] if and only if the k k matrix with entries has determinant zero. f i, f j = b a f i (x) f j (x) dx Problem 5.25 Let f : [, + ) R be continuously differentiable with compact support in [, + ); and < a < b <. Prove that f(b x) f(a x) x dx = f() ln(b/a). Problem 5.26 Find all the values of p such that the integral converges. π/2 x yp e sin x dx dy 17

18 5 INTEGRATION Problem 5.27 Recall that the convolution of two integrable functions f and g is defined by f g(x) = f(x y) g(y) dy. R n Let f such that R n f(x) dx = A < 1. Define the sequence f k = f f where the convolution is performed k times. Prove that all the f k s are integrable and f k in L 1 (R n ). Problem 5.28 Let f L 1 (, + ) be nonnegative. Prove that 1 n n x f(x) dx, as n. Problem 5.29 Let f in R, set g(x) = n= f(x + n). Show that if g L(R) then f = a.e. Problem 5.3 Given f L 2 ([, 1]) define Kf(x) = 1 x 4/3 x f(t) dt. Show that Kf 1 C f 2 where C is a constant independent of f. Hint: use Cauchy-Schwartz. Problem 5.31 Let A be a measurable subset of [, 2π], show that cos nx dx, as n. A Problem 5.32 Let f be a non-negative measurable function in [,1]. Show that the limit exists if and only if lim f(x) n dx {x [, 1] : f(x) > 1} =. sin x Problem 5.33 Prove that lim dx =. 1 + n x2 18

19 5 INTEGRATION Problem 5.34 (Variant of Fatou) Let g n L 1 (E) and g n g in L 1 (E). Suppose f n are measurable functions on E and f n g n a.e. for each n. Prove that lim sup f n lim sup f n. E E Problem 5.35 (Variant of Lebesgue) Let g n L 1 (E) and g n g in L 1 (E). Suppose f n are measurable functions on E such that f n f a.e. or f n f in measure, and f n g n a.e. for each n. Prove that f n f, as n, and consequently lim f n = E E E f. Problem 5.36 Let E <. Prove that f n f in measure if and only if { f n f 1} as n. E Problem 5.37 Let f L 1 (, 1) and suppose that lim x 1 f(x) = A <. Show that lim n x n f(x) dx = A. 19

20 6 SOLUTIONS CONTINUITY 6 Solutions Continuity 1.1 Let y < x with y irrational. Write f(x) f(y) = {n:y r n<x} 1/2 n. Given ɛ > there exists N such that n N 1/2n < ɛ. Let δ = min{ y r k : 1 k N}. If x y < δ and n is such that y r n < x, then n > N. Because if n N and y r n < x, then r n y < x y < δ which is impossible by definition of δ. If y Q, then y = r m for some m and so f(x) f(y) = {n:y r n<x} 1/2n 1/2 m for any x > y. We have 1.2 Write f(x) dx = = n=1 χ A(x) (n) 1 2 dx = 1 n n=1 1 2 n χ (rn,+ )(x) dx = 2 n n=1 n=1 χ A(x) (n) dx 1 2 n [, 1] (r n, + ). sin x + 4 n 2 π 2 sin y + 4 n 2 π 2 = cos 1 ξ + 4 n 2 π 2 2 (x y), ξ + 4 n 2 π2 with some ξ between x + 4 n 2 π 2 and y + 4 n 2 π 2. To show the pointwise convergence pick y =. For (3), f n (z) = 1 when z + 4 n 2 π 2 = (k + 1/2)π. 1.3 The class is bounded in C[a, b] and equicontinuous. 1.4 If f(x) 1 on [a, b], then T (f) is bounded. Show that T (f) are equicontinuous writing T (f)(x) T (f)(z) = b a ( x 2 + z 2 )f(y) dy + b a (e x2 e z2 ) e y f(y) dy. 1.5 The continuity follows from the uniform convergence of the series. Given ɛ > there exists N such that k=n+1 2 k < ɛ. Write f n (t) = N 2 k g n (t r k ) + 2 k g n (t r k ) = A n (t) + B n (t). k=1 k=n+1 We have supp g n ( r k ) [t 1/2n, t]. Let E = {r 1, r 2,, r N }. Suppose first that t / E and let δ = dist(t, E). If 1/2n < δ, then r k [t 1/2n, t] for all 2

21 6 SOLUTIONS CONTINUITY 1 k N and so A n (t) = for n > 1/2δ. If on the other hand t E, then lim sup A n (t) N k=1 2 k lim sup g n (t r k ) =. Let (a, b) be an interval. There exists r m (a, b) and so r m + 1/n (a, b) for all n sufficiently large. Therefore sup x (a,b) f n (x) f n (r m + 1/n) 2 m g n (1/n) = 2 m for all n sufficiently large. 1.6 f n (x) is a Riemann sum and converges to x+1 f(t) dt as n. Let (a, b) x be a finite interval. Write f n (x) x+1 x n 1 f(t) dt = k= x+(k+1)/n x+k/n (f(x + k/n) f(t)) dt. Since f is uniformly continuous on [a, b + 1] we have that f(x + k/n) f(t) < ɛ for all x [a, b], x + k/n t x + (k + 1)/n, k n 1, and for all n sufficiently large. Therefore x+1 sup f n(x) f(t) dt < ɛ for all n sufficiently large. x [a,b] 1.7 (a) (b) f(x) = 1/x; (b) (a) g(x) = 1, f(x) = 1 for x Q and f(x) = for x R \ Q. x 1.8 By the absolute continuity f(x) f(a) = x f (t) dt and g(x) g(a) = a a g (t) dt, for all a x b, so f(x) g(x) = f(a) g(a) for all a x b. x 1.9 f(x) 2 f(y) 2 = (f(x) + f(y))(f(x) f(y)) and f is bounded. 1.1 Let h >. We have g(x + h) g(x) g(x + h) g() + g(x) g() (x+h) a +x a 2(x+h) a. Also g (x) 2a/x for x. By the mean value theorem, g(x + h) g(x) C a min{(x + h) a, h/x}. Next either x a+1 h or x a+1 < h, and then conclude g C α ([, 1]). To show the negative statement notice that g(x) = at x = ξ = (nπ) 1/a with n = 1, 2,. Let δ > small, and ξ = ((n + δ)π) 1/a. Suppose by contradiction that g(ξ) g(ξ ) K ξ ξ β. We have g (x) = a x xa sin x a cos x a a x ( cos x a x a sin x a ) a x ( cos x a x a ). From the mean value theorem g(ξ) g(ξ ) = g( ξ) ξ ξ, with ((n+1)δ) 1/a ξ (nδ) 1/a. Choosing δ > small, we get that g ( ξ) C δ n 1/a for all n large. Also notice that ξ ξ n (1+a)/a for n large. Combining the orders of magnitude we obtain a contradiction unless β a/(1 + a) Let {f n } be a Cauchy sequence. Given x (a, b) take the partition {a, x, b}. We have f n (x) f m (x) (f n f m )(x) (f n f m )(a)) + (f n f m )(a) f n f m BV, as n, m. Thus, for each x [a, b], {f n (x)} is a Cauchy sequence. Let f(x) = lim f n (x). Let Γ = {x,, x N } be a partition of [a, b]. Given ɛ > there exists 21

22 6 SOLUTIONS CONTINUITY n such that N (f n f m )(x i ) (f n f m )(x i 1 )) < ɛ i=1 for each n, m n. Letting n yields N (f f m )(x i ) (f f m )(x i 1 )) < ɛ i=1 for each m n. Hence f f m BV < ɛ for m n. Let f n be absolutely continuous such that f n f BV. Given ɛ > there exists N such that k i=1 (f n f)(x i ) (f n f)(x i 1 ) < ɛ for each n N and any partition Γ = {x,, x k }. Since f N is absolutely continuous, there exists δ > such that if (a 1, b 1 ),, (a r, b r ) is any collection of disjoint intervals of [a, b] with r i=1 (b i a i ) < δ, then r i=1 f N(b i ) f N (a i ) < ɛ. If Γ = {a, a 1, b 1, a 2, b 2,, a r, b r, b}, then r k f(b i ) f(a i ) (f f N )(b i ) (f f N )(a i ) + i=1 i=1 f f N BV + ɛ < 2 ɛ. k f N (b i ) f N (a i ) i=1 22

23 7 SOLUTIONS SEMICONTINUITY 7 Solutions Semicontinuity 2.6 Suppose y Q, y = r m. Then f(x) 1 + f(y) for all x > y, so 2m for any δ >. We now estimate inf f(x) 1 + f(y) > f(y) y<x<y+δ 2m inf f(x). If x y, then y δ<x y f(x) = f(y) {n:x r n<y} 1/2 n. Suppose y δ < x y, then {n : x r n < y} {n : y δ < r n < y} and so f(x) f(y) 1/2 n. {n:y δ<r n<y} We claim that for each N 1 there exists δ > such that if r j (r m δ, r m ) then j N. Suppose by contradiction that this is false. Then there exists N 1 such that for each δ = 1/k there exists a j(k) such that r j(k) (r m 1/k, r m ) and j(k) < N. Hence j(k) takes only a finite number of values between 1 and N, and therefore there exists a subsequence k i such that k i as i with j(k i ) = s and r s (r m 1/k i, r m ) for all i. Letting i we get r m r s < r m, a contradiction. Now given ɛ >, there exists N 1 such that n N 1/2n < ɛ, and by the claim there exists δ > such that {n : y δ < r n < y} {n : n N}. Consequently, 1/2 n < ɛ, {n:y δ <r n<y} 1/2 n n N and so f(x) f(y) ɛ for y δ < x y and < δ δ. Thus, for all < δ δ, and so lim inf f(x) f(y) ɛ y δ<x y inf δ y δ<x y f(x) f(y) ɛ for any ɛ >. 23

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

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

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

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

MATH 202B - Problem Set 5

MATH 202B - Problem Set 5 MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there

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

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

A List of Problems in Real Analysis

A List of Problems in Real Analysis A List of Problems in Real Analysis W.Yessen & T.Ma December 3, 218 This document was first created by Will Yessen, who was a graduate student at UCI. Timmy Ma, who was also a graduate student at UCI,

More information

+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1

+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1 Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and

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

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

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

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

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

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

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

The Heine-Borel and Arzela-Ascoli Theorems

The Heine-Borel and Arzela-Ascoli Theorems The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them

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

Solutions: Problem Set 4 Math 201B, Winter 2007

Solutions: Problem Set 4 Math 201B, Winter 2007 Solutions: Problem Set 4 Math 2B, Winter 27 Problem. (a Define f : by { x /2 if < x

More information

Tools from Lebesgue integration

Tools from Lebesgue integration Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given

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

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

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

Entrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems

Entrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems September, 27 Solve exactly 6 out of the 8 problems. Prove by denition (in ɛ δ language) that f(x) = + x 2 is uniformly continuous in (, ). Is f(x) uniformly continuous in (, )? Prove your conclusion.

More information

h(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote

h(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function

More information

Measure and Integration: Solutions of CW2

Measure and Integration: Solutions of CW2 Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost

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

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

Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm

Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify

More information

Real Analysis Qualifying Exam May 14th 2016

Real Analysis Qualifying Exam May 14th 2016 Real Analysis Qualifying Exam May 4th 26 Solve 8 out of 2 problems. () Prove the Banach contraction principle: Let T be a mapping from a complete metric space X into itself such that d(tx,ty) apple qd(x,

More information

Advanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts. Tuesday, January 16th, 2018

Advanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts. Tuesday, January 16th, 2018 NAME: Advanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts Tuesday, January 16th, 2018 Instructions 1. This exam consists of eight (8) problems

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

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

Math 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx.

Math 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx. Math 321 Final Examination April 1995 Notation used in this exam: N 1 π (1) S N (f,x) = f(t)e int dt e inx. 2π n= N π (2) C(X, R) is the space of bounded real-valued functions on the metric space X, equipped

More information

van Rooij, Schikhof: A Second Course on Real Functions

van Rooij, Schikhof: A Second Course on Real Functions vanrooijschikhofproblems.tex December 5, 2017 http://thales.doa.fmph.uniba.sk/sleziak/texty/rozne/pozn/books/ van Rooij, Schikhof: A Second Course on Real Functions Some notes made when reading [vrs].

More 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

Bootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact.

Bootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact. Bootcamp Christoph Thiele Summer 212.1 Compactness Definition 1 A metric space is called compact, if every cover of the space has a finite subcover. As in the case of separability we have the following

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

Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press,

Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press, NOTE ON ABSTRACT RIEMANN INTEGRAL Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press, 2003. a. Definitions. 1. Metric spaces DEFINITION 1.1. If

More information

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

g 2 (x) (1/3)M 1 = (1/3)(2/3)M. COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is

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

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

Solutions Final Exam May. 14, 2014

Solutions Final Exam May. 14, 2014 Solutions Final Exam May. 14, 2014 1. Determine whether the following statements are true or false. Justify your answer (i.e., prove the claim, derive a contradiction or give a counter-example). (a) (10

More information

6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that.

6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that. 6.2 Fubini s Theorem Theorem 6.2.1. (Fubini s theorem - first form) Let (, A, µ) and (, B, ν) be complete σ-finite measure spaces. Let C = A B. Then for each µ ν- measurable set C C the section x C is

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

x 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus

x 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus Homework 3 Solutions, Real Analysis I, Fall, 2010. (9) Let f : (, ) [, ] be a function whose restriction to (, 0) (0, ) is continuous. Assume the one-sided limits p = lim x 0 f(x), q = lim x 0 + f(x) exist

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

FUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions

FUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions FUNDAMNTALS OF RAL ANALYSIS by Doğan Çömez IV. DIFFRNTIATION AND SIGND MASURS IV.1. Differentiation of Monotonic Functions Question: Can we calculate f easily? More eplicitly, can we hope for a result

More information

Daniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall Problem. 1 Give an example of a mapping f : X Y such that

Daniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall Problem. 1 Give an example of a mapping f : X Y such that Daniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall 2014 Problem. 1 Give an example of a mapping f : X Y such that 1. f(a B) = f(a) f(b) for some A, B X. 2. f(f 1 (A)) A for

More information

Math 117: Continuity of Functions

Math 117: Continuity of Functions Math 117: Continuity of Functions John Douglas Moore November 21, 2008 We finally get to the topic of ɛ δ proofs, which in some sense is the goal of the course. It may appear somewhat laborious to use

More information

Problem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1

Problem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1 Problem set 5, Real Analysis I, Spring, 25. (5) Consider the function on R defined by f(x) { x (log / x ) 2 if x /2, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, R f /2

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

ABSTRACT INTEGRATION CHAPTER ONE

ABSTRACT INTEGRATION CHAPTER ONE CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed

More information

Real Analysis Comprehensive Exam Fall A(k, ε) is of Lebesgue measure zero.

Real Analysis Comprehensive Exam Fall A(k, ε) is of Lebesgue measure zero. Real Analysis Comprehensive Exam Fall 2002 by XYC Good luck! [1] For ε>0andk>0, denote by A(k, ε) thesetofx Rsuch that x p q 1 for any integers p, q with q 0. k q 2+ε Show that R \ k=1 A(k, ε) is of Lebesgue

More information

7 Complete metric spaces and function spaces

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

More information

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

for all x,y [a,b]. The Lipschitz constant of f is the infimum of constants C with this property.

for all x,y [a,b]. The Lipschitz constant of f is the infimum of constants C with this property. viii 3.A. FUNCTIONS 77 Appendix In this appendix, we describe without proof some results from real analysis which help to understand weak and distributional derivatives in the simplest context of functions

More information

Solutions Final Exam May. 14, 2014

Solutions Final Exam May. 14, 2014 Solutions Final Exam May. 14, 2014 1. (a) (10 points) State the formal definition of a Cauchy sequence of real numbers. A sequence, {a n } n N, of real numbers, is Cauchy if and only if for every ɛ > 0,

More information

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3 Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability

More information

Math 140A - Fall Final Exam

Math 140A - Fall Final Exam Math 140A - Fall 2014 - Final Exam Problem 1. Let {a n } n 1 be an increasing sequence of real numbers. (i) If {a n } has a bounded subsequence, show that {a n } is itself bounded. (ii) If {a n } has a

More information

van Rooij, Schikhof: A Second Course on Real Functions

van Rooij, Schikhof: A Second Course on Real Functions vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.

More information

Assignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous.

Assignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous. Assignment-1 (Due 11/21) 1. Consider the sequence of functions f n (x) = x n on [, 1]. (a) Show that each function f n is uniformly continuous on [, 1]. Solution: Any continuous function on a compact set

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

MATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS

MATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS MATH. 4433. NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS TOMASZ PRZEBINDA. Final project, due 0:00 am, /0/208 via e-mail.. State the Fundamental Theorem of Algebra. Recall that a subset K

More information

Continuity. Chapter 4

Continuity. Chapter 4 Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of

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

CHAPTER 6. Differentiation

CHAPTER 6. Differentiation CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.

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

McGill University Math 354: Honors Analysis 3

McGill University Math 354: Honors Analysis 3 Practice problems McGill University Math 354: Honors Analysis 3 not for credit Problem 1. Determine whether the family of F = {f n } functions f n (x) = x n is uniformly equicontinuous. 1st Solution: The

More information

MATH 5616H INTRODUCTION TO ANALYSIS II SAMPLE FINAL EXAM: SOLUTIONS

MATH 5616H INTRODUCTION TO ANALYSIS II SAMPLE FINAL EXAM: SOLUTIONS MATH 5616H INTRODUCTION TO ANALYSIS II SAMPLE FINAL EXAM: SOLUTIONS You may not use notes, books, etc. Only the exam paper, a pencil or pen may be kept on your desk during the test. Calculators are not

More information

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1. Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x

More information

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Introduction to Proofs in Analysis updated December 5, 2016 By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Purpose. These notes intend to introduce four main notions from

More information

Mid Term-1 : Practice problems

Mid Term-1 : Practice problems Mid Term-1 : Practice problems These problems are meant only to provide practice; they do not necessarily reflect the difficulty level of the problems in the exam. The actual exam problems are likely to

More information

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions Economics 24 Fall 211 Problem Set 2 Suggested Solutions 1. Determine whether the following sets are open, closed, both or neither under the topology induced by the usual metric. (Hint: think about limit

More information

Real Analysis Chapter 3 Solutions Jonathan Conder. ν(f n ) = lim

Real Analysis Chapter 3 Solutions Jonathan Conder. ν(f n ) = lim . Suppose ( n ) n is an increasing sequence in M. For each n N define F n : n \ n (with 0 : ). Clearly ν( n n ) ν( nf n ) ν(f n ) lim n If ( n ) n is a decreasing sequence in M and ν( )

More information

MAT 544 Problem Set 2 Solutions

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

More information

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

consists of two disjoint copies of X n, each scaled down by 1,

consists of two disjoint copies of X n, each scaled down by 1, Homework 4 Solutions, Real Analysis I, Fall, 200. (4) Let be a topological space and M be a σ-algebra on which contains all Borel sets. Let m, µ be two positive measures on M. Assume there is a constant

More information

2 Lebesgue integration

2 Lebesgue integration 2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,

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

Continuity. Chapter 4

Continuity. Chapter 4 Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of

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

INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION

INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION 1 INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION Eduard EMELYANOV Ankara TURKEY 2007 2 FOREWORD This book grew out of a one-semester course for graduate students that the author have taught at

More information

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li. 1 Lecture 7: Equicontinuity and Series of functions

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li. 1 Lecture 7: Equicontinuity and Series of functions Summer Jump-Start Program for Analysis, 0 Song-Ying Li Lecture 7: Equicontinuity and Series of functions. Equicontinuity Definition. Let (X, d) be a metric space, K X and K is a compact subset of X. C(K)

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

n [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)

n [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1) 1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line

More information

Three hours THE UNIVERSITY OF MANCHESTER. 24th January

Three hours THE UNIVERSITY OF MANCHESTER. 24th January Three hours MATH41011 THE UNIVERSITY OF MANCHESTER FOURIER ANALYSIS AND LEBESGUE INTEGRATION 24th January 2013 9.45 12.45 Answer ALL SIX questions in Section A (25 marks in total). Answer THREE of the

More information

Mathematical Methods for Physics and Engineering

Mathematical Methods for Physics and Engineering Mathematical Methods for Physics and Engineering Lecture notes for PDEs Sergei V. Shabanov Department of Mathematics, University of Florida, Gainesville, FL 32611 USA CHAPTER 1 The integration theory

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

Problem set 1, Real Analysis I, Spring, 2015.

Problem set 1, Real Analysis I, Spring, 2015. Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n

More information

Real Analysis, October 1977

Real Analysis, October 1977 Real Analysis, October 1977 1. Prove that the sequence 2, 2 2, 2 2 2,... converges and find its limit. 2. For which real-x does x n lim n 1 + x 2n converge? On which real sets is the convergence uniform?

More information

Mathematical Analysis Outline. William G. Faris

Mathematical Analysis Outline. William G. Faris Mathematical Analysis Outline William G. Faris January 8, 2007 2 Chapter 1 Metric spaces and continuous maps 1.1 Metric spaces A metric space is a set X together with a real distance function (x, x ) d(x,

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

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

Principle of Mathematical Induction

Principle of Mathematical Induction Advanced Calculus I. Math 451, Fall 2016, Prof. Vershynin Principle of Mathematical Induction 1. Prove that 1 + 2 + + n = 1 n(n + 1) for all n N. 2 2. Prove that 1 2 + 2 2 + + n 2 = 1 n(n + 1)(2n + 1)

More information

Integration on Measure Spaces

Integration on Measure Spaces Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of

More information

Introductory Analysis I Fall 2014 Homework #9 Due: Wednesday, November 19

Introductory Analysis I Fall 2014 Homework #9 Due: Wednesday, November 19 Introductory Analysis I Fall 204 Homework #9 Due: Wednesday, November 9 Here is an easy one, to serve as warmup Assume M is a compact metric space and N is a metric space Assume that f n : M N for each

More information

4th Preparation Sheet - Solutions

4th Preparation Sheet - Solutions Prof. Dr. Rainer Dahlhaus Probability Theory Summer term 017 4th Preparation Sheet - Solutions Remark: Throughout the exercise sheet we use the two equivalent definitions of separability of a metric space

More information