A.3. BASIC PROPERTIES 847

∑Pk

(MQ (k)−mQ (k))v(Q)≥ δ ∑Pk

v(Q)

and so for k = f ,g,ε > δ > ∑

Pk

v(Q) . (1.6)

Suppose for k = f ,g,MQ (k)−mQ (k)≤ δ .

Then if x1,x2 ∈ Q,

| f (x1)− f (x2)|< δ , and |g(x1)−g(x2)|< δ .

Therefore,

|h(x1)−h(x2)| ≡ |φ ( f (x1) ,g(x1))−φ ( f (x2) ,g(x2))|< ε

and it follows that|MQ (h)−mQ (h)| ≤ ε.

Now letS ≡ {Q ∈ G : 0 < MQ (k)−mQ (k)≤ δ , k = f ,g} .

Thus the union of the boxes in S is contained in some large box, R, which depends onlyon f and g and also, from the assumption that φ (0,0) = 0, MQ (h)−mQ (h) = 0, unlessQ⊆ R. Then

UG (h)−LG (h)≤ ∑Q∈P f

(MQ (h)−mQ (h))v(Q)+

∑Q∈Pg

(MQ (h)−mQ (h))v(Q)+ ∑Q∈S

δv(Q) .

Now since K is compact, it follows φ (K) is bounded and so there exists a constant C,depending only on h and φ such that MQ (h)−mQ (h)<C. Therefore, the above inequalityimplies

UG (h)−LG (h)≤C ∑Q∈P f

v(Q)+C ∑Q∈Pg

v(Q)+ ∑Q∈S

δv(Q) ,

which by (1.6) implies

UG (h)−LG (h)≤ 2Cε +δv(R)≤ 2Cε + εv(R) .

Since ε is arbitrary, the Riemannn criterion is satisfied and so h ∈R (Rn). ■

Corollary A.3.2 Let f ,g ∈R (Rn) and let a,b ∈ R. Then a f + bg, f g, and | f | are all inR (Rn). Also, ∫

Rn(a f +bg) dx = a

∫Rn

f dx+b∫Rn

gdx, (1.7)

and ∫| f | dx≥

∣∣∣∣∫ f dx∣∣∣∣ . (1.8)

A.3. BASIC PROPERTIES 847Y (Mo (k) mg (k)) v(Q) = 5yv(0)Pxand so fork = f,g,e>d>) v(Q). (1.6)PxSuppose for k = f,g,Mo (k) —mg (k) <6.Then if 2,,a2 € QO,|f (x1) — f (@2)| < 6, and |g (x1) — g(#2)| <6.Therefore,h(x) —h(a2)| = |6 (F(w1),8(@1)) -— 9 F (w2) 8 (#2) <€and it follows that\Mo (h) —mo (h)| < €.Now letS={QE€G:0<Mo(k)—mg(k) <6, k=f,g}.Thus the union of the boxes in .” is contained in some large box, R, which depends onlyon f and g and also, from the assumption that ¢ (0,0) = 0, Mg (h) — mg (h) = 0, unlessQ CR. ThenUy (h) — Lg (h) < Y) (Mo (h) — mg (h))v(Q)+OEP;YL (Mo (h) —me (h))v(Q)+ YY dv(Q).OEP, QESNow since K is compact, it follows @(K) is bounded and so there exists a constant C,depending only on / and @ such that Mg (h) — mg (h) < C. Therefore, the above inequalityimpliesMy (h)—L4(h)<C Y v(Q)+C Y v(Q)+ Y br),OcP Oc Ps OESwhich by (1.6) impliesUy (h) — Lg (h) < 2Ce+ dv(R) < 2Ce+ev(R).Since € is arbitrary, the Riemannn criterion is satisfied and soh € &(R").Corollary A.3.2 Let f,g © &(R") and let a,b € R. Then af + bg, fg, and |f| are all in& (R"). Also,[(af+be)de=al fact [ gae, (1.7)Ji flare [resand. (1.8)