1
$\begingroup$

Is my proof (without using uniform continuity) correct?

$f$ continuous on a compact set $\implies$ $\exists \ M,m, \ f(M)\geq f(x) , \ f(m) \leq(x) \ \forall x \in[a, b]$

$M_i:=\sup\{f(x):t_{i-1}\leq x\leq t_i\}$ and $m_i:=\inf\{f(x):t_{i-1}\leq x\leq t_i\}$

Let $P=\{t_0, \cdots , t_n\}$ be a partition of $[a, b]$ such that $t_i-t_{i-1}<\delta$ and let $\delta < \dfrac{\epsilon}{n(f(M)-f(m))}$

$$\begin{align}&U(f, P)-L(f, P)\\=& \sum (M_i-m_i)(t_i-t_{i-1}) \\\leq& (f(M)-f(m)) \sum (t_i-t_{i-1}) \\\leq& (f(M)-f(m))\cdot\delta n \\<&\epsilon\end{align}$$

$\endgroup$
  • 3
    $\begingroup$ Your proof is incorrect, because $\delta$ cannot be dependent on $n$. $\delta$ can only depend on $\epsilon$. $\endgroup$ – 5xum Apr 13 '18 at 9:11
  • $\begingroup$ Note that $ \sum (t_i-t_{i-1}) = b - a$ always holds. $\endgroup$ – Martin R Apr 13 '18 at 9:11
  • 1
    $\begingroup$ @5xum Your comment is a full answer. I suggest that you post it as such. $\endgroup$ – José Carlos Santos Apr 13 '18 at 9:11
  • 2
    $\begingroup$ It might also make you suspicious that you did not use the continuity of $f$ at all, only the boundedness. $\endgroup$ – Martin R Apr 13 '18 at 9:14
3
$\begingroup$

Your estimates on $\delta$ are inconsistent, because the standalone fact that $t_{i+1}-t_i<\delta$ for all $i$ guarantees that $n\cdot\delta>b-a$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.