Complex Integrals

Why

We extend integrability to complex functions.¹

Definition

A measurable complex-valued function on a measurable space is one whose real and imaginary parts are both measurable. An integrable complex-valued function on a measurable space is one whose real and imaginary parts are both integrable.

The integral of a integrable complex-valued function on a measurable space is the complex number whose real part is the integral of the real part of the function and whose imaginary part is the integral imaginary part of the function.

Notation

Let $(X, A, μ)$ be a measure space. Let $C$ denote the set of complex numbers. Let $f : X \to C$ be a function. $f$ is measurable if $Re (f)$ and $Im (f)$ are measurable. $f$ is integrable if $Re (f)$ and $Im (f)$ is integrable. If $f$ is integrable, we denote its integral by $\int f d μ$ . We have defined it by:

$\int f d μ = \int Re (f) d μ + \int Im (f) d μ .$

Results

A linear combination of two integrable complex-valued functions is an integrable complex-valued function.

The integral is a linear operator on the vector space of integrable complex-valued functions.

The absolute value of the integral of a complex-valued function is smaller than the integral of the absolute value of the function.

Let

(X, A, μ)

be a measure space. Let

f : X \to C

integrable. There exists

α \in C

with

| α | = 1

such that

$| \int f d μ | = α \int f d μ .$

Since the integral is homogenous,

$\begin{aligned} | \int f d μ | & = \int α f d μ & = \int Re (α f) d μ + i \int Im (α f) d μ . \end{aligned}$

Since

C m o d \int f d μ

is real,

\int Im (α f) d μ = 0

, so

$\begin{aligned} | \int f d μ | & = \int Re (α f) d μ & \leq \int | α f | d μ & = \int | f | d μ, \end{aligned}$

since

Re (z) \leq | z |

for all complex numbers

z

and

| α | = 1

Future editions will modify this motivation. ↩︎