7
$\begingroup$

Let $A$ and $B$ be infinite sets. To show $|A\cup B|=\max\{|A|,|B|\}$ we need AC. Now let us assume $|A|<|B|$. Can we show $|A\cup B|=|B|$ without AC?

2 Answers 2

6

In the absence of choice we may suppose that $A$ is an amorphous set and $B=\big(A\times\{0\}\big)\cup\omega$. Suppose that $f:A\cup B\to B$ is a bijection. Let $C=f[A]$, $D=f[A\times\{0\}]$, and $E=f[\omega]$; then $\{C,D,E\}$ is a partition of $\big(A\times\{0\}\big)\cup\omega$. Since $A$ is amorphous, $E\cap\big(A\times\{0\}\big)$, $C\cap\omega$, and $D\cap\omega$ must be finite. Let $C_0=C\setminus\omega$, $D_0=D\setminus\omega$, and $F=\big(A\times\{0\}\big)\setminus E$; then $C_0,D_0$, and $F$ are amorphous, and $F$ is the disjoint union of $C_0$ and $D_0$, which is impossible. Thus, $|A\cup B|\ne|B|$.

  • 0
    I think the following is easier: Let $A$ be an amorphous set. Clearly $|A \times \{0\}| \leq |A \times \{1\}|$. However $|A \times \{0\} \cup A \times \{1\}| \neq |A \times \{1\}| = |A|$ because if there was a bijection $f$, then $A \times \{1\} = f(A \times \{0\}) \cup f(A \times \{1\})$. Hence $A$ is the union of two infinite disjoint subset.2012-08-10
  • 0
    @William: Yes, that’s easier; I just didn’t think of it right away, and I did think of the other example.2012-08-10
  • 0
    @William and Brian: Doesn't William's example show that without AC $x+x=x$ need not hold for an infinite cardinal $x$? Brian's example answers my question.2012-08-10
  • 0
    @Joel: Now that I look more closely, I see that William’s example doesn’t quite answer your question, because it has $|A|\le|B|$ rather than $|A|<|B|$.2012-08-10
  • 0
    @Brian: I don't see, why $E$ has to be finite. But independent of the finiteness of $E\cap (A\times\{0\})$ the partition of the amorphous set $A\times\{0\}$ into the disjoint infinite sets $C_0$ and $D_0\cup F$, where $F$ can also be finite, which is impossible. Thanks a lot for your answer!2012-08-10
  • 0
    @Joel: $E$ isn’t finite, but $E\cap\big(A\times\{0\}\big)$ has to be finite because if it weren’t, you could easily construct an injection of $\omega$ into $A\times\{0\}$ and hence into $A$.2012-08-10
  • 0
    @Brian: Yes, I meant $E\cap (A\times\{0\}$, sorry. But why can't there be an injection of $\omega$ into $A\times\{0\}$ --- as long as the complement of the image is finite?2012-08-10
  • 0
    @Joel: Suppose that $\varphi:\omega\to A$ is injective. Let $E=\{2n:n\in\omega\}$. Then $\varphi[E]$ and its complement are both infinite, so $A$ can’t be amorphous.2012-08-10
  • 0
    @Brian: Yes, of course. Thank you!2012-08-11
5

The axiom of choice is in fact equivalent to the assertion that $A+B=\max\{A,B\}$, for every two infinite cardinals.

To see the non-trivial implication, consider $A$ to be any set and $B=\aleph(A)$, the Hartogs number of $A$.

On the other hand, if we already assume that $Asome choice but not everything.

  • If there exists an infintie Dedekind-finite set (a set that is larger than any proper subset), then clearly $1

  • On the other hand, consider Sageev's model in which every infinite set has the property that $A+A=A$. In this model, however, there is a countable family without a choice function so not even countable choice holds.

    Suppose $A

So without the axiom of choice we may have models in which this is true, and others in which this is false.