\(\DeclarePairedDelimiterX{\Set}[2]{\{}{\}}{#1 \nonscript\;\delimsize\vert\nonscript\; #2}\) \( \DeclarePairedDelimiter{\set}{\{}{\}}\) \( \DeclarePairedDelimiter{\parens}{\left(}{\right)}\) \(\DeclarePairedDelimiterX{\innerproduct}[1]{\langle}{\rangle}{#1}\) \(\newcommand{\ip}[1]{\innerproduct{#1}}\) \(\newcommand{\bmat}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\barray}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\mat}[1]{\begin{matrix}#1\end{matrix}}\) \(\newcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}\) \(\newcommand{\mathword}[1]{\mathop{\textup{#1}}}\)
Needs:
Complex Functions
Real Integrals
Complex Distance
Needed by:
Integrable Function Space
Links:
Sheet PDF
Graph PDF

Complex Integrals

Why

We extend integrability to complex functions.1

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, \mathcal{A} , \mu )$ 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\mu $. We have defined it by:

\[ \int f d\mu = \int \re(f)d\mu + \int \im(f) d\mu . \]

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, \mathcal{A} , \mu )$ be a measure space. Let $f: X \to \C $ integrable. There exists $\alpha \in C$ with $\Cmod{\alpha } = 1$ such that

\[ \Cmod{\int f d\mu } = \alpha \int f d\mu . \]

Since the integral is homogenous,

\[ \begin{aligned} \Cmod{\int f d\mu } &= \int \alpha f d\mu &= \int \re(\alpha f) d\mu + i \int \im(\alpha f)d\mu . \end{aligned} \]

Since $\C mod{\int f d\mu }$ is real, $\int \im(\alpha f) d\mu = 0$, so

\[ \begin{aligned} \Cmod{\int f d\mu } &= \int \re(\alpha f) d\mu &\leq \int \abs{\alpha f} d\mu &= \int \Cmod{f} d\mu , \end{aligned} \]

since $\re(z) \leq \Cmod{z}$ for all complex numbers $z$ and $\Cmod{\alpha } = 1$.

  1. Future editions will modify this motivation. ↩︎
Copyright © 2023 The Bourbaki Authors — All rights reserved — Version 13a6779cc About Show the old page view