This web page concerns a remarkable theorem on cardinal arithmetic due to the Hungarian Mathematician Gyula Kőnig, or Julius König as he was known when writing in German. (This is not the same person as Dénes Kőnig after whom König's lemma—also called König's infinity lemma—is named.) Julius König devised his theorem to tackle the continuum problem, whether ${\aleph}_{1}={2}^{{\aleph}_{0}}$, and solved the problem negatively by quoting and using a result of Berstein. Unfortunately for König, Berstein's result was found to contain an error and was not true in the generality that König required.

Definition.

Suppose $I$ is a set and for each $i\in I$ a set
${A}_{i}$ is given, i.e. there is a (set-)function
$i\mapsto {A}_{i}$ given. The *sum* of the sets ${A}_{i}$
is ${\sum _{i\in I}^{}A}_{i}=\left\{(i,a):a\in {A}_{i}\right\}$.
The cartesian *product* of the sets ${A}_{i}$
is
${\prod _{i\in I}^{}A}_{i}=\left\{f:I\to \bigcup {A}_{i}:\forall i\in I\u200af\left(i\right)\in {A}_{i}\right\}$.

Although these definitions are valid in the absence of Choice, the Axiom is Choice is required even to show that an arbitary cartesian product or sum of sets is nonempty. We shall assume Choice throughout this web page.

We write $X\prec Y$ to mean that there is an injection from $X$ to $Y$ but no injection in the other direction, that is that $\text{card}\left(X\right)<\text{card}\left(Y\right)$.

Theorem.

Suppose sets $I$ and ${A}_{i},{B}_{i}$ are given for $i\in I$, and suppose ${A}_{i}\prec {B}_{i}$ for all $i\in I$. Then ${\sum _{i\in I}^{}A}_{i}\prec {\prod _{i\in I}^{}B}_{i}$.

A special case of this is when $I=A$ and ${A}_{a}=\left\{a\right\}$ and ${B}_{a}=2=\left\{0,1\right\}$. Then $A\approx {\sum _{a\in A}^{}A}_{a}$ and $P\left(A\right)\approx {\prod _{a\in A}^{}B}_{a}$ so König's theorem says that $A\prec P\left(A\right)$ which was proved earlier by a sort of diagonalisation. It is therefore no surprise that a diagonalisation is required here too.

**Proof.**

For one direction, we must define an injection from ${\sum _{i\in I}^{}A}_{i}$ to ${\prod _{i\in I}^{}B}_{i}$. By AC there is a family of injections ${f}_{i}:{A}_{i}\to {B}_{i}$ (or more precisely some function $F$ on domain $I$ such that $F\left(i\right)={f}_{i}$ is such an injection for each $i$) and by assumption none of these ${f}_{i}$ is onto. So my another application of AC there is for each $i$ some ${x}_{i}\in {B}_{i}\setminus {f}_{i}\left({A}_{i}\right)$. We can therefore define $g:{\sum _{i\in I}^{}A}_{i}\to {\prod _{i\in I}^{}B}_{i}$ by $g(i,a)={g}_{i,a}$ where $a\in {A}_{i}$ and ${g}_{i,a}\left(j\right)={f}_{i}\left(a\right)$ if $i=j$ and ${g}_{i,a}\left(j\right)={x}_{j}$ otherwise. if it happens that ${g}_{i,a}={g}_{i\prime ,a\prime}$ then $i\ne i\prime $ in which case ${g}_{i,a}(i\prime )={x}_{i\prime}\notin \text{Im}{f}_{i\prime}$ or $i=i\prime $ and ${g}_{i,a}\left(i\right)={f}_{i}\left(a\right)$ whereas ${g}_{i,a\prime}\left(i\right)={f}_{i}(a\prime )$ so ${g}_{i,a}={g}_{i,a\prime}$ implies $a=a\prime $ as ${f}_{i}$ is injective.

For the other, more interesting, direction we must show there is no injection from ${\prod _{i\in I}^{}B}_{i}$ to ${\sum _{i\in I}^{}A}_{i}$. Suppose $h$ is suchj a map: we construct some $e\in {\prod _{i\in I}^{}B}_{i}$ with no possible value $h\left(e\right)$.

We start by defining ${\theta}_{i}:{C}_{i}\to {B}_{i}$ where ${C}_{i}\subseteq {A}_{i}$ by ${\theta}_{i}\left(a\right)=d\left(i\right)$ if there is $d\in {\prod _{i\in I}^{}B}_{i}$ with $h\left(d\right)=(i,a)$. The set ${C}_{i}$ is the set of all $a\in {A}_{i}$ for which this is defined. Note that as $h$ is an injection there is at most one such $d$ if there is any at all, so ${\theta}_{i}$ is well-defined.

Of course ${\theta}_{i}:{C}_{i}\to {B}_{i}$ cannot be onto, as that would mean by AC that there is an injection ${B}_{i}\to {A}_{i}$. Therefore, by Choice again, we may take for each $i\in I$ some $e\left(i\right)\in {B}_{i}\setminus \text{Im}\left({\theta}_{i}\right)$. Thus $e\in {\prod _{i\in I}^{}B}_{i}$ and hence $h\left(e\right)=(i,c)$ for some $i\in I$ and $c\in {A}_{i}$. But this is impossible as then ${\theta}_{i}\left(c\right)=e\left(i\right)\in \text{Im}\left({\theta}_{i}\right)$ contradicting the choice of $e\left(i\right)$. So there is no such $h$, as required.

The remarkable thing about König's inequality is that it gives us a strict inequality between the product and the sum sets: normally all that can be expected is a less-than-or-equal-to result.

Assuming the Axiom of Choice to make the following well-defined, we have

Definition.

Suppose $I$ is a set and for each $i\in I$
cardinalities ${\kappa}_{i}$ is given, then
the cardinal *sum*
${\sum _{i\in I}^{}\kappa}_{i}$ of the ${\kappa}_{i}$
is the cardinality of any ${\sum _{i\in I}^{}A}_{i}$
where $\text{card}\left({A}_{i}\right)={\kappa}_{i}$ for each $i$
and the cardinal *product* of the ${\kappa}_{i}$, i.e.
${\prod _{i\in I}^{}\kappa}_{i}$,
is the cardinality of any such ${\prod _{i\in I}^{}A}_{i}$.

Then König's inequality says

$${\sum _{i\in I}^{}\kappa}_{i}<{\prod _{i\in I}^{}\lambda}_{i}$$whenever ${\kappa}_{i}<{\lambda}_{i}$ for all $i$.

For example,

$${\aleph}_{\omega}={\sum _{i\in \omega}^{}\aleph}_{i}<{\prod _{i\in \omega}^{}\aleph}_{\omega}=({\aleph}_{\omega}{)}^{{\aleph}_{0}}$$and it follows that ${2}^{{\aleph}_{0}}\ne {\aleph}_{\omega}$ for if they were equal we would have

$$({\aleph}_{\omega}{)}^{{\aleph}_{0}}=({2}^{{\aleph}_{0}}{)}^{{\aleph}_{0}}={2}^{{\aleph}_{0}\times {\aleph}_{0}}={2}^{{\aleph}_{0}}={\aleph}_{\omega}$$