Question #170730

Prove the following result:

A function f that is decreesing on [a,b] is integrable on [a,b].


Expert's answer

Given that f is decreasing on [a,b]. Thus, f(b)≤f(x)≤f(a)f(b) \leq f(x) \leq f(a) and f is bounded on [a,b]. Given ϵ>0  ∃k>0∋k[f(a)−f(b)]<ϵ\epsilon >0 \, \, \exist k >0 \ni k[f(a)-f(b)]< \epsilon .


Let P = {x0,x1,...,xn}∋∆xi≤k\{x_0, x_1,..., x_n\} \ni ∆x_i \leq k be a partition on [a,b].

Since f is decreasing it follows that mi=f(xi)m_i = f(x_i) and Mi=f(xi−1)i=1,2,...,nM_i = f(x_{i-1}) i =1,2,...,n

where mim_i is the greatest lower bound of f on [xi−1,xi][x_{i-1},x_i] and MiM_i is the lowest upper bound of f on the interval [xi−1,xi][x_{i-1},x_i] U(f,P)−L(f,P)=∑i=1n[f(xi−1)−f(xi)]∆xi≤k∑i=1n[f(xi−1)−f(xi)]U(f,P) - L(f,P) = \sum_{i=1}^{n}[f(x_{i-1})-f(x_i)]∆x_i \leq k\sum_{i=1}^{n}[f(x_{i-1})-f(x_i)] = k[f(x0)−f(xn)]=k[f(a)−f(b)]<ϵk[f(x_0)-f(x_n)]=k[f(a)-f(b)]< \epsilon


Hence f is integrable on [a,b].


LATEST TUTORIALS
APPROVED BY CLIENTS