13

Prove that if $a^2=a$ for each infinite cardinal $a$ then $b + c = bc$ for any two infinite cardinals $b,c$.

I tried $b+c=(b+c)^2=b^2+2bc+c^2=b+2bc+c$, but then I'm stuck there.

Asaf Karagila
  • 393,674
furs
  • 287
  • 4
    Despite it not being a good answer, it seems worth mentioning that $a=a^2$ for all infinite cardinals implies the axiom of choices, which in turn implies that $b+c=\max{b,c}=b\cdot c$. – Asaf Karagila Jul 01 '11 at 05:12
  • How exactly does $a=a^2$ for all infinite cardinals imply the axiom of choice? – furs Jul 01 '11 at 06:02
  • 3
    Let $\aleph(a)$ be the first $\aleph$ number which is not injectible into $a$ (for example $\aleph(\aleph_1) = \aleph_2$. Assume $a^2=a$ for all infinite cardinal, we have that $a+\aleph(a)\le a\cdot\aleph(a)$ trivially. Now take $(a+\aleph(a))^2=a^2+2\cdot a\cdot\aleph(a)+\aleph(a)^2\ge a\cdot\aleph(a)$. This implies $a+\aleph(a)=a\cdot\aleph(a)$. In particular $a+\aleph(a)=a\cdot\aleph(a)$ and the latter implying $a$ can be well ordered. Therefore, $a^2=a$ implies $a$ can be well ordered for all $a$, i.e. the axiom of choice holds. – Asaf Karagila Jul 01 '11 at 06:47

3 Answers3

12

If you can compare $b$ and $c$, then suppose without loss of generality that $b\leq c$. Then $$bc \leq cc = c \leq b+c \leq c+c = 2c \leq bc.$$

The last inequality because we are assuming $b$ and $c$ are both infinite, so $2\leq b$; the equality $cc=c$ by assumption.

Added${}^{\mathbf{2}}$. From $a^2=a$ for all infinite cardinals, one may deduce the Axiom of Choice (this is a theorem of Tarski's), which in turn is equivalent to the fact that we can compare $b$ and $c$.

If you don't want to go through AC in order to assume comparability of $b$ and $c$, then I would have had some trouble with the problem, though Apostolos's answer together with your $b+c = b+bc+c\geq bc$ does tie it together neatly.

Added. In ZF, the Axiom of Choice is equivalent to the statement that given any two sets $A$ and $B$, either $A$ injects into $B$ or $B$ injects into $A$ (that is, the cardinalities of $A$ and $B$ are comparable). Whether or not we can assume that two cardinals are comparable may depend on what one means by "cardinal".

By "cardinal", I understood a cardinal number, which means an ordinal that is not bijectable with any strictly smaller ordinal, where ordinals are ordered by $\in$ (this is the definition in Jech's Set Theory, under Alephs, page 24: "An ordinal $\alpha$ is called a cardinal number if $|\alpha|\neq|\beta|$ for all $\beta\lt\alpha$." The definition precedes the discussion of the Axiom of Choice, which begins in page 38). The ordering among cardinals is induced by the ordering of ordinals. If that is what we mean by "cardinal", then any two cardinals are certainly comparable (even in ZF without AC), so we will either have $b\leq c$ or $c\leq b$, and there is no loss in generality in assuming the first. But as Asaf points out, when dealing with cardinal numbers in this sense, both $a^2=a$ and $b+c=bc=\max\{b,c\}$ are theorems in ZF.

Arturo Magidin
  • 398,050
  • You should add why one can assume without the loss of generality that $b\le c$. – Asaf Karagila Jul 01 '11 at 08:32
  • @Asaf: Well, fair enough if you are worried about AC; I usually think of "cardinal" as meaning "ordinal that cannot be bijected with any smaller ordinal", which would mean that cardinals are always comparable in ZF, though arbitrary sets may not be "cardinality-comparable". Does that make sense? – Arturo Magidin Jul 01 '11 at 16:06
  • @Arturo: that's a terrible meaning of "cardinal" in the absence of choice. Say "wellorderable cardinal" or (natural number or) "aleph" instead. – Chris Eagle Jul 01 '11 at 16:20
  • @Chris: Perhaps I better follow Jech exactly and say "cardinal number"... – Arturo Magidin Jul 01 '11 at 16:21
  • @Arturo: it is always true for well-ordered cardinals (i.e. $\aleph$ numbers) that $a^2=a+a=a$. Referring only $\aleph$-numbers in your answer renders it quite too simplistic, unless of course you first prove that $a^2=a$ implies choice. I usually use "$\aleph$-number" for well-orderable cardinals, and otherwise cardinal is just an equivalence class of the "bijectible" relation. – Asaf Karagila Jul 01 '11 at 17:11
  • @Asaf: Well, to be honest, I thought it was simple. But, okay, then I don't how one may assume that infinite cardinals are comparable without going through AC first. – Arturo Magidin Jul 01 '11 at 17:33
  • @Arturo: One does not assume that without AC, as you said it is equivalent to AC :-) – Asaf Karagila Jul 01 '11 at 17:45
  • @Asaf: Yes, that was also Apostolos's answer. – Arturo Magidin Jul 01 '11 at 18:35
9

Arturo's and Bill's answers assume that $b$ and $c$ are comparable, but that's not required.

First I will show that if $b>1$ and $c>1$ we have $b+c\leq bc$. This is a fairly easy point, if you use the definitions of the operations. Take two disjoint sets $B$ and $C$ such that $|B|=b$, $|C|=c$; let $b_1,b_2\in B$ ($b_1\neq b_2$) and $c_1,c_2\in C$ ($c_1\neq c_2$). Define a function $F:B\cup C\to B\times C$ as follows:

$$F(p) = \begin{cases} (p,c_1), &p\in B\\ (b_1,p), &p\in C\setminus\{c_1\}\\ (b_2,c_2), &p=c_1\end{cases}$$

It's easy to verify that this $F$ is an injection: Take any two elements $p,q\in B\cup C$ such that $p\neq q$. If one of them is $c_1$ observe that there is no other element that is sent to a pair that doesn't contain either $b_1$ or $c_1$, so their images are different. If $p,q\in B$ trivially $F(p)\neq F(q)$, (and likewise for two elements of $C$). If you have $p\in B$ and $q\in C\setminus\{c_1\}$, then $F(p)=(p,c_1)\neq(b_1,q)=F(q)$.

Now, you have shown in your question that $b+c=b+c+2bc\geq bc$. So we have that $b+c\leq bc$ and $bc\leq b+c$. The Cantor-Bernstein Theorem gives us that $b+c=bc$.

Apostolos
  • 6,024
5

In fact $\rm\:\ b+c\: =\: b\:c\: =\: max\:\{b,c\}\ $ since $\rm \ b\le c\ \ \Rightarrow\ \ c \ \le\ b+c\ \le\ 2\:c\ \le\ b\:c\ \le\ c\:c\: =\: c$

Bill Dubuque
  • 272,048