# Uniform Absolute Convergence of Infinite Product of Complex Functions

 It has been suggested that this page or section be merged into Equivalence of Definitions of Uniform Absolute Convergence of Product of Complex Functions. (Discuss)

## Theorem

Let $X$ be a compact metric space.

Let $\left\langle{f_n}\right\rangle$ be a sequence of continuous functions $X \to \C$.

Let $\displaystyle \sum_{n \mathop = 1}^\infty f_n$ converge uniformly absolutely on $X$.

Then:

$f \left({x}\right) = \displaystyle \prod_{n \mathop = 1}^\infty \left({1 + f_n \left({x}\right)}\right)$ converges uniformly absolutely on $X$
$f$ is continuous
there exists $n_0 \in \N$ such that $\displaystyle \prod_{n \mathop = n_0}^\infty \left({1 + f_n \left({x}\right)}\right)$ has no zeroes.

## Proof

### Lemma

Let $X$ be a set.

Let $\family {g_n}$ be a family of mappings $g_n : X \to \C$.

Let $g_n$ converge uniformly to $g: X \to \C$.

Let there be a constant $a \in \R$ such that $\map \Re {\map g x} \le a$ for all $x \in X$.

Then $\exp g_n$ converges uniformly to $\exp g$.

Because $\displaystyle \sum_{n \mathop = 1}^\infty f_n$ converges uniformly, there exists $n_0>0$ such that $|f_n(x)|<\frac12$ for $n\geq n_0$ and $x\in X$.

Then $\Re(1+f_n(x))>0$.

$|\log(1 + f_n(x))|\leq \frac32 |f_n(x)|$
$|\log(1 + |f_n(x)|)|\leq \frac32 |f_n(x)|$

for $n\geq n_0$.

$g = \displaystyle \sum_{n \mathop = n_0}^\infty \log(1+f_n)$ and
$h = \displaystyle \sum_{n \mathop = n_0}^\infty \log(1 + |f_n|)$

By Uniform Limit Theorem, $g$ and $h$ are continuous.

By Continuous Function on Compact Subspace of Euclidean Space is Bounded, $g$ and $h$ are bounded

$\exp(g) = \displaystyle \prod_{n \mathop = n_0}^\infty (1+f_n)$
$\exp(h) = \displaystyle \prod_{n \mathop = n_0}^\infty (1+|f_n|)$

By the lemma, the products converge uniformly.

By Uniform Limit Theorem, $\exp(g)$ is continuous.

Because the second product converges uniformly, the first converges uniformly absolutely.

By Image of Complex Exponential Function, $\exp(g)$ has no zeroes.

$\blacksquare$