## cardinality of product modulo direct sum

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

let $(X_i)_{i \in I}$ be an infinite family of sets with $|X_i| \geq 2$. we define an equivalence relation on $X = \prod_{i \in I} X_i$ by $x \sim y \Leftrightarrow \{i : x_i \neq y_i\}$ is finite. what is the cardinality of $X/\sim$? we may endow the $X_i$ with group structures and write this set as $\prod_{i \in I} X_i / \oplus_{i \in I} X_i$.

it is easy to see that $\min_i |X_i| \leq |X/\sim|$ and $|X| \leq |X/\sim| * \max_i |X_i|$. in particular, if $|X_i|$ is constant, $|X/\sim| = |X|$.

if all the $X_i$ are finite, it can be shown $|X/\sim|=2^{|I|}$. the same equation holds, if every $X_i$ satisfies $\aleph_0 \leq |X_i| \leq |I|$ (I'll add the proofs if needed).

the general case struggles me.

-

1
Your second and third paragraphs are contradictory. (I believe the latter a lot more.) – Reid Barton Jan 8 2010 at 21:40

1
You are asking for the cardinal of a reduced product with respect to the filter of cofinite sets. You'll find relevant information Chen Chung Chang, H. Jerome Keisler, Model theory, for example. It appears to be quite complicated in general! – Mariano Suárez-Alvarez Jan 8 2010 at 22:14

## 1 Answer

The cardinality of the reduced product is always the same as that of the product, modulo omitting finitely many unusually large $X_i$'s. (Even when $I$ is finite, in which case all $X_i$'s should be omitted.)

Arrange the sets $X_i$ in nondecreasing order of size in a wellordered sequence `$(X_\alpha)_{\alpha<\tau}$`. We may assume that $\tau$ is a limit ordinal. Otherwise, the last coordinate $\tau-1$ (like any single coordinate) contributes nothing to the reduced product. Omit $X_{\tau-1}$ and repeat as long as necessary.

I will show that then $|X| = |X/{\sim}|$ where $X = \prod_{\alpha<\tau} X_\alpha$.

Let $\kappa = \sup_{\alpha<\tau} |X_\alpha|$. Since each ${\sim}$-equivalence class has size $|\tau|\cdot\kappa$ (see note) we have

$|X| \leq |X/{\sim}|\cdot|\tau|\cdot\kappa = \max(|X/{\sim}|,|\tau|,\kappa).$

Since $|X| \geq 2^{|\tau|} > |\tau|$, we conclude that either $|X/{\sim}| = |X|$ or $|X/{\sim}| \leq |X| \leq \kappa$.

Since $\tau$ is a limit ordinal, the diagonal embedding $d:\kappa \to \prod_{\alpha<\tau} |X_\alpha|$, where

`$d_\alpha(\xi) = \begin{cases} \xi & when\ \xi < |X_\alpha| \\ 0 & otherwise,\end{cases}$`

shows that $\kappa \leq |X/{\sim}|$. So, in the case $|X/{\sim}| \leq |X| \leq \kappa$, we in fact have $|X/{\sim}| = |X| = \kappa$.

Note: The elements ${\sim}$-equivalent to a given $x \in X$ are obtained by selecting finitely many new values from the sets `$X_\alpha-\{x_\alpha\}$` to replace the corresponding value of the sequence $x$. There are at least `$\sum_{\alpha<\tau} |X_\alpha-\{x_\alpha\}|$` and no more than $\left(\sum_{\alpha<\tau} |X_\alpha|\right)^{<\omega}$ ways of doing this. Since $\tau$ is infinite and the $X_\alpha$'s all have two or more elements, these two bounds are equal to $\sum_{\alpha<\tau} |X_\alpha| = |\tau|\cdot\kappa$.

-

why does every equivalence class has size $\sum_{\alpha < \tau} |X_\alpha|$? – Martin Brandenburg Jan 9 2010 at 11:09
I've clarified that fact in the end note. – François G. Dorais♦ Jan 9 2010 at 14:17
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 44, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9093183875083923, "perplexity_flag": "head"}