# Definition:Improper Integral/Open Interval

Jump to navigation
Jump to search

## Definition

Let $f$ be a real function which is continuous on the open interval $\openint a b$.

Then the improper integral of $f$ over $\openint a b$ is defined as:

- $\ds \int_{\mathop \to a}^{\mathop \to b} \map f t \rd t := \lim_{\gamma \mathop \to a} \int_\gamma^c \map f t \rd t + \lim_{\gamma \mathop \to b} \int_c^\gamma \map f t \rd t$

for some $c \in \openint a b$.

## Explanation

This page or section has statements made on it that ought to be extracted and proved in a Theorem page.In particular: This should be extracted into a proof page.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by creating any appropriate Theorem pages that may be needed.To discuss this page in more detail, feel free to use the talk page. |

In this situation, there are *two* limits to consider.

The technique used here is to split the open interval into two half open intervals.

Let $c \in \openint a b$.

Thus:

- $\openint a b = \hointl a c \cup \hointr c b$

and use two improper integrals on half-open intervals.

The validity of this approach is justified by Sum of Integrals on Adjacent Intervalsâ€Ž for Continuous Functions.