The Kurzweil-Henstock integral and its extensions : a historical survey
|
|
- Primrose Higgins
- 5 years ago
- Views:
Transcription
1 The Kurzweil-Henstock integral and its extensions : a historical survey Jean Mawhin Université Catholique de Louvain The Kurzweil-Henstock integral and its extensions : a historical survey p.1/29
2 This lecture is dedicated to the memory of my friend STEFAN SCHWABIK, an enthusiastic ambassador of the Kurzweil-Henstock integral, and a great friend of many mathematicians of Sao Carlos The Kurzweil-Henstock integral and its extensions : a historical survey p.2/29
3 I. A short history of integration The Kurzweil-Henstock integral and its extensions : a historical survey p.3/29
4 Cauchy 1823 : Résumé des leçons données à l École royale polytechnique sur le calcul infinitésimal In the integral calculus, it seemed to me necessary to prove in a general way the existence of the integral of primitivable functions before letting their various properties to be known. To reach this aim, it was first necessary to establish the notion of integral taken between given limit or definite integrals. As those last ones can be sometimes infinite or undeterminated, it was essential to search in which case they keep a unique and finite value The Kurzweil-Henstock integral and its extensions : a historical survey p.4/29
5 Integral of a continuous function f : [a,b] R continuous P-partition of [a,b] : Π := (x j,i j ) 1 j m, I j = [a j 1,a j ] a = a 0 < a 1 <... < a m 1 < a m = b, x j I j length of I j : I j = a j a j 1 mesh of Π : M(Π) = max 1 j m I j The Kurzweil-Henstock integral and its extensions : a historical survey p.5/29
6 Integral of a continuous function f : [a,b] R continuous P-partition of [a,b] : Π := (x j,i j ) 1 j m, I j = [a j 1,a j ] a = a 0 < a 1 <... < a m 1 < a m = b, x j I j length of I j : I j = a j a j 1 mesh of Π : M(Π) = max 1 j m I j th lectures : f continuous on [a,b]!j R, ε > 0, η > 0, Π : M(Π) η : J m j=1 f(xj ) I j ε J = b a f(x)dx : definite integral of f on [a,b] continuity on [a,b] uniform continuity on [a,b] The Kurzweil-Henstock integral and its extensions : a historical survey p.5/29
7 Integral of a continuous function f : [a,b] R continuous P-partition of [a,b] : Π := (x j,i j ) 1 j m, I j = [a j 1,a j ] a = a 0 < a 1 <... < a m 1 < a m = b, x j I j length of I j : I j = a j a j 1 mesh of Π : M(Π) = max 1 j m I j th lectures : f continuous on [a,b]!j R, ε > 0, η > 0, Π : M(Π) η : J m j=1 f(xj ) I j ε J = b a f(x)dx : definite integral of f on [a,b] continuity on [a,b] uniform continuity on [a,b] f C 1 ([a,b]) b a f = f(b) f(a) f C([a,b]) a f C1 ([a,b]), ( x a f) = f(x) The Kurzweil-Henstock integral and its extensions : a historical survey p.5/29
8 Cauchy and Riemann AUGUSTIN CAUCHY BERNHARD RIEMANN The Kurzweil-Henstock integral and its extensions : a historical survey p.6/29
9 Riemann 1854 : Habilitation thesis University of Göttingen (published 1867) The uncertainty which still prevails on some fundamental points of the theory of definite integrals forces us to place here a few remarks on the notion of definite integral, and on its possible generality. b And first, what do we mean by a f(x)dx? The Kurzweil-Henstock integral and its extensions : a historical survey p.7/29
10 Riemann 1854 : Habilitation thesis University of Göttingen (published 1867) The uncertainty which still prevails on some fundamental points of the theory of definite integrals forces us to place here a few remarks on the notion of definite integral, and on its possible generality. b And first, what do we mean by a f(x)dx? f : [a,b] R is R-integrable on [a,b] if J R, ε > 0, η > 0, Π,M(Π) η : J m j=1 f(xj ) I j ε S(f, Π) := m j=1 f(xj ) I j : Riemann sum for f and Π J = b a f is the R-integral of f on [a,b] R-integrable functions are the ones for which CAUCHY s limit process made for continuous functions works The Kurzweil-Henstock integral and its extensions : a historical survey p.7/29
11 Range of R-integration RIEMANN : Let us search now the range and the limit of the preceding definition and let us ask the question : in which case is a function integrable? And in which case not integrable? The Kurzweil-Henstock integral and its extensions : a historical survey p.8/29
12 Range of R-integration RIEMANN : Let us search now the range and the limit of the preceding definition and let us ask the question : in which case is a function integrable? And in which case not integrable? although modeled on CAUCHY s process for (uniformly) continuous functions, R-integrable functions may have a dense set of discontinuities however, 1 Q is not R-integrable on any interval R-integrable functions are characterized in terms of some measure of their set of discontinuities The Kurzweil-Henstock integral and its extensions : a historical survey p.8/29
13 Range of R-integration RIEMANN : Let us search now the range and the limit of the preceding definition and let us ask the question : in which case is a function integrable? And in which case not integrable? although modeled on CAUCHY s process for (uniformly) continuous functions, R-integrable functions may have a dense set of discontinuities however, 1 Q is not R-integrable on any interval R-integrable functions are characterized in terms of some measure of their set of discontinuities indefinite R-integral of f not differentiable at points of discontinuity of f bounded derivatives not R-integrable (VOLTERRA) The Kurzweil-Henstock integral and its extensions : a historical survey p.8/29
14 Lebesgue 1902 : PhD thesis, Annali di Mat. Pura Appl. In the case of continuous functions, the notions of [indefinite] integral and of primitive are identical. Riemann has defined the integral of some discontinuous functions, but all derivatives are not integrable in Riemann sense. The problem of the primitive functions is therefore not solved by [R-]integration, and one can wish to have a definition of the integral containing as special case that of Riemann and solving the problem of the primitives The Kurzweil-Henstock integral and its extensions : a historical survey p.9/29
15 L-integral based upon a concept of measure of a bounded set A R introduced by BOREL and developed by LEBESGUE outer measure µ e (A) of A [c,d] : inf j=1 (d j c j ) for all sequences {[c j,d j ]} j N : A j=1 [c j,d j ] inner measure µ i (A) = (d c) µ e ([c,d] \ A) A measurable : µ e (A) = µ i (A) (measure µ(a) of A ) The Kurzweil-Henstock integral and its extensions : a historical survey p.10/29
16 L-integral based upon a concept of measure of a bounded set A R introduced by BOREL and developed by LEBESGUE outer measure µ e (A) of A [c,d] : inf j=1 (d j c j ) for all sequences {[c j,d j ]} j N : A j=1 [c j,d j ] inner measure µ i (A) = (d c) µ e ([c,d] \ A) A measurable : µ e (A) = µ i (A) (measure µ(a) of A ) f : [a,b] R bounded is L- integrable on [a,b] if c < d in range of f, f 1 ([c,d)) is measurable J R, ε > 0, η > 0, P-partition Π = (y j, [b j 1,b j ]) 1 j m of [inf [a,b] f, sup [a,b] f], M(Π) η : J m j=1 y jµ [ f 1 ([b j 1,b j )) ] ε J = b a f(x)dx is the L-integral of f on [a,b] The Kurzweil-Henstock integral and its extensions : a historical survey p.10/29
17 Borel and Lebesgue ÉMILE BOREL HENRI LEBESGUE The Kurzweil-Henstock integral and its extensions : a historical survey p.11/29
18 Comparing the R- and L- integrals approximating sums depend upon measure theory f R-integrable µ(set of discontinuities of f) = 0 f differentiable on [a,b], f bounded b a f = f(b) f(a) f L-integrable on [a,b] f differentiable with derivative f outside of a subset of [a,b] of measure zero a The Kurzweil-Henstock integral and its extensions : a historical survey p.12/29
19 Comparing the R- and L- integrals approximating sums depend upon measure theory f R-integrable µ(set of discontinuities of f) = 0 f differentiable on [a,b], f bounded b a f = f(b) f(a) f L-integrable on [a,b] f differentiable with derivative f outside of a subset of [a,b] of measure zero extension to unbounded functions f R- or L-integrable f R- or L-integrable f primitivable on [a, b] is L-integrable on [a, b] F has bounded variation on [a,b] f(x) = 2x sin 1 x 2 2 x cos 1 x 2 if x 0,f(0) = 0 f = F with F(x)x 2 sin 1 x 2 if x 0, F(0) = 0 f is not L-integrable near 0 a The Kurzweil-Henstock integral and its extensions : a historical survey p.12/29
20 Denjoy-Perron integral 1912 : DENJOY (transfinite induction argument from L-integral) : D-integral integrating all derivatives 1914 : PERRON (inspired by DE LA VALLÉE-POUSSIN s characterization of L-integrability) : P-integral integrating all derivatives F + [F ] over-function [under-function] of f on [a,b] if F ± (a) = 0, F +(x) f(x) [F (x) f(x)] x [a,b] f P-integrable on [a,b] : sup F F (b) = inf F+ F + (b) common value = P-integral of f on [a,b] The Kurzweil-Henstock integral and its extensions : a historical survey p.13/29
21 Denjoy-Perron integral 1912 : DENJOY (transfinite induction argument from L-integral) : D-integral integrating all derivatives 1914 : PERRON (inspired by DE LA VALLÉE-POUSSIN s characterization of L-integrability) : P-integral integrating all derivatives F + [F ] over-function [under-function] of f on [a,b] if F ± (a) = 0, F +(x) f(x) [F (x) f(x)] x [a,b] f P-integrable on [a,b] : sup F F (b) = inf F+ F + (b) common value = P-integral of f on [a,b] f D-integrable on [a, b] f P-integrable on [a, b] f L-integrable on [a, b] f and f DP-integrable on [a, b] first half of XX th century : many equivalent definitions of L- and DP-integral The Kurzweil-Henstock integral and its extensions : a historical survey p.13/29
22 Denjoy and Perron ARNAUD DENJOY OSKAR PERRON The Kurzweil-Henstock integral and its extensions : a historical survey p.14/29
23 KH-integral 1957 : KURZWEIL, new definition of P-integral of f : [a, b] R f K-integrable on [a,b] : J R, ε > 0, δ : [a,b] R +, Π, x j δ(x j ) a j 1 < a j x j + δ(x j ) (1 j m), J S(f, Π) ε Π called δ-fine, δ called gauge on [a,b] K-integral P-integral The Kurzweil-Henstock integral and its extensions : a historical survey p.15/29
24 KH-integral 1957 : KURZWEIL, new definition of P-integral of f : [a, b] R f K-integrable on [a,b] : J R, ε > 0, δ : [a,b] R +, Π, x j δ(x j ) a j 1 < a j x j + δ(x j ) (1 j m), J S(f, Π) ε Π called δ-fine, δ called gauge on [a,b] K-integral P-integral 1961 : independent rediscovery by HENSTOCK HENSTOCK gives many generalizations and applications J = b f on a f Kurzweil-Henstock or KH-integral or gauge integral of [a,b] constant gauge in KH-definition R-integral The Kurzweil-Henstock integral and its extensions : a historical survey p.15/29
25 Henstock and Kurzweil RALPH HENSTOCK JAROSLAV KURZWEIL born in 1928 The Kurzweil-Henstock integral and its extensions : a historical survey p.16/29
26 δ-fine P-partitions constant gauge δ : δ-fine P-partition easily constructed arbitrary gauge δ : existence of a δ-fine P-partition has to be proved 1895 : done by COUSIN in a different context (Cousin s lemma) equivalent to the Borel-Lebesgue property (1894, 1902) for a compact interval proof depends upon the non-empty intersection property of a nested sequence of closed intervals The Kurzweil-Henstock integral and its extensions : a historical survey p.17/29
27 II. A history-fiction of integration The Kurzweil-Henstock integral and its extensions : a historical survey p.18/29
28 Another road for Cauchy CAUCHY s aim : construct integral calculus for derivatives (fundamental objects in NEWTON-LEIBNIZ s calculus) mimick CAUCHY s approach for continuous functions f : [a,b] R differentiable, with derivative f : [a,b] R ε > 0, x [a,b], δ(x) > 0, y [a,b], y x δ(x) : f(y) f(x) f (x)(y x) ε y x /(b a) f(z) f(y) f (x)(z y) ε(z y)/(b a) if x δ(x) y x z x + δ(x) Π δ fine f(a j ) f(a j 1 ) f (x j )(a j a j 1 ) ε(a j a j 1 )/(b a) (1 j m) Π δ fine f(b) f(a) S(f, Π) ε δ non constant because differentiability on [a,b] uniform differentiability on [a,b] The Kurzweil-Henstock integral and its extensions : a historical survey p.19/29
29 Cauchy, Riemann, Weierstrass? CAUCHY : f : [a,b] R differentiable ε > 0, gauge δ on [a,b], δ-fine Π : f(b) f(a) S(f, Π) ε RIEMANN : f : [a,b] R is integrable on [a,b] if J R, ε > 0, gauge δ on [a,b], δ-fine Π : J S(f, Π) ε J = b a f KH-integral of f on [a,b] The Kurzweil-Henstock integral and its extensions : a historical survey p.20/29
30 Cauchy, Riemann, Weierstrass? CAUCHY : f : [a,b] R differentiable ε > 0, gauge δ on [a,b], δ-fine Π : f(b) f(a) S(f, Π) ε RIEMANN : f : [a,b] R is integrable on [a,b] if J R, ε > 0, gauge δ on [a,b], δ-fine Π : J S(f, Π) ε J = b a f KH-integral of f on [a,b] existence of δ-fine P-partition : CAUCHY? RIEMANN? WEIERSTRASS? if yes, BOREL-LEBESGUE-COUSIN lemma, Denjoy-Perron s integral and Borel-Lebesgue s measure of a bounded set of R could have arrived half a century before The Kurzweil-Henstock integral and its extensions : a historical survey p.20/29
31 Cauchy, Riemann, Weierstrass? CAUCHY : f : [a,b] R differentiable ε > 0, gauge δ on [a,b], δ-fine Π : f(b) f(a) S(f, Π) ε RIEMANN : f : [a,b] R is integrable on [a,b] if J R, ε > 0, gauge δ on [a,b], δ-fine Π : J S(f, Π) ε J = b a f KH-integral of f on [a,b] existence of δ-fine P-partition : CAUCHY? RIEMANN? WEIERSTRASS? if yes, BOREL-LEBESGUE-COUSIN lemma, Denjoy-Perron s integral and Borel-Lebesgue s measure of a bounded set of R could have arrived half a century before tragical consequence : DENJOY, PERRON, KURZWEIL and HENSTOCK disappear in our fiction : DPKH-integral is just the integral defined by RIEMANN The Kurzweil-Henstock integral and its extensions : a historical survey p.20/29
32 Qualities and defects of KH-integral qualities : b a f = f(b) f(a) for all differentiable f improper integrals are real integrals (HAKE s theorem) monotone and dominated convergence theorems (nice proof by HENSTOCK) E [a,b] measurable : 1 E integrable on [a,b] measure µ(e) := b a 1 E change of variable theorem The Kurzweil-Henstock integral and its extensions : a historical survey p.21/29
33 Qualities and defects of KH-integral qualities : b a f = f(b) f(a) for all differentiable f improper integrals are real integrals (HAKE s theorem) monotone and dominated convergence theorems (nice proof by HENSTOCK) E [a,b] measurable : 1 E integrable on [a,b] measure µ(e) := b a 1 E change of variable theorem defects : restriction property holds only for finite families of non-overlapping subintervals, may already fail for a countable union of such intervals due to the non-absolute character of the integral The Kurzweil-Henstock integral and its extensions : a historical survey p.21/29
34 We must save the soldier Lebesgue wanted : an integral with better restriction property f L-integrable on [a, b] if f and f are integrable on [a, b] f L-integrable on [a, b] f L-integrable on any measurable E [a,b] integrability of an unbounded derivative may be lost Hake s property may be lost (there exists improper L-integrals) The Kurzweil-Henstock integral and its extensions : a historical survey p.22/29
35 We must save the soldier Lebesgue wanted : an integral with better restriction property f L-integrable on [a, b] if f and f are integrable on [a, b] f L-integrable on [a, b] f L-integrable on any measurable E [a,b] integrability of an unbounded derivative may be lost Hake s property may be lost (there exists improper L-integrals) can attribute to LEBESGUE the introduction and emphasis on this important subclass of integrable functions absolute character makes it a better tool for functional analysis (Lebesgue spaces L p (a,b) are Banach spaces) The Kurzweil-Henstock integral and its extensions : a historical survey p.22/29
36 III. Higher dimensions The Kurzweil-Henstock integral and its extensions : a historical survey p.23/29
37 n-dimensional KH-integral (closed) n-interval I = I 1... I n, I n-volume of I P-partition of I : Π := {(x j,i j )} 1 j m, x j I j I j I non-overlapping n-intervals, m j=1 Ij = I gauge on I : δ : I R + ; Π δ-fine : j : I j B[x j,δ(x j )] f : I R, Riemann sum : S(f, Π) := m j=1 f(xj ) I j f KH-integrable on I : J R, ε > 0, gauge δ on I, δ fine Π : J S(f, Π) ε J = I f is the KH-integral of f on I E I measurable if 1 E KH-integrable on I, µ(e) := I 1 E Fubini, monotone and dominated convergence thms no change of variables thm, restriction to finite union of n-intervals f L-integrable on I : f and f KH-integrable on I The Kurzweil-Henstock integral and its extensions : a historical survey p.24/29
38 n-dim. fundamental thm of calculus v C 1 (A, R n ), A R n, A nice A div v = A v,n A, n A outer normal on A, n A = 1 v : I R n differentiable : div v not KH-integrable on I mimick proof of fundamental theorem for n = 1 ε > 0, x I, δ(x) > 0, y B[x,δ(x)] : v(y) v(x) v (x)(y x) ε 2 y x x I,w x := v(x) + v (x)( x) C (R n, R n ) Π = {(x j,i j )} 1 j m δ-fine Ij w x j,n I j = I j div w x j = div v(x j ) I j I j v,n I j div v(x j ) I j = I j v w x j,n I j v(y) w x j(y) ε 2 y x j y I j, j = 1,...,m The Kurzweil-Henstock integral and its extensions : a historical survey p.25/29
39 n-dim. fundamental thm of calculus I v,n I S(div v, Π) m j=1 I j w x j v,n Ij ε 2 m j=1 d(ij ) I j := ε 2 σ(π) σ(π) irregularity of Π, d(i j ) diameter of I j I j (n-1)-dimensional measure of I j I v,n I S(div v, Π) ε if one adds to Π δ-fine the irregularity restriction σ(π) ε 1 geometrical meaning : I j = I j 1... Ij n, d(i j ) = max 1 k n I j k, Ij 2n I j min 1 k n I j k σ(π) 2n max 1 j m max 1 k n I j k min 1 k n I j k I := 2nσ 0(Π) I I v,n I S(div v, Π) ε if Π satisfies the stronger irregularity restriction : σ 0 (Π) 1 2nε I The Kurzweil-Henstock integral and its extensions : a historical survey p.26/29
40 Generalized KH-integrals on n-interval f : I R n R, I n-interval 1981, M. : M-integrable on I if J R, ε > 0, gauge δ on I, δ-fine Π,σ 0 (Π) 1 2nε I : S(f, Π) J ε 1983, JARNIK, KURZWEIL, SCHWABIK : M 1 -integrable on I : replace σ 0 (Π) 1 2nε I by σ(π) ε , PFEFFER : Pf-integrable on I, using irregularity with respect to a finite family of planes parallel to the coordinate axes 1992, JARNIK, KURZWEIL : ext-integrable on I if f extended by 0 on some n-interval L int L I is M-integrable on L M 1 -int Pf-int ext-int M-int all properties of KH-integral except Fubini s thm; divergence thm for differentiable vector field; no change of variable thm The Kurzweil-Henstock integral and its extensions : a historical survey p.27/29
41 Generalized KH-integrals on M R n f : M R n R, M compact 1985, 1988, JARNIK, KURZWEIL : PU-integral on M, PU-partition defined from a suitable partition of unity, irregularity modelled on σ 1991, PFEFFER : v-integral on BV-set M, v continuous outside of a set of (n-1)-hausdorff measure zero and almost differentiable outside a set of σ-finite (n-1)-hausdorff measure 1991, KURZWEIL, M., PFEFFER : G-integral on BV-set M, BV partitions of unity; same divergence thm 2001, PFEFFER : R-integral on BV-set M, based on charges 2004, DE PAUW, PFEFFER : apply R-integral to obtain removable sets of singularities of elliptic equations other results by JURKAT, NONNENMACHER, BUCZOLICH, PLOTNIKOV, FLEISCHER, KUNCOVÁ, MALÝ, MOONENS... The Kurzweil-Henstock integral and its extensions : a historical survey p.28/29
42 Thank you for your patience! More details and references in B. BONGIORNO, The Henstock-Kurzweil integral, Handbook of Measure Theory, Elsevier, 2002, TH. DE PAUW, Autour du théorème de la divergence, Panorama et synthèses 18 (2004), J. MAWHIN, Two histories of integration theory : riemannesque vs romanesque, Bull. Cl. Sci. Acad. Roy. Belgique (6) 18 (2007) W.F. PFEFFER, The Riemann Approach to Integration : Local Geometric Theory, Cambridge, 1993 W.F. PFEFFER, Derivation and Integration, Cambridge, 2001 W.F. PFEFFER, The Divergence Theorem and Sets of Finite Perimeter, Chapman and Hall/CRC, 2012 The Kurzweil-Henstock integral and its extensions : a historical survey p.29/29
Dedicated to Prof. Jaroslav Kurzweil on the occasion of his 80th birthday
131 (2006) MATHEMATICA BOHEMICA No. 4, 365 378 ON MCSHANE-TYPE INTEGRALS WITH RESPECT TO SOME DERIVATION BASES Valentin A. Skvortsov, Piotr Sworowski, Bydgoszcz (Received November 11, 2005) Dedicated to
More informationThe Gauge Integral of Denjoy, Luzin, Perron, Henstock and Kurzweil
The Gauge Integral of Denjoy, Luzin, Perron, Henstock and Kurzweil Tim Sullivan tjs@caltech.edu California Institute of Technology Ortiz Group Meeting Caltech, California, U.S.A. 12 August 2011 Sullivan
More informationconvergence theorem in abstract set up. Our proof produces a positive integrable function required unlike other known
https://sites.google.com/site/anilpedgaonkar/ profanilp@gmail.com 218 Chapter 5 Convergence and Integration In this chapter we obtain convergence theorems. Convergence theorems will apply to various types
More informationAnalysis 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 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 informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
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 information+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1
Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and
More informationarxiv:math/ v1 [math.dg] 6 Jul 1998
arxiv:math/9807024v [math.dg] 6 Jul 998 The Fundamental Theorem of Geometric Calculus via a Generalized Riemann Integral Alan Macdonald Department of Mathematics Luther College, Decorah, IA 520, U.S.A.
More informationLogical 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 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 informationfor all x,y [a,b]. The Lipschitz constant of f is the infimum of constants C with this property.
viii 3.A. FUNCTIONS 77 Appendix In this appendix, we describe without proof some results from real analysis which help to understand weak and distributional derivatives in the simplest context of functions
More informationLebesgue Measure on R n
8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
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 informationFUNDAMENTALS OF REAL ANALYSIS
ÜO i FUNDAMENTALS OF REAL ANALYSIS James Foran University of Missouri Kansas City, Missouri Marcel Dekker, Inc. New York * Basel - Hong Kong Preface iii 1.1 Basic Definitions and Background Material 1
More informationMATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6
MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction
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 informationThe Kurzweil Henstock integral for undergraduates
The Kurzweil Henstock integral for undergraduates A promenade along the marvelous theory of integration Alessandro Fonda May 6, 208 To Sofia, Marcello, and Elisa Contents Introduction vii Functions of
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 informationMeasures. Chapter Some prerequisites. 1.2 Introduction
Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques
More informationEconomics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011
Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Section 2.6 (cont.) Properties of Real Functions Here we first study properties of functions from R to R, making use of the additional structure
More 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 informationSYMMETRIC INTEGRALS DO NOT HAVE THE MARCINKIEWICZ PROPERTY
RESEARCH Real Analysis Exchange Vol. 21(2), 1995 96, pp. 510 520 V. A. Skvortsov, Department of Mathematics, Moscow State University, Moscow 119899, Russia B. S. Thomson, Department of Mathematics, Simon
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 informationDavid M. Bressoud Macalester College, St. Paul, Minnesota Given at Allegheny College, Oct. 23, 2003
David M. Bressoud Macalester College, St. Paul, Minnesota Given at Allegheny College, Oct. 23, 2003 The Fundamental Theorem of Calculus:. If F' ( x)= f ( x), then " f ( x) dx = F( b)! F( a). b a 2. d dx
More informationThe McShane and the weak McShane integrals of Banach space-valued functions dened on R m. Guoju Ye and Stefan Schwabik
Miskolc Mathematical Notes HU e-issn 1787-2413 Vol. 2 (2001), No 2, pp. 127-136 DOI: 10.18514/MMN.2001.43 The McShane and the weak McShane integrals of Banach space-valued functions dened on R m Guoju
More informationFUNDAMENTALS OF REAL ANALYSIS by. II.1. Prelude. Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as
FUNDAMENTALS OF REAL ANALYSIS by Doğan Çömez II. MEASURES AND MEASURE SPACES II.1. Prelude Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as b n f(xdx :=
More informationbroader class of functions. Integrals and derivatives were known before the time of Newton and
Henri Lebesgue French mathematician Henri Léon Lebesgue (June 28, 1875 July 26, 1941) launched the modern theory of functions of a real variable. His work that of Emile Borel, who created the first effective
More informationSolutions Final Exam May. 14, 2014
Solutions Final Exam May. 14, 2014 1. (a) (10 points) State the formal definition of a Cauchy sequence of real numbers. A sequence, {a n } n N, of real numbers, is Cauchy if and only if for every ɛ > 0,
More informationTHE RIEMANN INTEGRAL USING ORDERED OPEN COVERINGS
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS THE RIEMANN INTEGRAL USING ORDERED OPEN COVERINGS ZHAO DONGSHENG AND LEE PENG YEE ABSTRACT. We define the Riemann integral for bounded functions defined on a general
More informationMORE ON CONTINUOUS FUNCTIONS AND SETS
Chapter 6 MORE ON CONTINUOUS FUNCTIONS AND SETS This chapter can be considered enrichment material containing also several more advanced topics and may be skipped in its entirety. You can proceed directly
More informationWeek 5 Lectures 13-15
Week 5 Lectures 13-15 Lecture 13 Definition 29 Let Y be a subset X. A subset A Y is open in Y if there exists an open set U in X such that A = U Y. It is not difficult to show that the collection of all
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
More informationFinal. due May 8, 2012
Final due May 8, 2012 Write your solutions clearly in complete sentences. All notation used must be properly introduced. Your arguments besides being correct should be also complete. Pay close attention
More informationAn Analysis of the Henstock-Kurzweil Integral
An Analysis of the Henstock-Kurzweil Integral A Thesis Submitted to the Graduate School in Partial Fulfillment for the degree of Masters of Science by Joshua L. Turner Advisor: Dr. Ahmed Mohammed Ball
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationSupplementary Notes for W. Rudin: Principles of Mathematical Analysis
Supplementary Notes for W. Rudin: Principles of Mathematical Analysis SIGURDUR HELGASON In 8.00B it is customary to cover Chapters 7 in Rudin s book. Experience shows that this requires careful planning
More informationMATH 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 informationMT804 Analysis Homework II
MT804 Analysis Homework II Eudoxus October 6, 2008 p. 135 4.5.1, 4.5.2 p. 136 4.5.3 part a only) p. 140 4.6.1 Exercise 4.5.1 Use the Intermediate Value Theorem to prove that every polynomial of with real
More informationMATH5011 Real Analysis I. Exercise 1 Suggested Solution
MATH5011 Real Analysis I Exercise 1 Suggested Solution Notations in the notes are used. (1) Show that every open set in R can be written as a countable union of mutually disjoint open intervals. Hint:
More information1.4 Outer measures 10 CHAPTER 1. MEASURE
10 CHAPTER 1. MEASURE 1.3.6. ( Almost everywhere and null sets If (X, A, µ is a measure space, then a set in A is called a null set (or µ-null if its measure is 0. Clearly a countable union of null sets
More informationLee Peng Yee. Received December 18, 2007
Scientiae Mathematicae Japonicae Online, e-2007, 763 771 763 THE INTEGRAL À LA HENSTOCK Lee Peng Yee Received December 18, 2007 Abstract. Henstock provided a unified approach to many integrals in use.
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More 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 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 information(2) E M = E C = X\E M
10 RICHARD B. MELROSE 2. Measures and σ-algebras An outer measure such as µ is a rather crude object since, even if the A i are disjoint, there is generally strict inequality in (1.14). It turns out to
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 informationContinuous 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 informationn [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)
1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line
More informationFUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions
FUNDAMNTALS OF RAL ANALYSIS by Doğan Çömez IV. DIFFRNTIATION AND SIGND MASURS IV.1. Differentiation of Monotonic Functions Question: Can we calculate f easily? More eplicitly, can we hope for a result
More informationUPPER AND LOWER HENSTOCK INTEGRALS
RESEARCH Real Analysis Exchange Vol. 22(2), 1996-97, pp. 734 739 Lee Peng Yee and Zhao ongsheng, ivision of Mathematics, School of Science, National Institute of Education, Singapore 259756 e-mail: zhaod@am.nie.ac.sg
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationMTH 404: Measure and Integration
MTH 404: Measure and Integration Semester 2, 2012-2013 Dr. Prahlad Vaidyanathan Contents I. Introduction....................................... 3 1. Motivation................................... 3 2. The
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More informationNotes on Complex Analysis
Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................
More informationconverges 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 informationBounded Derivatives Which Are Not Riemann Integrable. Elliot M. Granath. A thesis submitted in partial fulfillment of the requirements
Bounded Derivatives Which Are Not Riemann Integrable by Elliot M. Granath A thesis submitted in partial fulfillment of the requirements for graduation with Honors in Mathematics. Whitman College 2017 Certificate
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
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 informationExistence Theorem for Abstract Measure. Differential Equations Involving. the Distributional Henstock-Kurzweil Integral
Journal of Applied Mathematics & Bioinformatics, vol.4, no.1, 2014, 11-20 ISSN: 1792-6602 (print), 1792-6939 (online) Scienpress Ltd, 2014 Existence Theorem for Abstract Measure Differential Equations
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 informationMATH 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 informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationQuick Tour of the Topology of R. Steven Hurder, Dave Marker, & John Wood 1
Quick Tour of the Topology of R Steven Hurder, Dave Marker, & John Wood 1 1 Department of Mathematics, University of Illinois at Chicago April 17, 2003 Preface i Chapter 1. The Topology of R 1 1. Open
More informationG1CMIN Measure and Integration
G1CMIN Measure and Integration 2003-4 Prof. J.K. Langley May 13, 2004 1 Introduction Books: W. Rudin, Real and Complex Analysis ; H.L. Royden, Real Analysis (QA331). Lecturer: Prof. J.K. Langley (jkl@maths,
More informationMath212a1413 The Lebesgue integral.
Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the
More informationarxiv: v2 [math.ca] 4 Jun 2017
EXCURSIONS ON CANTOR-LIKE SETS ROBERT DIMARTINO AND WILFREDO O. URBINA arxiv:4.70v [math.ca] 4 Jun 07 ABSTRACT. The ternary Cantor set C, constructed by George Cantor in 883, is probably the best known
More informationAn overview of classical integration theory
An overview of classical integration theory Ma Zheng Min Northwest Normal University China Lee Peng Yee National University of Singapore Singapore 1. Introduction The theory of integration has a long history
More informationComparison between some Kurzweil-Henstock type integrals for Riesz-space-valued functions
Comparison between some Kurzweil-Henstock type integrals for Riesz-space-valued functions A. Boccuto V. A. Skvortsov ABSTRACT. Some kinds of integral, like variational, Kurzweil-Henstock and (SL)-integral
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhofproblems.tex December 5, 2017 http://thales.doa.fmph.uniba.sk/sleziak/texty/rozne/pozn/books/ van Rooij, Schikhof: A Second Course on Real Functions Some notes made when reading [vrs].
More informationSolutions to Tutorial 8 (Week 9)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/
More informationMATH 409 Advanced Calculus I Lecture 25: Review for the final exam.
MATH 49 Advanced Calculus I Lecture 25: Review for the final exam. Topics for the final Part I: Axiomatic model of the real numbers Axioms of an ordered field Completeness axiom Archimedean principle Principle
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationLebesgue measure and integration
Chapter 4 Lebesgue measure and integration If you look back at what you have learned in your earlier mathematics courses, you will definitely recall a lot about area and volume from the simple formulas
More informationON PREPONDERANT DIFFERENTIABILITY OF TYPICAL CONTINUOUS FUNCTIONS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 14, Number 3, March 1996 ON PREPONDERANT DIFFERENTIABILITY OF TYPICAL CONTINUOUS FUNCTIONS L. ZAJÍČEK (Communicated by C. D. Sogge) Abstract. In
More informationDedicated to Prof. J. Kurzweil on the occasion of his 80th birthday
131 (2006) MATHEMATCA BOHEMCA No. 2, 211 223 KURZWEL-HENSTOCK AND KURZWEL-HENSTOCK-PETTS NTEGRABLTY OF STRONGLY MEASURABLE FUNCTONS B. Bongiorno, Palermo, L. Di Piazza, Palermo, K. Musia l, Wroc law (Received
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 informationSequences. 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 informationIntegration. Darboux Sums. Philippe B. Laval. Today KSU. Philippe B. Laval (KSU) Darboux Sums Today 1 / 13
Integration Darboux Sums Philippe B. Laval KSU Today Philippe B. Laval (KSU) Darboux Sums Today 1 / 13 Introduction The modern approach to integration is due to Cauchy. He was the first to construct a
More informationSolutions 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 informationMeasure Theory. John K. Hunter. Department of Mathematics, University of California at Davis
Measure Theory John K. Hunter Department of Mathematics, University of California at Davis Abstract. These are some brief notes on measure theory, concentrating on Lebesgue measure on R n. Some missing
More informationA LITTLE REAL ANALYSIS AND TOPOLOGY
A LITTLE REAL ANALYSIS AND TOPOLOGY 1. NOTATION Before we begin some notational definitions are useful. (1) Z = {, 3, 2, 1, 0, 1, 2, 3, }is the set of integers. (2) Q = { a b : aεz, bεz {0}} is the set
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 informationHistorical Reflections On Teaching Calculus/Analysis David Bressoud Macalester College St. Paul, MN
Historical Reflections On Teaching Calculus/Analysis David Bressoud Macalester College St. Paul, MN University of Utrecht The Netherlands April 23, 2010 PowerPoint available at www.macalester.edu/~bressoud/talks
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 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 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 informationElementary Analysis Math 140D Fall 2007
Elementary Analysis Math 140D Fall 2007 Bernard Russo Contents 1 Friday September 28, 2007 1 1.1 Course information............................ 1 1.2 Outline of the course........................... 1
More informationMethods of Applied Mathematics
Methods of Applied Mathematics Todd Arbogast and Jerry L. Bona Department of Mathematics, and Institute for Computational Engineering and Sciences The University of Texas at Austin Copyright 1999 2001,
More information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationMeasure and integration
Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.
More informationMAT 417, Fall 2017, CRN: 1766 Real Analysis: A First Course
MAT 47, Fall 207, CRN: 766 Real Analysis: A First Course Prerequisites: MAT 263 & MAT 300 Instructor: Daniel Cunningham What is Real Analysis? Real Analysis is the important branch of mathematics that
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 informationPanAmerican Mathematical Journal
International Publications (USA PanAmerican Mathematical Journal Volume 16(2006, Number 4, 63 79 he Kurzweil-Henstock Integral for Riesz Space-Valued Maps Defined in Abstract opological Spaces and Convergence
More informationLebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?
Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function
More informationLecture 2: Random Variables and Expectation
Econ 514: Probability and Statistics Lecture 2: Random Variables and Expectation Definition of function: Given sets X and Y, a function f with domain X and image Y is a rule that assigns to every x X one
More informationA List of Problems in Real Analysis
A List of Problems in Real Analysis W.Yessen & T.Ma December 3, 218 This document was first created by Will Yessen, who was a graduate student at UCI. Timmy Ma, who was also a graduate student at UCI,
More informationLecture 10. Riemann-Stieltjes Integration
Lecture 10 Riemann-Stieltjes Integration In this section we will develop the basic definitions and some of the properties of the Riemann-Stieltjes Integral. The development will follow that of the Darboux
More informationChapter II. Metric Spaces and the Topology of C
II.1. Definitions and Examples of Metric Spaces 1 Chapter II. Metric Spaces and the Topology of C Note. In this chapter we study, in a general setting, a space (really, just a set) in which we can measure
More information