# Continuous Complex Function is Complex Riemann Integrable

## Theorem

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

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

Then $f$ is complex Riemann integrable over $\closedint a b$.

## Proof

Define the real function $x: \closedint a b \to \R$ by:

$\forall t \in \closedint a b : \map x t = \map \Re {\map f t}$

Define the real function $y: \closedint a b \to \R$ by:

$\forall t \in \closedint a b : \map y t = \map \Im {\map f t}$

where:

$\map \Re {\map f t}$ denotes the real part of the complex number $\map f t$
$\map \Im {\map f t}$ denotes the imaginary part of $\map f t$.

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 $x$ and $y$ are continuous.

From Continuous Real Function is Darboux Integrable, it follows that $x$ and $y$ are Darboux integrable over $\closedint a b$.

By definition, it follows that $f$ is complex Riemann integrable.

$\blacksquare$