$\textbf{I would like a proof in detail of the following question.}$

Question

$\textbf{I would like a proof in detail of the following question.}$

let $ f:[a,b)\rightarrow \mathbb{R} $ be a bounded function which is Riemann integrable on [a,c] whenever $a< c< b$. Define the function $F:\left[ a,b\right)\rightarrow \mathbb{R} $ by the formula $F(x)=\int_{a}^{x} f$ . Prove that $F$ has a limit at $b$ and the integral of $f$ over $[a,b)$ can be defined to equal this limit.

Real Analysis

Homeomorfo Fle

Report

Answer

The answer is accepted.

Join Matchmatician's Affiliate Marketing Program to earn up to 50% commission on every question your affiliated users ask or answer.

Answer 1

Answers can be viewed only if

The questioner was satisfied and accepted the answer, or
The answer was disputed, but the judge evaluated it as 100% correct.

View the answer

Let $(x_n)$ be an sequence in $[a,b)$ converging to $b$. We will show that $f(x_n)$ is a converging sequence, and since the sequence $x_n$ was arbitrary, this means the limit of $f$ at $b$ exists.

Let $y_n:= \int_a^{x_n}f(x)dx$. We will show this is a Cauchy sequence of numbers in $\mathbb{R}$, and hence, convergent.

Let $M$ be the bound of $f$ in $[a,b)$.

$|y_n-y_m| =|\int_{x_m}^{x_n}f(x)dx| \leq \int_{x_m}^{x_n}|f(x)|dx \leq M|x_n-x_m|$

Since $(x_n)$ is a convergent sequence, it is also Cauchy, meaning the differences $|x_n-x_m|$ can be made arbitrarily small provided $n,m$ are large enough. This shows $(y_n)$ is also Cauchy, so it converges and the limit of $f$ at $b$ exists.

Then, we can define $F(b) = \int_{a}^{b}f(x)dx := \lim_{n\rightarrow\infty} \int_{a}^{x_n}f(x)dx$

Mathe

$\textbf{I would like a proof in detail of the following question.}$

Answer

Related Questions

Search