304 CHAPTER 13. THE GENERALIZED RIEMANN INTEGRAL

Proof: Let η = ε

|β |+|α|+1 and choose gauges, δ g and δ f such that if P is δ g fine,∣∣∣∣S (P,g)−∫IgdF

∣∣∣∣< η

and that if P is δ f fine, ∣∣∣∣S (P, f )−∫

If dF

∣∣∣∣< η .

Now let δ = min(δ g,δ f

). Then if P is δ fine the above inequalities both hold. Therefore,

from the definition of S (P, f ),

S (P,α f +βg) = αS (P, f )+βS (P,g)

and so ∣∣∣∣S (P,α f +βg)−(

β

∫IgdF +α

∫I

f dF)∣∣∣∣≤ ∣∣∣∣βS (P,g)−β

∫IgdF

∣∣∣∣+

∣∣∣∣αS (P, f )−α

∫I

f dF∣∣∣∣≤ |β |η + |α|η < ε.

Since ε > 0 is arbitrary, this shows the number β∫

I gdF +α∫

I f dF qualifies in the defini-tion of the generalized Riemann integral and so α f +βg ∈ R∗ [a,b] and∫

I(α f +βg)dF = β

∫IgdF +α

∫I

f dF.

The following lemma is also very easy to establish from the definition.

Lemma 13.1.10 If f ≥ 0 and f ∈ R∗ [a,b], then∫

I f dF ≥ 0. Also, if f has complexvalues and is in R∗ [I], then both Re f and Im f are in R∗ [I].

Proof: To show the first part, let ε > 0 be given and let δ be a gauge function such thatif P is δ fine then |S ( f ,P)−

∫I f dF | ≤ ε. Since F is increasing, it is clear that S ( f ,P)≥ 0.

Therefore,∫

I f dF ≥ S ( f ,P)− ε ≥ −ε and since ε is arbitrary, it follows∫

I f dF ≥ 0 asclaimed.

To verify the second part, note that by Proposition 13.1.5 there exists a gauge, δ suchthat if P,Q are δ fine then |S ( f ,P)−S ( f ,Q)|< ε . But

|S (Re f ,P)−S (Re f ,Q)| = |Re(S ( f ,P))−Re(S ( f ,Q))|≤ |S ( f ,P)−S ( f ,Q)|

and so the conditions of Proposition 13.1.5 are satisfied and you can conclude Re f ∈ R∗ [I] .Similar reasoning applies to Im f .

Corollary 13.1.11 If | f | , f ∈ R∗ [a,b], where f has values in C, then∣∣∣∣∫If dF

∣∣∣∣≤ ∫I| f |dF.

304 CHAPTER 13. THE GENERALIZED RIEMANN INTEGRALProof: Let 7 = Brat and choose gauges, 6, and 6 such that if P is 6, fine,s(Re)~ [ear] <nand that if P is 6 fine,sin [rar <n.Now let 6 = min (6 Pa 5p). Then if P is 6 fine the above inequalities both hold. Therefore,from the definition of S(P, f),S(P,af+ Bg) = aS(P,f)+BS(P,g)and sosnar+pe)—(B [ear +a [srar)|<|ps(re)—B fear+las(r.r)~a.[ rar] <|BIn-+laln <e.Since € > 0 is arbitrary, this shows the number B {, gdF + @ J, fdF qualifies in the defini-tion of the generalized Riemann integral and so af + Bg € R* [a,b] and[ (a+ Be)aF — B [sar +a | far, 1The following lemma is also very easy to establish from the definition.Lemma 13.1.10 If f > 0 and f € R* [a,b], then f, fdF > 0. Also, if f has complexvalues and is in R* |I], then both Re f and Im f are in R* [I].Proof: To show the first part, let € > 0 be given and let 6 be a gauge function such thatif P is 6 fine then |S(f,P) — J; fdF| < €. Since F is increasing, it is clear that S(f,P) > 0.Therefore, {, fdF > S(f,P)—€ > —€ and since € is arbitrary, it follows [, fdF > 0 asclaimed.To verify the second part, note that by Proposition 13.1.5 there exists a gauge, 6 suchthat if P,Q are 6 fine then |S(f,P) —S(f,Q)| < e€. But< |S(f,P)—S(f,Q)|and so the conditions of Proposition 13.1.5 are satisfied and you can conclude Re f € R* [I] .Similar reasoning applies toIm/f. §JCorollary 13.1.11 /f|f|,f € R* [a,b], where f has values in C, then| [ rar| < [iflar.