Sum of Complex Integrals on Adjacent Intervals

From ProofWiki
Jump to navigation Jump to search



Theorem

Let $\closedint a b$ be a closed real interval.

Let $f: \closedint a b \to \C$ be a continuous complex function.

Let $c \in \closedint a b$.


Then:

$\ds \int_a^c \map f t \rd t + \int_c^b \map f t \rd t = \int_a^b \map f t \rd t$


Proof

From Continuous Complex Function is Complex Riemann Integrable, it follows that all three complex Riemann integrals are well defined.

From Real and Imaginary Part Projections are Continuous, it follows that $\Re: \C \to \R$ and $\Im: \C \to \R$ are continuous functions.



From Composite of Continuous Mappings is Continuous, it follows that $\Re \circ f: \R \to \R$ and $\Im \circ f: \R \to \R$ are continuous real functions.


Then:

\(\ds \int_a^b \map f t \rd t\) \(=\) \(\ds \int_a^b \map \Re {\map f t} \rd t + i \int_a^b \map \Im {\map f t} \rd t\) Definition of Complex Riemann Integral
\(\ds \) \(=\) \(\ds \int_a^c \map \Re {\map f t} \rd t + \int_c^b \map \Re {\map f t} \rd t + i \paren {\int_a^c \map \Im {\map f t} \rd t + \int_c^b \map \Im {\map f t} \rd t}\) Sum of Integrals on Adjacent Intervals for Continuous Functions
\(\ds \) \(=\) \(\ds \int_a^c \map \Re {\map f t} \rd t + i \int_a^c \map \Im {\map f t} \rd t + \int_c^b \map \Re {\map f t} \rd t + i \int_c^b \map \Im {\map f t} \rd t\)
\(\ds \) \(=\) \(\ds \int_a^c \map f t \rd t + \int_c^b \map f t \rd t\)

$\blacksquare$