Selected Solutions. where cl(ω) are the cluster points of Ω and Ω are the set of boundary points.

Size: px
Start display at page:

Download "Selected Solutions. where cl(ω) are the cluster points of Ω and Ω are the set of boundary points."

Transcription

1 Selected Solutions Section 9 (Open and Closed Sets) 9K. Let Ω R p. The original problem asks: Show a point belongs to Ω if and only if it is an interior point. Let nt(ω) be the set of all interior point of Ω. We show Ω = nt(ω) = Ω\ Ω, where Ω are the set of all boundary points of Ω. t follows from this that R p = Ω Ω Ext(Ω), where Ext(Ω) is the set of all exterior points of Ω. Solution. Recall Ω = α G α, where G α is any set contained in Ω. Suppose x Ω. Then x α G α, and so x G α some α. Since G α Ω is open, x is an interior point of Ω. That is, Ω nt(ω). Conversely, suppose x nt(ω). Then r > 0 exists so that B r (x) Ω. Since B r (x) is open, B r (Ω) α G α = Ω, and x Ω. t follows nt(ω) Ω. The first equality follows. By definition of the interior points of Ω, the second equality follows. 9M. The original problem asks: Show a point belongs to Ā if and only if it is either an interior or a boundary point of A. Let Ω R p. We show Ω = Ω Ω = Ω Ω = Ω cl(ω), where cl(ω) are the cluster points of Ω and Ω are the set of boundary points. Solution. Recall Ω = α F α where F α is any closed set containing Ω. To show the first equality, suppose x Ω Ω. Then x must be an exterior point of Ω. That is, r > 0 exists so that B r (x) Ω C, where Ω C = R p \Ω. t follows Ω B r (x) C. Since B r (x) C is a closed set containing Ω, Ω = α F α B r (x) C. This means B r (x) is completely contained in Ω C. Thus x is an exterior point of Ω. That is, x Ω. The contrapositive of this statement is, if x Ω, then x Ω Ω. That is, Ω Ω Ω. Conversely, suppose x Ω Ω. We have to show x F α for all closed sets F α containing Ω. Suppose x Fα C with Ω F α. Then Fα C ΩC. Since Fα C is open, this implies x is an exterior point of Ω. The contrapositive of this is, if x is not an exterior point of Ω, then x F α for all closed sets containing Ω. That is, Ω Ω Ω. The first equality follows. Problem 9K shows Ω = Ω\ Ω. Thus Ω Ω = Ω Ω. The second equality follows. To show the last equality, suppose x Ω Ω. f x Ω, there is noting to show. f x Ω but x Ω, then every neighborhood of x contains a point in Ω and a distinct point, x, not in Ω. That is, x cl(ω) and Ω Ω Ω cl(ω). Conversely, suppose x Ω cl(ω). Again if x Ω, there is nothing to show. f x cl(ω) but x Ω, then every neighborhood of x contains a point in Ω and a point not in Ω, and so x Ω. That is, Ω cl(ω) Ω Ω. The third equality follows. 1

2 Section 11 (Compact Sets) 11C. Prove directly that, if K R p is compact and F K is closed, then F is compact. Solution. Let {G α } be a family of open sets covering F. That is, F α G α. Since F is closed F C is open. Note that K ( α G α ) F C. Since K is compact, K is covered by a finite number of these sets. That is, K ( N i=1 G i) F c for some N N. Since F K, F ( N i=1 G i) F c. However, since F and F C are disjoint, F N i=1 G i, and F is compact. 2

3 Section 12 (Connected Sets) 12B. Suppose C R p is connected and x cl(c). Then C {x} is connected. Solution. As usual we suppose that C = C {x} is disconnected. Then open sets A and B exists so that A C and B C are nonempty, disjoint, and have union C. We show this implies C is disconnected - a contradiction. f x C, then C = C and we immediately conclude C is disconnected and we have our contradiction. Suppose x C. The x is in either A or B. Suppose, without loss of generality, x A. Since A is open and x cl(c), A contains a points in C, and so A C. Since A C and B C are disjoint x B. Thus B C = B C. So far we have Since x A C and x B C, we conclude (A C ) (B C ) = (A C ) (B C) = C. (A C) (B C) = C, and A, B provide the disconnection and the needed contradiction. 12BC. (Not in Book) Suppose {E α } α, where is an index set, are connected for all α and that E α. Then α is connected. α α E Solution. To simplify the notation set E = α E α. Suppose E is not connected. Then open sets A, B exists so that A E and B E are nonempty, disjoint, and have union E. Of course we seek a contradiction. The idea is to show A and B separate E into two components-contradicting the existence of a point common to all E α. Claim #1. With A and B as above, for any α, (A E α ) (B E α ) = E α. Regardless if the E α are connected or not. Proof. For any sets A, B, and E α, (A E α ) (B E α ) E α. f this were a proper subset, then x E α would exist so that x A and x B, but this contradicts x (A E) (B E) = E, and so (A E α ) (B E α ) = E α. Claim #2. With A and B as above, for any α, either A E α = or B E α = but not both. Moreover, for each α, either E α A or E α B but not both. Proof. Here we need that the E α are connected. ndeed, suppose for some index α both A E α and B E α were nonempty. From the previous claim we still have (A E α ) (B E α ) = E α. Moreover, the assumptions on A and B imply that A E α and B E α are disjoint. Thus A and B provide a disconnection of E α - a contradiction. The other statement in the claim now follows. Now weare in alogical bind. Since α E α, thereis a x E α for all α. Thiscontradicts Claim #2, and so no such disconnection of E exists. Thus E is connected. 3

4 12C. The original problem asks: if C R p is connected, show C is connected. We show, assuming C is connected, that any set E satisfying is connected. C E C Solution. From Problem 12B we know C {x} is connected if C is and x is a cluster point of C. So let E α = {C {α} α cl(c)}. Then each E α is connected by Problem 12B. Problem 12BC above applies and any union of the E α are connected. But the set E in the theorem has this form (by Problem 9M). 12H. Show the set is connected. Solution. We first consider the set Ω = {(x,y) 0 < y x 2,x 0} {(0,0)} E = {(x,y) 0 < y < x 2,x > 0}. This set is open so we apply Theorem 12.7 in the book. Specifically, we show E is polygonally connected. Let (x 1,y 1 ) and (x 2,y 2 ) be any two points in E. There are two possibilities: x 1 = x 2. We also assume without loss of generality y 1 < y 2. n this case L = {(x 1,y 1 +t(y 2 y 1 )) 0 t 1} is a line segment joining (x 1,y 1 ) and (x 1,y 2 ). The end points must satisfy, 0 < y 1 < x 2 1 and 0 < y 2 < x 2 1. We need to check y < x2 for all points in L. Under our assumptions, for any 0 t 1, 0 < y 1 y 1 +t(y 2 y 1 ) = y y 2 < x 2 2 = x. That is, y < x 2 for all 0 t 1, and hence, for all points in L. Suppose x 1 x 2. Then, without loss of generality, we may assume x 1 < x 2. n this case we connect (x 1,y 1 ) and (x 2,y 2 ) with two lines. We set L 1 = {(x 1 +t(x 2 x 1 ),y 1 ) 0 t 1}, L 2 = {(x 2,y 1 +t(y 2 y 1 )) 0 t 1}. We note the end point of L 1, (x 2,y 1 ), is the same as the beginning point of L 2. To show L 1 E we have to show y < x 2 for each point in L 1 (i.e. for each 0 t 1). We have y = y 1 < x 2 1 [x 1 +t(x 2 x 1 )] 2 x 2 2, and so y < x 2 for all (x,y) L 1. The treatment of L 2 is exactly as in the first case above. 4

5 Theorem 12.7 applies and E is connected. Next we apply Problem 12C. We may add as many cluster points of E as we like and the resulting set is still connected. Thus E r = {(x,y) 0 < y x 2,x 0} {0,0)} is connected. By symmetry (or following the same arguments) the set E l = {(x,y) 0 < y x 2,x 0} {0,0)} is connected. Finally, we apply Problem 12BC (made up problem above). We have E l E r = {0,0} and so Ω = E l E r is connected. To show Ω is not polygonally connected consider the point (0,0) and any other point (x,y), x > 0 in Ω. Any line segment through the origin must have the form y = mx for some m > 0. (f m 0, we see the line segment is not in Ω.) For such a line segment to be in Ω we need y = mx x 2 for x > 0. This requires x(x m) > 0 for x > 0. This inequality is seen to be false for any 0 < x < m, and so the line y = mx exits the parabola for all positive slopes m. Thus Ω is not polygonally connected. 5

6 Section 21 (Linear Functions) 12L. Suppose f L(R p,r q ), the space of linear functions. Define the operator norm to be Show that (a) f pq is a norm, (b) f(x) f pq x for all x R p. f pq = sup f(x). x 1 Solution. We need to check Definition 8.5 on Page 54. Since f(x) 0 for all x R p, f pq 0 and (i) is verified. f f pq = 0, then f(x) = 0 for all x 1. Let z R p and not zero. Then z z has norm one and so ( ) 0 = z f = 1 z z f(z). That is, f(z) = 0 for all z R p, and so f = 0. This verifies (ii) in Definition 8.5. Note, for a R, af pq = sup af(x) = sup a f(x) = a sup f(x) = a f pq. x 1 x 1 x 1 This verifies (iii). Finally note f +g pq = sup f(x)+g(x) x 1 sup ( f(x) + g(x) ) x 1 sup f(x) + sup g(x) x 1 x 1 = f pq + g pq, and f pq is a norm. x To prove (b), note that for any nonzero x R, x has norm one. By definition of supremum ( ) x f f pq. x By the linear properties of f this is the same as f(x) f pq x. This is (b). 6

7 12L. Suppose f L(R p,r q ), the space of linear functions. Set E 1 = { f(x) x 1}, E 2 = { f(x) x = 1}, E 3 = {M f(x) M x, x R p }. Prove supe 1 = supe 2 = infe 3. Solution. These sets are nonempty and, since q f(x) i=1 j=1 p c 2 ij x, each set is bounded above and bounded below by zero. Thus all three have a supremum and an infimum. We set f pq = supe 1, α = supe 2, and β = infe 3. We claim f pq = α = β. To see f pq = α, we have, since E 2 E 1, α f pq. However, ( ) 1 sup f(x) sup f(x) = sup x x 1 x 1 x f = sup f(x). x 1 x x =1 This implies f pq α, and so f pq = α. To see α = β, we note E 3 is the same as E 3 = {M f(x) M, x = 1} by the linearity properties of f. By the definition of supremum we have α = β. Proof #2 Here is a proof not involving the set E 2. Since, by the previous problem, f(x) f pq x, we must have β f pq. Let M E 3. Then, for any x 1, we have f(x) M x M, and so M is an upper bound for E 1. By definition of supremum f pq M. This means f pq is a lower bound for the set E 3. Hence, f pq β, and so β = f pq. 21O. Give an example of linear map in L(R p,r q ) such that q p f pq < c 2 ij. i=1 j=1 Solution. We claim (as an exercise) f pq is equal to the square root of the double sum when p = 1 or q = 1 or p = q = 1. Suppose p 2 and q 2. Set c 11 = 1 and c 22 = 1 and c ij = 0 otherwise. Then f pq = 1 while the square root of the double sum is 2. 7

8 Section 22 (Global Properties of Continuous Functions) 22F. A set Ω R p is disconnected if and only if there exists a continuous function f : Ω R such that f(ω) = {0,1}. Solution. Suppose Ω is disconnected. Then open sets A and B provide a disconnection of Ω. Set { 0 x A Ω f(x) = 1 x B Ω. An application of Theorem 22.1, the global continuity theorem, shows f is continuous. Alternatively, let V be any neighborhood of 0. For any x A Ω, we have f(x) V. A similar statement holds for any neighborhood of 1. Since Ω = (A Ω) (B Ω), f is continuous on Ω. Conversely, suppose f is continuous and f(ω) = {0, 1}. We could apply the contrapositive of Theorem 22.3-the preservation of connectedness. Since {0, 1} is readily seen to be disconnected, Ω must be disconnected. Alternatively, by the global continuity theorem, f(( 1/2, 1/2)) = A Ω for some open set A. Similarly, f((1/2,3/2)) = B Ω for some open B. By the definition of a function A Ω and B Ω must be disjoint. Thus A and B form a disconnection of Ω. 8

9 Section 39 (The Derivative) 39H. Let f : R 2 R 2 be given by F(x,y) = (x 2 +x 2 sin 1x,y ) x 0, = (0,y) x = 0. Show that D 1 F exists at every point and that D 2 F exists and is continuous in a neighborhood of (0,0). Show that F is Fréchet differentiable at (0,0). Solution. Since F is vector valued, we need only check each component. Set F = (F 1,F 2 ). We calculate D 1 F 1 (0,0) = lim t 0 F 1 (t,0) F 1 (0,0) t = lim t 0 t+tsin(1/t) = 0. By the algebra of differentiable functions and the one-dimensional chain rule, D 1 F exists for all (x,y) R 2. We easily see D 1 F 2 = 0, and D 2 F 2 = 1 for all x,y. Thus both are continuous on R 2. We do not have enough to apply Theorem However since the Gâtaux derivatives exists, we must have, if the Fréchet derivative exists, D u F(0,0) = DF(0,0)(u). The above calculations show that, if the Fréchet exists, it must represented by the 2 2 matrix ( ) 0 0 DF(0,0) =. 0 1 Now we just check F(u 1,u 2 ) F(0,0) DF(0,0)(u) = (u 2 1 (1+sin(1/u 1)),0) u 2 1 (u 1,u 2 ) 2. Thus, we take δ = ǫ in the definition of the derivative and we see F is Fréchet differentiable at (0,0). 9

10 39T. Let Ω R p and f : Ω R be such that D 1 f,d 2 f,...d p f exist and are bounded on some neighborhood of c Ω. Show f is continuous at c. Solution. Here is a proof when p = 2. Applying the one-dimensional mean-value theorem, we find in the given neighborhood, f(x,y) f(c 1,c 2 ) f(x,y) f(x 1,y) + f(c 1,y) f(c 1,c 2 ) = f x (c 1,y)(x c 1 ) + f y (c 1,c 2)(y c 2 ) M 1 x c 1 +M 2 y c 2 2max{M 1,M 2 } x c, where c 1 is between x and c 1, c 2 is between y and c 2, and M 1, M 2 are the bounds on the partial derivatives. This shows f is continuous at c.. 39U. Let Ω R 2 and f : Ω R. Suppose D 1 f exists and is continuous on a neighborhood of c and that D 2 f exists at c Ω. Show f is Fréchet differentiable at c. Solution. The quantity we must show is small is f(x,y) f(c 1,c 2 ) D 1 f(c)(x c 1 ) D 2 f(c)(y,c 2 ) f(x,y) f(c 1,y) D 1 f(c)(x c 1 ) + f(c 1,y) f(c 1,c 2 ) D 2 f(c)(y c 2 ). On the first term on the right we apply the mean-value theorem to find ( ) f(x,y) f(c 1,y) D 1 f(c)(x c 1 ) D 1 f(c 1,y) D 1f(c 1,c 2 ) (x c 1 ) D 1 f(c 1,y) D 1f(c 1,c 2 ) x c 1, where c 1 (y) is between x and c 1. Given any ǫ > 0, the continuity of D 1 implies the existence of a δ 1 > 0 such that for all x c < δ 1, D 1 f(c 1,y) D 1f(c 1,c 2 ) < ǫ/2. To deal with the second term above, set u = e 2, t = y c 2 in the definition of D 2 f(c). Then δ 2 > 0 exists so that f(c+tu) f(c) D 2 f(c) t < ǫ/2 for all 0 < t < δ 2. This is the same as (even if t < 0), f(c 1,y) f(c 1,c 2 ) D 2 f(c) y c 2 < ǫ/2 for y c 2 < δ 2. Set δ = min{δ 1,δ 2 }. Returning to our first inequality, for x c < δ, f(x,y) f(c 1,c 2 ) D 1 f(c)(x c 1 ) D 2 f(c)(y,c 2 ) < ǫ 2 x c 1 + ǫ 2 y c 2 ǫ 2 2 x c < ǫ x c and the result follows. 10

11 Section 40 (The Chain Rule and MVT) 40H. Let f,g : Ω R q and c Ω with f and g differentiable at c. Set h(x) = f(x) g(x). Show h is differentiable and for all u R p. Solution. We have to estimate Dh(c)u = (Df(c)(u)) g(c)+(dg(c)(u)) f(c) f(c+u) g(c+u) f(c) g(c) ( ) f(c) Dg(c)(u)+g(c) Df(c)(u). By adding and subtracting appropriate terms we may write this as the sum of the two terms ( ) ( ) f(c+u) g(c+u) g(c) Dg(c)(u) + f(c+u) f(c) Dg(c)(u) and ( ) g(c) f(c+u) f(c) Df(c)(u). Let ǫ > 0. We have to estimate each term in these two terms. We do them in order. Since f is Fréchet differentiable at c, it is continuous at c. By setting ǫ = 1 in the definition of continuity, we can conclude f is bounded in a neighborhood of c. Thus δ 1 > 0, M 1 > 0 exist so that f(c + u) M for all u < δ 1. Since g is Fréchet differentiable at c, δ 2 > 0 exists so that g(c+u) g(c) Dg(c)(u) < ǫ u for all u < δ 2. Continuity of f implies δ 3 > 0 exists so that f(c + u) f(c) < ǫ for all u < δ 3. Moreover, Dg(c)(u) Dg(c) pq u. Finally, δ 4 > 0 exists so that f(c + u) f(c) Df(c)(u) < ǫ u for all u < δ 4. Set δ = min{δ 1,δ 2,δ 3,δ 4 }. Then, for u < δ, f(c+u) g(c+u) f(c) g(c) ( f(c) Dg(c)(u)+g(c) Df(c)(u)) Mǫ u +ǫ Dg(c) pq u + g(c) ǫ u = ǫ(m + Dg(c) pq + g(c) ) u. The result follows. 11

12 Section 41 (Mapping Theorems and mplicit Functions) 41J. Let h : R R be given by h(x) = { x+2x 2 sin 1 x x 0 0 x = 0. Show h does not belong to C 1 (R) and that h is not injective on any neighborhood of 0. However, h is surjective on a neighborhood of 0 and Dh(0) is invertible. Solution. One calculates using the definition of a derivative that h (0) = 1. For x 0 h is easy to calculate and we find h (x) = 1+4xsin 1 x 2cos 1 x. We see h is not continuous at the origin since h (x) does not have a limit as x approaches the origin. To see h is not injective on any neighborhood of the origin let B ǫ (0) be any ǫ-neighborhood of the origin. Choose n so large that 1 π 2 +2πn < 1 2πn < ǫ. Note that ) while h ( 1 π 2 +2πn = 1+ 4 π 2 +2πn > 0 ( ) 1 h = 1 2 < 0. 2πn Since h is continuous for x > 0, the intermediate-value theorem applies x 0 exists between these two points so that h (x 0 ) = 0. Together these indicate x 0 is a relative minimum. This implies h is not injective near x 0, and hence, h is not injective on any neighborhood of the origin. Next we show a neighborhood of the origin exists where h is surjective. Note that, for x 1, sin(1/x) > 0, and so h(x) x for such x. Similarly, for x 1, sin(1/x) < 0, and so h(x) x for x 1. By the intermediate-value theorem h takes on all values between [ 1,1] and so, h is onto the neighborhood ( 1, 1). 41L. Let L L(R p,r p ). Prove (a) Suppose L 0 is invertible and L L 0 is sufficiently small. Show L is invertible. (b) Again suppose L 0 is invertible. Show that the map L L 1 is continuous in a neighborhood of L 0. (c) f F : Ω R p with Ω R p open, f C 1 (Ω), and, for some c Ω, Df(c) is invertible, show Df(x) is invertible in some neighborhood of c. Solution. Suppose L 1 0 exists. Recall that a linear operator in invertible if and only if m 0 > 0 exists so that x m 0 L 0 (x). 12

13 We have We require L 0 L op 1/(2m 0 ). Then x m 0 L 0 (x) ) m 0 ( (L 0 L)(x) + L(x) m 0 L 0 L op x +m 0 L(x). x 2m 0 L(x), and Part (a) follows. To prove Part (b) we set f(l) = L 1. We need to show f is continuous near L 0. We know from Part (a) that, if L B 1 (L 0 ), it is invertible. Let L 1 and L 2 be two such operators, and 2m 0 let y R p. We need to show we can make L 1 1 (y) L 1 2 (y) small for L 1 L 2 op small enough. Set x 1 = L 1 1 y and x 2 = L 1 2 y so that L(x 1) = L 2 (x 2 ). Since L 1 is invertible, we have, for some m 1 > 0, This implies x 1 x 2 m 1 L 1 (x 1 x 2 ) m 1 L 1 (x 1 ) L 1 (x 2 )+L 2 (x 2 ) L 2 (x 2 ) m 1 (L 1 L 2 )(x 2 ) m 1 L 1 L 2 op x 2 m 1 L 1 L 2 op L 1 2 op y. L 1 1 L 1 2 op m 1 L 1 2 op L 1 L 2 op. This shows that, in fact, the map f(l) = L 1 is uniformly continuous on B 1 (L 0 ). 2m 0 For Part (c) we can apply Part (a). We just need to show we can make Df(x) Df(c) op small as we need. Since f C 1 (Ω) we may compute the Fréchet derivatives using partial derivatives. So Df(x) Df(c) 2 op is bounded by the square of the sums of terms like D i f j (x) D i f j (c) which can be made small by the continuity of the derivatives. 41S Suppose f : R 2 R is C 1 (R 2 ). Show that f is not injective on any open set in R 2. Solution Let Ω be any open set and suppose D 1 f(c) 0 for some c Ω. Set F : R 2 R 2 to be The Fréchet derivative is F(x,y) = (f(x,y),y). DF(x) = ( fx f y 0 1 Our assumptions imply DF(c) is surjective. Thus the surjective mapping theorem applies and F is onto in a neighborhood of F(c). Let (u,v 1 ) and (u,v 2 ) with v 1 v 2 and both points in a neighborhood of F(c) where F is guaranteed to be surjective by the surjective mapping theorem. ). 13

14 Thus (x 1,y 1 ) and (x 2,y 2 ) exist in a neighborhood of c such that F(x 1,y 1 ) = (u,v 1 ) and F(x 2,y 2 ) = (u,v 2 ). That is, F(x 1,y 1 ) = (u,v 1 ) = (f(x 1,y 2 ),y 1 ), F(x 2,y 2 ) = (u,v 2 ) = (f(x 1,y 2 ),y 2 ). t follows f(x 1,y 1 ) = f(x 2,y 2 ) while (x 1,y 1 ) (x 2,y 2 ) and f is not injective. f D 1 f = 0 on some open set of R 2, then applying the mean-value theorem along the x axis we see f does not depend on x and again f is not injective. 41S Supposeg : R R 2 is C 1 (R). Show that if c R, thentherestriction of g toany neighborhood of c is not a surjective map onto a neighborhood of g(c). Solution Let g(x) = (g 1 (x),g 2 (x)) and suppose D 1 g 1 (c) 0. Set G : R 2 R 2 to be G(x,y) = (g 1 (x),g 2 (x)+y). The Fréchet derivative is DG(x,y) = ( g 1 (x) 0 g 2 (x) 1 Our assumptions imply DG(c, 0) is injective. Thus the injective mapping theorem applies and we see G is injective in a neighborhood of (c,0) to a neighborhood of G(c,0). The proof g is not surjective is by contradiction. Suppose g is onto in a neighborhood of g(c) and G is injective on this neighborhood. Let us denote the neighborhood B r (g(c)). Let (u,v) B r (g(c)). We can perturb v some and still remain in this neighborhood. That is, v+η B r (g(c)) for some real η 0. Then x 1 exists so that g(x 1 ) = (u,v) or G(x 1,0) = (u,v) and G(x 1,η) = (u,v +η). Since we are assuming g is a surjective, a x 2 exists so that g(x 2 ) = (u,v +η). That is, G(x 1,η) = G(x 2,0). This implies G is not injective - a contradiction, and so g must not be surjective. f g 1 (c) = 0 but g 2 (c) 0, we can change G(x,y) = (g 1+y,g 2 ) and reach the same conclusions. Thus suppose D 1 g(c) = 0. ). 14

15 Section 43 (The ntegral in R p ) 43L. Let Ω R p be bounded and, J be two cells such that Ω J. Suppose f : Ω R is bounded and f = f if x Ω and zero otherwise. Show that in integral of f over exists if and only if the integral of f J over J exists, in which case the integrals are equal. Solution. Suppose f is integrable over. Let ǫ > 0. Then a partition of exists so that U(P,f ) L(P,f ) < ǫ. We need to construct an appropriate partition for J. Suppose = [a 1,b 1 ] [a 2,b 2 ] [a p,b p ], J = [a 1,b 1 ] [a 2,b 2 ] [a p,b p ] By definition the partition P is constructed by taking cross products of the partitions of [a k,b k ] for 1 k p. Since J, we have a k a k < b k b k. n this case we simply add the two points a k and b k to the partition for [a k,b k ] and for k = 1,...,p and call this partition Q. We denote the cells in Q by {J i } N i=1. Let A = {i J i Ω = } and B = {i J i Ω }. Then U(Q,f J ) = N M i (f J )c(j i ) i=1 = A M i (f J )c(j i )+ B M i (f J )c(j i ) = 0+ B M i (f )c(j i ) = A M i (f )c(j i )+ B M i (f )c(j i ) = U(P,f ), where A are the indices where cells of P are disjoint from Ω. A similar calculation holds for the lower Darboux sums, and we conclude U(Q,f J ) L(Q,f J ) = U(P,f ) L(P,f ) < ǫ. t follows f J is integrable. To see the integrals are the same, we have, under our assumptions, ˆ ˆ U(P,f ) L(P,f ) = U(P,f ) f + f L(P,f ) < ǫ, and so, Thus ˆ J ˆ f J f = ˆ U(P,f ) ˆ ˆ J J < 2ǫ. f < ǫ. ˆ f J U(Q,f J ) + U(Q,f J ) f ˆ f J U(Q,f J ) + U(P,f ) f 15

16 This implies the two integrals are equal. Conversely, suppose f J is integrable on J. Let ǫ > 0. Then a partition Q of J exists so that U(Q,f J ) L(Q,f J ) < ǫ. This time we need to construct an appropriate partition for. By making a refinement, if necessary, we include the vertices of in the partition Q for J. Set P = Q. Then, calculations almost identical to the previous case show, U(Q,f J ) = U(P,f ), and the result follows as before. 43M. Let Ω R p be bounded and Ω i, i = 1,2 Suppose f : Ω R is bounded and f i = f if x Ω and zero otherwise. Show that in integral of f 1 over 1 exists if and only if the integral of f 2 over 2 exists, in which case the integrals are equal. Solution. Set = 1 2. Then i for i = 1,2. The previous problem show that, if either integral (over i ) exists, the integral over exists and they are equal. Thus if either integral exists, the other exists and they are equal. 43N. Let Ω R p be bounded and f : Ω R be a bounded function. Show that the choice of bounded cell, J, with Ω J does not change the value of J f J. Solution. Suppose J is any cell such that Ω J and J f J exists. f is another cell such that Ω, then Problem 43M shows f exists and equals J f J. Thus the choice of cell does not change the value of the integral. 43S. Suppose R p is a closed cell and that (f n ) is a sequence of real-valued functions which are all integrable. f the sequence converges uniformly on, show f is integrable and ˆ ˆ f n = f. lim n Solution. To show f is integrable copy the MAT 371 version and adapt it to our setting. Here is a way to show the convergence without using any algebra of integration. Let ǫ > 0 be given. Then, uniform convergence implies ǫ/2 < f n (x) f(x) < ǫ/2 for all n N, all x, and some N N. Thus sup (f n (x) f(x)) ǫ/2 < ǫ for such n. We have sup(f n (x)) = sup(f n (x) f(x)+f(x)) sup(f n (x) f(x))+sup(f(x)) < ǫ+sup(f(x)), for n N. Let P be any partition of and J i be an arbitrary cell in P. Then, by increasing N if necessary, we conclude N N exists so that sup(f n (x)) sup(f(x)) < ǫ J i J i 2c() for all n N and every J i. A similar calculation starting with sup (f(x)) implies ǫ 2c() < sup (f n (x)) sup(f(x)) J i J i 16

17 for n N. That is, sup Ji (f n (x)) sup Ji (f(x)) < ǫ/(2c(j)) for all J i and n N. We have U(P,f n ) U(P,f) = M i (f n )c(j i ) M i (f)c(j i ) i i M i (f n )c(j i ) M i (f)c(j i ) i < ǫ 2. We can write this as U(P,f) ǫ 2 < U(P,f n) < U(P,f)+ ǫ 2 for all n N and all partitions P of. Taking the infimum over the partitions, we find ˆ ˆ ˆ f ǫ < f n < f +ǫ. That is, for n N, and the result follows. ˆ ˆ f n f < ǫ, 17

18 Section 44 (Content and the ntegral.) 44S. Let J R 2 and G : J R be such that D 2 D 1 G is continuous on J. Show D 1 D 2 G exists and equals D 2 D 1 G. Solution. The theorem is not true. Here is a counter example. Let D(y) be the Dirichlet function and let F(x,y) be any function in C 2 (J). Set G(x,y) = F(x,y) +D(y). Then D 1 G = D 1 F and D 2 D 1 G = D 2 D 1 F. Moreover, D 2 D 1 G is continuous. However, D 2 G does not exist. Here is a possible fix to the problem. We add the assumption G(0,y) is differentiable for all (0,y) J. Let Ω = [0,x] [0,y]. f we set H(x,y) = D 2 D 1 G(x,y). Then H is continuous on J and so H is integrable. Also both H(,y) and H(x, ) are continuous and hence 1D-integrable for each x or y. Thus we may evaluate the integral of H by an iterated integral. With the help of the Fundamental Theorem of Calculus, we find ˆ x (ˆ y ) F(x,y) := H(s,t) = H(s,t)dt ds Ω 0 ˆ x 0 ( = 0 s G(s,y) ) s G(s,0) ds = G(x,y) G(x,0) G(0,y)+G(0,0). Problem 44R shows D 1 D 2 F = D 2 D 1 F = H. t follows ) D 1 D 2 (G(x,y) G(x,0) G(0,y)+G(0,0) = D 2 D 1 G(x,y). The above calculation shows xg(x,0) exists. With our added assumption, we can calculate the left side of the previous expression, and we conclude D 1 D 2 G(x,y) = D 2 D 1 G(x,y). 18

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

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

Set, functions and Euclidean space. Seungjin Han

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

More information

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA  address: Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework

More information

1 Directional Derivatives and Differentiability

1 Directional Derivatives and Differentiability Wednesday, January 18, 2012 1 Directional Derivatives and Differentiability Let E R N, let f : E R and let x 0 E. Given a direction v R N, let L be the line through x 0 in the direction v, that is, L :=

More information

REVIEW FOR THIRD 3200 MIDTERM

REVIEW FOR THIRD 3200 MIDTERM REVIEW FOR THIRD 3200 MIDTERM PETE L. CLARK 1) Show that for all integers n 2 we have 1 3 +... + (n 1) 3 < 1 n < 1 3 +... + n 3. Solution: We go by induction on n. Base Case (n = 2): We have (2 1) 3 =

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

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

Structure of R. Chapter Algebraic and Order Properties of R

Structure of R. Chapter Algebraic and Order Properties of R Chapter Structure of R We will re-assemble calculus by first making assumptions about the real numbers. All subsequent results will be rigorously derived from these assumptions. Most of the assumptions

More information

2 Sequences, Continuity, and Limits

2 Sequences, Continuity, and Limits 2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs

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

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

Problem List MATH 5143 Fall, 2013

Problem List MATH 5143 Fall, 2013 Problem List MATH 5143 Fall, 2013 On any problem you may use the result of any previous problem (even if you were not able to do it) and any information given in class up to the moment the problem was

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

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

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

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

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

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

Iowa State University. Instructor: Alex Roitershtein Summer Homework #5. Solutions

Iowa State University. Instructor: Alex Roitershtein Summer Homework #5. Solutions Math 50 Iowa State University Introduction to Real Analysis Department of Mathematics Instructor: Alex Roitershtein Summer 205 Homework #5 Solutions. Let α and c be real numbers, c > 0, and f is defined

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 LM (24543) Lectures 02

Math LM (24543) Lectures 02 Math 32300 LM (24543) Lectures 02 Ethan Akin Office: NAC 6/287 Phone: 650-5136 Email: ethanakin@earthlink.net Spring, 2018 Contents Continuity, Ross Chapter 3 Uniform Continuity and Compactness Connectedness

More information

THE INVERSE FUNCTION THEOREM

THE INVERSE FUNCTION THEOREM THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)

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

CHAPTER 6. Limits of Functions. 1. Basic Definitions

CHAPTER 6. Limits of Functions. 1. Basic Definitions CHAPTER 6 Limits of Functions 1. Basic Definitions DEFINITION 6.1. Let D Ω R, x 0 be a limit point of D and f : D! R. The limit of f (x) at x 0 is L, if for each " > 0 there is a ± > 0 such that when x

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

Math 421, Homework #9 Solutions

Math 421, Homework #9 Solutions Math 41, Homework #9 Solutions (1) (a) A set E R n is said to be path connected if for any pair of points x E and y E there exists a continuous function γ : [0, 1] R n satisfying γ(0) = x, γ(1) = y, and

More information

LECTURE 6. CONTINUOUS FUNCTIONS AND BASIC TOPOLOGICAL NOTIONS

LECTURE 6. CONTINUOUS FUNCTIONS AND BASIC TOPOLOGICAL NOTIONS ANALYSIS FOR HIGH SCHOOL TEACHERS LECTURE 6. CONTINUOUS FUNCTIONS AND BASIC TOPOLOGICAL NOTIONS ROTHSCHILD CAESARIA COURSE, 2011/2 1. The idea of approximation revisited When discussing the notion of the

More information

Sample Problems for the Second Midterm Exam

Sample Problems for the Second Midterm Exam Math 3220 1. Treibergs σιι Sample Problems for the Second Midterm Exam Name: Problems With Solutions September 28. 2007 Questions 1 10 appeared in my Fall 2000 and Fall 2001 Math 3220 exams. (1) Let E

More information

1 Homework. Recommended Reading:

1 Homework. Recommended Reading: Analysis MT43C Notes/Problems/Homework Recommended Reading: R. G. Bartle, D. R. Sherbert Introduction to real analysis, principal reference M. Spivak Calculus W. Rudin Principles of mathematical analysis

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

Midterm 1 Solutions Thursday, February 26

Midterm 1 Solutions Thursday, February 26 Math 59 Dr. DeTurck Midterm 1 Solutions Thursday, February 26 1. First note that since f() = f( + ) = f()f(), we have either f() = (in which case f(x) = f(x + ) = f(x)f() = for all x, so c = ) or else

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

i c Robert C. Gunning

i c Robert C. Gunning c Robert C. Gunning i ii MATHEMATICS 218: NOTES Robert C. Gunning January 27, 2010 ii Introduction These are notes of honors courses on calculus of several variables given at Princeton University during

More information

MAT 257, Handout 13: December 5-7, 2011.

MAT 257, Handout 13: December 5-7, 2011. MAT 257, Handout 13: December 5-7, 2011. The Change of Variables Theorem. In these notes, I try to make more explicit some parts of Spivak s proof of the Change of Variable Theorem, and to supply most

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

Analysis II - few selective results

Analysis II - few selective results Analysis II - few selective results Michael Ruzhansky December 15, 2008 1 Analysis on the real line 1.1 Chapter: Functions continuous on a closed interval 1.1.1 Intermediate Value Theorem (IVT) Theorem

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

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

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

5 Integration with Differential Forms The Poincare Lemma Proper Maps and Degree Topological Invariance of Degree...

5 Integration with Differential Forms The Poincare Lemma Proper Maps and Degree Topological Invariance of Degree... Contents 1 Review of Topology 3 1.1 Metric Spaces............................... 3 1.2 Open and Closed Sets.......................... 3 1.3 Metrics on R n............................... 4 1.4 Continuity.................................

More information

4. We accept without proofs that the following functions are differentiable: (e x ) = e x, sin x = cos x, cos x = sin x, log (x) = 1 sin x

4. We accept without proofs that the following functions are differentiable: (e x ) = e x, sin x = cos x, cos x = sin x, log (x) = 1 sin x 4 We accept without proofs that the following functions are differentiable: (e x ) = e x, sin x = cos x, cos x = sin x, log (x) = 1 sin x x, x > 0 Since tan x = cos x, from the quotient rule, tan x = sin

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

EC9A0: Pre-sessional Advanced Mathematics Course. Lecture Notes: Unconstrained Optimisation By Pablo F. Beker 1

EC9A0: Pre-sessional Advanced Mathematics Course. Lecture Notes: Unconstrained Optimisation By Pablo F. Beker 1 EC9A0: Pre-sessional Advanced Mathematics Course Lecture Notes: Unconstrained Optimisation By Pablo F. Beker 1 1 Infimum and Supremum Definition 1. Fix a set Y R. A number α R is an upper bound of Y if

More information

INVERSE FUNCTION THEOREM and SURFACES IN R n

INVERSE FUNCTION THEOREM and SURFACES IN R n INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that

More information

HOMEWORK FOR , FALL 2007 ASSIGNMENT 1 SOLUTIONS. T = sup T(x) Ax A := sup

HOMEWORK FOR , FALL 2007 ASSIGNMENT 1 SOLUTIONS. T = sup T(x) Ax A := sup HOMEWORK FOR 18.101, FALL 007 ASSIGNMENT 1 SOLUTIONS (1) Given a linear map T : R m R n Define the operator norm of T as follows: T(x) T := sup x 0 x Similarly, if A is a matrix, define the operator norm

More information

1. Bounded linear maps. A linear map T : E F of real Banach

1. Bounded linear maps. A linear map T : E F of real Banach DIFFERENTIABLE MAPS 1. Bounded linear maps. A linear map T : E F of real Banach spaces E, F is bounded if M > 0 so that for all v E: T v M v. If v r T v C for some positive constants r, C, then T is bounded:

More information

M17 MAT25-21 HOMEWORK 6

M17 MAT25-21 HOMEWORK 6 M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute

More information

Chapter 3. Differentiable Mappings. 1. Differentiable Mappings

Chapter 3. Differentiable Mappings. 1. Differentiable Mappings Chapter 3 Differentiable Mappings 1 Differentiable Mappings Let V and W be two linear spaces over IR A mapping L from V to W is called a linear mapping if L(u + v) = Lu + Lv for all u, v V and L(λv) =

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

Some Background Material

Some Background Material Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important

More information

Math 127C, Spring 2006 Final Exam Solutions. x 2 ), g(y 1, y 2 ) = ( y 1 y 2, y1 2 + y2) 2. (g f) (0) = g (f(0))f (0).

Math 127C, Spring 2006 Final Exam Solutions. x 2 ), g(y 1, y 2 ) = ( y 1 y 2, y1 2 + y2) 2. (g f) (0) = g (f(0))f (0). Math 27C, Spring 26 Final Exam Solutions. Define f : R 2 R 2 and g : R 2 R 2 by f(x, x 2 (sin x 2 x, e x x 2, g(y, y 2 ( y y 2, y 2 + y2 2. Use the chain rule to compute the matrix of (g f (,. By the chain

More information

TOPOLOGY HW 2. x x ± y

TOPOLOGY HW 2. x x ± y TOPOLOGY HW 2 CLAY SHONKWILER 20.9 Show that the euclidean metric d on R n is a metric, as follows: If x, y R n and c R, define x + y = (x 1 + y 1,..., x n + y n ), cx = (cx 1,..., cx n ), x y = x 1 y

More information

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1 MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION ELEMENTS OF SOLUTION Problem 1 1. Let X be a Hausdorff space and K 1, K 2 disjoint compact subsets of X. Prove that there exist disjoint open sets U 1 and

More information

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction Copyright & License Copyright c 2007 Jason Underdown Some rights reserved. statement sentential connectives negation conjunction disjunction implication or conditional antecedant & consequent hypothesis

More information

M2PM1 Analysis II (2008) Dr M Ruzhansky List of definitions, statements and examples Preliminary version

M2PM1 Analysis II (2008) Dr M Ruzhansky List of definitions, statements and examples Preliminary version M2PM1 Analysis II (2008) Dr M Ruzhansky List of definitions, statements and examples Preliminary version Chapter 0: Some revision of M1P1: Limits and continuity This chapter is mostly the revision of Chapter

More information

Real Analysis. Joe Patten August 12, 2018

Real Analysis. Joe Patten August 12, 2018 Real Analysis Joe Patten August 12, 2018 1 Relations and Functions 1.1 Relations A (binary) relation, R, from set A to set B is a subset of A B. Since R is a subset of A B, it is a set of ordered pairs.

More information

Topological properties

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

More information

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower

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

Solution. 1 Solution of Homework 7. Sangchul Lee. March 22, Problem 1.1

Solution. 1 Solution of Homework 7. Sangchul Lee. March 22, Problem 1.1 Solution Sangchul Lee March, 018 1 Solution of Homework 7 Problem 1.1 For a given k N, Consider two sequences (a n ) and (b n,k ) in R. Suppose that a n b n,k for all n,k N Show that limsup a n B k :=

More information

Math 600 Day 1: Review of advanced Calculus

Math 600 Day 1: Review of advanced Calculus Math 600 Day 1: Review of advanced Calculus Ryan Blair University of Pennsylvania Thursday September 8, 2010 Ryan Blair (U Penn) Math 600 Day 1: Review of advanced Calculus Thursday September 8, 2010 1

More information

CHAPTER 7. Connectedness

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

More information

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

(a) For an accumulation point a of S, the number l is the limit of f(x) as x approaches a, or lim x a f(x) = l, iff

(a) For an accumulation point a of S, the number l is the limit of f(x) as x approaches a, or lim x a f(x) = l, iff Chapter 4: Functional Limits and Continuity Definition. Let S R and f : S R. (a) For an accumulation point a of S, the number l is the limit of f(x) as x approaches a, or lim x a f(x) = l, iff ε > 0, δ

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

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of

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

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM A metric space (M, d) is a set M with a metric d(x, y), x, y M that has the properties d(x, y) = d(y, x), x, y M d(x, y) d(x, z) + d(z, y), x,

More information

B553 Lecture 1: Calculus Review

B553 Lecture 1: Calculus Review B553 Lecture 1: Calculus Review Kris Hauser January 10, 2012 This course requires a familiarity with basic calculus, some multivariate calculus, linear algebra, and some basic notions of metric topology.

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

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

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible.

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible. Math 320: Real Analysis MWF pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible. Do the following problems from the book: 4.3.5, 4.3.7, 4.3.8, 4.3.9,

More information

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1. Chapter 3 Sequences Both the main elements of calculus (differentiation and integration) require the notion of a limit. Sequences will play a central role when we work with limits. Definition 3.. A Sequence

More information

Convexity in R n. The following lemma will be needed in a while. Lemma 1 Let x E, u R n. If τ I(x, u), τ 0, define. f(x + τu) f(x). τ.

Convexity in R n. The following lemma will be needed in a while. Lemma 1 Let x E, u R n. If τ I(x, u), τ 0, define. f(x + τu) f(x). τ. Convexity in R n Let E be a convex subset of R n. A function f : E (, ] is convex iff f(tx + (1 t)y) (1 t)f(x) + tf(y) x, y E, t [0, 1]. A similar definition holds in any vector space. A topology is needed

More information

Solution of the 7 th Homework

Solution of the 7 th Homework Solution of the 7 th Homework Sangchul Lee December 3, 2014 1 Preliminary In this section we deal with some facts that are relevant to our problems but can be coped with only previous materials. 1.1 Maximum

More information

Review of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE)

Review of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE) Review of Multi-Calculus (Study Guide for Spivak s CHPTER ONE TO THREE) This material is for June 9 to 16 (Monday to Monday) Chapter I: Functions on R n Dot product and norm for vectors in R n : Let X

More information

CHAPTER 9. Embedding theorems

CHAPTER 9. Embedding theorems CHAPTER 9 Embedding theorems In this chapter we will describe a general method for attacking embedding problems. We will establish several results but, as the main final result, we state here the following:

More information

Advanced Calculus I Chapter 2 & 3 Homework Solutions October 30, Prove that f has a limit at 2 and x + 2 find it. f(x) = 2x2 + 3x 2 x + 2

Advanced Calculus I Chapter 2 & 3 Homework Solutions October 30, Prove that f has a limit at 2 and x + 2 find it. f(x) = 2x2 + 3x 2 x + 2 Advanced Calculus I Chapter 2 & 3 Homework Solutions October 30, 2009 2. Define f : ( 2, 0) R by f(x) = 2x2 + 3x 2. Prove that f has a limit at 2 and x + 2 find it. Note that when x 2 we have f(x) = 2x2

More information

B. Appendix B. Topological vector spaces

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

More information

REAL ANALYSIS II: PROBLEM SET 2

REAL ANALYSIS II: PROBLEM SET 2 REAL ANALYSIS II: PROBLEM SET 2 21st Feb, 2016 Exercise 1. State and prove the Inverse Function Theorem. Theorem Inverse Function Theorem). Let f be a continuous one to one function defined on an interval,

More information

Section 21. The Metric Topology (Continued)

Section 21. The Metric Topology (Continued) 21. The Metric Topology (cont.) 1 Section 21. The Metric Topology (Continued) Note. In this section we give a number of results for metric spaces which are familar from calculus and real analysis. We also

More information

Convex Optimization Theory. Chapter 5 Exercises and Solutions: Extended Version

Convex Optimization Theory. Chapter 5 Exercises and Solutions: Extended Version Convex Optimization Theory Chapter 5 Exercises and Solutions: Extended Version Dimitri P. Bertsekas Massachusetts Institute of Technology Athena Scientific, Belmont, Massachusetts http://www.athenasc.com

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

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

ANALYSIS 2: HOMEWORK SOLUTIONS, SPRING 2013

ANALYSIS 2: HOMEWORK SOLUTIONS, SPRING 2013 ANALYSIS 2: HOMEWORK SOLUTIONS, SPRING 2013 STEVEN HEILMAN Contents 1. Problem Set 1 1 2. Problem Set 2 9 3. Problem Set 3 16 4. Problem Set 4 30 5. Problem Set 5 44 6. Problem Set 6 62 7. Appendix: Notation

More information

Math 341 Summer 2016 Midterm Exam 2 Solutions. 1. Complete the definitions of the following words or phrases:

Math 341 Summer 2016 Midterm Exam 2 Solutions. 1. Complete the definitions of the following words or phrases: Math 34 Summer 06 Midterm Exam Solutions. Complete the definitions of the following words or phrases: (a) A sequence (a n ) is called a Cauchy sequence if and only if for every ɛ > 0, there exists and

More information

Analytic Geometry and Calculus I Exam 1 Practice Problems Solutions 2/19/7

Analytic Geometry and Calculus I Exam 1 Practice Problems Solutions 2/19/7 Analytic Geometry and Calculus I Exam 1 Practice Problems Solutions /19/7 Question 1 Write the following as an integer: log 4 (9)+log (5) We have: log 4 (9)+log (5) = ( log 4 (9)) ( log (5)) = 5 ( log

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

1. Nonlinear Equations. This lecture note excerpted parts from Michael Heath and Max Gunzburger. f(x) = 0

1. Nonlinear Equations. This lecture note excerpted parts from Michael Heath and Max Gunzburger. f(x) = 0 Numerical Analysis 1 1. Nonlinear Equations This lecture note excerpted parts from Michael Heath and Max Gunzburger. Given function f, we seek value x for which where f : D R n R n is nonlinear. f(x) =

More information

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f)) 1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical

More information

The Implicit and Inverse Function Theorems Notes to supplement Chapter 13.

The Implicit and Inverse Function Theorems Notes to supplement Chapter 13. The Implicit and Inverse Function Theorems Notes to supplement Chapter 13. Remark: These notes are still in draft form. Examples will be added to Section 5. If you see any errors, please let me know. 1.

More information

TEST CODE: PMB SYLLABUS

TEST CODE: PMB SYLLABUS TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional

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

Real Analysis Prelim Questions Day 1 August 27, 2013

Real Analysis Prelim Questions Day 1 August 27, 2013 Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable

More information

Chapter 1. Sets and Numbers

Chapter 1. Sets and Numbers Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

Laplace s Equation. Chapter Mean Value Formulas

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

More information

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever

More information