Summation over Cartesian Product as Double Summation

It has been suggested that this page or section be merged into General Distributivity Theorem. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Mergeto}} from the code.

Theorem

Let $\mathbb A$ be one of the standard number systems $\N, \Z, \Q, \R, \C$.

Let $S, T$ be finite sets.

Let $S \times T$ be their cartesian product.

Then we have an equality of summations over finite sets:

$\ds \sum_{s \mathop \in S} \sum_{t \mathop \in T} \map f {s, t} = \sum_{\tuple {s, t} \mathop \in S \times T} \map f {s, t}$

Outline of proof

We use induction on the cardinality of $T$. In the induction step, we use Sum over Disjoint Union of Finite Sets and Summation of Sum of Mappings on Finite Set.

Proof

This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

Also see

• Exchange of Order of Summation over Cartesian Product of Finite Sets