Riemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,
|
|
- Kelly Casey
- 5 years ago
- Views:
Transcription
1 Tel Aviv University, 26 Analysis-III 9 9 Improper integral 9a Introduction b Positive integrands c Special functions gamma and beta d Change of variables e Iterated integral f Multidimensional beta integrals of Dirichlet g Non-positive (signed) integrands Riemann integral and volume are generalized to unbounded functions and sets. 9a Introduction The n-dimensional unit ball in the l p metric, E = {(x,..., x n ) x p + + x n p }, is an admissible set, and its volume is a Riemann integral, v(e) = R n l E, of a bounded function with bounded support. In Sect. 9f we ll calculate it: where Γ is a function defined by Γ(t) = v(e) = 2n Γ n ( p ) p n Γ( n p + ) x t e x dx for t > ; here the integrand has no bounded support; and for t = p < it is also unbounded (near ). Thus we need a more general, so-called improper integral, even for calculating the volume of a bounded body! In relatively simple cases the improper integral may be treated via ad hoc limiting procedure adapted to the given function; for example, x t e x dx = lim / x t e x dx.
2 Tel Aviv University, 26 Analysis-III In more complicated cases it is better to have a theory able to integrate rather general functions on rather general n-dimensional sets. Different functions may tend to infinity on different subsets (points, lines, surfaces), and still, we expect (af + bg) = a f + b g (linearity) to hold, as well as change of variables. 9b Positive integrands We consider an open set G R n and functions f G [, ) continuous almost everywhere. 2 We do not assume that G is bounded. We also do not assume that G is admissible, even if it is bounded. 3 Continuous almost everywhere means that the set A G of all discontinuity points of f has measure (recall Sect. 6d). We can use the function f l G equal f on G and on R n G, but must be careful: l G and f l G need not be continuous almost everywhere. We define (9b) G f = sup { R n g g R n R integrable, g f on G, g = on R n G} [, ]. The condition on g may be reformulated as g f l G. If f l G is integrable (on R n ), then clearly G f = R n f l G, which generalizes 4d5. This happens if and only if f l G is bounded, with bounded support, and f(x) f(x ) = as G x x for almost all x G (thin, why). (Void if G has measure.) 9b2 Exercise. (a) Without changing the supremum in (9b) we may restrict ourselves to continuous g with bounded support; or, alternatively, to step functions g; and moreover, in both cases, WLOG, g has a compact support inside G; Additional literature (for especially interested): M. Pascu (26) On the definition of multidimensional generalized Riemann integral, Bul. Univ. Petrol LVIII:2, 9 6. (Research level) D. Maharam (988) Jordan fields and improper integrals, J. Math. Anal. Appl. 33, This condition will be used in 9b9. 3 A bounded open set need not be admissible, even if it is diffeomorphic to a dis.
3 Tel Aviv University, 26 Analysis-III (b) if f is bounded (not necessarily a.e. continuous) and G is bounded, then G f = R n f l G, and in particular, G = v (G); (c) if f is bounded and G is admissible, then the integral defined by (9b) is equal to the integral defined by 4d5. Prove it. There are many ways to treat the improper integral as the limit of (proper) Riemann integrals; here are some ways. 9b3 Exercise. Consider the case G = R n, and let be a norm on R n of the form 2 x = ( x p + + x n p ) /p for x = (x,..., x n ); here p [, ] is a parameter (and x = max( x,..., x n ) if p = ). (a) Prove that R n f = lim x < min(f(x), ) dx. (b) For a locally bounded 3 f prove that R n f = lim x < f(x) dx. (c) Can it happen that f is locally bounded, not bounded, and R n f <? 9b4 Example (Poisson). Consider I = e x 2 dx. R 2 On one hand, by 9b3 for the Euclidean norm (p = 2), I = lim e (x2+y2) dxdy = lim x 2 +y 2 < 2 r dr e r2 2π dθ = lim π On the other hand, by 9b3 for (x, y) = max( x, y ) (p = ), I = lim e (x2 +y 2) dxdy = lim x <, y < ( e x2 dx)( and we obtain the celebrated Poisson formula: + e x2 dx = π. In fact, v (G) is Lebesgue s measure of G. 2 But in fact, the same holds for arbitrary norm. 3 That is, bounded on every bounded subset of R n. 2 e y2 dy) = ( e u du = π. + e x2 dx) 2,
4 Tel Aviv University, 26 Analysis-III 2 9b5 Exercise. Consider I = x>,y> x a y b e (x2 +y 2) dxdy [, ] for given a, b R. Prove that, on one hand, I = ( and on the other hand, I = ( r a+b+ e r2 dr)( x a e x2 dx)( π/2 cos a θ sin b θ dθ), x b e x2 dx). 9b6 Exercise. Consider f R 2 [, ) of the form f(x) = g( x ) for a given g [, ) [, ). (a) If g is integrable, then f is integrable and R 2 f = 2π g(r) r dr. (b) If g is continuous on (, ), then R 2 f = 2π g(r) r dr [, ]. Prove it. 9b7 Exercise. Let be as in 9b3. 2 Consider f R n [, ) of the form f(x) = g( x ) for a given g [, ) [, ). (a) If g is integrable, then f is integrable, and R n f = nv g(r) r n dr where V is the volume of {x x < }. (b) If g is continuous on (, ), then R n f = nv g(r) r n dr [, ]. c) Let g be continuous on (, ) and satisfy g(r) r a for r +, g(r) r b for r +. Then f < if and only if b < n < a. Prove it. 3 9b8 Example. R n e x 2 dx = nv r n e r2 dr; in particular, R n e x 2 dx = nv n r n e r2 dr where V n is the volume of the (usual) n-dimensional unit ball. On the other hand, R n e x 2 dx = ( R e x2 dx) n = π n/2. Therefore Not unexpectedly, V 2 = V n = π 2 re r2 dr = π. π n/2 n r n e r2 dr. Hint: (a) polar coordinates; (b) use (a). 2 But in fact, the same holds for arbitrary norm. 3 Hint: (a) first, g = l [,a], second, a step function g, and third, sandwich; also, (a) (b) (c).
5 Tel Aviv University, 26 Analysis-III 3 Clearly, G cf = c G f for c (, ). 9b9 Proposition. G (f + f 2 ) = G f + G f 2 [, ] for all f, f 2 on G, continuous almost everywhere. Proof. The easy part: G (f + f 2 ) G f + G f 2. Given integrable g, g 2 such that g f l G and g 2 f 2 l G, we have g + g 2 = (g +g 2 ) G (f + f 2 ), since g + g 2 is integrable and g + g 2 (f + f 2 ) l G. The supremum in g, g 2 gives the claim. The hard part: G (f + f 2 ) G f + G f 2, that is, g G f + G f 2 for every integrable g such that g (f +f 2 ) l G. We introduce g = min(f, g), g 2 = min(f 2, g) (pointwise minimum on G; and on R n G) and prove that they are continuous almost everywhere (on R n, not just on G). For almost every x G, both f and g are continuous at x and therefore g is continuous at x. For almost every x G, g is continuous at x, which ensures continuity of g at x (irrespective of continuity of f ), since g(x) = (x G). Thus, g is continuous almost everywhere; the same holds for g 2. By Lebesgue s criterion 6d2, the functions g, g 2 are integrable. We have g +g 2 min(f +f 2, g) = g, since generally, min(a, c)+min(b, c) min(a+b, c) for all a, b, c [, ) (thin, why). Thus, g (g + g 2 ) = g + g 2 G f + G f 2, since g f l G, g 2 f 2 l G. 9b Proposition (exhaustion). For open sets G, G, G 2, R n, G G G f G f [, ] for all f G [, ) continuous almost everywhere. Proof. First of all, G f G+ f (since g f l G implies g f l G+ ), and similarly, G f G f, thus G f and lim G f G f. We have to prove that G f lim G f. We tae an integrable g, compactly supported inside G (recall 9b2(a)), such that g f on G. By compactness, there exists such that g f l G. Then g G f lim G f. The supremum in g proves the claim., 2 9b Corollary (monotone convergence for volume). For open sets G, G G 2, R n, G G v (G ) v (G). 9b2 Remar. Let G, G 2, R n be (pairwise) disjoint open balls. Then v (G G 2... ) = v(g ) + v ( G 2 ) +... even if the union is dense in R n (which can happen; thin, why). Compare it with 4c7: (f + g) f + g. 2 Really, this is easy to prove without 9b (try it).
6 Tel Aviv University, 26 Analysis-III 4 9c Special functions gamma and beta The Euler gamma function Γ is defined by (9c) Γ(t) = x t e x dx for t (, ). This integral is not proper for two reasons. First, the integrand is bounded near for t [, ) but unbounded for t (, ). Second, the integrand has no bounded support. In every case, using 9b, Γ(t) = lim / x t e x dx <, since the integrand (for a given t) is continuous on (, ), is O(x t ) as x, and (say) O(e x/2 ) as x. Thus, Γ (, ) (, ). Clearly, Γ() =. Integration by parts gives (9c2) / x t e x dx = x t e x x=/ + t / Γ(t + ) = tγ(t) for t (, ). x t e x dx ; In particular, (9c3) Γ(n + ) = n! for n =,, 2,... We note that (9c4) x a e x2 dx = 2 Γ(a + ) for a (, ), 2 since x a e x2 dx = u a/2 e u du 2. For a = the Poisson formula (recall u 9b4) gives (9c5) Γ( 2 ) = π. Thus, (9c6) Γ( 2n + 2 ) = n π. 2 The volume V n of the n-dimensional unit ball (recall 9b8) is thus calculated: (9c7) V n = πn/2 n 2 Γ( n 2 ). This is rather Γ (,).
7 Tel Aviv University, 26 Analysis-III 5 Not unexpectedly, V 3 = π3/2 3 By 9b5, 2 that is, (9c8) = π3/2 2 Γ( 3 2 ) π = 4 3 π. Γ( a+b+2 2 ) π/2 cos a θ sin b θ dθ = 2 In particular, π/2 Γ( a+ 2 ) 2 b+ Γ( ) 2 for a, b (, ); cos α θ sin β θ dθ = Γ( α 2 )Γ( β 2 ) 2 Γ( α+β 2 ) for α, β (, ). (9c9) π/2 sin α θ dθ = π/2 cos α θ dθ = π 2 Γ( α) 2 Γ( α+). 2 The trigonometric functions can be eliminated: π/2 cos α θ sin β θ dθ = cos α 2 θ sin β 2 θ 2 sin θ cos θ dθ = 2 α 2 ( u) 2 u β 2 2 du; thus, 2 π/2 (9c) where (9c) x α ( x) β dx = B(α, β) for α, β (, ), B(α, β) = Γ(α)Γ(β) Γ(α + β) for α, β (, ) is another special function, the beta function. 9c2 Exercise. Chec that B(x, x) = 2 2x B(x, 2 ). 9c3 Exercise. Chec the duplication formula: 2 Γ(2x) = 22x π Γ(x) Γ(x + 2 ). 9c4 Exercise. Calculate x4 x 2 dx. π Answer: 32. 9c5 Exercise. Calculate x m e xn dx. m+ Answer: nγ( ). n 9c6 Exercise. Calculate xm (ln x) n dx. Answer: ( ) n n! (m+) n+. Hint: π/2 2 sin θ cos θ ( ) 2x dθ. 2 2 Hint: use 9c2.
8 Tel Aviv University, 26 Analysis-III 6 9c7 Exercise. Calculate π/2 Answer: Γ2 (/4) 2 2π. dx cos x. 9c8 Exercise. Chec that Γ(t)Γ( t) = We mention without proof another useful formula x t + x dx = π sin πt x t +x dx for < t <. for < t <. There is a simple proof that uses the residues theorem from the complex analysis course. This formula yields that Γ(t)Γ( t) = for < t <. π sin πt Is the function Γ continuous? For every compact interval [t, t ] (, ) the given function of two variables (t, x) x t e x is continuous on [t, t ] [, ], therefore its integral in x is continuous in t on [t, t ] (recall 4e6(a)). Also, / x t e x dx Γ(t) uniformly on [t, t ], since / x t e x dx / x t dx as and x t e x dx x t e x dx as. It follows that Γ is continuous on arbitrary [t, t ], therefore, on the whole (, ). In particular, tγ(t) = Γ(t + ) Γ() = as t +; that is, 9d Change of variables Γ(t) = t + o( t ) as t +. 9d Theorem (change of variables). Let U, V R n be open sets, ϕ U V a diffeomorphism, and f V [, ). Then (a) (f is continuous almost everywhere on V ) (f ϕ is continuous almost everywhere on U) ((f ϕ) det Dϕ is continuous almost everywhere on U); (b) if they are continuous almost everywhere, then V f = U (f ϕ) det Dϕ [, ]. Item (a) follows easily from 8c (similarly to the proof of 8a(a) in Sect. 8c but simpler: 8c4 is not needed now). Hint: change x to y via ( + x)( y) =.
9 Tel Aviv University, 26 Analysis-III 7 9d2 Lemma. Let U, V, ϕ, f be as in Th. 9d, and in addition, f be compactly supported within V. Then 9d(b) holds. Proof. This is basically Prop. 8d; there U, V are admissible, since otherwise the integrals over U and V are not defined by 4d5. Now they are defined (see the paragraph after (9b)): V f = R n f l V (and similarly for U), and the proof of 8d given in Sect. 8d applies (chec it). Proof of Th. 9d(b). First, we prove that (9d3) V f U (f ϕ) det Dϕ. Assume the contrary. By 9b2(a) there exists integrable g, compactly supported within V, such that g f on V and V g > U (f ϕ) det Dϕ. By 9d2, V g = U (g ϕ) det Dϕ U (f ϕ) det Dϕ ; this contradiction proves (9d3). Second, we apply (9d3) to ϕ = ϕ V U and f = (f ϕ) det Dϕ U [, ): U f V (f ϕ ) det Dϕ. By the chain rule, ϕ ϕ = id V implies ((Dϕ) ϕ )(Dϕ ) = id, thus ((det Dϕ) ϕ )(det Dϕ ) =. We get f ϕ = (f ϕ ϕ ) (det Dϕ) ϕ = (f ϕ ) det Dϕ = f; U (f ϕ) det Dϕ = U f V f. 9e Iterated integral f det Dϕ ; We consider an open set G R m+n and functions f G [, ) continuous almost everywhere. Similarly to Sect. 5d, the section f(x, ) of f need not be continuous almost everywhere on the section G x = {y (x, y) G} of G; thus, Gx f(x, ) is generally ill-defined. Similarly to Th. 5d we need the lower integral (but no upper integral this time). We define the lower integral by (9b) again, but this time f G [, ) is arbitrary (rather than continuous almost everywhere). That is, for open G R n (rather than R m+n, for now) (9e) f = sup { g g R n R integrable, G R n g f on G, g = on R n G} [, ].
10 Tel Aviv University, 26 Analysis-III 8 In particular, if f is continuous almost everywhere on G, then G f = G f. As before, the condition on g may be reformulated as g f l G. Still, 9b2(a) applies (chec it). And 9b2(b) becomes: if f is bounded and G is bounded, then G f = R n f l G, the latter integral being proper, that is, defined in Sect. 4c. Similarly to 9b, for open sets G, G, G 2, R n, (9e2) G G G f G f [, ] for arbitrary f G [, ). Similarly to 9b3(a), G G G min(f, ) G f [, ]. If, in addition, G are bounded, then we may rewrite it as (9e3) R n min(f, )l G G f, the left-hand side integral being proper. An increasing sequence of integrable functions can converge to a function that is not almost everywhere continuous (and moreover, is discontinuous everywhere). Nevertheless, a limiting procedure is possible, as follows. 9e4 Proposition. If g, g 2, R n [, ) are integrable and g f R n [, ), then R n g R n f. 2 This claim follows easily from an important theorem (to be proved in Appendix). 9e5 Theorem (monotone convergence for Riemann integral). If g, g, g 2, R n R are integrable and g g, then R n g R n g. Proof that Th. 9e5 implies Prop. 9e4. Clearly, g f implies lim g f; we have to prove that lim g f. Given an integrable g f, we have min(g, g) min(f, g) = g and, by 9e5, min(g, g) g. Thus, g lim g ; supremum in g gives f lim g. We return to an open set G R m+n and its sections G x R n for x R m. Pointwise, not uniformly. 2 Do you thin that g f for arbitrary (not integrable) g? No, this is wrong. Recall f of 4e7 and consider f.
11 Tel Aviv University, 26 Analysis-III 9 9e6 Theorem (iterated improper integral). If a function f G [, ) is continuous almost everywhere, then R m dx G x dy f(x, y) = G f(x, y) dxdy [, ]. Unlie Th. 5d, both integrals in the left-hand side are lower integrals. The function x Gx dy f(x, y) need not be almost everywhere continuous, even if G = R 2 and f is continuous. Moreover, it can happen that x R f(x, ) is unbounded on every interval, even if f R 2 [, ) is bounded, continuously differentiable, R 2 f <, and f(x, y), f(x, y) as x 2 + y 2. (Can you find a counterexample? Hint: construct separately f R [2,2 + ] for each.) It is easy to see (try it!) that G f does not exceed the iterated integral; but the equality needs more effort. Proof. We tae admissible open sets G R m+n such that G G, and introduce f = min(f, )l G, that is, f(x, y), if (x, y) G and f(x, y), f (x, y) =, if (x, y) G and f(x, y),, if (x, y) G. By Lebesgue s criterion 6d2, each f is integrable. By (9e3), R m+n f G f, the left-hand side integral being proper. Given x R m, we apply the same argument to the sections f (x, ), f(x, ), (G ) x, G x, taing into account that f (x, ) need not be integrable, and we get R n f (x, ) = R n min(f(x, ), )l G (x, ) Gx f(x, ). By Th. 5d (applied to f ), the function x R n f (x, ) is integrable, and its integral is equal to R m+n f. Applying Prop. 9e4 to these functions we get f = R (x f (x, )) m+n R m R n (x f(x, )) ; R m G x but on the other hand, R m+n f G f. 9e7 Corollary. The volume 2 of an open set G R m+n is equal to the lower integral of the volume of G x (even if G is not admissible). For example, we may use the interior of the union of all N-pixels contained in G [ N, N] n. 2 That is, v (G) if G is bounded; and G (in fact, the Lebesgue measure of G) in general.
12 Tel Aviv University, 26 Analysis-III 2 9f Multidimensional beta integrals of Dirichlet 9f Proposition. x,...x n>, x + +x n< for all p,... p n >. For the proof, we denote x p... x pn n dx... dx n = I(p,..., p n ) = x,...x n>, x + +x n< This integral is improper, unless p,..., p n. Γ(p )... Γ(p n ) Γ(p + + p n + ) x p... x pn n dx... dx n. 9f2 Lemma. I(p,..., p n ) = B(p n, p + + p n + )I(p,..., p n ). Proof. The change of variables ξ = ax (that is, ξ = ax,..., ξ n = ax n ) gives (by Theorem 9d ) ξ,...ξ n>, ξ + +ξ n<a ξ p... ξ pn n dξ... dξ n = a p + +p n I(p,..., p n ) for a >. Thus, using 9e6 and (9c), I(p,..., p n ) = = dx n x pn n x,...x n >, x + +x n < x n p x... x p n n dx... dx n = x pn n ( x n ) p + +p n I(p,..., p n ) dx n = = I(p,..., p n )B(p n, p + + p n + ). Proof of Prop. 9f. Induction in the dimension n. For n = the formula is obvious: x p dx = p = Γ(p ) Γ(p + ). But a linear change of variables does not really need 9d; it is a simple generalization of 7c or even (4h5).
13 Tel Aviv University, 26 Analysis-III 2 From n to n: using 9f2 (and (9c)), I(p,..., p n ) = Γ(p n)γ(p + + p n + ) Γ(p + + p n + ) Γ(p )... Γ(p n ) Γ(p + + p n + ) = = Γ(p )... Γ(p n ) Γ(p + + p n + ). A seemingly more general formula, x,...,x n>, x γ + +xγn n < x p... x pn n dx... dx n = γ... γ n Γ( p γ )... Γ( pn γ n ) Γ( p γ + + pn γ n + ), results from 9f by the (nonlinear!) change of variables y j = x γ j j. A special case: p = = p n =, γ = = γ n = p; x,...,x n> x p + +xp n< dx... dx n = Γ n ( p ) p n Γ( n p + ). We ve found the volume of the unit ball in the metric l p : v(b p ()) = 2n Γ n ( p ) p n Γ( n p + ). If p = 2, the formula gives us (again; see (9c7)) the volume of the standard unit ball: V n = v(b 2 ()) = 2πn/2 nγ( n 2 ). We also see that the volume of the unit ball in the l -metric equals 2n n!. Question: what does the formula give in the p limit? 9f3 Exercise. Show that x + +x n< x,...,x n> ϕ(x + + x n ) dx... dx n = (n )! ϕ(s)s n ds
14 Tel Aviv University, 26 Analysis-III 22 for every good function ϕ [, ] R and, more generally, x + +x n< x,...,x n> Hint: consider 9g We define ϕ(x + + x n )x p... x pn n dx... dx n = ds ϕ (s) x + +x n<s x,...,x n> = Γ(p )... Γ(p n ) Γ(p + + p n ) ϕ(u)u p +...p n du. x p... x pn n dx... dx n. Non-positive (signed) integrands G (g h) = G g G h whenever g, h G [, ) are continuous almost everywhere and G g <, G h < ; this definition is correct, that is, due to 9b9: G g G h = G g 2 G h 2 whenever g h = g 2 h 2, g h = g 2 h 2 g + h 2 = g 2 + h G (g + h 2 ) = G (g 2 + h ) G g + G h 2 = G g 2 + G h G g G h = G g 2 G h 2. 9g Lemma. The following two conditions on a function f G R continuous almost everywhere are equivalent: (a) there exist g, h G [, ), continuous almost everywhere, such that G g <, G h < and f = g h; (b) G f <. Proof. (a) (b): G g h G ( g + h ) = G g + G h <. (b) (a): we introduce the positive part f + and the negative part f of f, (9g2) f + (x) = max(, f(x)), f (x) = max(, f(x)) ; f = ( f) + ; f = f + f ; f = f + + f ; they are continuous almost everywhere (thin, why); G f + G f <, G f G f < ; and f + f = f.
15 Tel Aviv University, 26 Analysis-III 23 We summarize: (9g3) G f = G f + G f whenever f G R is continuous almost everywhere and such that G f <. Such functions will be called improperly integrable (on G). 9g4 Exercise. Prove linearity: G cf = c G f for c R, and G (f + f 2 ) = G f + G f 2. Similarly to Sect. 4e, a function f G R continuous almost everywhere will be called negligible if G f =. Functions f, g continuous almost everywhere and such that f g is negligible will be called equivalent. The equivalence class of f will be denoted [f]. Improperly integrable functions f G R are a vector space. On this space, the functional f G f is a seminorm. The corresponding equivalence classes are a normed space (therefore also a metric space). The integral is a continuous linear functional on this space. If G is admissible, then the space of improperly integrable functions on G is embedded into the space of improperly integrable functions on R n by f f l G. 9g5 Proposition (exhaustion). For open sets G, G, G 2, R n, G G G f G f R for all improperly integrable f G R. 9g6 Theorem (change of variables). Let U, V R n be open sets, ϕ U V a diffeomorphism, and f V R. Then (a) (f is continuous almost everywhere on V ) (f ϕ is continuous almost everywhere on U) ((f ϕ) det Dϕ is continuous almost everywhere on U); (b) if they are continuous almost everywhere, then V f = U (f ϕ) det Dϕ [, ] ; (c) and if the integrals in (b) are finite, then V f = U (f ϕ) det Dϕ R. In one dimension they are usually called absolutely (improperly) integrable.
16 Tel Aviv University, 26 Analysis-III 24 9g7 Exercise. Prove 9g5 and 9g6. 9g8 Exercise. If < t < t <, then the function (x, t) x t e x ln x is improperly integrable on (, ) (t, t ), and Prove it. t t dt dx x t e x ln x = Γ(t ) Γ(t ). 9g9 Exercise. (a) The function t x t e x ln x dx is continuous on (, ); (b) the gamma function is continuously differentiable on (, ), and Γ (t) = x t e x ln x dx for < t < ; (c) the gamma function is convex on (, ). Prove it. Index beta function, 5 change of variables, 6, 23 equivalent, 23 exhaustion, 3, 23 gamma function, 4 improper integral signed, 22, 23 unsigned, improperly integrable, 23 iterated improper integral, 9 linearity, 23 lower integral, 7 monotone convergence for integral, 8 for volume, 3 negligible, 23 Poisson formula, volume of ball, 4, 2 B, 5 [f], 23 f l G, f +, f, 22 Γ, 4 Hint: apply 9e6 twice, to f + and f.
Riemann integral and Jordan measure are generalized to unbounded functions. is a Jordan measurable set, and its volume is a Riemann integral, R n
Tel Aviv University, 214/15 Analysis-III,IV 161 1 Improper integral 1a What is the problem................ 161 1b Positive integrands................. 162 1c Newton potential.................. 166 1d Special
More information8 Nonlinear change of variables
Tel Aviv University, 206 Analysis-III 98 8 Nonlinear change of variables 8a Introduction....................... 98 8b Examples......................... 00 8c Measure 0 is preserved................. 02
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More information8 Change of variables
Tel Aviv University, 2013/14 Analysis-III,IV 111 8 Change of variables 8a What is the problem................ 111 8b Examples and exercises............... 113 8c Differentiating set functions............
More informationSolutions: Problem Set 4 Math 201B, Winter 2007
Solutions: Problem Set 4 Math 2B, Winter 27 Problem. (a Define f : by { x /2 if < x
More information9 Change of variables
Tel Aviv University, 2014/15 Analysis-III,IV 143 9 Change of variables 9a What is the problem................ 143 9b Examples....................... 144 9c Rotation invariance................. 147 9d Linear
More information4 Divergence theorem and its consequences
Tel Aviv University, 205/6 Analysis-IV 65 4 Divergence theorem and its consequences 4a Divergence and flux................. 65 4b Piecewise smooth case............... 67 4c Divergence of gradient: Laplacian........
More information9 Radon-Nikodym theorem and conditioning
Tel Aviv University, 2015 Functions of real variables 93 9 Radon-Nikodym theorem and conditioning 9a Borel-Kolmogorov paradox............. 93 9b Radon-Nikodym theorem.............. 94 9c Conditioning.....................
More informationReal 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 information4 Inverse function theorem
Tel Aviv University, 2014/15 Analysis-III,IV 71 4 Inverse function theorem 4a What is the problem................ 71 4b Simple observations before the theorem..... 72 4c The theorem.....................
More information1/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 informationMATH 426, TOPOLOGY. p 1.
MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p
More information14 Divergence, flux, Laplacian
Tel Aviv University, 204/5 Analysis-III,IV 240 4 Divergence, flux, Laplacian 4a What is the problem................ 240 4b Integral of derivative (again)........... 242 4c Divergence and flux.................
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationSummer Jump-Start Program for Analysis, 2012 Song-Ying Li
Summer Jump-Start Program for Analysis, 01 Song-Ying Li 1 Lecture 6: Uniformly continuity and sequence of functions 1.1 Uniform Continuity Definition 1.1 Let (X, d 1 ) and (Y, d ) are metric spaces and
More informationOne-dimensional integrals are taken over intervals, while n-dimensional integrals are taken over more complicated sets in R n.
Tel Aviv University, 2013/14 Analysis-III,IV 71 6 Riemann integral 6a What is the problem................ 71 6b Dimension one: reminder.............. 73 6c Higher dimensions.................. 75 6d asic
More informationLecture 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 informationReal 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 informationMath221: HW# 7 solutions
Math22: HW# 7 solutions Andy Royston November 7, 25.3.3 let x = e u. Then ln x = u, x2 = e 2u, and dx = e 2u du. Furthermore, when x =, u, and when x =, u =. Hence x 2 ln x) 3 dx = e 2u u 3 e u du) = e
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
More information1 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 informationTHEOREMS, 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 informationVector fields Lecture 2
Vector fields Lecture 2 Let U be an open subset of R n and v a vector field on U. We ll say that v is complete if, for every p U, there exists an integral curve, γ : R U with γ(0) = p, i.e., for every
More informationMATH 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 informationHence, (f(x) f(x 0 )) 2 + (g(x) g(x 0 )) 2 < ɛ
Matthew Straughn Math 402 Homework 5 Homework 5 (p. 429) 13.3.5, 13.3.6 (p. 432) 13.4.1, 13.4.2, 13.4.7*, 13.4.9 (p. 448-449) 14.2.1, 14.2.2 Exercise 13.3.5. Let (X, d X ) be a metric space, and let f
More information14 Higher order forms; divergence theorem
Tel Aviv University, 2013/14 Analysis-III,IV 221 14 Higher order forms; divergence theorem 14a Forms of order three................ 221 14b Divergence theorem in three dimensions.... 225 14c Order four,
More information1 Independent increments
Tel Aviv University, 2008 Brownian motion 1 1 Independent increments 1a Three convolution semigroups........... 1 1b Independent increments.............. 2 1c Continuous time................... 3 1d Bad
More informationReview 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 information1.5 Approximate Identities
38 1 The Fourier Transform on L 1 (R) which are dense subspaces of L p (R). On these domains, P : D P L p (R) and M : D M L p (R). Show, however, that P and M are unbounded even when restricted to these
More informationExercises 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 informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More informationLEBESGUE INTEGRATION. Introduction
LEBESGUE INTEGATION EYE SJAMAA Supplementary notes Math 414, Spring 25 Introduction The following heuristic argument is at the basis of the denition of the Lebesgue integral. This argument will be imprecise,
More information2 (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 information3 (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 informationMetric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg
Metric Spaces Exercises Fall 2017 Lecturer: Viveka Erlandsson Written by M.van den Berg School of Mathematics University of Bristol BS8 1TW Bristol, UK 1 Exercises. 1. Let X be a non-empty set, and suppose
More informationDifferentiation of Measures and Functions
Chapter 6 Differentiation of Measures and Functions This chapter is concerned with the differentiation theory of Radon measures. In the first two sections we introduce the Radon measures and discuss two
More information(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.
1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the
More informationJUHA KINNUNEN. Harmonic Analysis
JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes
More informationg 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 informationElliptic PDEs of 2nd Order, Gilbarg and Trudinger
Elliptic PDEs of 2nd Order, Gilbarg and Trudinger Chapter 2 Laplace Equation Yung-Hsiang Huang 207.07.07. Mimic the proof for Theorem 3.. 2. Proof. I think we should assume u C 2 (Ω Γ). Let W be an open
More informationMetric 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 informationMath 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1
Math 8B Solutions Charles Martin March 6, Homework Problems. Let (X i, d i ), i n, be finitely many metric spaces. Construct a metric on the product space X = X X n. Proof. Denote points in X as x = (x,
More informationAnalysis 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 informationThe Heine-Borel and Arzela-Ascoli Theorems
The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationconsists of two disjoint copies of X n, each scaled down by 1,
Homework 4 Solutions, Real Analysis I, Fall, 200. (4) Let be a topological space and M be a σ-algebra on which contains all Borel sets. Let m, µ be two positive measures on M. Assume there is a constant
More informationContinuity. 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 information6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that.
6.2 Fubini s Theorem Theorem 6.2.1. (Fubini s theorem - first form) Let (, A, µ) and (, B, ν) be complete σ-finite measure spaces. Let C = A B. Then for each µ ν- measurable set C C the section x C is
More informationIntroduction to Functional Analysis
Introduction to Functional Analysis Carnegie Mellon University, 21-640, Spring 2014 Acknowledgements These notes are based on the lecture course given by Irene Fonseca but may differ from the exact lecture
More informationREVIEW 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 informationIowa 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 informationMath 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx.
Math 321 Final Examination April 1995 Notation used in this exam: N 1 π (1) S N (f,x) = f(t)e int dt e inx. 2π n= N π (2) C(X, R) is the space of bounded real-valued functions on the metric space X, equipped
More informationFourier Transform & Sobolev Spaces
Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationMAT 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 informationReal 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 informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
More informationMath 328 Course Notes
Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationIn this chapter we study elliptical PDEs. That is, PDEs of the form. 2 u = lots,
Chapter 8 Elliptic PDEs In this chapter we study elliptical PDEs. That is, PDEs of the form 2 u = lots, where lots means lower-order terms (u x, u y,..., u, f). Here are some ways to think about the physical
More informationEconomics 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 informationL p Functions. Given a measure space (X, µ) and a real number p [1, ), recall that the L p -norm of a measurable function f : X R is defined by
L p Functions Given a measure space (, µ) and a real number p [, ), recall that the L p -norm of a measurable function f : R is defined by f p = ( ) /p f p dµ Note that the L p -norm of a function f may
More informationMathematical 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 informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More informationh(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 information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More informationThus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a
Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:
More informationTHE 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 informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationMAT 578 FUNCTIONAL ANALYSIS EXERCISES
MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.
More informationMath 172 Problem Set 5 Solutions
Math 172 Problem Set 5 Solutions 2.4 Let E = {(t, x : < x b, x t b}. To prove integrability of g, first observe that b b b f(t b b g(x dx = dt t dx f(t t dtdx. x Next note that f(t/t χ E is a measurable
More information7 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 informationIntegral buyer s guide: know what type is better
Tel Aviv University, 25 Functions of real variables Introduction a Integral buyer s guide: know what type is better b Dimension 2 is a different story.......... 3 c Gauge: a bridge from Riemann to Lebesgue..
More informationA Measure and Integral over Unbounded Sets
A Measure and Integral over Unbounded Sets As presented in Chaps. 2 and 3, Lebesgue s theory of measure and integral is limited to functions defined over bounded sets. There are several ways of introducing
More informationProblem 1: Compactness (12 points, 2 points each)
Final exam Selected Solutions APPM 5440 Fall 2014 Applied Analysis Date: Tuesday, Dec. 15 2014, 10:30 AM to 1 PM You may assume all vector spaces are over the real field unless otherwise specified. Your
More informationContinuity. 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 information4.4 Uniform Convergence of Sequences of Functions and the Derivative
4.4 Uniform Convergence of Sequences of Functions and the Derivative Say we have a sequence f n (x) of functions defined on some interval, [a, b]. Let s say they converge in some sense to a function f
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationSome 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 informationProduct measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 2017 Nadia S. Larsen. 17 November 2017.
Product measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 017 Nadia S. Larsen 17 November 017. 1. Construction of the product measure The purpose of these notes is to prove the main
More informationClassnotes - MA Series and Matrices
Classnotes - MA-2 Series and Matrices Department of Mathematics Indian Institute of Technology Madras This classnote is only meant for academic use. It is not to be used for commercial purposes. For suggestions
More informationAnalysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationQuasi-conformal maps and Beltrami equation
Chapter 7 Quasi-conformal maps and Beltrami equation 7. Linear distortion Assume that f(x + iy) =u(x + iy)+iv(x + iy) be a (real) linear map from C C that is orientation preserving. Let z = x + iy and
More informationare Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication
7. Banach algebras Definition 7.1. A is called a Banach algebra (with unit) if: (1) A is a Banach space; (2) There is a multiplication A A A that has the following properties: (xy)z = x(yz), (x + y)z =
More informationContinuity 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 informationFrom now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.
Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x
More informationLecture 5 - Hausdorff and Gromov-Hausdorff Distance
Lecture 5 - Hausdorff and Gromov-Hausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is
More informationTHE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS
THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU Abstract. This is an edited version of a
More informationMATH 6337: Homework 8 Solutions
6.1. MATH 6337: Homework 8 Solutions (a) Let be a measurable subset of 2 such that for almost every x, {y : (x, y) } has -measure zero. Show that has measure zero and that for almost every y, {x : (x,
More informationThus f is continuous at x 0. Matthew Straughn Math 402 Homework 6
Matthew Straughn Math 402 Homework 6 Homework 6 (p. 452) 14.3.3, 14.3.4, 14.3.5, 14.3.8 (p. 455) 14.4.3* (p. 458) 14.5.3 (p. 460) 14.6.1 (p. 472) 14.7.2* Lemma 1. If (f (n) ) converges uniformly to some
More informationREAL ANALYSIS I Spring 2016 Product Measures
REAL ANALSIS I Spring 216 Product Measures We assume that (, M, µ), (, N, ν) are σ- finite measure spaces. We want to provide the Cartesian product with a measure space structure in which all sets of the
More informationREAL ANALYSIS I HOMEWORK 4
REAL ANALYSIS I HOMEWORK 4 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 2.. Given a collection of sets E, E 2,..., E n, construct another collection E, E 2,..., E N, with N =
More informationProblem 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 informationClass Notes for MATH 255.
Class Notes for MATH 255. by S. W. Drury Copyright c 2006, by S. W. Drury. Contents 0 LimSup and LimInf Metric Spaces and Analysis in Several Variables 6. Metric Spaces........................... 6.2 Normed
More informationExistence and Uniqueness
Chapter 3 Existence and Uniqueness An intellect which at a certain moment would know all forces that set nature in motion, and all positions of all items of which nature is composed, if this intellect
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationChapter 3 Continuous Functions
Continuity is a very important concept in analysis. The tool that we shall use to study continuity will be sequences. There are important results concerning the subsets of the real numbers and the continuity
More informationCHAPTER 1. Metric Spaces. 1. Definition and examples
CHAPTER Metric Spaces. Definition and examples Metric spaces generalize and clarify the notion of distance in the real line. The definitions will provide us with a useful tool for more general applications
More informationTaylor and Laurent Series
Chapter 4 Taylor and Laurent Series 4.. Taylor Series 4... Taylor Series for Holomorphic Functions. In Real Analysis, the Taylor series of a given function f : R R is given by: f (x + f (x (x x + f (x
More information