Question 1. Question 3. Question 4. Graduate Analysis I Exercise 4

Size: px
Start display at page:

Download "Question 1. Question 3. Question 4. Graduate Analysis I Exercise 4"

Transcription

1 Graduate Analysis I Exercise 4 Question 1 If f is easurable and λ is any real nuber, f + λ and λf are easurable. Proof. Since {f > a λ} is easurable, {f + λ > a} = {f > a λ} is easurable, then f + λ is easurable. If λ = 0, then λf = 0, of course is easurable. If λ > 0, then {λf > a} = {f > a }, if λ λ < 0, {λf > a} = {f < a }, these two sets are both easurable, so λf is easurable. λ Question 3 theore4.3 can be used to define easurability for vector-valued (e.g, coplexvalued) functions. Suppose, for exaple, that f and g are real-valued and defined in R n, and let F (x) = (f(x), g(x)). Then F is said to be easurable if F 1 (G) is easurable for every open G R 2. Prove that F is easurable if and only if both f and g are easurable in R n. Proof. ( = ) Since G is open, by Theore1.11 we have G = I k, I k = {y : a (k) i y i b (k) i, i = 1, 2} are nonoverlapping intervals. F 1 (I k ) = {a (k) 1 f b (k) 1 } {a (k) 2 g b (k) 2 }, since f and g are easurable, F 1 (I k ) is easurable. F 1 (G) = F 1 (I k ) is easurable, thus F is easurable. ( = ) For every finite a, since F is easurable, F 1 ((a, + ) R) = {f > a} is easurable, then f is easurable in R n. Siilarly we can get g is easurable in R n. Question 4 Let f be defined and easurable in R n. If T is a nonsingular linear transforation of R n, show that f(t x) is easurable. [ If E 1 = {x : f(x) > a} and E 2 = {x : f(t x) > a}, show that E 2 = T 1 E 1 ] Proof. E 2 = {x : f(t x) > a} = {x : T x f 1 ((a, + ))} = {x : T x E 1 } = {x : x T 1 E 1 } = T 1 E 1. Since T is nonsingular, T 1 is a Lipschitz transforation. By Theore3.33, E 2 = T 1 E 1 is easurable, thus f(t x) is easurable. 1

2 Question 5 Give an exaple to show that φ(f(x)) ay not be easurable if φ and f are easurable. Exaple: Let F be the Cantor-Lebesgue function. Define g : [0, 1] [0, 1] and g = (F (x) + x)/2, note that g is continuous and strictly increasing. Let C denote the Cantor set, then g(c) = 1. By Corollary3.39 we know there exists a noneasurable 2 set N g(c). Put f = g 1, then f(n) C and f(n) = 0 since C = 0. Put Z = f(n) and φ is the characteristic function of Z. Consider {φ(f(x)) > 0}, when f(x) Z, φ(f(x)) > 0, then we have {φ(f(x)) > 0} = N which is noneasurable, thus φ(f(x)) is not easurable. Lecturer s REMARK It ay not be clear that g(c) > 0. defining F 1 (x) = inf{y : F (y) = x} for x [0, 1] and let f = F 1. Thus I will prefer Question 6 Let f and g be easurable functions on E. (a) If f and g are finite a.e. in E, show that f + g is easurable no atter how we define it at the points when it has the for + + ( ) or +. (b) Show that fg is easurable without restriction on the finiteness of f and g. Show that f + g is easurable if it is defined to have the sae value at every point where it has the for + + ( ) or +. Proof. (a) Put Z 1 = {x E : f = ± } and Z 2 = {x E : g = ± }, Z 1 = 0, Z 2 = 0, then Z 1 Z 2 = 0. Put Z = {x E (f(x) = + and g(x) = ) or (f(x) = and g(x) = + )} Z 1 Z 2, then Z = 0. Let { f(x) x E Z f(x) = 0 x Z { g(x) x E Z g(x) = 0 x Z Since f = f a.e.and g = g a.e., f, g are easurable. By Theore4.9, f +g is easurable on E\Z and hence easurable on E. Since f + g = f + g a.e. no atter how we define the value of f + g on Z, we conclude that f + g is easurable on E. 2

3 (b) First, for any easurable set D, we will let M F (D) be the set of all easurable functions on D. Define E i, i = 1,..., 6 : E 1 E 2 E 3 E 4 E 5 E 6 f 0 0 ± 0 g ± fg β 1 β 2 β 3 β 4 ± ± Since f, g M F (E), we have f, g M F (E i ), i = 1,..., 6 and f, g M F (E\ E i ), then fg M F (E i ), i = 1,..., 6 and fg M F (E\ E i ). Thus, fg M F (E) without restriction on the finiteness of f and g. We now define E i, i = 1,..., 4: E 1 E 2 E 3 E 4 f g f+g β 1 β 2 Since f, g M F (E), we have f, g M F (E i ), i = 1,..., 4 and f, g M F (E\ E i ), then f + g M F (E i ), i = 1,..., 4 and f + g M F (E\ E i ). Hence, f + g M F (E). Question 7 Let f be usc and less than + on a copact set E. Show that f is bounded above on E. Show also that f assues its axiu on E, i.e., that there exists x 0 E such that f(x 0 ) f(x) for all x E. Proof. Since f is usc on E, then {x E : f(x) < k} is open for k = 1, 2,.... Since f is less than +, {x E : f(x) < k} is an open cover of E. Since E is copact, then there exist a finite subcover, that is N N such that N {x E : f(x) < k} E, this eans f(x) < N, so f is bounded above on E. Put M = sup f(x), then M < N, for each x E k = 1, 2,..., there exists x k E such that f(x k ) > M 1. Since E is copact, there k exists a subsequence x nk of x k which converges to a point x 0 of E. f(x nk ) > M 1 n k, let k, we have f(x 0 ) M, since f(x 0 ) M, then f(x 0 ) = M. Thus, f assues its axiu on E. 3

4 Question 8 (a) Let f and g be two functions which are usc at x 0. Show that f + g is usc at x 0. Is f g usc at x 0? When is fg usc at x 0? Proof. If f(x 0 ) = + or g(x 0 ) = +, then f(x 0 ) + g(x 0 ) = +, so f + g is usc at x 0. If f(x 0 ) < + and g(x 0 ) < +, since f is usc at x o, given M 1 > f(x 0 ), there exists δ 1 > 0 such that f(x) < M 1 for all x E which lie in the ball x x 0 < δ 1. Since g is also usc at x o, given M 2 > f(x 0 ), there exists δ 2 > 0 such that g(x) < M 2 for all x E which lie in the ball x x 0 < δ 2. Put δ = in(δ 1, δ 1 ), then f(x) + g(x) < M 1 + M 2 for all x E which lie in the ball x x 0 < δ, thus f + g is usc at x 0. f g is not usc at x 0. Since g is usc at x 0, g is lsc at x 0, put f = 0, then f g = g is lsc at x 0. When f 0 and g 0, fg is usc at x 0. If f(x 0 ) = + or g(x 0 ) = +, obviously fg is usc at x 0. Otherwise, by the above proof, put δ = in(δ 1, δ 1 ), then f(x)g(x) < M 1 M 2 for all x E which lie in the ball x x 0 < δ, thus fg is usc at x 0. at x 0. (b) If {f k } is a sequence of functions which are usc at x 0. Show that inf k f k (x) is usc Proof. Since f k is usc at x o, given ε > 0, f k (x 0 ) + ε > f k (x 0 ), then δ k > 0 such that f k (x) < f k (x 0 ) + ε for x E k = ({x : x x 0 < δ k } E). When x E k, inf k f k (x) < inf k f k (x 0 ) + ε, so inf k f k (x) is usc at x 0. (c) If {f k } is a sequence of functions which are usc at x 0 and which converge uniforly near x 0, show that li f k is usc at x 0. Proof. Since f k is usc at x o, given ε > 0, there exists δ k > 0 such that f k (x) < f k (x 0 )+ ε 2 for all x E which lie in the ball x x 0 < δ k. Since f k converge uniforly near x 0, there exists K, when k > K and x {x : x x 0 < δ k } E, li f k (x) f k (x) < ε 2, then li f k (x) < f k (x) + ε 2 < f k(x 0 ) + ε, li f k (x) < li f k (x 0 ) + ε, thus li f k is usc at x 0. Question 9 Show that the liit of a decreasing ( increasing ) sequence of functions usc (lsc) at x 0 is usc (lsc) at x 0. In particular, the liit of a decreasing ( increasing ) sequence of functions continuous at x 0 is usc (lsc) at x 0. Proof. Let {f k } be the decreasing sequences usc at x 0, since f k is decreasing, we have f = li k f k = inf k f k, by Question8(b) we know that inf k f k is usc at x o, then 4

5 f = li x f k is usc at x 0. Question 10 (a) If f is defined and continuous on E, show that {a < f < b} is relatively open, and that {a f b} and {f = a} are relatively closed. (b) If f is a finite function on R n. Show that f is continuous on R n if and only if f 1 (G) is open for every open G in R 1, or if and only if f 1 (F ) is closed for every closed F in R 1. Proof. (a) For each x k {a < f < b}, since a < f(x k ) < b and f is continuous on E, there exists δ 1, δ 2 > 0 such that f(x) < b when x B(x k, δ (k) 1 ) E and f(x) > a when x B(x k, δ (k) 2 ) E, put δ k = in(δ (k) 1, δ (k) 2 ), we have a < f(x) < b when x B(x k, δ k ) E. Then B(x k, δ k ) E = {a < f < b}, since B(x k, δ k ) is open, {a < f < b} is relatively open. We prove the copleent of {a f b} is relatively open, the copleent of {a f b} is {f > b} {f < a}. Fro the above proof we know {f > b} and {f < a} are relatively open, then {f > b} {f < a} is relatively open, so {a f b} is relatively closed. Put b = a, {f = a} is also relatively closed. (b) ( = ) If f is continuous, put f 1 (G). For x 0 f 1 (G), then f(x 0 ) G. Since G is open, there exists ε > 0 such that (f(x 0 ) ε, f(x 0 ) + ε) G. Since f is continuous, for the above ε, δ > 0 such that ε < f(x) f(x 0 ) < ε when x (x 0 δ, x 0 + δ), so when x (x 0 δ, x 0 + δ), f(x) G, then (x 0 δ, x 0 + δ) f 1 (G). This eans x 0 is the interior point of f 1 (G), so f 1 (G) is open. ( = ) Since f 1 (G) is open for every open G in R 1, for each x 0 and ε > 0, the pre-iage U of (f(x 0 ) ε, f(x 0 ) + ε) is open. Since x 0 U, then δ > 0 such that (x 0 δ, x 0 + δ) U. So when x (x 0 δ, x 0 + δ), we have f(x) (f(x 0 ) ε, f(x 0 ) + ε), this eans f is continuous at x 0. Thus f is continuous. Question 11 Let f be defined on R n and let B(x) denote the open ball {y : x y < r} with center x and fixed radius r. Show that the function g(x) = sup{f(y) : y B(x)} is lsc and that the function h(x) = inf{f(y) : y B(x)} is usc on R n. Is the sae true for the closed ball {y : x y r}? 5

6 Proof. For any x 0 R n, g(x 0 ) = sup{f(y) : y B(x 0 )}, then y B(x 0 ), f(y) g(x 0 ). Moreover, ε > 0, there exists x ε B(x 0, 1) such that f(x ε ) > g(x 0 ) ε. Choose r ε < 1 such that x 0 x ε < r ε. Since x ε B(z, r) if z B(x 0, r r ε ) and g(x) = sup{f(y) : y B(z)}, we have g(x) f(x ε ) > g(x 0 ) ε when x B(x 0, r r ε ), so g(x) is lsc at x 0. Thus, g(x) is lsc on R n. We can use the siilar way to prove h(x) = inf{f(y) : y B(x)} is usc on R n. It is not the sae for the closed ball {y : x y r}, for exaple, let f(0) = 1 and f(x) = 0 for x 0, it is clear that h(x) = sup{f(y) : y B(y, 1)} is not lsc. Question 12 If f(x), x R 1, is continuous at alost every point of an interval [a, b], show that f is easurable on [a, b]. Proof. Put Z = {f is not continuous}, then Z = 0. Put E = [a, b] Z, then f is continuous relative to E. {f > α} = {x E : f > α} {x Z : f > α}. Since f is continuous on E, {x E : f > α} is easurable. {x Z : f > α} z = 0, then {x Z : f > α} is easurable. Thus, f is easurable on [a, b]. Question 15 Let {f k } be a sequence of easurable functions defined on a easurable E with E < +. If f k (x) M x < + for all k for each x E, show that given ε > 0, there is a closed F E and a finite M such that E F < ε and f k (x) M for all k and all x F. Proof. Fix ε > 0, for each n, let E n = {x E : M x n for all k}. Thus, E n = {x : M x n}, so that E n is easurable. Clearly E n E n+1 and E n E. Hence, k E n E. Since E < +, it follows that E E n 0. Choose n 0 such that E E n0 < ε, and let F be a closed subset of E 2 n 0 with E n0 F < ε. Then E F < ε 2 and f k (x) n 0 for all k and all x F. Question 17 Suppose that f k if E < +, that f k g k f and g k g on E. Show that f k + g k f + g on E and, fg on E. If, in addition, g k g on E, g 0 a.e., and 6

7 E < +, show that f k /g k f/g on E. Proof. (1) {x E : f + g (f k + g k ) > ε} {x E : f f k > ε 2 } {x E : g g k > ε }, since li {x E : f f 2 k > ε } = 0 and li {x E : g g k 2 k > ε } = 0, k 2 then li {x E : f + g (f k + g k ) > ε} = 0, f k + g k f + g on E. k (2) Since f k g k fg = (f k f)(g k g)+f(g k g)+g(f k f), {x E : f k g k fg > ε} {x E : (f k f)(g k g) > ε 3 } {x E : f(g k g) > ε 3 } {x E : g(f k f) > ε 3 }. {x E : (f k f)(g k g) > ε 3 } {x E : f k f > ε 3 } {x E : g k g > ε 3 }. Since f is the liit (in easure) of a sequence of functions, it ust be finite on E. Since E < +, for any η > 0, there exists Z 1, Z 2 E, Z 1, Z 2 < η such that f is bounded on E Z 1 and g is bounded on E Z 2, and. Put f M 1 on E Z 1 and g M 2 on E Z 2. So {x E : f(g k g) > ε 3 } {x E : g k g > ε 3M 1 } Z 1, {x E : g(f k f) > ε} {x E : f 3 k f > ε 3M 2 } Z 2, since f k f and g k g on E and Z 1, Z 2 < η, we have {x E : f k g k fg > ε} < 5η if k is sufficiently large. Hence f k g k fg on E. (3) First, since g 0 a.e., we have 1/g is finite a.e.. Hence given any η > 0, since E <, there exists Z E such that Z < η and 1/g M on E\Z for soe constant M > 0. Since g k g, K such that E k = { g k g > 1/(2M)} < η when k K. Note that g k g g g k 1/(2M) on E\(Z E k ). Now observe that 1 g k 1 g = g k g g k g = 1 g k g g k g. Note that g k g 1/(2M 2 ) on E\(Z E k ). Since g k such that { g k g > ε/(2m 2 )} < η for k K. It is now clear that { 1 g k 1 > ε} < 2η when k ax{k, g K }. Thus 1 g k 1 on E. By the conclusion of (2), we have f g k/g k Question 18 g, for any ε > 0, there exists K f/g on E. If f is easurable on E, define ω f (a) = {f > a} for < a < +. If f k f, show that ω fk ω f. If f k f, show that ω fk ω f at each point of continuity of ω f. Proof. Put E k = {f k > a}, since f k f, we have E k E k+1 and E k E = {f > a}, by Theore3.26 we have E k E, then ω fk ω f. 7

8 Let a be a continuous point of ω f, then η > 0, δ > 0, when b a δ, ω f (b) ω f (a) < η. Let E k = {x : f f k > δ}. Then there exists N N such that E k < η for k N. Since f k = (f k f) + f, {f k > a} E k {f > a δ}, then ω fk η + ω f (a δ) < η + ω f (a) + η for k N. Next, since f = (f f k ) + f k, we have {f > a + δ} (E k {f k > a}), then ω fk ω f (a + δ) η, so ω fk (a) ω f (a) < 2η. Thus ω fk (a) ω f (a). Question 19 Let f(x, y) be a function defined on the unit square 0 x 1, 0 y 1 which is continuous in each variable separately. Show that f is a easurable function of (x, y). proof. Divide [0, 1] into n equal subintervals, put f n (x, y) = f(x, k ) when k y < k+1. n n n Clearly for any fixed (x, y), f n (x, y) f(x, y). {f n (x, y) > a} = n 1 {{x [0, 1] : f(x, k ) > a} [ k, k+1)}, since f is continuous in each variable separately, so {f n n n n(x, y) > a} is easurable. Since f n (x, y) f(x, y), f is a easurable function of (x, y). Question 20 If f is easurable and finite a.e. on [a, b], show that given ε > 0, there is a continuous g on [a, b] such that {x : f(x) g(x)} < ε. Proof. By Lusin stheore we have ε > 0, there exists a closed set F E such that E F < ε and f is continuous relative to F. Put G = F, then G is open, then G = (a k, b k ), (a k, b k ) are disjoint. When x F, Let g(x) = f(x). When x / F, define g(x) is a linear on each open interval (a k, b k ) and let g(x) be continuous at the endpoint of the interval. When x (a k, b k ) which is a finite interval, g(x) = f(a k ) b k x b k a k + f(b k ) x a k b k a k. When soe open interval is infinite, if x (c, + ), g(x) = f(c), when x (, d), g(x) = f(d). So g is well-defined on R, and obviously {f g} E F < ε. Fro the above construction of g, we have g is continuous at the endpoint of the open interval, so g is continuous on R, of course g is continuous on [a, b]. 8

3.8 Three Types of Convergence

3.8 Three Types of Convergence 3.8 Three Types of Convergence 3.8 Three Types of Convergence 93 Suppose that we are given a sequence functions {f k } k N on a set X and another function f on X. What does it ean for f k to converge to

More information

MATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions.

MATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions. MATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions. Continuity Definition. Given a set E R, a function f : E R, and a point c E, the function f is continuous at c if

More information

E0 370 Statistical Learning Theory Lecture 5 (Aug 25, 2011)

E0 370 Statistical Learning Theory Lecture 5 (Aug 25, 2011) E0 370 Statistical Learning Theory Lecture 5 Aug 5, 0 Covering Nubers, Pseudo-Diension, and Fat-Shattering Diension Lecturer: Shivani Agarwal Scribe: Shivani Agarwal Introduction So far we have seen how

More information

A := A i : {A i } S. is an algebra. The same object is obtained when the union in required to be disjoint.

A := A i : {A i } S. is an algebra. The same object is obtained when the union in required to be disjoint. 59 6. ABSTRACT MEASURE THEORY Having developed the Lebesgue integral with respect to the general easures, we now have a general concept with few specific exaples to actually test it on. Indeed, so far

More information

Prerequisites. We recall: Theorem 2 A subset of a countably innite set is countable.

Prerequisites. We recall: Theorem 2 A subset of a countably innite set is countable. Prerequisites 1 Set Theory We recall the basic facts about countable and uncountable sets, union and intersection of sets and iages and preiages of functions. 1.1 Countable and uncountable sets We can

More information

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 11 10/15/2008 ABSTRACT INTEGRATION I

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 11 10/15/2008 ABSTRACT INTEGRATION I MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 11 10/15/2008 ABSTRACT INTEGRATION I Contents 1. Preliinaries 2. The ain result 3. The Rieann integral 4. The integral of a nonnegative

More information

Some Classical Ergodic Theorems

Some Classical Ergodic Theorems Soe Classical Ergodic Theores Matt Rosenzweig Contents Classical Ergodic Theores. Mean Ergodic Theores........................................2 Maxial Ergodic Theore.....................................

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

VC Dimension and Sauer s Lemma

VC Dimension and Sauer s Lemma CMSC 35900 (Spring 2008) Learning Theory Lecture: VC Diension and Sauer s Lea Instructors: Sha Kakade and Abuj Tewari Radeacher Averages and Growth Function Theore Let F be a class of ±-valued functions

More information

MATH 131A: REAL ANALYSIS (BIG IDEAS)

MATH 131A: REAL ANALYSIS (BIG IDEAS) MATH 131A: REAL ANALYSIS (BIG IDEAS) Theorem 1 (The Triangle Inequality). For all x, y R we have x + y x + y. Proposition 2 (The Archimedean property). For each x R there exists an n N such that n > x.

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

Functions. Chapter Continuous Functions

Functions. Chapter Continuous Functions Chapter 3 Functions 3.1 Continuous Functions A function f is determined by the domain of f: dom(f) R, the set on which f is defined, and the rule specifying the value f(x) of f at each x dom(f). If f is

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

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

REAL VARIABLES: PROBLEM SET 1. = x limsup E k

REAL VARIABLES: PROBLEM SET 1. = x limsup E k REAL VARIABLES: PROBLEM SET 1 BEN ELDER 1. Problem 1.1a First let s prove that limsup E k consists of those points which belong to infinitely many E k. From equation 1.1: limsup E k = E k For limsup E

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

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

The Methods of Solution for Constrained Nonlinear Programming

The Methods of Solution for Constrained Nonlinear Programming Research Inventy: International Journal Of Engineering And Science Vol.4, Issue 3(March 2014), PP 01-06 Issn (e): 2278-4721, Issn (p):2319-6483, www.researchinventy.co The Methods of Solution for Constrained

More information

Exam 2 extra practice problems

Exam 2 extra practice problems Exam 2 extra practice problems (1) If (X, d) is connected and f : X R is a continuous function such that f(x) = 1 for all x X, show that f must be constant. Solution: Since f(x) = 1 for every x X, either

More information

The isomorphism problem of Hausdorff measures and Hölder restrictions of functions

The isomorphism problem of Hausdorff measures and Hölder restrictions of functions The isoorphis proble of Hausdorff easures and Hölder restrictions of functions Doctoral thesis András Máthé PhD School of Matheatics Pure Matheatics Progra School Leader: Prof. Miklós Laczkovich Progra

More information

f(x) f(z) c x z > 0 1

f(x) f(z) c x z > 0 1 INVERSE AND IMPLICIT FUNCTION THEOREMS I use df x for the linear transformation that is the differential of f at x.. INVERSE FUNCTION THEOREM Definition. Suppose S R n is open, a S, and f : S R n is a

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

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

Continuity of convex functions in normed spaces

Continuity of convex functions in normed spaces Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional

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

FAST DYNAMO ON THE REAL LINE

FAST DYNAMO ON THE REAL LINE FAST DYAMO O THE REAL LIE O. KOZLOVSKI & P. VYTOVA Abstract. In this paper we show that a piecewise expanding ap on the interval, extended to the real line by a non-expanding ap satisfying soe ild hypthesis

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

LORENTZ SPACES AND REAL INTERPOLATION THE KEEL-TAO APPROACH

LORENTZ SPACES AND REAL INTERPOLATION THE KEEL-TAO APPROACH LORENTZ SPACES AND REAL INTERPOLATION THE KEEL-TAO APPROACH GUILLERMO REY. Introduction If an operator T is bounded on two Lebesgue spaces, the theory of coplex interpolation allows us to deduce the boundedness

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

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

U e = E (U\E) e E e + U\E e. (1.6)

U e = E (U\E) e E e + U\E e. (1.6) 12 1 Lebesgue Measure 1.2 Lebesgue Measure In Section 1.1 we defined the exterior Lebesgue measure of every subset of R d. Unfortunately, a major disadvantage of exterior measure is that it does not satisfy

More information

MATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions.

MATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions. MATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions. Uniform continuity Definition. A function f : E R defined on a set E R is called uniformly continuous on E if for every

More information

MA 1124 Solutions 14 th May 2012

MA 1124 Solutions 14 th May 2012 MA 1124 Solutions 14 th May 2012 1 (a) Use True/False Tables to prove (i) P = Q Q = P The definition of P = Q is given by P Q P = Q T T T T F F F T T F F T So Q P Q = P F F T T F F F T T T T T Since the

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

Bounded uniformly continuous functions

Bounded uniformly continuous functions Bounded uniformly continuous functions Objectives. To study the basic properties of the C -algebra of the bounded uniformly continuous functions on some metric space. Requirements. Basic concepts of analysis:

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

Partial Solutions to Folland s Real Analysis: Part I

Partial Solutions to Folland s Real Analysis: Part I Partial Solutions to Folland s Real Analysis: Part I (Assigned Problems from MAT1000: Real Analysis I) Jonathan Mostovoy - 1002142665 University of Toronto January 20, 2018 Contents 1 Chapter 1 3 1.1 Folland

More information

Week 5 Lectures 13-15

Week 5 Lectures 13-15 Week 5 Lectures 13-15 Lecture 13 Definition 29 Let Y be a subset X. A subset A Y is open in Y if there exists an open set U in X such that A = U Y. It is not difficult to show that the collection of all

More information

Measure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond

Measure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................

More information

REVIEW OF ESSENTIAL MATH 346 TOPICS

REVIEW OF ESSENTIAL MATH 346 TOPICS REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations

More information

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

MATH5011 Real Analysis I. Exercise 1 Suggested Solution

MATH5011 Real Analysis I. Exercise 1 Suggested Solution MATH5011 Real Analysis I Exercise 1 Suggested Solution Notations in the notes are used. (1) Show that every open set in R can be written as a countable union of mutually disjoint open intervals. Hint:

More information

Lectures 8 & 9: The Z-transform.

Lectures 8 & 9: The Z-transform. Lectures 8 & 9: The Z-transfor. 1. Definitions. The Z-transfor is defined as a function series (a series in which each ter is a function of one or ore variables: Z[] where is a C valued function f : N

More information

Computational and Statistical Learning Theory

Computational and Statistical Learning Theory Coputational and Statistical Learning Theory Proble sets 5 and 6 Due: Noveber th Please send your solutions to learning-subissions@ttic.edu Notations/Definitions Recall the definition of saple based Radeacher

More information

FRACTAL GEOMETRY, DYNAMICAL SYSTEMS AND CHAOS

FRACTAL GEOMETRY, DYNAMICAL SYSTEMS AND CHAOS FRACTAL GEOMETRY, DYNAMICAL SYSTEMS AND CHAOS MIDTERM SOLUTIONS. Let f : R R be the map on the line generated by the function f(x) = x 3. Find all the fixed points of f and determine the type of their

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

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 Real Analysis The Henstock-Kurzweil Integral

Math Real Analysis The Henstock-Kurzweil Integral Math 402 - Real Analysis The Henstock-Kurzweil Integral Steven Kao & Jocelyn Gonzales April 28, 2015 1 Introduction to the Henstock-Kurzweil Integral Although the Rieann integral is the priary integration

More information

Math 117: Honours Calculus I Fall, 2002 List of Theorems. a n k b k. k. Theorem 2.1 (Convergent Bounded) A convergent sequence is bounded.

Math 117: Honours Calculus I Fall, 2002 List of Theorems. a n k b k. k. Theorem 2.1 (Convergent Bounded) A convergent sequence is bounded. Math 117: Honours Calculus I Fall, 2002 List of Theorems Theorem 1.1 (Binomial Theorem) For all n N, (a + b) n = n k=0 ( ) n a n k b k. k Theorem 2.1 (Convergent Bounded) A convergent sequence is bounded.

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

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

L p Spaces and Convexity

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

More information

x y More precisely, this equation means that given any ε > 0, there exists some δ > 0 such that

x y More precisely, this equation means that given any ε > 0, there exists some δ > 0 such that Chapter 2 Limits and continuity 21 The definition of a it Definition 21 (ε-δ definition) Let f be a function and y R a fixed number Take x to be a point which approaches y without being equal to y If there

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

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

Analysis/Calculus Review Day 2

Analysis/Calculus Review Day 2 Analysis/Calculus Review Day 2 AJ Friend ajfriend@stanford.edu Arvind Saibaba arvindks@stanford.edu Institute of Computational and Mathematical Engineering Stanford University September 20, 2011 Continuity

More information

MATH 409 Advanced Calculus I Lecture 16: Mean value theorem. Taylor s formula.

MATH 409 Advanced Calculus I Lecture 16: Mean value theorem. Taylor s formula. MATH 409 Advanced Calculus I Lecture 16: Mean value theorem. Taylor s formula. Points of local extremum Let f : E R be a function defined on a set E R. Definition. We say that f attains a local maximum

More information

8 Further theory of function limits and continuity

8 Further theory of function limits and continuity 8 Further theory of function limits and continuity 8.1 Algebra of limits and sandwich theorem for real-valued function limits The following results give versions of the algebra of limits and sandwich theorem

More information

Math 5210, Definitions and Theorems on Metric Spaces

Math 5210, Definitions and Theorems on Metric Spaces Math 5210, Definitions and Theorems on Metric Spaces Let (X, d) be a metric space. We will use the following definitions (see Rudin, chap 2, particularly 2.18) 1. Let p X and r R, r > 0, The ball of radius

More information

MA304 Differential Geometry

MA304 Differential Geometry MA304 Differential Geoetry Hoework 4 solutions Spring 018 6% of the final ark 1. The paraeterised curve αt = t cosh t for t R is called the catenary. Find the curvature of αt. Solution. Fro hoework question

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

7 About Egorov s and Lusin s theorems

7 About Egorov s and Lusin s theorems Tel Aviv University, 2013 Measure and category 62 7 About Egorov s and Lusin s theorems 7a About Severini-Egorov theorem.......... 62 7b About Lusin s theorem............... 64 7c About measurable functions............

More information

APPROXIMATION BY GENERALIZED FABER SERIES IN BERGMAN SPACES ON INFINITE DOMAINS WITH A QUASICONFORMAL BOUNDARY

APPROXIMATION BY GENERALIZED FABER SERIES IN BERGMAN SPACES ON INFINITE DOMAINS WITH A QUASICONFORMAL BOUNDARY NEW ZEALAND JOURNAL OF MATHEMATICS Volue 36 007, 11 APPROXIMATION BY GENERALIZED FABER SERIES IN BERGMAN SPACES ON INFINITE DOMAINS WITH A QUASICONFORMAL BOUNDARY Daniyal M. Israfilov and Yunus E. Yildirir

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

QF101: Quantitative Finance August 22, Week 1: Functions. Facilitator: Christopher Ting AY 2017/2018

QF101: Quantitative Finance August 22, Week 1: Functions. Facilitator: Christopher Ting AY 2017/2018 QF101: Quantitative Finance August 22, 2017 Week 1: Functions Facilitator: Christopher Ting AY 2017/2018 The chief function of the body is to carry the brain around. Thomas A. Edison 1.1 What is a function?

More information

Exercise 1. Let f be a nonnegative measurable function. Show that. where ϕ is taken over all simple functions with ϕ f. k 1.

Exercise 1. Let f be a nonnegative measurable function. Show that. where ϕ is taken over all simple functions with ϕ f. k 1. Real Variables, Fall 2014 Problem set 3 Solution suggestions xercise 1. Let f be a nonnegative measurable function. Show that f = sup ϕ, where ϕ is taken over all simple functions with ϕ f. For each n

More 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

Math 141: Section 4.1 Extreme Values of Functions - Notes

Math 141: Section 4.1 Extreme Values of Functions - Notes Math 141: Section 4.1 Extreme Values of Functions - Notes Definition: Let f be a function with domain D. Thenf has an absolute (global) maximum value on D at a point c if f(x) apple f(c) for all x in D

More information

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Spring

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Spring c Dr Oksana Shatalov, Spring 2016 1 3 FUNCTIONS 3.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from A to B is a rule that assigns to each element in the set

More information

1 Bounding the Margin

1 Bounding the Margin COS 511: Theoretical Machine Learning Lecturer: Rob Schapire Lecture #12 Scribe: Jian Min Si March 14, 2013 1 Bounding the Margin We are continuing the proof of a bound on the generalization error of AdaBoost

More information

MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005

MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005 MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005 1. True or False (22 points, 2 each) T or F Every set in R n is either open or closed

More information

Chapter 2: Functions, Limits and Continuity

Chapter 2: Functions, Limits and Continuity Chapter 2: Functions, Limits and Continuity Functions Limits Continuity Chapter 2: Functions, Limits and Continuity 1 Functions Functions are the major tools for describing the real world in mathematical

More information

Certain Subalgebras of Lipschitz Algebras of Infinitely Differentiable Functions and Their Maximal Ideal Spaces

Certain Subalgebras of Lipschitz Algebras of Infinitely Differentiable Functions and Their Maximal Ideal Spaces Int. J. Nonlinear Anal. Appl. 5 204 No., 9-22 ISSN: 2008-6822 electronic http://www.ijnaa.senan.ac.ir Certain Subalgebras of Lipschitz Algebras of Infinitely Differentiable Functions and Their Maxial Ideal

More information

The degree of a typical vertex in generalized random intersection graph models

The degree of a typical vertex in generalized random intersection graph models Discrete Matheatics 306 006 15 165 www.elsevier.co/locate/disc The degree of a typical vertex in generalized rando intersection graph odels Jerzy Jaworski a, Michał Karoński a, Dudley Stark b a Departent

More information

MATS113 ADVANCED MEASURE THEORY SPRING 2016

MATS113 ADVANCED MEASURE THEORY SPRING 2016 MATS113 ADVANCED MEASURE THEORY SPRING 2016 Foreword These are the lecture notes for the course Advanced Measure Theory given at the University of Jyväskylä in the Spring of 2016. The lecture notes can

More information

Solutions 1. Introduction to Coding Theory - Spring 2010 Solutions 1. Exercise 1.1. See Examples 1.2 and 1.11 in the course notes.

Solutions 1. Introduction to Coding Theory - Spring 2010 Solutions 1. Exercise 1.1. See Examples 1.2 and 1.11 in the course notes. Solutions 1 Exercise 1.1. See Exaples 1.2 and 1.11 in the course notes. Exercise 1.2. Observe that the Haing distance of two vectors is the iniu nuber of bit flips required to transfor one into the other.

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

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

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall c Dr Oksana Shatalov, Fall 2016 1 3 FUNCTIONS 3.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from the set A to the set B is a correspondence that assigns to

More information

Weak convergence. Amsterdam, 13 November Leiden University. Limit theorems. Shota Gugushvili. Generalities. Criteria

Weak convergence. Amsterdam, 13 November Leiden University. Limit theorems. Shota Gugushvili. Generalities. Criteria Weak Leiden University Amsterdam, 13 November 2013 Outline 1 2 3 4 5 6 7 Definition Definition Let µ, µ 1, µ 2,... be probability measures on (R, B). It is said that µ n converges weakly to µ, and we then

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

Quick Tour of the Topology of R. Steven Hurder, Dave Marker, & John Wood 1

Quick Tour of the Topology of R. Steven Hurder, Dave Marker, & John Wood 1 Quick Tour of the Topology of R Steven Hurder, Dave Marker, & John Wood 1 1 Department of Mathematics, University of Illinois at Chicago April 17, 2003 Preface i Chapter 1. The Topology of R 1 1. Open

More information

MATH 409 Advanced Calculus I Lecture 11: More on continuous functions.

MATH 409 Advanced Calculus I Lecture 11: More on continuous functions. MATH 409 Advanced Calculus I Lecture 11: More on continuous functions. Continuity Definition. Given a set E R, a function f : E R, and a point c E, the function f is continuous at c if for any ε > 0 there

More information

Exercises from other sources REAL NUMBERS 2,...,

Exercises from other sources REAL NUMBERS 2,..., Exercises from other sources REAL NUMBERS 1. Find the supremum and infimum of the following sets: a) {1, b) c) 12, 13, 14, }, { 1 3, 4 9, 13 27, 40 } 81,, { 2, 2 + 2, 2 + 2 + } 2,..., d) {n N : n 2 < 10},

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

CONTINUITY AND DIFFERENTIABILITY ASPECTS OF METRIC PRESERVING FUNCTIONS

CONTINUITY AND DIFFERENTIABILITY ASPECTS OF METRIC PRESERVING FUNCTIONS Real Analysis Exchange Vol. (),, pp. 849 868 Robert W. Vallin, 229 Vincent Science Hall, Slippery Rock University of PA, Slippery Rock, PA 16057. e-mail: robert.vallin@sru.edu CONTINUITY AND DIFFERENTIABILITY

More information

Walker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015

Walker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015 Problem 1. Take any mapping f from a metric space X into a metric space Y. Prove that f is continuous if and only if f(a) f(a). (Hint: use the closed set characterization of continuity). I make use 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

Machine Learning Basics: Estimators, Bias and Variance

Machine Learning Basics: Estimators, Bias and Variance Machine Learning Basics: Estiators, Bias and Variance Sargur N. srihari@cedar.buffalo.edu This is part of lecture slides on Deep Learning: http://www.cedar.buffalo.edu/~srihari/cse676 1 Topics in Basics

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

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

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

More information

CHAPTER 3: CONTINUITY ON R 3.1 TWO SIDED LIMITS

CHAPTER 3: CONTINUITY ON R 3.1 TWO SIDED LIMITS CHAPTER 3: CONTINUITY ON R 3.1 TWO SIDED LIMITS DEFINITION. Let a R and let I be an open interval contains a, and let f be a real function defined everywhere except possibly at a. Then f(x) is said to

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

5. Some theorems on continuous functions

5. Some theorems on continuous functions 5. Some theorems on continuous functions The results of section 3 were largely concerned with continuity of functions at a single point (usually called x 0 ). In this section, we present some consequences

More information

Austin Mohr Math 704 Homework 6

Austin Mohr Math 704 Homework 6 Austin Mohr Math 704 Homework 6 Problem 1 Integrability of f on R does not necessarily imply the convergence of f(x) to 0 as x. a. There exists a positive continuous function f on R so that f is integrable

More information

Definition: For nonempty sets X and Y, a function, f, from X to Y is a relation that associates with each element of X exactly one element of Y.

Definition: For nonempty sets X and Y, a function, f, from X to Y is a relation that associates with each element of X exactly one element of Y. Functions Definition: A relation is a correspondence between two sets. If x and y are two elements in these sets and if a relation exists between x and y, then we say that x corresponds to y or that y

More information

Logical Connectives and Quantifiers

Logical Connectives and Quantifiers Chapter 1 Logical Connectives and Quantifiers 1.1 Logical Connectives 1.2 Quantifiers 1.3 Techniques of Proof: I 1.4 Techniques of Proof: II Theorem 1. Let f be a continuous function. If 1 f(x)dx 0, then

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

(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε

(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε 1. Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional

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